| 2012 | Incremental development of large, secure smart card applications. | Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif |
| 2012 | Composing textual modelling languages in practice. | Bart Meyers, Antonio Cicchetti, Esther Guerra, Juan de Lara |
| 2012 | A runtime model for fUML. | Tanja Mayerhofer, Philip Langer, Gerti Kappel |
| 2012 | Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines. | Azzam Maraee, Mira Balaban |
| 2012 | Assume-Guarantee Scenarios: Semantics and Synthesis. | Shahar Maoz, Yaniv Sa'ar |
| 2012 | Micro-business behavior patterns associated with components in a requirements approach. | R. J. Macasaet, Manuel Noguera, Mara Luisa Rodrguez, Jos Luis Garrido, Sam Supakkul, Lawrence Chung |
| 2012 | Invariant preservation in iterative modeling. | Levi Lcio, Eugene Syriani, Moussa Amrani, Qin Zhang, Hans Vangheluwe |
| 2012 | Towards a model driven refinement process through architecture evaluation. | Grzegorz Loniewski, Etienne Borde, Emilio Insfrn |
| 2012 | Library for model querying: IQuery. | Renars Liepins |
| 2012 | Evolution in a context of an model-integrated tool environment. | Tihamer Levendovszky, Kevin Smyth, Daniel Balasubramanian, Feng Shi, Gabor Karsai |
| 2012 | Model-driven paradigms: the evolution of a university course. | Lszl Lengyel, Gergely Mezei |
| 2012 | Component-based modeling of dynamic systems using heterogeneous composition. | Zsolt Lattmann, Adam Nagel, Tihamer Levendovszky, Ted Bapty, Sandeep Neema, Gabor Karsai |
| 2012 | Modeling cyber-physical systems: model-driven specification of energy efficient buildings. | Thomas Kurpick, Claas Pinkernell, Markus Look, Bernhard Rumpe |
| 2012 | Towards Business Application Product Lines. | Vinay Kulkarni, Souvik Barat, Suman Roychoudhury |
| 2012 | An Exploratory Study of Forces and Frictions Affecting Large-Scale Model-Driven Development. | Adrian Kuhn, Gail C. Murphy, C. Albert Thompson |
| 2012 | Lessons learned from evaluating MDE abstractions in an industry field study. | Adrian Kuhn, Gail C. Murphy |
| 2012 | From UML and OCL to Relational Logic and Back. | Mirco Kuhlmann, Martin Gogolla |
| 2012 | Actor-based runtime model of adaptable feedback control loops. | Filip Krikava, Philippe Collet, Robert B. France |
| 2012 | On the use of an internal DSL for enriching EMF models. | Filip Krikava, Philippe Collet |
| 2012 | Model-driven security: MDsec '12 Workshop at MoDELS 2012, Innsbruck, Austria. | Nora Koch, Alexander Knapp, Geri Georg, Marina Egea, Benoit Baudry |
| 2012 | A two-steps model transformation to extend the scope of an analysis framework to standard modeling languages. | Mickal Kerboeuf, Jean-Philippe Babau, Vincent Gaudel |
| 2012 | A Generic Approach Simplifying Model-to-Model Transformation Chains. | Gerd Kainz, Christian Buckl, Alois C. Knoll |
| 2012 | On the application of software modelling principles on ISO 15926. | Andreas Jordan, Georg Grossmann, Wolfgang Mayer, Matt Selway, Markus Stumptner |
| 2012 | Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines. | Martin Fagereng Johansen, ystein Haugen, Franck Fleurey, Anne Grete Eldegard, Torbjrn Syversen |
| 2012 | Detecting Specification Errors in Declarative Languages with Constraints. | Ethan K. Jackson, Wolfram Schulte, Nikolaj S. Bjrner |