| 2012 | A Commutative Model Composition Operator to Support Software Adaptation. Sébastien Mosser, Mireille Blay-Fornarino, Laurence Duchien |
| 2012 | A Lightweight Approach for Managing XML Documents with MDE Languages. Dimitrios S. Kolovos, Louis M. Rose, James R. Williams, Nikolas Drivalos Matragkas, Richard F. Paige |
| 2012 | A Plug-in Based Approach for UML Model Simulation. Alek Radjenovic, Richard F. Paige, Louis M. Rose, Jim Woodcock, Steve King |
| 2012 | A Timed Automata-Based Method to Analyze EAST-ADL Timing Constraint Specifications. Tahir Naseer Qureshi, De-Jiu Chen, Martin Törngren |
| 2012 | An Internal Domain-Specific Language for Constructing OPC UA Queries and Event Filters. Thomas Goldschmidt, Wolfgang Mahnke |
| 2012 | Aspect-Oriented Modeling of Mutual Exclusion in UML State Machines. Gefei Zhang |
| 2012 | BOB the Builder: A Fast and Friendly Model-to-PetriNet Transformer. Ulrich Winkler, Mathias Fritzsche, Wasif Gilani, Alan Marshall |
| 2012 | Badger: A Regression Planner to Resolve Design Model Inconsistencies. Jorge Pinna Puissant, Ragnhild Van Der Straeten, Tom Mens |
| 2012 | Bidirectional Model Transformation with Precedence Triple Graph Grammars. Marius Lauder, Anthony Anjorin, Gergely Varró, Andy Schürr |
| 2012 | Bridging the Gap between Requirements and Aspect State Machines to Support Non-functional Testing: Industrial Case Studies. Tao Yue, Shaukat Ali |
| 2012 | Code Generation Nirvana. Petr C. Smolik, Pavel Vitkovsky |
| 2012 | Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing. Lionel C. Briand, Yvan Labiche, Yanhua Liu |
| 2012 | Comparative Study of Model-Based and Multi-Domain System Engineering Approaches for Industrial Settings. Anjelika Votintseva, Petra Witschel, Nikolaus Regnat, Philipp Emanuel Stelzig |
| 2012 | Derived Features for EMF by Integrating Advanced Model Queries. István Ráth, Ábel Hegedüs, Dániel Varró |
| 2012 | Domain-Specific Textual Meta-Modelling Languages for Model Driven Engineering. Juan de Lara, Esther Guerra |
| 2012 | Executable UML: From Multi-domain to Multi-core. Ed Seidewitz |
| 2012 | Lightweight String Reasoning for OCL. Fabian Büttner, Jordi Cabot |
| 2012 | MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems. Alek Radjenovic, Nikolas Drivalos Matragkas, Richard F. Paige, Matteo Rossi, Alfredo Motta, Luciano Baresi, Dimitrios S. Kolovos |
| 2012 | Metamodel Based Methodology for Dynamic Component Systems. Gabor Batori, Zoltán Theisz, Domonkos Asztalos |
| 2012 | Model Interchange Testing: A Process and a Case Study. Maged Elaasar, Yvan Labiche |
| 2012 | Model Transformations for Migrating Legacy Models: An Industrial Case Study. Gehan M. K. Selim, Shige Wang, James R. Cordy, Jürgen Dingel |
| 2012 | Model-Based Automated and Guided Configuration of Embedded Software Systems. Razieh Behjati, Shiva Nejati, Tao Yue, Arnaud Gotlieb, Lionel C. Briand |
| 2012 | Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Kongens Lyngby, Denmark, July 2-5, 2012. Proceedings Antonio Vallecillo, Juha-Pekka Tolvanen, Ekkart Kindler, Harald Störrle, Dimitrios S. Kolovos |
| 2012 | Models Meeting Automotive Design Challenges. Henrik Lönn |
| 2012 | OCL-Based Runtime Monitoring of Applications with Protocol State Machines. Lars Hamann, Oliver Hofrichter, Martin Gogolla |
| 2012 | On Model Subtyping. Clément Guy, Benoît Combemale, Steven Derrien, Jim Steel, Jean-Marc Jézéquel |
| 2012 | On-the-Fly Emendation of Multi-level Models. Colin Atkinson, Ralph Gerbig, Bastian Kennel |
| 2012 | Solving Acquisition Problems Using Model-Driven Engineering. Frank R. Burton, Richard F. Paige, Louis M. Rose, Dimitrios S. Kolovos, Simon M. Poulding, Simon Smith |
| 2012 | Specifying Refinement Relations in Vertical Model Transformations. Jan Rieke, Oliver Sudmann |
| 2012 | Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations. Mirco Kuhlmann, Martin Gogolla |
| 2012 | TexMo: A Multi-language Development Environment. Rolf-Helge Pfeiffer, Andrzej Wasowski |
| 2012 | Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems. Ning Ge, Marc Pantel |
| 2012 | Unification of Compiled and Interpreter-Based Pattern Matching Techniques. Gergely Varró, Anthony Anjorin, Andy Schürr |