Abstract is missing.
- Injecting Execution Traces into a Model-Driven Framework for Program AnalysisThibault Béziers la Fosse, Massimo Tisi, Jean-Marie Mottu. 3-13 [doi]
- Introduction of an OpenCL-Based Model Transformation EngineTamás Fekete, Gergely Mezei. 14-19 [doi]
- Collaborative Modelling with Version ControlSteven Kelly. 20-29 [doi]
- A Java Bytecode Metamodel for Composable Program AnalysesBugra M. Yildiz, Christoph Bockisch, Arend Rensink, Mehmet Aksit. 30-40 [doi]
- Graph Rewriting Based Search for Molecular Structures: Definitions, Algorithms, HardnessErnst Althaus, Andreas Hildebrandt 0001, Domenico Mosca. 43-59 [doi]
- Towards Automatic Generation of Evolution Rules for Model-Driven OptimisationAlexandru Burdusel, Steffen Zschaler. 60-75 [doi]
- Generating Efficient Predictive Shift-Reduce Parsers for Hyperedge Replacement GrammarsBerthold Hoffmann, Mark Minas. 76-91 [doi]
- Checking Graph Programs for ConfluenceIvaylo Hristakiev, Detlef Plump. 92-108 [doi]
- Loose Graph SimulationsAlessio Mansutti, Marino Miculan, Marco Peressotti. 109-126 [doi]
- Models, More Models, and Then a Lot MoreÖnder Babur, Loek Cleophas, Mark van den Brand, Bedir Tekinerdogan, Mehmet Aksit. 129-135 [doi]
- On the Need for Temporal Model RepositoriesRobert Bill, Alexandra Mazak, Manuel Wimmer, Birgit Vogel-Heuser. 136-145 [doi]
- On the Need for Artifact Models in Model-Driven Systems Engineering ProjectsArvid Butting, Timo Greifenberg, Bernhard Rumpe, Andreas Wortmann. 146-153 [doi]
- Cognifying Model-Driven Software EngineeringJordi Cabot, Robert Clarisó, Marco Brambilla 0001, Sébastien Gérard. 154-160 [doi]
- Non-human Modelers: Challenges and Roadmap for Reusable Self-explanationAntonio García-Domínguez, Nelly Bencomo. 161-171 [doi]
- Some Narrow and Broad Challenges in MDDMartin Gogolla, Frank Hilken, Andreas Kästner. 172-177 [doi]
- Modelling by the People, for the PeopleSteven Kelly. 178-183 [doi]
- From Building Systems Right to Building Right Systems - A Generic Architecture and Its Model Based RealizationVinay Kulkarni, Sreedhar Reddy. 184-192 [doi]
- The Tool Generation Challenge for Executable Domain-Specific Modeling LanguagesTanja Mayerhofer, Benoît Combemale. 193-199 [doi]
- Toward Product Lines of Mathematical Models for Software Model ManagementZinovy Diskin, Harald König, Mark Lawford, Tom Maibaum. 200-216 [doi]
- Model-Driven Interaction Design for Social RobotsGary Cornelius, Nico Hochgeschwender, Holger Voos. 219-224 [doi]
- Towards Integration of Context-Based and Scenario-Based DevelopmentAchiya Elyasaf, David Harel, Assaf Marron, Gera Weiss. 225-231 [doi]
- (An Example for) Formally Modeling Robot Behavior with UML and OCLMartin Gogolla, Antonio Vallecillo. 232-246 [doi]
- Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) SpecificationsDaniel Gritzner, Joel Greenyer. 247-262 [doi]
- Evaluating a Graph Query Language for Human-Robot Interaction Data in Smart EnvironmentsNorman Köster, Sebastian Wrede, Philipp Cimiano. 263-279 [doi]
- A Simulation Framework to Analyze Knowledge Exchange Strategies in Distributed Self-adaptive SystemsChristopher Werner, Sebastian Götz, Uwe Aßmann. 280-294 [doi]
- Workshop in OCL and Textual Modelling - Report on Recent Trends and Panel DiscussionsRobert Bill, Achim D. Brucker, Jordi Cabot, Martin Gogolla, Antonio Vallecillo, Edward D. Willink. 297-301 [doi]
- Improving Incremental and Bidirectional Evaluation with an Explicit Propagation GraphFrédéric Jouault, Olivier Beaudoux, Matthias Brun, Fabien Chhel, Mickael Clavreul. 302-316 [doi]
- Translating UML-RSDS OCL to ANSI CKevin Lano, Sobhan Yassipour Tehrani, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi. 317-330 [doi]
- Mapping USE Specifications into Spec#Jagadeeswaran Thangaraj, SenthilKumaran Ulaganathan. 331-339 [doi]
- Deterministic Lazy Mutable OCL CollectionsEdward D. Willink. 340-355 [doi]
- Step 0: An Idea for Automatic OCL Benchmark GenerationHao Wu. 356-364 [doi]
- SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced ToolsElvira Albert, Pablo C. Cañizares, Esther Guerra, Juan de Lara, Esperanza Marcos, Manuel Núñez 0001, Guillermo Román-Díez, Juan Manuel Vara, Damiano Zanardini. 367-374 [doi]
- Developer-Centric Knowledge Mining from Large Open-Source Software Repositories (CROSSMINER)Alessandra Bagnato, Konstantinos Barmpis, Nik Bessis, Luis Adrián Cabrera-Diego, Juri Di Rocco, Davide Di Ruscio, Tamás Gergely, Scott Hansen, Dimitris S. Kolovos, Philippe Krief, Ioannis Korkontzelos, Stéphane Laurière, Jose Manrique Lopez de la Fuente, Pedro Maló, Richard F. Paige, Diomidis Spinellis, Cedric Thomas, Jurgen J. Vinju. 375-384 [doi]
- Technical Obsolescence Management Strategies for Safety-Related Software for Airborne SystemsSimos Gerasimou, Dimitris S. Kolovos, Richard F. Paige, Michael Standish. 385-393 [doi]
- Mobile Health ID Card - Demonstrating the Realization of an mHealth Application in AustriaMalgorzata Zofia Goraczek, Michael Sachs, Oliver Terbu, Lei Zhu, Birgit Scholz, Georg Egger-Sidlo, Sebastian Zehetbauer, Stefan Vogl. 394-402 [doi]
- SECT-AIR: Software Engineering Costs and Timescales - Aerospace Initiative for ReductionRichard F. Paige, Athanasios Zolotas, Dimitrios S. Kolovos, John A. McDermid, Mike Bennett, Stuart Hutchesson, Andrew Hawthorn. 403-408 [doi]
- DEIS: Dependability Engineering Innovation for Cyber-Physical SystemsRan Wei, Tim P. Kelly, Richard Hawkins, Eric Armengaud. 409-416 [doi]