| 2013 | Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition. | Gabor Simko, David Lindecker, Tihamer Levendovszky, Sandeep Neema, Janos Sztipanovits |
| 2013 | Semantic Specifications for Domain-Specific Modeling Languages. | Gabor Simko |
| 2013 | A Model-driven Approach for Price/Performance Tradeoffs in Cloud-based MapReduce Application Deployment. | Shashank Shekhar, Faruk Caglar, Kyoungho An, Takayuki Kuroda, Aniruddha S. Gokhale, Swapna S. Gokhale |
| 2013 | Validation of Derived Features and Well-Formedness Constraints in DSLs - By Mapping Graph Queries to an SMT-Solver. | Oszkr Semerth, kos Horvth, Dniel Varr |
| 2013 | Automated Verification of Model Transformations in the Automotive Industry. | Gehan M. K. Selim, Fabian Bttner, James R. Cordy, Jrgen Dingel, Shige Wang |
| 2013 | Learning on the Job: Supporting the Evolution of Designse. | Bran Selic |
| 2013 | Tool-Supported Step-By-Step Debugging for the Object Constraint Language. | Lars Schtze, Claas Wilke, Birgit Demuth |
| 2013 | Concern-Oriented Software Design with TouchRAM. | Matthias Schttle, Omar Alam, Abir Ayed, Jrg Kienzle |
| 2013 | Making UML "hip": A First Experience Report on Using Modern Teaching Tools for Object-Oriented Modelling. | Marion Scholz, Petra Kaufmann, Martina Seidl |
| 2013 | Towards Domain-Specific Testing Languages for Software-as-a-Service. | Dionny Santiago, Adam Cando, Cody Mack, Gabriel Nunez, Troy Thomas, Tariq M. King |
| 2013 | A Model-driven Approach to Develop and Manage Cyber-Physical Systems. | Adalberto R. Sampaio Jr., Fbio Moreira Costa, Peter J. Clarke |
| 2013 | Supporting Agility in MDE Through Modeling Language Relaxation. | Rick Salay, Marsha Chechik |
| 2013 | Data-Flow Based Model Analysis and Its Applications. | Christian Saad, Bernhard Bauer |
| 2013 | A Tool for Collaborative Evolution of Enterprise Architecture Models at Runtime. | Sascha Roth, Matheus Hauder, Florian Matthes |
| 2013 | Interactive Dependency Graphs for Model Transformation Analysis. | Andreas Rentschler, Per Sterner |
| 2013 | What are the used UML diagrams? A Preliminary Survey. | Gianna Reggio, Maurizio Leotta, Filippo Ricca, Diego Clerissi |
| 2013 | A Graph-Pattern Based Approach for Meta-Model Specific Conflict Detection in a General-Purpose Model Versioning System. | Asha Rajbhoj, Sreedhar Reddy |
| 2013 | A Domain-Specific Language for Dependency Management in Model-Based Systems Engineering. | Ahsan Qamar, Sebastian J. I. Herzig, Christiaan J. J. Paredis |
| 2013 | A Generic Fault Model for Quality Assurance. | Alexander Pretschner, Dominik Holling, Robert Eschbach, Matthias Gemmar |
| 2013 | Feature-based Development of State Transition Diagrams with Property Preservation. | Christian Prehofer |
| 2013 | Union and Difference of Models, 10 years later. | Ivan Porres |
| 2013 | Behavioural Verification in Embedded Software, from Model to Source Code. | Anthony Fernandes Pires, Thomas Polacsek, Virginie Wiels, Stphane Duprat |
| 2013 | Modeling Cloud Architectures as Interactive Systems. | Antonio Navarro Prez, Bernhard Rumpe |
| 2013 | Model-Driven Extraction and Analysis of Network Security Policies. | Salvador Martnez Perez, Joaqun Garca-Alfaro, Frdric Cuppens, Nora Cuppens-Boulahia, Jordi Cabot |
| 2013 | Towards Reconstructing Architectural Models of Software Tools by Runtime Analysis. | Ian D. Peake, Jan Olaf Blech, Lasith Fernando |