| 2020 | A DSL-Driven Development Framework for Components to Provide Environmental Data in Simulation based Testing. Liqun Wu, Axel Hahn |
| 2020 | A Generic Projectional Editor for EMF Models. Johannes Schröpfer, Thomas Buchmann, Bernhard Westfechtel |
| 2020 | A Methodological Assistant for Use Case Diagrams. Erika Rizzo Aquino, Pierre de Saqui-Sannes, Rob A. Vingerhoeds |
| 2020 | A Model based Toolchain for the Cosimulation of Cyber-physical Systems with FMI. David Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon |
| 2020 | A Technique for Automata-based Verification with Residual Reasoning. Shaun Azzopardi, Christian Colombo, Gordon J. Pace |
| 2020 | A UML Profile for Automatic Code Generation of Optimistic Graceful Degradation Features at the Application Level. Lars Huning, Padma Iyenghar, Elke Pulvermüller |
| 2020 | About Synergies between Model-based Engineering and Artificial Intelligence. Sébastien Gérard |
| 2020 | An Architecture-independent Data Model for Managing Information Generated by Human-chatbot Interactions. Massimiliano Luca, Alberto Montresor, Carlo Caprini, Daniele Miorandi |
| 2020 | Aocl : A Pure-Java Constraint and Transformation Language for MDE. Don S. Batory, Najd Altoyan |
| 2020 | ArchiMEO: A Standardized Enterprise Ontology based on the ArchiMate Conceptual Model. Knut Hinkelmann, Emanuele Laurenzi, Andreas Martin, Devid Montecchiari, Maja Spahic, Barbara Thönssen |
| 2020 | Assessment of EMF Model to Text Generation Strategies and Libraries in an Industrial Context. Christophe Ponsard, Denis Darquennes, Valéry Ramon, Jean-Christophe Deprez |
| 2020 | Automated Synthesis of ATL Transformations from Metamodel Correspondences. Kevin Lano, Shichao Fang |
| 2020 | Automatic Verification of Behavior of UML Requirements Specifications using Model Checking. Saeko Matsuura, Sae Ikeda, Kasumi Yokotae |
| 2020 | Business Process Model Recommendation as a Transformation Process in MDE: Conceptualization and First Experiments. Hadjer Khider, Slimane Hammoudi, Abdelkrim Meziane |
| 2020 | CLARVA: Model-based Residual Verification of Java Programs. Shaun Azzopardi, Christian Colombo, Gordon J. Pace |
| 2020 | Chaining Model Transformations for System Model Verification: Application to Verify Capella Model with Simulink. Christophe Duhil, Jean-Philippe Babau, Eric Lépicier, Jean-Luc Voirin, Juan F. Navas |
| 2020 | Classifying Unstructured Models into Metamodels using Multi Layer Perceptrons. Walmir Oliveira Couto, Emerson Cordeiro Morais, Marcos Didonet Del Fabro |
| 2020 | Concept-based Co-migration of Test Cases. Ivan Jovanovikj, Enes Yigitbas, Stefan Sauer, Gregor Engels |
| 2020 | Conceptual Models as Ontological Contracts. Giancarlo Guizzardi |
| 2020 | Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela. Georgiana Caltais, Stefan Leue, Hargurbir Singh |
| 2020 | Defining Controlled Experiments Inside the Access Control Environment. Said Daoudagh, Eda Marchetti |
| 2020 | Defining Referential Integrity Constraints in Graph-oriented Datastores. Thibaud Masson, Romain Ravet, Francisco Javier Bermudez Ruiz, Souhaila Serbout, Diego Sevilla Ruiz, Anthony Cleve |
| 2020 | Determination of ISO 22400 Key Performance Indicators using Simulation Models: The Concept and Methodology. Mateusz Kikolski |
| 2020 | Development of Health Software using Behaviour Driven Development - BDD. Mohammad Z. Anjum, Silvana Togneri MacMahon, Fergal McCaffery |
| 2020 | Domain-specific Language and Tools for Strategic Domain-driven Design, Context Mapping and Bounded Context Modeling. Stefan Kapferer, Olaf Zimmermann |
| 2020 | Early Synthesis of Timing Models in AUTOSAR-based Automotive Embedded Software Systems. Padma Iyenghar, Lars Huning, Elke Pulvermüller |
| 2020 | Graph-based Model Inspection Tool for Multi-disciplinary Production Systems Engineering. Felix Rinker, Laura Waltersdorfer, Manuel Schüller, Dietmar Winkler |
| 2020 | Guarded Deep Learning using Scenario-based Modeling. Guy Katz |
| 2020 | High-level Partitioning and Design Space Exploration for Cyber Physical Systems. Daniela Genius, Ilias Bournias, Ludovic Apvrille, Roselyne Chotin |
| 2020 | Impact of Security Measures on Performance Aspects in SysML Models. Maysam Zoor, Ludovic Apvrille, Renaud Pacalet |
| 2020 | Improving Multi-domain Stakeholder Communication of Embedded Safety-critical Development using Agile Practices: Expert Review. Surafel Demissie, Frank Keenan, Róisín Loughran, Fergal McCaffery |
| 2020 | Integer Overflow Detection in Hardware Designs at the Specification Level. Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler |
| 2020 | Model Transformation by Example with Statistical Machine Translation. Karima Berramla, El Abbassia Deba, Jiechen Wu, Houari A. Sahraoui, Abou El Hassan Benyamina |
| 2020 | Model-to-Model Transformations for Efficient Time-domain Verification of Concurrent Models by NuSMV Modules. Miguel Carrillo, Vladimir Estivill-Castro, David A. Rosenblueth |
| 2020 | Multi-level Modeling without Classical Modeling Facilities. Ferenc Attila Somogyi, Zoltán Theisz, Sándor Bácsi, Gergely Mezei, Dániel Palatinszky |
| 2020 | On a Metasemantic Protocol for Modeling Language Extension. Ed Seidewitz |
| 2020 | Operator-based Viewpoint Definition. Johannes Meier, Ruthbetha Kateule, Andreas Winter |
| 2020 | Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020. Slimane Hammoudi, Luís Ferreira Pires, Bran Selic |
| 2020 | Real Models are Really on M0 - Or How to Make Programmers Use Modeling. Joachim Fischer, Birger Møller-Pedersen, Andreas Prinz |
| 2020 | Refining Automation System Control with MDE. Pascal André, Mohammed El Amin Tebib |
| 2020 | Resilient BPMN: Robust Process Modeling in Unreliable Communication Environments. Frank Nordemann, Ralf Tönjes, Elke Pulvermüller |
| 2020 | The Need for Context in Software Engineering. Gail C. Murphy |
| 2020 | The Seamless Low-cost Development Platform LoRra for Model based Systems Engineering. Sven Jacobitz, Xiaobo Liu-Henke |
| 2020 | Themulus: A Timed Contract-calculus. Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace |
| 2020 | Towards Abstract Test Execution in Early Stages of Model-driven Software Development. Noël Hagemann, Reinhard Pröll, Bernhard Bauer |
| 2020 | Towards Metrics for Analyzing System Architectures Modeled with EAST-ADL. Christoph Etzel, Florian Hofhammer, Bernhard Bauer |
| 2020 | Towards Model Transformation from a CBM Model to CEP Rules to Support Predictive Maintenance. Alexandre Sarazin, Sébastien Truptil, Aurélie Montarnal, Jacques Lamothe, Julien Commanay, Laurent Sagaspe |
| 2020 | Towards Ontology Driven Provenance in Scientific Workflow Engine. Anila Sahar Butt, Nicholas J. Car, Peter Fitch |
| 2020 | Towards a Generalized Queuing Network Model for Self-adaptive Software Systems. Davide Arcelli |
| 2020 | Towards a Model-based Fuzzy Software Quality Metrics. Omar Masmali, Omar Badreddin |
| 2020 | Verifying OCL Operational Contracts via SMT-based Synthesising. Hao Wu, Joseph Timoney |