Follow
Anila Mjeda
Anila Mjeda
Lecturer, MTU; Lero
Verified email at mtu.ie
Title
Cited by
Cited by
Year
Towards a secure devops approach for cyber-physical systems: An industrial perspective
P Abrahamsson, G Botterweck, H Ghanbari, MG Jaatun, P Kettunen, ...
International Journal of Systems and Software Security and Protection …, 2020
122020
Standard-compliant testing for safety-related automotive software
A Mjeda
University of Limerick, 2013
62013
The AUTOSAR standard–the experience of applying Simulink according to its requirements
A Mjeda, G Leen, E Walsh
SAE, 2007
62007
Requirement-centric reactive testing for safety-related automotive software
A Mjeda, M Hinchey
2015 IEEE/ACM 2nd International Workshop on Requirements Engineering and …, 2015
52015
Model-based testing design for embedded automotive software
A Mjeda, P McElligott, K Ryan, S Thiel
SAE International, 2009
52009
UTP semantics for shared-state, concurrent, context-sensitive process models
A Butterfield, A Mjeda, J Noll
2016 10th International Symposium on Theoretical Aspects of Software …, 2016
42016
Decision spaces in product lines, decision analysis, and design exploration: an interdisciplinary exploratory study
A Mjeda, A Wasala, G Botterweck
Proceedings of the Eleventh International Workshop on Variability Modelling …, 2017
32017
A fuzzy logic approach for an electrical power steering system
A Mjeda, B Jackman
SAE Technical Papers, 2005
32005
Scalable software testing and verification for industrial-scale systems: The challenges
A Mjeda, G Botterweck
Electronic Communications of the EASST 77, 2019
12019
CTMCONTROL: addressing the MC/DC objective for safety-critical automotive software
A Mjeda, M Hinchey
12013
Can formal methods make automotive business sense
P McElligott, A Mjeda, S Thiel
A classification of formal methods by usefulness. SAE SP 2173, 83, 2008
12008
Reactive model-based testing design for embedded automotive software
A Mjeda
12008
Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020)
S Basagiannis, A Mjeda, G Botterweck
Electronic Communications of the EASST 79, 2021
2021
Towards a Secure DevOps Approach for Cyber-Physical Systems:: An Industrial Perspective
B Russo, MG Jaatun, P Abrahamsson, G Botterweck, H Ghanbari, ...
International Journal of Systems and Software Security and Protection …, 2020
2020
Uncertainty entangled; modelling safety assurance cases for autonomous systems
A Mjeda, G Botterweck
2020
Business Process Modeling Flexibility: A Formal Interpretation.
A Mjeda, A Butterfield, J Noll
MODELSWARD, 465-472, 2019
2019
Can formal methods make automotive business sense? A classification of formal methods
P McElligott, A Mjeda, S Thiel
SAE International, 2008
2008
2007-01-0509 The AUTOSAR Standard-The Experience of Applying Simulink According to its Requirements
A Mjeda, G Leen, E Walsh
SAE SP 2126, 93, 2007
2007
A proposed framework for fine-tuning/training a fuzzy controller
A Mjeda, B Jackman, G Leen
2006 IEEE Conference on Emerging Technologies and Factory Automation, 973-976, 2006
2006
Business Plan
S Cleary, R Butler, A Mjeda
The system can't perform the operation now. Try again later.
Articles 1–20