Accepted Papers

Accepted Papers

Foundations Track

Controlled Experiment on the Comprehension of Runtime Phenomena Using Models Created at Design Time
Michael Szvetits, Software Engineering Group, University of Applied Sciences
Wiener Neustadt, Austria Uwe Zdun, Software Architecture Research Group, University of Vienna, Austria

Extracting Domain Models from Natural-Language Requirements: Approach and Industrial Evaluation
Chetan Arora, SnT Centre for Security, Reliability and Trust, University of Luxembourg, Luxembourg
Mehrdad Sabetzadeh, SnT Centre for Security, Reliability and Trust, University of Luxembourg, Luxembourg
Lionel C. Briand, SnT Centre for Security, Reliability and Trust, University of Luxembourg, Luxembourg
Frank Zimmer, SES Techcom

Unifying Explanatory and Constructive Modeling
Thomas Kuehne, Victoria University of Wellington, New Zealand

Towards a Categorical Approach for Meta-Modelling Epistemic Game Theory
Fazle Rabbi, Bergen University College, Bergen, Norway
Yngve Lamo, Bergen University College, Norway
Ingrid Chieh Yu, University of Oslo, Norway

Modern C++ as a Modeling Language for Automated Driving and Human-Robot Collaboration
Daniel Tuchscherer, Hochschule Heilbronn, Automotive Systems Engineering
Alexander Weibert, Hochschule Heilbronn, Automotive Systems Engineering
Frank Tränkle, Hochschule Heilbronn, Automotive Systems Engineering

The Problems with Eclipse Modeling Tools: A Topic Analysis of Eclipse Forums
Nafiseh Kahani, Queen’s University, Canada
Mojtaba Bagherzadeh, Queen’s University, Canada
Juergen Dingel, Queen’s University, Canada
James Cordy, Queen’s University, Canada

OCL2MSFOL: A Mapping to Many-Sorted First-Order Logic for Efficiently Checking the Satisfiability of OCL Constraints
Carolina Dania, IMDEA Software Institute, Spain
Manuel Clavel, IMDEA Software Institute, Spain

PrefetchML: A Framework for Prefetching and Caching Models
Gwendal Daniel, AtlanMod Team – Inria, Mines Nantes & Lina, France
Gerson Sunyé, AtlanMod Team – Inria, Mines Nantes & Lina, France
Jordi Cabot, ICREA – UOC, Spain

A Model-based Approach for Multi-Device User Interactions
Christian Prehofer, fortiss GmbH, Germany
Andreas Wagner, TU München, Germany
Yucheng Jin, fortiss GmbH, Belgium

A Generic Transformation Algorithm to Simplify the Development of Mapping Models
Matthias Freund, Institute of Automation, Technische Universität Dresden, Germany
Annerose Braune, Institute of Automation, Technische Universität Dresden, Germany

The Quest for Open Source Projects that Use UML: Mining GitHub
Regina Hebig, Chalmers | Gothenburg University, Sweden
Truong Ho Quang, Chalmers | Gothenburg University, Sweden
Gregorio Robles, GSyC/LibreSoft, Universidad Rey Juan Carlos, Spain
Michel Chaudron, Chalmers | Gothenburg University, Sweden
Miguel Angel Fernandez, GSyC/LibreSoft, Universidad Rey Juan Carlos, Spain

Metamodel Specialization for Graphical Modeling Language Support
Audris Kalnins, Institute of Mathematics and Computer Science, University of Latvia, Latvia
Janis Barzdins, Institute of Mathematics and Computer Science, University of Latvia, Latvia

Ground Setting Properties for an Efficient Translation of OCL in SMT-based Model Finding
Nils Przigoda, Group of Computer Architecture, University of Bremen, Bremen, Germany & Cyber-Physical Systems, DFKI GmbH, Bremen, Germany
Robert Wille, Institute for Integrated Circuits, Johannes Kepler University Linz, Austria & Cyber-Physical Systems, DFKI GmbH, Bremen, Germany
Rolf Drechsler, Group of Computer Architecture, University of Bremen, Bremen, Germany & Cyber-Physical Systems, DFKI GmbH, Bremen, Germany

Supporting the Model-Driven Development of Real-time Embedded Systems with Simulation and Animation via Highly Customizable Code Generation
Nondini Das, School of Computing, Queen’s University, Canada
Suchita Ganesan, School of Computing, Queen’s University, Canada
Leo Jweda, School of Computing, Queen’s University, Canada
Mojtaba Bagherzadeh, School of Computing, Queen’s University, Canada
Nicolas Hili, School of Computing, Queen’s University, Canada
Juergen Dingel, School of Computing, Queen’s University, Canada

Automated Refactoring of ATL Model Transformations: A Search-Based Approach
Bader Alkhazi, University of Michigan, United States
Terry Ruas, University of Michigan, United States
Marouane Kessentini, University of Michigan, United States
Manuel Wimmer, Vienna University of Technology, Austria
William Grosky, University of Michigan, United States

On the Synthesis of Protocol State Machines from Contracts
Piotr Kosiuczenko, Institute of Information Systems, WAT

Towards Mutation Analysis for Use Cases
Huihui Zhang, Beihang University, China
Tao Yue, Simula Research Laboratory & University of Oslo, Norway
Shaukat Ali, Simula Research Laboratory, Norway
Chao Liu, Beihang University, China

A Generic Framework for Model-Set Selection for the Unification of Testing and Learning MDE Tasks
Edouard Batot, DIRO, Université de Montréal, Canada
Houari Sahraoui, DIRO, Université de Montréal, Canada

Towards the Characterization of Realistic Models: Evaluation of Multidisciplinary Graph Metrics
Zsolt Kovari, Budapest University of Technology and Economics, Hungary
Agnes Salanki, Budapest University of Technology and Economics, Hungary
Gabor Szarnyas, Budapest University of Technology and Economics, Hungary
Daniel Varro, Budapest University of Technology and Economics, Hungary

Towards Partial Loading of XMI Models
Ran Wei, University of York, United Kingdom
Dimitris S. Kolovos, University of York, United Kingdom
Antonio Garcia-Dominguez, University of York, United Kingdom
Konstantinos Barmpis, University of York, United Kingdom
Richard Paige, University of York, United Kingdom

Incremental Backward Change Propagation of View Models by Logic Solvers
Oszkár Semeráth, Budapest University of Technology and Economics, Hungary
Csaba Debreceni, Budapest University of Technology and Economics, Hungary
Ákos Horváth, Budapest University of Technology and Economics, Hungary
Dániel Varró, Budapest University of Technology and Economics, Hungary

Feature Location in Models through a Genetic Algorithm Driven by Information Retrieval Techniques
Jaime Font, San Jorge University, Spain
Lorena Arcega, San Jorge University, Spain
Øystein Haugen, Østfold University College, Norway
Carlos Cetina, San Jorge University, Spain

Formalizing Knowledge in Multi-Scale Agent-Based Simulations
Endre Somogyi, Indiana University, United States
James P. Sluka, Indiana University, United States
James A. Glazier, Indiana University, United States

Automatic Detection of Incomplete Requirements via Symbolic Analysis
Byron DeVries, Michigan State University, United States
Betty H.C. Cheng, Michigan State University, United States

A Model Management Approach for Assurance Case Reuse due to System Evolution
Sahar Kokaly, McMaster University, Canada
Rick Salay, University of Toronto, Canada
Valentin Cassano, McMaster University, Canada
Tom Maibaum, McMaster University, Canada
Marsha Chechik, University of Toronto, Canada

Query-based Access Control for Secure Collaborative Modeling Using Bidirectional Transformations
Csaba Debreceni, Budapest University of Technology and Economics; MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary
Gábor Bergmann, Budapest University of Technology and Economics, Hungary
István Ráth, Budapest University of Technology and Economics, Hungary
Dániel Varró, Budapest University of Technology and Economics; MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary

Automatic Generation of Detailed Flight Plans from High-level Mission Descriptions
Davide Di Ruscio, University of L’Aquila, Italy
Ivano Malavolta, Gran Sasso Science Institute, Italy
Patrizio Pelliccione, Chalmers University of Technology | University of Gothenburg, Sweden
Massimo Tivoli, University of L’Aquila, Italy

A Requirement Driven Testing Method for Multi-disciplinary System Design
Martial Chabot, Schneider Electric, France
Laurence Pierre, TIMA Laboratory (Univ. Grenoble Alpes, CNRS), France
Alexandre Nabais-Moreno, Schneider Electric, France

Practice and Innovation Track

Handling Index-Out-Of-Bounds in Safety-Critical Embedded C Code Using Model-based Development
Gunter Blache, ETAS GmbH, Germany

Multi-Variability Modeling and Realization for Software Derivation in Industrial Automation Management
Miao Fang, Siemens AG, Germany
Georg Leyh, Siemens AG, Germany
Joerg Doerr, Fraunhofer Institute IESE, Germany
Christoph Elsner, Siemens AG, Germany

Incremental Diagram Layout for Concrete Syntax Migration
Ulf Rüegg, Kiel University, Germany
Rajneesh Lakkundi, National Instruments, India
Ashwin Prasad, National Instruments, India
Anand Kodaganur, National Instruments, India
Christoph Daniel Schulze, Kiel University, Germany
Reinhard von Hanxleden, Kiel University, Germany

Technical Debt in MDE: A Case Study on GMF/EMF-Based Projects
Xiao He, University of Science and Technology Beijing, China
Paris Avgeriou, University of Groningen, Netherlands
Peng Liang, Wuhan University, China
Zengyang Li, Wuhan University, China

Using Free Modeling as an Agile Method for Developing Domain Specific Modeling Languages
Fahad Golra, Telecom Bretagne, France
Antoine Beugnard, Telecom Bretagne, France
Fabien Dagnat, Telecom Bretagne, France
Sylvain Guerin, Openflexo, France
Christophe Guychard, Openflexo, France

Descriptive vs Prescriptive Models in Industry
Rogardt Heldal, Høgskolen i Bergen, Norway
Patrizio Pelliccione, Chalmers University of Technology | University of Gothenburg, Sweden
Ulf Eliasson, Volvo Car Group, Sweden
Jonn Lantz, Volvo Car Group, Sweden
Jesper Derehag, Ericsson, Sweden
Jon Whittle, Lancaster University, School of Computing and Communications, United Kingdom

Integration of a Graph-Based Model Indexer in Commercial Modelling Tools
Antonio Garcia-Dominguez, University of York, United Kingdom
Konstantinos Barmpis, University of York, United Kingdom
Dimitrios S Kolovos, University of York, United Kingdom
Marcos Aurelio Almeida da Silva, Softeam, France
Antonin Abherve, Softeam, France
Alessandra Bagnato, Softeam, France

Towards the Verification of Industrial Communication Protocols through a Simulation Environment Based on QEMU and SystemC
Calypso Barnes, EDF R&D / University of Nice, France
Jean-Marie Cottin, EDF R&D, France
François Verdier, LEAT / University of Nice, France
Alain Pegatoquet, LEAT / University of Nice, France

Model-Driven Software Engineering in the openETCS Project: Project Experiences and Lessons Learned
Stefan Karg, LEA Railergy, Germany
Alexander Raschke, Ulm University, Germany
Matthias Tichy, Ulm University, Germany
Grischa Liebel, Chalmers | University of Gothenburg, Sweden

ThingML: A Language and Code Generation Framework for Heterogeneous Targets
Nicolas Harrand, SINTEF, Norway
Franck Fleurey, SINTEF, Norway
Brice Morin, SINTEF, Norway
Knut Eilif Husa, Tellu AS, Norway

Comments are closed