| 2020 | Towards a model driven formal approach for merging data, access control and business processes. | Akram Idani, Mario Cortes Cornax |
| 2020 | TwinOps - DevOps meets model-based engineering and digital twins for the engineering of CPS. | Jrme Hugues, Anton Dimov Hristozov, John J. Hudak, Joe Yankel |
| 2020 | Model checking as a service: towards pragmatic hidden formal methods. | Benedek Horvth, Bence Graics, kos Hajdu, Zoltn Micskei, Vince Molnr, Istvn Rth, Luigi Andolfato, Ivan Gomes, Robert Karban |
| 2020 | Towards the next generation of reactive model transformations on low-code platforms: three research lines. | Benedek Horvth, kos Horvth, Manuel Wimmer |
| 2020 | Untitled record | Robert Hackman, Joanne M. Atlee, Alistair Finn Hackett, Michael W. Godfrey |
| 2020 | A profiler for the matching process of henshin. | Raffaela Groner, Sophie Gylstorff, Matthias Tichy |
| 2020 | An exploratory study on performance engineering in model transformations. | Raffaela Groner, Luis Beaucamp, Matthias Tichy, Steffen Becker |
| 2020 | A model-based approach for developing event-driven architectures with AsyncAPI. | Abel Gmez, Markel Iglesias-Urkia, Aitor Urbieta, Jordi Cabot |
| 2020 | Metrics for OCL expressions: development, realization, and applications for validation. | Martin Gogolla, Timo Stber |
| 2020 | On teaching descriptive and prescriptive modeling. | Martin Gogolla, Bran Selic |
| 2020 | From classic to agile: experiences from more than a decade of project-based modeling education. | Holger Giese, Leen Lambers, Christian Zllner |
| 2020 | Contingent level classes: motivation, conceptualization, modeling guidelines, and implications for model management. | Ulrich Frank, Daniel Tpel |
| 2020 | Towards adaptive abstraction for continuous time models with dynamic structure. | Romain Franceschini, Bentley Oakes, Simon Van Mierlo, Moharram Challenger, Hans Vangheluwe |
| 2020 | A parametric model for creating customized fabrication machines. | Frikk H. Fossdal, Rogardt Heldal, Jens Dyvik, Adrian Rutle |
| 2020 | What's the grade of your diagram?: towards a streamlined approach for grading UML diagrams. | Kleinner Farias, Bruno Carreiro da Silva |
| 2020 | A model-driven alternative to programming in blocks using rule-based transformations. | Hseyin Ergin, Wenjun Shi, Herart Dominggus Nurue, Jeff Gray |
| 2020 | A model-driven approach for cobotic cells based on Petri nets. | Sebastian Ebert |
| 2020 | Modeling mechanical functional architectures in SysML. | Imke Drave, Bernhard Rumpe, Andreas Wortmann, Joerg K. Berroth, Gregor Hoepfner, Georg Jacobs, Kathrin Spuetz, Thilo Zerwas, Christian Guist, Jens Kohl |
| 2020 | A composition algorithm for reusable workflow models. | Daniel Devine, Omar Alam, Jrg Kienzle, Cheuk Chuen Siow |
| 2020 | DevOpsML: towards modeling DevOps processes and platforms. | Alessandro Colantoni, Luca Berardinelli, Manuel Wimmer |
| 2020 | Automated video game world map synthesis by model-based techniques. | Boqi Chen, Dylan Havelock, Connor Plante, Michael Sukkarieh, Oszkr Semerth, Dniel Varr |
| 2020 | Certifying a rule-based model transformation engine for proof preservation. | Zheng Cheng, Massimo Tisi, Joachim Hotonnier |
| 2020 | AC-ROS: assurance case driven adaptation for the robot operating system. | Betty H. C. Cheng, Robert Jared Clark, Jonathon Emil Fleck, Michael Austin Langford, Philip K. McKinley |
| 2020 | Assisted authoring of model-based systems engineering documents. | Thomas Boyer Chammard, Blake Regalia, Robert Karban, Ivan Gomes |
| 2020 | Towards employing ABM and MAS integrated with MBSE for the lifecycle of sCPSoS. | Moharram Challenger, Hans Vangheluwe |