Skip to main content

MODELS 2018 Accepted Papers for Foundations Track

Model-Based Software Engineering: A Multiple-Case Study on Challenges and Development Efforts

Rodi Jolak, Truong Ho-Quang, Michel R.V. Chaudron and Ramon R.H. Schiffelers.

Slicing UML-based Models of Real-time Embedded Systems

Reza Ahmadi, Ernesto Posse and Juergen Dingel.

From Single- to Multi-Variant Model Transformations: Trace-Based Propagation of Variability Annotations

Bernhard Westfechtel and Sandra Greiner.

Towards sound, optimal, and flexible building from megamodels

Perdita Stevens

HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems

Seung Yeob Shin, Karim Chaouch, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand and Frank Zimmer.

Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc

Evgeny Kusmenko, Bernhard Rumpe, Sascha Schneiders and Michael von Wenckstern.

Engineering Software Diversity: a Model-Based Approach to Systematically Diversify Communications

Brice Morin, Jakob Høgenes, Hui Song, Nicolas Harrand and Benoit Baudry.

Expressing Confidence in Models and in Model Transformations Elements

Loli Burgueño, Manuel F. Bertoa, Nathalie Moreno and Antonio Vallecillo.

Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications

Wei Dou, Domenico Bianculli and Lionel Briand.

Extending Complex Event Processing to Graph-structured Information

Gala Barquero, Loli Burgueño, Javier Troya and Antonio Vallecillo.

Robust Hashing for Models

Salvador Martinez, Sebastien Gerard and Jordi Cabot.

Exploring Potency

Thomas Kuehne.

On the Quest for Flexible Modelling

Esther Guerra and Juan De Lara.

Model Transformation Product Lines

Juan De Lara, Esther Guerra, Marsha Chechik and Rick Salay.

Change Propagation-based and Composition-based Co-evolution of Transformations with Evolving Metamodels

Djamel Eddine Khelladi, Roland Kretschmer and Alexander Egyed.

Towards a Language Server Protocol Infrastructure for Graphical Modeling

Roberto Rodriguez-Echeverria, Javier Luis Canovas Izquierdo, Jordi Cabot and Manuel Wimmer.

Evolutionary Algorithm for Bug Localization in the Reconfigurations of Models at Runtime

Lorena Arcega, Jaime Font and Carlos Cetina.

Unified LTL Verification and Embedded Execution of UML Models

Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov and Philippe Dhaussy.

Mathematical Programming for Anomaly Analysis of Clafer Models

Markus Weckesser, Malte Lochau, Michael Ries and Andy Schürr.

An Empirical Investigation to Understand the Difficulties and Challenges of Software Modellers When Using Modelling Tools

Parsa Pourali and Joanne Atlee.

Visualizations of Evolving Graphical Models in the Context of Model Review

Florian Zoubek, Philip Langer and Tanja Mayerhofer.

Recommending Model Refactoring Rules from Refactoring Examples

Chihab Eddine Mokaddem, Houari Sahraoui and Eugene Syriani.

Incremental View Model Synchronization Using Partial Models

Kristóf Marussy, Oszkár Semeráth and Dániel Varró.

Assurance via hierarchies of model transformation refinements

Zinovy Diskin, Tom Maibaum, Alan Wassyng, Mark Lawford and Stephen Wynn-Williams.

Wael Kessentini, Manuel Wimmer and Houari Sahraoui.

Refactoring Architecture Models for Compliance with Custom Requirements

Ta’id Holmes and Uwe Zdun.

From (Imperfect) Object Diagrams to (Imperfect) Class Diagrams

Andreas Kästner, Martin Gogolla and Bran Selic.

On Computing Instructions to Repair Failed Model Refinements

Oliver Kautz and Bernhard Rumpe.

Expressive and Efficient Model Transformation with an Internal DSL of Xtend

Artur Boronat.

MODELS 2018 Accepted Papers for Practice & Innovation Track

Digital Behavioral Twins for Safe Connected Cars

Ximing Chen, Zhihao Jiang, Eunsuk Kang, Shinichi Shiraishi and Victor M. Preciado.

Enabling Model Testing of Cyber-Physical Systems

Carlos A. González, Mojtaba Varmazyar, Shiva Nejati, Briand Lionel and Yago Isasi Parache.

Effort Used to Create Domain-Specific Modeling Languages

Juha-Pekka Tolvanen and Steven Kelly.

Efficient use of local energy: An activity oriented modeling to guide Demand Side Management

Alexandre Rio, Yoann Maurel, Olivier Barais and Yoran Bugni.

Integration of Visual Contracts and Model Transformation for Enhanced MDE Development

Matt Selway, Georg Grossmann, Kerryn Owen, Richard Dexter and Markus Stumptner.

Towards Scalable Model Views on Heterogeneous Model Resources

Hugo Bruneliere, Florent Marchand de Kerchove, Gwendal Daniel and Jordi Cabot.

Lessons Learned from Model-Based Safety Assessment with SysML and Component Fault Trees

Arne Nordmann and Peter Munk.

A Model-Driven Solution to support Smart Mobility Planning

Antonio Bucchiarone and Antonio Cicchetti.

From Deployment to Platform Exploration - Automatic Synthesis of Distributed Automotive Hardware Architectures

Johannes Eder, Andreas Bayha, Sebastian Voss, Alexandru Ipatiov and Maged Khalil.

Omar Badreddin, Rahad Khandoker, Andrew Forward, Omar Masmali and Timothy Lethbridge.

Dissimilarity Measures for Clustering Space Mission Architectures

Cody Kinneer and Sebastian Herzig.

Measures to report the Location Problem of Model Fragment Location

Manuel Ballarin, Ana Marcen, Vicente Pelechano and Carlos Cetina.

Improving the developer experience with a Low-Code Process Modelling Language

Henrique Henriques, Hugo Lourenço, Vasco Amaral and Miguel Goulão.