| 2012 | Bridging state-based differencing and co-evolution. | Juri Di Rocco, Ludovico Iovino, Alfonso Pierantonio |
| 2012 | Architecting a security strategy measurement and management system. | Roland Rieke, Julian Schtte, Andrew Hutchison |
| 2012 | Tool supported OCL refactoring catalogue. | Jan Reimann, Claas Wilke, Birgit Demuth, Michael Muck, Uwe Amann |
| 2012 | Maintaining consistency between system architecture and dynamic system models with SysML4Modelica. | Axel Reichwein, Christiaan J. J. Paredis, Arquimedes Canedo, Petra Witschel, Philipp Emanuel Stelzig, Anjelika Votintseva, Rainer Wasgint |
| 2012 | Business process modelling: five styles and a method to choose the most suitable one. | Gianna Reggio, Maurizio Leotta, Filippo Ricca, Egidio Astesiano |
| 2012 | Incremental Consistency Checking for Complex Design Rules and Larger Model Changes. | Alexander Reder, Alexander Egyed |
| 2012 | Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time. | Andres J. Ramirez, Betty H. C. Cheng, Nelly Bencomo, Pete Sawyer |
| 2012 | T | Fazle Rabbi, Wendy MacCaull |
| 2012 | Choosing and adapting design notations in the principled development of complex systems simulations for research. | Fiona A. C. Polack |
| 2012 | Tool-supported model-driven validation process for system architectures. | Andr Pflger, Wolfgang Golubski, Stefan Queins |
| 2012 | Cross-Language Support Mechanisms Significantly Aid Software Development. | Rolf-Helge Pfeiffer, Andrzej Wasowski |
| 2012 | A model-driven approach for the extraction of network access-control policies. | Salvador Martnez Perez, Jordi Cabot, Joaqun Garca-Alfaro, Frdric Cuppens, Nora Cuppens-Boulahia |
| 2012 | Automatic synthesis from UML/MARTE models using channel semantics. | Pablo Peil, Hctor Posadas, Alejandro Nicols, Eugenio Villar |
| 2012 | An infrastructure for multi-level optimisation through property annotation and aggregation. | Frank Penczek, Raimund Kirner, Raphael Poss, Clemens Grelck, Alex Shafarenko |
| 2012 | HPCML: a modeling language dedicated to high-performance scientific computing. | Marc Palyart, Ileana Ober, David Lugato, Jean-Michel Bruel |
| 2012 | UML class diagram simplification: what is in the developer's mind? | Hafeez Osman, Arjan van Zadelhoff, Dave R. Stikkolorum, Michel R. V. Chaudron |
| 2012 | Toward a model-driven access-control enforcement mechanism for pervasive systems. | Ben David Olivier-Nathanal, Benoit Baudry |
| 2012 | Modelling and multi-objective optimization of quality attributes in variability-rich software. | Rafael Olaechea, Steven T. Stewart, Krzysztof Czarnecki, Derek Rayside |
| 2012 | Untitled record | Ileana Ober, Aniruddha S. Gokhale, Geri Georg, Michael Felderer, Jean-Michel Bruel, David Lugato |
| 2012 | FacadeMetamodel: Masking UML. | Florian Noyrit, Sbastien Grard, Bran Selic |
| 2012 | A process for continuous validation of self-adapting component based systems. | Viet-Hoa Nguyen, Franois Fouquet, Nol Plouzeau, Olivier Barais |
| 2012 | Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing. | Shiva Nejati, Stefano Di Alesio, Mehrdad Sabetzadeh, Lionel C. Briand |
| 2012 | Model-driven specification of adaptive cloud-based systems. | Benjamin Nagel, Christian Gerth, Enes Yigitbas, Fabian Christ, Gregor Engels |
| 2012 | Real-time design models to RTOS-specific models refinement verification. | Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid |
| 2012 | The FTG+PM framework for multi-paradigm modelling: an automotive case study. | Sadaf Mustafiz, Joachim Denil, Levi Lucio, Hans Vangheluwe |