| 2011 | Instant and Incremental QVT Transformation for Runtime Models. | Hui Song, Gang Huang, Franck Chauvel, Wei Zhang, Yanchun Sun, Weizhong Shao, Hong Mei |
| 2011 | Towards automatic determination of problem bounds for object instantiation in static model verification. | Mathias Soeken, Robert Wille, Rolf Drechsler |
| 2011 | Finding Models in Model-Based Development - (Abstract). | Wolfram Schulte, Ethan K. Jackson |
| 2011 | Creating Models for Simulating the Face. | Mark Sagar |
| 2011 | A Model-Driven Approach for Software Parallelization. | Margarete Sackmann, Peter Ebraert, Dirk Janssens |
| 2011 | A Precise Style for Business Process Modelling: Results from Two Controlled Experiments. | Gianna Reggio, Filippo Ricca, Giuseppe Scanniello, Francesco Di Cerbo, Gabriella Dodero |
| 2011 | Automatic Derivation of Utility Functions for Monitoring Software Requirements. | Andres J. Ramirez, Betty H. C. Cheng |
| 2011 | Improving formal verification practicability through user oriented models and context-awareness. | Amine Raji, Philippe Dhaussy |
| 2011 | Use Cases for Context Aware Model-Checking. | Amine Raji, Philippe Dhaussy |
| 2011 | Interoperability of Software Engineering Metamodels. | Muhammad Atif Qureshi |
| 2011 | The Value in Muddling Around Modelling. | Marian Petre |
| 2011 | Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks. | Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel |
| 2011 | Comparing Six Modeling Approaches. | Gunter Mussbacher, Wisam Al Abed, Omar Alam, Shaukat Ali, Antoine Beugnard, Valentin Bonnet, Rolv Brk, Alfredo Capozucca, Betty H. C. Cheng, Urooj Fatima, Robert B. France, Geri Georg, Nicolas Guelfi, Paul Istoan, Jean-Marc Jzquel, Jrg Kienzle, Jacques Klein, Jean-Baptiste Lzoray, Somayeh Malakuti, Ana Moreira, An Phung-Khac, Lucy J. Troup |
| 2011 | Verifying UML-RT Protocol Conformance Using Model Checking. | Yann Moffett, Alain Beaulieu, Jrgen Dingel |
| 2011 | On the interaction of inter-relationship constraints. | Azzam Maraee, Mira Balaban |
| 2011 | CD2Alloy: Class Diagrams Analysis Using Alloy Revisited. | Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe |
| 2011 | Semantically Configurable Consistency Analysis for Class and Object Diagrams. | Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe |
| 2011 | MoDeVVa 2011 Workshop Summary. | Levi Lucio, Stephan Weileder, Frdric Fondement, Harald Cichos |
| 2011 | A Model-Based and Automated Approach to Size Estimation of Embedded Software Components. | Kenneth Lind, Rogardt Heldal |
| 2011 | A Critical Review of Applied MDA for Embedded Devices: Identification of Problem Classes and Discussing Porting Efforts in Practice. | Michael Lettner, Michael Tschernuth, Rene Mayrhofer |
| 2011 | Building VECM-based Systems with a Model Driven Approach: an Experience Report. | Maurizio Leotta, Gianna Reggio, Filippo Ricca, Egidio Astesiano |
| 2011 | Early Experience with Agile Methodology in a Model-Driven Approach. | Vinay Kulkarni, Souvik Barat, Uday Ramteerthkar |
| 2011 | Engineering Android Applications Based on UML Activities. | Frank Alexander Kraemer |
| 2011 | Designing Heterogeneous Component Based Systems: Evaluation of MARTE Standard and Enhancement Proposal. | Ali Koudri, Arnaud Cuccuru, Sebastien Gerard, Franois Terrier |
| 2011 | Analyzing realizability of choreographies using initiating and responding flows. | Surya Bahadur Kathayat, Rolv Brk |