| 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 | 22 | 2020 |
| Standard-compliant testing for safety-related automotive software A Mjeda University of Limerick, 2013 | 8 | 2013 |
| 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 | 7 | 2016 |
| The autosar standard-the experience of applying simulink according to its requirements A Mjeda, G Leen, E Walsh SAE Technical Paper, 2007 | 7 | 2007 |
| Model-based testing design for embedded automotive software A Mjeda, P McElligott, K Ryan, S Thiel University of Limerick, 2009 | 6 | 2009 |
| Requirement-centric reactive testing for safety-related automotive software A Mjeda, M Hinchey 2015 IEEE/ACM 2nd International Workshop on Requirements Engineering and …, 2015 | 5 | 2015 |
| 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 | 4 | 2017 |
| A fuzzy logic approach for an electrical power steering system A Mjeda, B Jackman SAE Technical Paper, 2005 | 4 | 2005 |
| Uncertainty entangled; modelling safety assurance cases for autonomous systems A Mjeda, G Botterweck Electronic Communications of the EASST 79, 2020 | 2 | 2020 |
| Scalable software testing and verification for industrial-scale systems: the challenges A Mjeda, G Botterweck University of Limerick, 2019 | 2 | 2019 |
| Business Process Modeling Flexibility: A Formal Interpretation. A Mjeda, A Butterfield, J Noll MODELSWARD, 465-472, 2019 | 1 | 2019 |
| CTMCONTROL: addressing the MC/DC objective for safety-critical automotive software A Mjeda, M Hinchey University of Limerick, 2013 | 1 | 2013 |
| Can formal methods make automotive business sense? A classification of formal methods by usefulness P McElligott, A Mjeda, S Thiel SAE Technical Paper, 2008 | 1 | 2008 |
| Reactive model-based testing design for embedded automotive software A Mjeda University of Limerick, 2008 | 1 | 2008 |
| Interactive Workshop on the Industrial Application of Verification and Testing ETAPS 2020 Workshop (InterAVT 2020) TR Silva, B Fitzgerald Electronic Communications of the EASST 79, 2020 | | 2020 |
| Can formal methods make automotive business sense? A classification of formal methods P McElligott, A Mjeda, S Thiel University of Limerick, 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 | | |
Goetz BotterweckAssoc. Professor in Computer Science, Trinity College Dublin and LeroVerified email at lero.ie
