Table of Contents

• Modelling the climate system: Is model-based science like model-based engineering? (Keynote)Steve Easterbrook. 1 [doi]
• Software supply chains (keynote)Gail C. Murphy. 2 [doi]
• Automobile: Aircraft or smartphone? Modeling challenges and opportunities in Automotive Systems (keynote)Ramesh S. 3 [doi]
• Reusable event types for models at runtime to support the examination of runtime phenomenaMichael Szvetits, Uwe Zdun. 4-13 [doi]
• Incremental symbolic execution of evolving state machinesAmal Khalil, Juergen Dingel. 14-23 [doi]
• A framework for relating syntactic and semantic model differencesShahar Maoz, Jan Oliver Ringert. 24-33 [doi]
• Engineering tagging languages for DSLsTimo Greifenberg, Markus Look, Sebastian Roidl, Bernhard Rumpe. 34-43 [doi]
• Process mining in software systems: Discovering real-life business transactions and process models from distributed systemsMaikel Leemans, Wil M. P. van der Aalst. 44-53 [doi]
• State machine antipatterns for UML-RTTuhin Kanti Das, Juergen Dingel. 54-63 [doi]
• Enhancing the communication value of UML models with graphical layersYosser El Ahmar, Sebastien Gerard, Cédric Dumoulin, Xavier Le Pallec. 64-69 [doi]
• A model-based framework for probabilistic simulation of legal policiesGhanem Soltana, Nicolas Sannier, Mehrdad Sabetzadeh, Lionel C. Briand. 70-79 [doi]
• Stream my models: Reactive peer-to-peer distributed models@run.timeThomas Hartmann 0001, Assaad Moawad, François Fouquet, Grégory Nain, Jacques Klein, Yves Le Traon. 80-89 [doi]
• Beyond discrete modeling: A continuous and efficient model for IoTAssaad Moawad, Thomas Hartmann 0001, François Fouquet, Grégory Nain, Jacques Klein, Yves Le Traon. 90-99 [doi]
• Infrastructure as runtime models: Towards Model-Driven resource managementFilip Krikava, Romain Rouvoy, Lionel Seinturier. 100-105 [doi]
• Fragmenta: A theory of fragmentation for MDENuno Amálio, Juan de Lara, Esther Guerra. 106-115 [doi]
• Consistent co-evolution of models and transformationsAngelika Kusel, Juergen Etzlstorfer, Elisabeth Kapsammer, Werner Retschitzegger, Wieland Schwinger, Johannes Schönböck. 116-125 [doi]
• Synthesizing tests for combinatorial coverage of modal scenario specificationsValerio Panzica La Manna, Itai Segall, Joel Greenyer. 126-135 [doi]
• Systematically deriving domain-specific transformation languagesKatrin Hölldobler, Bernhard Rumpe, Ingo Weisemöller. 136-145 [doi]
• Quick fixing ATL model transformationsJesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. 146-155 [doi]
• A-posteriori typing for Model-Driven EngineeringJuan de Lara, Esther Guerra, Jesús Sánchez Cuadrado. 156-165 [doi]
• Pattern-based development of Domain-Specific Modelling LanguagesAna Pescador, Antonio Garmendia, Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara. 166-175 [doi]
• Checking concurrent behavior in UML/OCL modelsNils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska, Rolf Drechsler. 176-185 [doi]
• A Behavioral Coordination Operator Language (BCOoL)Matias Ezequiel Vara Larsen, Julien DeAntoni, Benoît Combemale, Frédéric Mallet. 186-195 [doi]
• Textual diagram layout language and visualization algorithmBalazs Gregorics, Tibor Gregorics, Gábor Ferenc Kovács, Andras Dobreff, Gergely Dévai. 196-205 [doi]
• A controlled experiment with Usability Inspection Techniques applied to Use Case Specifications: comparing the MIT 1 and the UCE techniquesNatasha M. Costa Valentim, Jacilane Rabelo, Ana Carolina Oran, Tayana Conte, Sabrina Marczak. 206-215 [doi]
• A unifying approach to connections for multi-level modelingColin Atkinson, Ralph Gerbig, Thomas Kühne. 216-225 [doi]
• A statistical analysis approach to assist model transformation evolutionRoberto Rodríguez-Echeverría, Fernando Macías. 226-235 [doi]
• Enriching megamodel management with collection-based operatorsRick Salay, Sahar Kokaly, Alessio Di Sandro, Marsha Chechik. 236-245 [doi]
• SoSPa: A system of Security design Patterns for systematically engineering secure systemsPhu Hong Nguyen, Koen Yskout, Thomas Heyman, Jacques Klein, Riccardo Scandariato, Yves Le Traon. 246-255 [doi]
• Fully verifying transformation contracts for declarative ATLBentley James Oakes, Javier Troya, Levi Lucio, Manuel Wimmer. 256-265 [doi]
• Extracting frame conditions from operation contractsPhilipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille. 266-275 [doi]
• Identification of Simulink model antipattern instances using model clone detectionMatthew Stephan, James R. Cordy. 276-285 [doi]
• Concern-oriented interfaces for model-based reuse of APIsMatthias Schöttle, Jörg Kienzle. 286-291 [doi]
• On the use of UML documentation in software maintenance: Results from a survey in industryAna M. Fernández-Sáez, Danilo Caivano, Marcela Genero, Michel R. V. Chaudron. 292-301 [doi]
• Performance prediction upon toolchain migration in model-based softwareAymen Ketata, Carlos Moreno, Sebastian Fischmeister, Jia Hui Liang, Krzysztof Czarnecki. 302-311 [doi]
• Employing classifying terms for testing model transformationsMartin Gogolla, Antonio Vallecillo, Loli Burgueño, Frank Hilken. 312-321 [doi]
• Pattern-based debugging of declarative modelsVajih Montaghami, Derek Rayside. 322-327 [doi]
• Integrating goal-oriented and use case-based requirements engineering: The missing linkTuong Huan Nguyen, John C. Grundy, Mohamed Almorsy. 328-337 [doi]
• Applying product line Use case modeling in an industrial automotive embedded system: Lessons learned and a refined approachInes Hajri, Arda Goknil, Lionel C. Briand, Thierry Stephany. 338-347 [doi]
• Systematic generation of standard compliant tool support of diagrammatic modeling languagesAlexis Fouche, Florian Noyrit, Sebastien Gerard, Maged Elaasar. 348-357 [doi]
• Improving reuse by means of asymmetrical model migrations: An application to the Orcc case studyPaola Vallejo, Mickaël Kerboeuf, Kevin J. M. Martin, Jean-Philippe Babau. 358-367 [doi]
• Toward overcoming accidental complexity in organisational decision-makingVinay Kulkarni, Souvik Barat, Tony Clark, Balbir S. Barn. 368-377 [doi]
• Modeling user intentions for in-car infotainment systems using Bayesian networksDaniel Lüddecke, Christoph Seidl, Jens Schneider, Ina Schaefer. 378-385 [doi]
• Feature modeling of two large-scale industrial software systems: Experiences and lessons learnedDaniela Lettner, Klaus Eder, Paul Grünbacher, Herbert Prähofer. 386-395 [doi]
• Formalizing the ISO/IEC/IEEE 29119 Software Testing StandardShaukat Ali, Tao Yue. 396-405 [doi]
• A megamodel for Software Process Line modeling and evolutionJocelyn Simmonds, Daniel Perovich, María Cecilia Bastarrica, Luis Silvestre. 406-415 [doi]
• Modular model-based supervisory controller design for wafer logistics in lithography machinesBram van der Sanden, Michel A. Reniers, Marc Geilen, Twan Basten, Johan Jacobs, Jeroen Voeten, Ramon R. H. Schiffelers. 416-425 [doi]
• An automated model based testing approach for platform gamesSidra Iftikhar, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, Wardah Mahmood. 426-435 [doi]
• Model-driven regulatory compliance: A case study of "Know Your Customer" regulationsSagar Sunkle, Deepali Kholkar, Vinay Kulkarni. 436-445 [doi]
• Identifying duplicate functionality in textual use cases by aligning semantic actions (SoSyM abstract)Alejandro Rago, Claudia Marcos, J. Andres Diaz-Pace. 446 [doi]
• Enhanced graph rewriting systems for complex software domains (SoSyM abstract)Cedric Eichler, Thierry Monteil, Patricia Stolf, Luigi Alfredo Grieco, Khalil Drira. 447 [doi]
• A situational method for semi-automated enterprise architecture documentation (SoSyM abstract)Matthias Farwick, Christian M. Schweda, Ruth Breu, Inge Hanschke. 448 [doi]
• Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract)Songzheng Song, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen. 449 [doi]