| 2009 | A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems. Franck Fleurey, Arnor Solberg |
| 2009 | A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty. Betty H. C. Cheng, Peter Sawyer, Nelly Bencomo, Jon Whittle |
| 2009 | A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems. Naeem Esfahani, Sam Malek, João Pedro Sousa, Hassan Gomaa, Daniel A. Menascé |
| 2009 | A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems. Marwa Shousha, Lionel C. Briand, Yvan Labiche |
| 2009 | A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation. Tao Yue, Lionel C. Briand, Yvan Labiche |
| 2009 | Abstracting Complex Languages through Transformation and Composition. Jendrik Johannes, Steffen Zschaler, Miguel A. Fernández, Antonio Castillo, Dimitrios S. Kolovos, Richard F. Paige |
| 2009 | An Approach for Evolving Transformation Chains. Andrés Yie, Rubby Casallas, Dennis Wagelaar, Dirk Deridder |
| 2009 | An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example. Petra Brosch, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel, Werner Retschitzegger, Wieland Schwinger |
| 2009 | An Incremental Algorithm for High-Performance Runtime Model Consistency. Christopher Wolfe, T. C. Nicholas Graham, W. Greg Phillips |
| 2009 | Anatomy of a Visual Domain-Specific Language Project in an Industrial Context. Christoph Wienands, Michael Golm |
| 2009 | Architectural Mining: The Other Side of the MDD. Grady Booch |
| 2009 | Aspect Model Unweaving. Jacques Klein, Jörg Kienzle, Brice Morin, Jean-Marc Jézéquel |
| 2009 | Automated Encapsulation of UML Activities for Incremental Development and Verification. Frank Alexander Kraemer, Peter Herrmann |
| 2009 | Automatic Domain Model Migration to Manage Metamodel Evolution. Anantha Narayanan, Tihamer Levendovszky, Daniel Balasubramanian, Gabor Karsai |
| 2009 | Automatically Discovering Hidden Transformation Chaining Constraints. Raphaël Chenouard, Frédéric Jouault |
| 2009 | Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors. Steffen Mazanek, Mark Minas |
| 2009 | CSP(M): Constraint Satisfaction Problem over Models. Ákos Horváth, Dániel Varró |
| 2009 | Change-Driven Model Transformations. István Ráth, Gergely Varró, Dániel Varró |
| 2009 | Concern Visibility in Base Station Development - An Empirical Investigation. Lars Pareto, Peter S. Eriksson, Staffan Ehnebom |
| 2009 | Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers. Arnaud Cuccuru, Ansgar Radermacher, Sébastien Gérard, François Terrier |
| 2009 | Deterministic UML Models for Interconnected Activities and State Machines. Zamira Daw, Marcus Vetter |
| 2009 | Domain-Specific Languages in Practice: A User Study on the Success Factors. Felienne Hermans, Martin Pinzger, Arie van Deursen |
| 2009 | Educators' Symposium at MODELS 2009. Robert B. France, Martin Gogolla |
| 2009 | Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation. Philippe Dhaussy, Pierre Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry |
| 2009 | Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case Study. Ariadi Nugroho, Michel R. V. Chaudron |
| 2009 | Executable Domain Specific Language for Message-Based System Integration. Michael Shtelma, Mario Cartsburg, Nikola Milanovic |
| 2009 | Formal Support for QVT-Relations with Coloured Petri Nets. Juan de Lara, Esther Guerra |
| 2009 | Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages. Rodion Moiseev, Shinpei Hayashi, Motoshi Saeki |
| 2009 | Generic Model Refactorings. Naouel Moha, Vincent Mahé, Olivier Barais, Jean-Marc Jézéquel |
| 2009 | Incremental Development of Model Transformation Chains Using Automated Testing. Jochen Malte Küster, Thomas Gschwind, Olaf Zimmermann |
| 2009 | Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation. Stephan Weißleder |
| 2009 | Interaction Design and Model-Driven Development. Larry L. Constantine |
| 2009 | Language-Independent Change Management of Process Models. Christian Gerth, Jochen Malte Küster, Gregor Engels |
| 2009 | Meta-model Pruning. Sagar Sen, Naouel Moha, Benoit Baudry, Jean-Marc Jézéquel |
| 2009 | Model Composition Contracts. Jon Oldevik, Massimiliano Menarini, Ingolf Krüger |
| 2009 | Model Driven Development of Graphical User Interfaces for Enterprise Business Applications - Experience, Lessons Learnt and a Way Forward. Rahul Mohan, Vinay Kulkarni |
| 2009 | Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings Andy Schürr, Bran Selic |
| 2009 | Model Driven Performance Measurement and Assessment with MoDePeMART. Marko Boskovic, Wilhelm Hasselbring |
| 2009 | Model Transformation by Demonstration. Yu Sun, Jules White, Jeff Gray |
| 2009 | Model-Based Testing Using LSCs and S2A. Shahar Maoz, Jani Metsä, Mika Katara |
| 2009 | Modeling Modeling. Pierre-Alain Muller, Frédéric Fondement, Benoit Baudry |
| 2009 | Models. Models. Models. So What? Stephen J. Mellor |
| 2009 | OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language. Joanna Chimiak-Opoka |
| 2009 | On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars. Hartmut Ehrig, Claudia Ermel, Frank Hermann, Ulrike Prange |
| 2009 | Parsing SBVR-Based Controlled Languages. Mathias Kleiner, Patrick Albert, Jean Bézivin |
| 2009 | Polymorphic Scenario-Based Specification Models: Semantics and Applications. Shahar Maoz |
| 2009 | Refactoring-Safe Modeling of Aspect-Oriented Scenarios. Gunter Mussbacher, Daniel Amyot, Jon Whittle |
| 2009 | Representation and Traversal of Large Clabject Models. Thomas Aschauer, Gerd Dauenhauer, Wolfgang Pree |
| 2009 | Requirements for Practical Model Merge - An Industrial Perspective. Lars Bendix, Pär Emanuelsson |
| 2009 | Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets. Manuel Wimmer, Angelika Kusel, Johannes Schönböck, Gerti Kappel, Werner Retschitzegger, Wieland Schwinger |
| 2009 | Rule-Enhanced Business Process Modeling Language for Service Choreographies. Milan Milanovic, Dragan Gasevic, Gerd Wagner, Marek Hatala |
| 2009 | SLIM - A Lightweight Environment for Synchronous Collaborative Modeling. Christian Thum, Michael Schwind, Martin Schader |
| 2009 | Scalable Semantic Annotation Using Lattice-Based Ontologies. Man-Kit Leung, Thomas Mandl, Edward A. Lee, Elizabeth Latronico, Charles P. Shelton, Stavros Tripakis, Ben Lickly |
| 2009 | Security Analysis of a Biometric Authentication System Using UMLsec and JML. John Lloyd, Jan Jürjens |
| 2009 | Test-Driven Development of Model Transformations. Pau Giner, Vicente Pelechano |
| 2009 | Towards Composite Model Transformations Using Distributed Graph Transformation Concepts. Stefan Jurack, Gabriele Taentzer |
| 2009 | Towards Test-Driven Semantics Specification. Christian Soltenborn, Gregor Engels |
| 2009 | Traceability-Based Change Awareness. Jonas Helming, Maximilian Koegel, Helmut Naughton, Jörn David, Aleksandar Shterev |
| 2009 | Using UML Statecharts with Knowledge Logic Guards. Doron Drusinsky, Man-tak Shing |
| 2009 | Variability Modelling throughout the Product Line Lifecycle. Christa Schwanninger, Iris Groher, Christoph Elsner, Martin Lehofer |
| 2009 | Variability within Modeling Language Definitions. María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe |
| 2009 | Weaving Variability into Domain Metamodels. Brice Morin, Gilles Perrouin, Philippe Lahire, Olivier Barais, Gilles Vanwormhoudt, Jean-Marc Jézéquel |