1. Towards an Extensible Architecture and Tool Support for Model-Based Verification;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01
2. SuMo: A Supportive Modeling Language Environment for Guided Model Transformations;2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2021-10
3. Collaborative Software Design and Modeling in Open Source Systems;System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering;2018
4. Activity analysis (acta): empowering smart game design with a general purpose fsm description language;IADIS INTERNATIONAL JOURNAL ON COMPUTER SCIENCE AND INFORMATION SYSTEMS;2018
5. Exploring a Model-Oriented and Executable Syntax for UML Attributes;Software Engineering Research, Management and Applications;2014