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
192020
Standard-compliant testing for safety-related automotive software
A Mjeda
Ph. D. thesis, University of Limeric, 2013
82013
The autosar standard-the experience of applying simulink according to its requirements
A Mjeda, G Leen, E Walsh
SAE Technical Paper, 2007
72007
Model-based testing design for embedded automotive software
A Mjeda, P McElligott, K Ryan, S Thiel
SAE Technical Paper, 2009
62009
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
52016
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
A fuzzy logic approach for an electrical power steering system
A Mjeda, B Jackman
SAE Technical Paper, 2005
42005
Decision spaces in product lines, decision analysis, and design exploration: an interdisciplinary exploratory study
A Mjeda, A Wasala, G Botterweck
Proceedings of the 11th International Workshop on Variability Modelling of …, 2017
32017
Scalable software testing and verification for industrial-scale systems: The challenges
A Mjeda, G Botterweck
Electronic Communications of the EASST 77, 2019
22019
Uncertainty entangled; modelling safety assurance cases for autonomous systems
A Mjeda, G Botterweck
Electronic Communications of the EASST 79, 2020
12020
CTMCONTROL: addressing the MC/DC objective for safety-critical automotive software
A Mjeda, M Hinchey
SAFECOMP 2013-Workshop CARS (2nd Workshop on Critical Automotive …, 2013
12013
Can formal methods make automotive business sense? A classification of formal methods by usefulness
P McElligott, A Mjeda, S Thiel
SAE Technical Paper, 2008
12008
Reactive model-based testing design for embedded automotive software
A Mjeda, P Mcelligott, K Ryan, S Thiel
Sae International: Hongkong, China, 2008
12008
Interactive Workshop on the Industrial Application of Verification and Testing ETAPS 2020 Workshop (InterAVT 2020)
A Mjeda, G Botterweck
Electronic Communications of the EASST 79, 2020
2020
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, 2020
2020
Business Process Modeling Flexibility: A Formal Interpretation.
A Mjeda, A Butterfield, J Noll
MODELSWARD, 465-472, 2019
2019
Preface
A Mjeda
Electronic Communications of the EASST 75, 2018
2018
Can formal methods make automotive business sense? A classification of formal methods
P McElligott
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
The system can't perform the operation now. Try again later.
Articles 1–20