| 2013 | A Generic Fault Model for Quality Assurance. Alexander Pretschner, Dominik Holling, Robert Eschbach, Matthias Gemmar |
| 2013 | A Graph-Pattern Based Approach for Meta-Model Specific Conflict Detection in a General-Purpose Model Versioning System. Asha Rajbhoj, Sreedhar Reddy |
| 2013 | Adding Spreadsheets to the MDE Toolkit. Martins Francis, Dimitrios S. Kolovos, Nikolaos Drivalos Matragkas, Richard F. Paige |
| 2013 | An Approach to Testing Java Implementation against Its UML Class Model. Hector Miguel Chavez, Wuwei Shen, Robert B. France, Benjamin A. Mechling |
| 2013 | Analyzing Enterprise Models Using Enterprise Architecture-Based Ontology. Sagar Sunkle, Vinay Kulkarni, Suman Roychoudhury |
| 2013 | Analyzing the Effort of Composing Design Models of Large-Scale Software in Industrial Case Studies. Kleinner Farias, Alessandro Garcia, Jon Whittle, Carlos José Pereira de Lucena |
| 2013 | Automated Test Case Selection Using Feature Model: An Industrial Case Study. Shuai Wang, Arnaud Gotlieb, Shaukat Ali, Marius Liaaen |
| 2013 | Automated Verification of Model Transformations in the Automotive Industry. Gehan M. K. Selim, Fabian Büttner, James R. Cordy, Jürgen Dingel, Shige Wang |
| 2013 | Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples. Martin Faunes, Juan José Cadavid, Benoit Baudry, Houari A. Sahraoui, Benoît Combemale |
| 2013 | Behavioural Verification in Embedded Software, from Model to Source Code. Anthony Fernandes Pires, Thomas Polacsek, Virginie Wiels, Stéphane Duprat |
| 2013 | Big Metamodels Are Evil - Package Unmerge - A Technique for Downsizing Metamodels. Frédéric Fondement, Pierre-Alain Muller, Laurent Thiry, Brice Wittmann, Germain Forestier |
| 2013 | Composing Your Compositions of Variability Models. Mathieu Acher, Benoît Combemale, Philippe Collet, Olivier Barais, Philippe Lahire, Robert B. France |
| 2013 | Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications. Joel Greenyer, Ekkart Kindler |
| 2013 | Computer Assisted Integration of Domain-Specific Modeling Languages Using Text Analysis Techniques. Florian Noyrit, Sébastien Gérard, François Terrier |
| 2013 | Concern-Oriented Software Design. Omar Alam, Jörg Kienzle, Gunter Mussbacher |
| 2013 | Constraints: The Core of Supporting Automated Product Configuration of Cyber-Physical Systems. Kunming Nie, Tao Yue, Shaukat Ali, Li Zhang, Zhiqiang Fan |
| 2013 | Contract-Aware Slicing of UML Class Models. Wuliang Sun, Robert B. France, Indrakshi Ray |
| 2013 | Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes. Gabriele Taentzer, Florian Mantz, Thorsten Arendt, Yngve Lamo |
| 2013 | Data-Flow Based Model Analysis and Its Applications. Christian Saad, Bernhard Bauer |
| 2013 | Defining and Validating a Multimodel Approach for Product Architecture Derivation and Improvement. Javier Gonzalez-Huerta, Emilio Insfrán, Silvia Abrahão |
| 2013 | Endogenous Metamodeling Semantics for Structural UML 2 Concepts. Lars Hamann, Martin Gogolla |
| 2013 | Evolution of the UML Interactions Metamodel. Marc-Florian Wendland, Martin A. Schneider, Øystein Haugen |
| 2013 | Fine-Grained Software Evolution Using UML Activity and Class Models. Walter Cazzola, Nicole Alicia Rossini, Mohammed Al-Refai, Robert B. France |
| 2013 | Formal Verification Integration Approach for DSML. Faiez Zalila, Xavier Crégut, Marc Pantel |
| 2013 | Generic Model Assist. Friedrich Steimann, Bastian Ulke |
| 2013 | Industrial Adoption of Model-Driven Engineering: Are the Tools Really the Problem? Jon Whittle, John Edward Hutchinson, Mark Rouncefield, Håkan Burden, Rogardt Heldal |
| 2013 | Integrating Modeling Tools in the Development Lifecycle with OSLC: A Case Study. Maged Elaasar, Adam Neal |
| 2013 | Model Checking of UML-RT Models Using Lazy Composition. Karolina Zurowska, Jürgen Dingel |
| 2013 | Model-Driven Approach for Supporting the Mapping of Parallel Algorithms to Parallel Computing Platforms. Ethem Arkin, Bedir Tekinerdogan, Kayhan M. Imre |
| 2013 | Model-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter J. Clarke |
| 2013 | Model-Driven Extraction and Analysis of Network Security Policies. Salvador Martínez Perez, Joaquín García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia, Jordi Cabot |
| 2013 | On the Complex Nature of MDE Evolution. Regina Hebig, Holger Giese, Florian Stallmann, Andreas Seibel |
| 2013 | Parallel Execution of ATL Transformation Rules. Massimo Tisi, Salvador Martínez Perez, Hassene Choura |
| 2013 | Recommending Auto-completions for Software Modeling Activities. Tobias Kuschke, Patrick Mäder, Patrick Rempel |
| 2013 | Runtime Model Based Management of Diverse Cloud Resources. Xiaodong Zhang, Xing Chen, Ying Zhang, Yihan Wu, Wei Yao, Gang Huang, Qiang Lin |
| 2013 | SafetyMet: A Metamodel for Safety Standards. Jose Luis de la Vara, Rajwinder Kaur Panesar-Walawege |
| 2013 | Self-adaptation with End-User Preferences: Using Run-Time Models and Constraint Solving. Hui Song, Stephen Barrett, Aidan Clarke, Siobhán Clarke |
| 2013 | Simplification and Correctness of UML Class Diagrams - Focusing on Multiplicity and Aggregation/Composition Constraints. Mira Balaban, Azzam Maraee |
| 2013 | Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition. Gabor Simko, David Lindecker, Tihamer Levendovszky, Sandeep Neema, Janos Sztipanovits |
| 2013 | Supporting the Co-evolution of Metamodels and Constraints through Incremental Constraint Management. Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed |
| 2013 | Teaching Model Driven Engineering from a Relational Database Perspective. Don S. Batory, Eric Latimer, Maider Azanza |
| 2013 | Testing M2T/T2M Transformations. Manuel Wimmer, Loli Burgueño |
| 2013 | The Semantic Web as a Software Modeling Tool: An Application to Citizen Relationship Management. Borislav Iordanov, Assia Alexandrova, Syed Abbas, Thomas Hilpold, Phani Upadrasta |
| 2013 | Towards an Operationalization of the "Physics of Notations" for the Analysis of Visual Languages. Harald Störrle, Andrew Fish |
| 2013 | Towards the Notation-Driven Development of DSMLs. Laurent Wouters |
| 2013 | Transformation of Models Containing Uncertainty. Michalis Famelis, Rick Salay, Alessio Di Sandro, Marsha Chechik |
| 2013 | Usability Inspection in Model-Driven Web Development: Empirical Validation in WebML. Adrian Fernandez, Silvia Abrahão, Emilio Insfrán, Maristella Matera |
| 2013 | Validation of Derived Features and Well-Formedness Constraints in DSLs - By Mapping Graph Queries to an SMT-Solver. Oszkár Semeráth, Ákos Horváth, Dániel Varró |