| 2020 | CLARVA: Model-based Residual Verification of Java Programs. | Shaun Azzopardi, Christian Colombo, Gordon J. Pace |
| 2020 | A Technique for Automata-based Verification with Residual Reasoning. | Shaun Azzopardi, Christian Colombo, Gordon J. Pace |
| 2020 | A Novel Family of Queuing Network Models for Self-adaptive Systems. | Davide Arcelli |
| 2020 | Towards a Generalized Queuing Network Model for Self-adaptive Software Systems. | Davide Arcelli |
| 2020 | A Methodological Assistant for UML and SysML Use Case Diagrams. | Erika Rizzo Aquino, Pierre de Saqui-Sannes, Rob A. Vingerhoeds |
| 2020 | A Methodological Assistant for Use Case Diagrams. | Erika Rizzo Aquino, Pierre de Saqui-Sannes, Rob A. Vingerhoeds |
| 2020 | Development of Health Software using Behaviour Driven Development - BDD. | Mohammad Z. Anjum, Silvana Togneri MacMahon, Fergal McCaffery |
| 2020 | Refining Automation System Control with MDE. | Pascal Andr, Mohammed El Amin Tebib |
| 2020 | Verifying OCL Operational Contracts via SMT-based Synthesising. | Hao Wu, Joseph Timoney |
| 2019 | Design Guidelines for Feature Model Construction: Exploring the Relationship between Feature Model Structure and Structural Complexity. | Xin Zhao, Jeff Gray |
| 2019 | A Model-Based Combination Language for Scheduling Verification. | Hui Zhao, Ludovic Apvrille, Frdric Mallet |
| 2019 | Meta-models Combination for Reusing Verification Techniques. | Hui Zhao, Ludovic Apvrille, Frdric Mallet |
| 2019 | Executable State Machines Derived from Structured Textual Requirements - Connecting Requirements and Formal System Design. | Benedikt Walter, Jan Martin, Jonathan Schmidt, Hanna Dettki, Stephan Rudolph |
| 2019 | From Manual to Machine-executable Model-based Systems Engineering via Graph-based Design Languages. | Benedikt Walter, Dennis Kaiser, Stephan Rudolph |
| 2019 | Virtual Prototyping of Large-scale IoT Control Systems using Domain-specific Languages. | Jacques Verriet, Lennart Buit, Richard Doornbos, Bas Huijbrechts, Kristina Sevo, Jack Sleuters, Mark Verberkt |
| 2019 | Multi-Paradigm Modelling of Cyber-Physical Systems. | Hans Vangheluwe |
| 2019 | A Language-oriented Approach for the Maintenance of Megamodel-based Complex Systems. | El Hadji Bassirou Toure, Ibrahima Fall, Alassane Bah, Mamadou Samba Camara, Mandicou Ba, Ahmad Fall |
| 2019 | Using fUML Combined with a DSML: An Implementation using Papyrus UML/SysML Modeler. | Maurice Theobald, Jrmie Tatibouet |
| 2019 | DFEAM: Dynamic Feature-oriented Energy-aware Adaptive Modeling. | Fumiya Tanaka, Kenji Hisazumi, Akira Fukuda |
| 2019 | Emerging Concepts and Trends in Collaborative Modeling: A Survey. | Matthew Stephan |
| 2019 | The Very Model of a Modern Meta-modeler. | Ed Seidewitz |
| 2019 | An Approach for Workflow Improvement based on Outcome and Time Remaining Prediction. | Luis Galdo Seara, Renata Medeiros de Carvalho |
| 2019 | Integrating UML and ALF: An Approach to Overcome the Code Generation Dilemma in Model-Driven Software Engineering. | Johannes Schrpfer, Thomas Buchmann |
| 2019 | Unifying Modeling and Programming with Valkyrie. | Johannes Schrpfer, Thomas Buchmann |
| 2019 | A Metamodel and Model-based Design Rule Checking DSL for Verification and Validation of Electronic Circuit Designs. | Adrian Rumpold, Bernhard Bauer |