| 2013 | OCL2FOL+: Coping with Undefinedness. | Carolina Dania, Manuel Clavel |
| 2013 | Extracting UML/OCL Integrity Constraints and Derived Types from Relational Databases. | Valerio Cosentino, Salvador Martnez Perez |
| 2013 | Debugging for Model Transformations. | Jonathan Corley |
| 2013 | Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013). | Benot Combemale, Julien DeAntoni, Robert B. France, Frdric Boulanger, Sbastien Mosser, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler |
| 2013 | On the Scalability Criterion for Comparing Modeling Approaches. | Philippe Collet, Philippe Lahire |
| 2013 | OCL Pattern Matching. | Tony Clark |
| 2013 | Automatic Synthesis of Heterogeneous CPU-GPU Embedded Applications from a UML Profile. | Federico Ciccozzi |
| 2013 | Towards a Novel Model Versioning Approach Based on the Separation Between Linguistic and Ontological Aspects. | Antonio Cicchetti, Federico Ciccozzi |
| 2013 | Modeling and Verification of Redundancy Policies. | Hamza Chouh, Charlotte Callon, Ghita Jalal, Frdric Boulanger, Safouan Taha |
| 2013 | An Approach to Testing Java Implementation against Its UML Class Model. | Hector Miguel Chavez, Wuwei Shen, Robert B. France, Benjamin A. Mechling |
| 2013 | Models@Runtime to Support the Iterative and Continuous Design of Autonomic Reasoners. | Franck Chauvel, Nicolas Ferry, Brice Morin |
| 2013 | Fine-Grained Software Evolution Using UML Activity and Class Models. | Walter Cazzola, Nicole Alicia Rossini, Mohammed Al-Refai, Robert B. France |
| 2013 | Continual Verification of Non-Functional Properties in Cloud-Based Systems. | Radu Calinescu, Kenneth Johnson, Yasmin Rafiq, Simos Gerasimou, Gabriel Costa Silva, Stanimir N. Pehlivanov |
| 2013 | Rule Chains Coverage for Testing QVT-Relations Transformations. | Daniel Calegari, Andrea Delgado |
| 2013 | TractsTool: Testing Model Transformations based on Contracts. | Loli Burgueo, Manuel Wimmer, Javier Troya, Antonio Vallecillo |
| 2013 | Concurrent and Distributed Model Transformations based on Linda. | Loli Burgueo |
| 2013 | MDE Support for Enterprise Architecture in an Industrial Context: the TEAP Framework Experience. | Hugo Bruneliere, Jordi Cabot, Stphane Drapeau, Flavien Somda, William Piers, Juan David Villa Calle, Jean-Christophe Lafaurie |
| 2013 | On the Semantics of Object-Oriented Data Structures and Path Expressions. | Achim D. Brucker, Delphine Longuet, Frdric Tuong, Burkhart Wolff |
| 2013 | Report on the Aachen OCL Meeting. | Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff |
| 2013 | Tackling Model-Based Software Testing and Verification as a Search Problem. | Lionel C. Briand |
| 2013 | On Properties of Modeling Approaches. | Rolv Brk |
| 2013 | Ensuring OSGi Component Based Properties at Runtime with Behavioral Types. | Jan Olaf Blech |
| 2013 | Introducing Argumentative and Discursive Enterprise Leading and Management. | Sebastian Bittmann, Balbir Barn, Tony Clark, Oliver Thomas |
| 2013 | OCL meets CTL: Towards CTL-Extended OCL Model Checking. | Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl |
| 2013 | Model-based Simplified Functional Size Measurement - an Experimental Evaluation with COSMIC Function Points. | Vieri Del Bianco, Luigi Lavazza, Geng Liu, Sandro Morasca, Abedallah Zaid Abualkishik |