selected scholarly activity
-
chapters
- Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems. Lecture Notes in Computer Science. 134-149. 2024
- Assurance Case Property Checking with MMINT-A and OCL. 351-360. 2022
- Towards Certified Analysis of Software Product Line Safety Cases. Lecture Notes in Computer Science. 130-145. 2021
- Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework. Lecture Notes in Computer Science. 19-29. 2020
- Software Assurance in an Uncertain World. Lecture Notes in Computer Science. 3-21. 2019
-
conferences
- MMINT-A 2.0. Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. 71-75. 2020
- Querying Automotive System Models and Safety Artifacts with MMINT and Viatra. 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). 2-11. 2019
- Toward Requirements Specification for Machine-Learned Components. 2019 IEEE 27th International Requirements Engineering Conference Workshops (REW). 241-244. 2019
- Message from the mise 2018 chairs. Proceedings 2018 ACM IEEE 10th International Workshop on Modelling in Software Engineering Mise 2018. x. 2018
- MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases. Lecture Notes in Computer Science. 60-70. 2018
- Two Decades of Assurance Case Tools: A Survey. Lecture Notes in Computer Science. 49-59. 2018
- User Experience for Model-Driven Engineering: Challenges and Future Directions. 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS). 229-236. 2017
- Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach. Lecture Notes in Computer Science. 69-85. 2017
- A model management approach for assurance case reuse due to system evolution. Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems. 196-206. 2016
- Elementary model management patterns. CEUR Workshop Proceedings. 11-15. 2016
- Heterogeneous megamodel slicing for model evolution. CEUR Workshop Proceedings. 50-59. 2016
- Model Management for Regulatory Compliance: a position paper. 2016 IEEE/ACM 8TH INTERNATIONAL WORKSHOP ON MODELING IN SOFTWARE ENGINEERING (MISE). 74-80. 2016
- Enriching megamodel management with collection-based operators. 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS). 236-245. 2015
- Analysis of source-to-target model transformations in QueST. CEUR Workshop Proceedings. 46-55. 2015
- MMINT: A graphical tool for interactive model management. CEUR Workshop Proceedings. 16-19. 2015
- Towards a structured work ow language for model management. CEUR Workshop Proceedings. 2014
- Mapping-Aware Megamodeling: Design Patterns and Laws. Lecture Notes in Computer Science. 322-343. 2013
-
journal articles
- Preface to the 5th edition of the Workshop on Modeling in Automotive System and Software Engineering (MASE’24). Proceedings Models 2024 ACM IEEE 27th International Conference on Model Driven Engineering Languages and Systems Companion Proceedings. xlviii-xlix. 2024
- Software Design Trends Supporting Multiconcern Assurance. IEEE Software. 39:22-26. 2022
- Preface to 3rd International Workshop on Modeling in Automotive System and Software Engineering (MASE 2020). Proceedings 23rd ACM IEEE International Conference on Model Driven Engineering Languages and Systems Models C 2020 Companion Proceedings. IX-X. 2020
- A Survey of Tool-supported Assurance Case Assessment Techniques. ACM Computing Surveys. 52:1-34. 2020
- Heterogeneous megamodel management using collection operators. Software and Systems Modeling (SoSyM). 19:231-260. 2020
- Message from the tools and demonstrations chairs. 21st ACM IEEE International Conference on Model Driven Engineering Languages and Systems Companion Proceedings Models Companion 2018. VIII. 2018
- Preface. CEUR Workshop Proceedings. 1511:v. 2015
- Preface. CEUR Workshop Proceedings. 1500. 2015
- Preface to the JOT issue on 18th European Conference on Modelling Foundations and Applications (ECMFA 2022).. Journal of Object Technology. 21:1-1.
- Querying Automotive System Models and Safety Artifacts: Tool Support and Case Study. Journal of Automotive Software Engineering. 1:34-34.
-
preprints
-
theses