| 2020 | Systematic Synthesis of Energy-Aware Timing Models in Automotive Software Systems. | Padma Iyenghar |
| 2020 | A UML Profile for Automatic Code Generation of Optimistic Graceful Degradation Features at the Application Level. | Lars Huning, Padma Iyenghar, Elke Pulvermller |
| 2020 | ArchiMEO: A Standardized Enterprise Ontology based on the ArchiMate Conceptual Model. | Knut Hinkelmann, Emanuele Laurenzi, Andreas Martin, Devid Montecchiari, Maja Spahic, Barbara Thnssen |
| 2020 | Towards Abstract Test Execution in Early Stages of Model-driven Software Development. | Nol Hagemann, Reinhard Prll, Bernhard Bauer |
| 2020 | Conceptual Models as Ontological Contracts. | Giancarlo Guizzardi |
| 2020 | About Synergies between Model-based Engineering and Artificial Intelligence. | Sbastien Grard |
| 2020 | Model-Based Virtual Prototyping of CPS: Application to Bio-Medical Devices. | Daniela Genius, Ilias Bournias, Ludovic Apvrille, Roselyne Chotin |
| 2020 | High-level Partitioning and Design Space Exploration for Cyber Physical Systems. | Daniela Genius, Ilias Bournias, Ludovic Apvrille, Roselyne Chotin |
| 2020 | Themulus: A Timed Contract-calculus. | Alberto Aranda Garca, Mara-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace |
| 2020 | Real Models are Really on M0 - Or How to Make Programmers Use Modeling. | Joachim Fischer, Birger Mller-Pedersen, Andreas Prinz |
| 2020 | Towards Metrics for Analyzing System Architectures Modeled with EAST-ADL. | Christoph Etzel, Florian Hofhammer, Bernhard Bauer |
| 2020 | Chaining Model Transformations for System Model Verification: Application to Verify Capella Model with Simulink. | Christophe Duhil, Jean-Philippe Babau, Eric Lpicier, Jean-Luc Voirin, Juan F. Navas |
| 2020 | Improving Multi-domain Stakeholder Communication of Embedded Safety-critical Development using Agile Practices: Expert Review. | Surafel Demissie, Frank Keenan, Risn Loughran, Fergal McCaffery |
| 2020 | Defining Controlled Experiments Inside the Access Control Environment. | Said Daoudagh, Eda Marchetti |
| 2020 | Classifying Unstructured Models into Metamodels using Multi Layer Perceptrons. | Walmir Oliveira Couto, Emerson Cordeiro Morais, Marcos Didonet Del Fabro |
| 2020 | Verification and Simulation of Time-Domain Properties for Models of Behaviour. | Miguel Carrillo, Vladimir Estivill-Castro, David A. Rosenblueth |
| 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 | Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela. | Georgiana Caltais, Stefan Leue, Hargurbir Singh |
| 2020 | ProvAnalyser: A Framework for Scientific Workflows Provenance. | Anila Sahar Butt, Peter Fitch |
| 2020 | Towards Ontology Driven Provenance in Scientific Workflow Engine. | Anila Sahar Butt, Nicholas J. Car, Peter Fitch |
| 2020 | Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications. | Fritjof Bornebusch, Christoph Lth, Robert Wille, Rolf Drechsler |
| 2020 | Integer Overflow Detection in Hardware Designs at the Specification Level. | Fritjof Bornebusch, Christoph Lth, 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 | Aocl : A Pure-Java Constraint and Transformation Language for MDE. | Don S. Batory, Najd Altoyan |
| 2020 | Model-Based Static and Runtime Verification for Ethereum Smart Contracts. | Shaun Azzopardi, Christian Colombo, Gordon J. Pace |