| 2009 | Generic Model Refactorings. | Naouel Moha, Vincent Mah, Olivier Barais, Jean-Marc Jzquel |
| 2009 | From design models to test models by means of test ideas. | Michael Mlynarski, Baris Gldali, Melanie Spth, Gregor Engels |
| 2009 | Rule-Enhanced Business Process Modeling Language for Service Choreographies. | Milan Milanovic, Dragan Gasevic, Gerd Wagner, Marek Hatala |
| 2009 | Towards Semantic Modeling of Network Physical Devices. | Krzysztof Miksa, Marek Kasztelnik, Pawel Sabina, Tobias Walter |
| 2009 | Models. Models. Models. So What? | Stephen J. Mellor |
| 2009 | Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors. | Steffen Mazanek, Mark Minas |
| 2009 | Model-Based Testing Using LSCs and S2A. | Shahar Maoz, Jani Mets, Mika Katara |
| 2009 | Polymorphic Scenario-Based Specification Models: Semantics and Applications. | Shahar Maoz |
| 2009 | Finite satisfiability of class diagrams: practical occurrence and scalability of the | Victor Makarenkov, Pavel Jelnov, Azzam Maraee, Mira Balaban |
| 2009 | MoDeVVa Workshop Summary. | Levi Lucio, Stephan Weileder |
| 2009 | Security Analysis of a Biometric Authentication System Using UMLsec and JML. | John Lloyd, Jan Jrjens |
| 2009 | RobbyDBMS: a case study on hardware/software product line engineering. | Jrg Liebig, Sven Apel, Christian Lengauer, Thomas Leich |
| 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 | Formal Support for QVT-Relations with Coloured Petri Nets. | Juan de Lara, Esther Guerra |
| 2009 | Towards Intelligent Tool-Support for AADL Based Modeling of Embedded Systems. | Dries Langsweirdt, Yves Vandewoude, Yolande Berbers |
| 2009 | Automated model-based testing using the UML testing profile and QVT. | Beatriz Prez Lamancha, Pedro Reales Mateo, Ignacio Gara Rodrguez de Guzmn, Macario Polo Usaola, Mario Piattini Velthuis |
| 2009 | Incremental Development of Model Transformation Chains Using Automated Testing. | Jochen Malte Kster, Thomas Gschwind, Olaf Zimmermann |
| 2009 | Explicit Transformation Modeling. | Thomas Khne, Gergely Mezei, Eugene Syriani, Hans Vangheluwe, Manuel Wimmer |
| 2009 | Automated Encapsulation of UML Activities for Incremental Development and Verification. | Frank Alexander Kraemer, Peter Herrmann |
| 2009 | Aspect Model Unweaving. | Jacques Klein, Jrg Kienzle, Brice Morin, Jean-Marc Jzquel |
| 2009 | Parsing SBVR-Based Controlled Languages. | Mathias Kleiner, Patrick Albert, Jean Bzivin |
| 2009 | Report of the 14th International Workshop on Aspect-Oriented Modeling. | Jrg Kienzle, Jeff Gray, Dominik Stein, Thomas Cottenier, Walter Cazzola, Omar Aldawud |
| 2009 | Supporting inconsistency resolution through predictive change impact analysis. | Anne Keller, Hans Schippers, Serge Demeyer |
| 2009 | Towards Composite Model Transformations Using Distributed Graph Transformation Concepts. | Stefan Jurack, Gabriele Taentzer |
| 2009 | Abstracting Complex Languages through Transformation and Composition. | Jendrik Johannes, Steffen Zschaler, Miguel A. Fernndez, Antonio Castillo, Dimitrios S. Kolovos, Richard F. Paige |