| 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 | 12 | 2020 |
| Standard-compliant testing for safety-related automotive software A Mjeda University of Limerick, 2013 | 6 | 2013 |
| The AUTOSAR standard–the experience of applying Simulink according to its requirements A Mjeda, G Leen, E Walsh SAE, 2007 | 6 | 2007 |
| 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 |
| Model-based testing design for embedded automotive software A Mjeda, P McElligott, K Ryan, S Thiel SAE International, 2009 | 5 | 2009 |
| 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 | 4 | 2016 |
| 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 | 3 | 2017 |
| A fuzzy logic approach for an electrical power steering system A Mjeda, B Jackman SAE Technical Papers, 2005 | 3 | 2005 |
| Scalable software testing and verification for industrial-scale systems: The challenges A Mjeda, G Botterweck Electronic Communications of the EASST 77, 2019 | 1 | 2019 |
| CTMCONTROL: addressing the MC/DC objective for safety-critical automotive software A Mjeda, M Hinchey | 1 | 2013 |
| 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 | 1 | 2008 |
| Reactive model-based testing design for embedded automotive software A Mjeda | 1 | 2008 |
| 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 | | |
Goetz BotterweckAssoc. Professor in Computer Science, Trinity College Dublin and LeroVerified email at lero.ie
