| 2016 | Validating Emergent Behaviours in Systems-of-Systems through Model Transformations. | Valdemar Vicente Graciano Neto |
| 2016 | Caching Strategies for Run-time Probabilistic Model Checking. | Hiroyuki Nakagawa, Kento Ogawa, Tatsuhiro Tsuchiya |
| 2016 | iOCL: An Interactive Tool for Specifying, Validating and Evaluating OCL Constraints. | Hammad Muhammad, Tao Yue, Shaukat Ali, Shuai Wang |
| 2016 | Towards the integration of security patterns in UML component-based applications. | Anas Motii, Brahim Hamid, Agnes Lanusse, Jean-Michel Bruel |
| 2016 | DSL/Model Co-Evolution in Industrial EMF-Based MDSE Ecosystems. | Josh Mengerink, Ramon R. H. Schiffelers, Alexander Serebrenik, Mark van den Brand |
| 2016 | A New Approach of Qualitative Simulation for the Validation of Hybrid Systems. | Slim Medimegh, Jean-Yves Pierron, Jean-Pierre Gallois, Frdric Boulanger |
| 2016 | CHESS: an Open Source Methodology and Toolset for the Development of Critical Systems. | Silvia Mazzini, John M. Favaro, Stefano Puri, Laura Baracchi |
| 2016 | Towards Semantic Integration of Plant Behavior Models with AutomationML's Intermediate Modeling Layer. | Tanja Mayerhofer, Manuel Wimmer, Luca Berardinelli, Emanuel Mtzler, Nicole Schmidt |
| 2016 | Fault-aware Pareto Frontier Exploration for Dependable System Architectures. | Lukas Mrtin, Hauke Baller, Anne Koziolek, Ralf Reussner |
| 2016 | Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise Computing. | Assaf Marron, Brit Arnon, Achiya Elyasaf, Michal Gordon, Guy Katz, Hadas Lapid, Rami Marelly, Dana Sherman, Smadar Szekely, Gera Weiss, David Harel |
| 2016 | Consistent Extra-Functional Properties Tagging for Component and Connector Models. | Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern |
| 2016 | Re-Implementing Apache Thrift using Model-Driven Engineering Technologies: An Experience Report. | Sina Madani, Dimitris S. Kolovos |
| 2016 | MultEcore: Combining the Best of Fixed-Level and Multilevel Metamodelling. | Fernando Macas, Adrian Rutle, Volker Stolz |
| 2016 | Towards a Meta-Model for Quality-aware Self-Adaptive Systems Design. | Esma Maatougui, Chafia Bouanaka, Nadia Zeghib |
| 2016 | Model-based diagnosis patterns for model checking. | Vincent Leilde, Vincent Ribaud, Philippe Dhaussy |
| 2016 | Concurrency-aware Executable Domain-Specific Modeling Languages as Models of Concurrency. | Florent Latombe, Xavier Crgut, Marc Pantel |
| 2016 | Verified bidirectional transformations by construction. | Kevin Lano, Sobhan Yassipour Tehrani |
| 2016 | Version Control for Models: From Research to Industry and Back Again. | Philip Langer |
| 2016 | Reflective Systems Need Models at Run Time. | Christopher Landauer, Kirstie L. Bellman |
| 2016 | Applying UI patterns for modeling dialogs. | Mathias Khn, Peter Forbrig |
| 2016 | Unifying explanatory and constructive modeling: towards removing the gulf between ontologies and conceptual models. | Thomas Khne |
| 2016 | A Controlled Experiment Template for Evaluating the Understandability of Model Transformation Languages. | Max E. Kramer, Georg Hinkel, Heiko Klare, Michael Langhammer, Erik Burger |
| 2016 | On the synthesis of protocol state machines from contracts. | Piotr Kosiuczenko |
| 2016 | Towards Flexible Parsing of Structured Textual Model Representations. | Dimitrios S. Kolovos, Nicholas Matragkas, Antonio Garca-Domnguez |
| 2016 | Towards a Corpus of Use-Cases for Model-Driven Engineering Courses. | Dimitrios S. Kolovos, Jordi Cabot |