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
- 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
- Querying Automotive System Models and Safety Artifacts: Tool Support and Case Study. Journal of Automotive Software Engineering. 1:34-34. 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.
-
preprints
-
theses