Detailed Program

Welcome, Keynote
Data Quality and Security
Damiano Torre, Ghanem Soltana, Mehrdad Sabetzadeh, Lionel C. Briand, Yuri Auffinger and Peter Goes Using Models to Enable Compliance Checking against the GDPR: An Experience Report
Gopi Krishnan Rajbahadur, Gustavo Oliva, Ahmed Hassan and Juergen Dingel Pitfalls Analyzer: Quality Control for Model-Driven Data Science Pipelines
Sven Peldszus, Katja Tuma, Daniel Strüber, Riccardo Scandariato and Jan Jürjens Secure Data-Flow Compliance Checks between Models and Code based on Automated Mappings
Design and Development
Antonio Bucchiarone, Antonio Cicchetti and Annapaola Marconi Exploiting Multi-Level Modelling for Designing and Deploying Gameful Systems
Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu and Carlo Ghezzi Model-Driven Design of City Spaces via Bidirectional Transformations
Dennis Priefer, Peter Kneisel, Wolf Rost, Daniel Strüber and Gabriele Taentzer Applying MDD in the Content Management System Domain: Scenarios and Empirical Assessment
Muhammad Zohaib Iqbal, Hassan Sartaj, Muhammad Uzair Khan, Fitash Ul Haq and Ifrah Qaisar A Model-based Testing Approach for Cockpit Display Systems of Avionics
Esther Guerra, Juan De Lara and Jesús Sánchez Cuadrado Towards effective mutation testing for ATL
Aren Babikian, Csaba Hajdu, István Majzik, Kristóf Marussy, Zoltan Micskei, Oszkár Semeráth, Zoltán Szatmári, Daniel Varro and András Vörös Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles
Industry Day
19:00-23:00 Main Reception and Poster Session
Stand-alone Posters:
Victor-Alejandro Ortiz, Montserrat Estañol, Maria-Cristina Marinescu, Maria-Ribera Sancho, Ernest Teniente and Carmen Rueda A Semantic Model To Fight Social Exclusion
Masaki Nakamura and Kazutoshi Sakakibara Formal verification and mathematical optimization for autonomous vehicle group controllers
Diego Prens, Iván Alfonso, Kelly Garcés and John Guerra-Gomez Continuous Delivery of Software on IoT Devices
Mohammad Sharaf, Mai Abusair, Henry Muccini, Rami Eleiwi, Yara Shana’A and Ithar Saleh Generating Heterogeneous Codes for IoT Systems
Paper-accompanying Posters:
Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun and Philippe Dhaussy Verifying and Monitoring UML Models with Observer Automata
Sven Peldszus, Katja Tuma, Daniel Strüber, Jan Jürjens and Riccardo Scandariato Security Compliance Checks between Models and Code based on Automated Mappings
Antonio Bucchiarone, Antonio Cicchetti and Annapaola Marconi GDF: a Gamification Design Framework powered by Model-Driven Engineering
Philipp Obergfell, Stefan Kugele and Eric Sax Model-Based Resource Analysis and Synthesis of Service-Oriented Automotive Software Architectures
Visar Januzaj and Stefan Kugele On the Structure of Avionics Systems Architecture
Artifact Generation
Nadia Hammoudeh Garcia, Ludovic Delval, Mathias Lüdtke, André Santos, Björn Kahl and Mirko Bordignon Model Generation – combining MDE development and ROS manual code
Alexandru Burdusel, Steffen Zschaler and Stefan John
Jenny Ruiz, Estefanía Serral, Monique Snoeck Evaluating user interface generation approaches: model-based versus model-driven development
Architecture Analysis
Sam Procter and Lutz Wrage
Philipp Obergfell, Stefan Kugele and Eric Sax
Assylbek Jumagaliyev and Yehia Elkhatib A Modelling Language to Support Evolution of Multi-Tenant Cloud Data Architectures
Model Execution
Erwan Bousse and Manuel Wimmer Domain-Level Observation and Control for Compiled Executable DSLs
Yentl Van Tendeloo, Simon Van Mierlo, Hans Vangheluwe A Multi-Paradigm Modelling approach to live modelling
Fazilat Hojaji, Tanja Mayerhofer, Bahman Zamani, Abdelwahab Hamou-Lhadj, Erwan Bousse Model execution tracing: a systematic mapping study
Tools and Demos
Mattias Mohlin Combining UML RealTime with Node-RED
Julio Sandobalin, Emilio Insfran, Silvia Abrahao ARGON: A Model-Driven Infrastructure Provisioning Tool
Omar Hassane, Sadaf Mustafiz, Ferhat Khendek, Maria Toeroe MAPLE-T: A Tool for Process Enactment with Traceability Support
Antonio Bucchiarone, Antonio Cicchetti, Annapaola Marconi GDF: a Gamification Design Framework powered by Model-Driven Engineering
Hamza Ed-Douibi, Javier Luis Cánovas Izquierdo, Francis Bordeleau, Jordi Cabot WAPIml: Towards a Modeling Infrastructure for Web APIs
Formal Verification and Static Analysis
Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun and Philippe Dhaussy Verifying and Monitoring UML Models with Observer Automata
Iván Ruiz-Rube, Tatiana Person, Juan Manuel Dodero, José Miguel Mota, Javier Merchán Sánchez-Jara Applying static code analysis for domain-specific languages
Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis, Jim Woodcock RoboChart: modelling and verification of the functional behaviour of robotic applications
Modeling Environment
Brice Morin and Nicolas Ferry Model-based, Platform-independent Logging for Heterogeneous Targets
Parsa Pourali and Joanne M. Atlee
Antonio Garcia-Dominguez, Nelly Bencomo, Juan Marcelo Parra-Ullauri and Luis Garcia Paucar Querying and annotating model histories with time-aware patterns
Tools and Demos
Mojtaba Bagherzadeh, Karim Jahed, Benoit Combemale, Juergen Dingel Live-UMLRT: A Tool for Live Modeling of UML-RT Models
Asma Charfi, Shuai Li, Patrick Tessier, Thomas Peyret, Chokri Mraidha, Sebastien Gérard A Model Driven Tool for Requirements and Hardware Engineering
Lucas Lima, Amaury Tavares Verifying deadlock and nondetermenism in activity diagrams
Hanh-Hoang Doan, Martin Gogolla Quality Improvement for UML and OCL Models through Bad Smell and Metric Definition
Parsa Pourali, Joanne M. Atlee UCAnDoModels: A Context-based Model Editor for Editing and Debugging UML Class and State-Machine Diagrams
19:00-23:00 Banquet
System Modeling
Beatriz A. Sanchez, Dimitris Kolovos, Richard Paige, Athanasios Zolotas and Horacio Hoyos On-the-fly Translation and Execution of OCL-like Queries on Simulink Models
Sabine Wolny, Alexandra Mazak, Christine Carpella, Verena Geist, Manuel Wimmer Thirteen years of SysML: a systematic mapping study
Patrick Leserf, Pierre de Saqui-Sannes, Jérôme Hugues Trade-off analysis for SysML models using decision points and CSPs
MODELS & SoSyM Most Influential Papers
Betty H. C. Cheng, Pete Sawyer, Nelly Bencomo, and Jon Whittle
Karsten Ehrig, Jochen Malte Kuester, and Gabriele Taentzer Generating instance models from meta models
Marcello La Rosa, Wil M. P. van der Aalst, Marlon Dumas, and Arthur H.M. ter Hofstede Questionnaire-based variability modeling for system configuration
Runtime Models
Márton Búr and Daniel Varro Towards WCET Estimation of Graph Queries@Run.time
Nelly Bencomo and Luis Garcia Paucar RaM: Requirements-aware Runtime Models for Decision-making using Bayesian Inference
Thomas Brand and Holger Giese Modeling approach and evaluation criteria for adaptive and long-living structural runtime models
Requirements Modeling and Analysis
Mauricio Alferez, Fabrizio Pastore, Mehrdad Sabetzadeh, Lionel Briand and Jean-Richard Riccardi Bridging the Gap between Requirements Modeling and Behavior-driven Development
Cesar Augusto Ribeiro dos Santos, Amr Hany Saleh, Tom Schrijvers and Mike Nicolai CONDEnSe: Contract-Based Design Synthesis
Byron Devries and Betty Cheng Goal-Based Modeling and Analysis of Non-Functional Requirements
Modeling and ML/AI (10 mins longer)
Phuong Nguyen, Juri Di Rocco, Davide Di Ruscio, Alfonso Pierantonio and Ludovico Iovino Automated Classification of Metamodel Repositories: A Machine Learning Approach
Evgeny Kusmenko and Bernhard Rumpe Modeling and Training Neural Processing Systems
Loli Burgueño, Jordi Cabot and Sebastien Gerard An LSTM-Based Neural Network Architecture for Model Transformations
Thomas Hartmann, Assaad Moawad, Cedric Schockaert, Francois Fouquet and Yves Le Traon Meta-Modelling Meta-Learning