MODELS 2023
Sun 1 - Fri 6 October 2023 Västerås, Sweden
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 1 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:30 - 11:00
MLE: Session 1Workshops at 102
09:30
90m
Talk
MLE: Session 1
Workshops

09:30 - 11:00
OCL: Session 1Workshops at 103
09:30
90m
Talk
OCL: Session 1
Workshops

09:30 - 11:00
MoDDiT: Session 1Workshops at 104
09:30
90m
Talk
MoDDiT: Session 1
Workshops

09:30 - 11:00
MTT: Session 1Workshops at 201
09:30
90m
Talk
MTT: Session 1
Workshops

11:00 - 11:30
Coffee BreakBreak at Foajé Plan 1
11:30 - 13:00
MLE: Session 2Workshops at 102
11:30
90m
Talk
MLE: Session 2
Workshops

11:30 - 13:00
OCL: Session 2Workshops at 103
11:30
90m
Talk
OCL: Session 2
Workshops

11:30 - 13:00
MoDDiT: Session 2Workshops at 104
11:30
90m
Talk
MoDDiT: Session 2
Workshops

11:30 - 13:00
MTT: Session 2Workshops at 201
11:30
90m
Talk
MTT: Session 2
Workshops

13:00 - 14:30
Lunch BreakBreak at Restaurant
14:30 - 16:00
MLE: Session 3Workshops at 102
14:30
90m
Talk
MLE: Session 3
Workshops

14:30 - 16:00
MoDDiT: Session 3Workshops at 104
14:30
90m
Talk
MoDDiT: Session 3
Workshops

14:30 - 16:00
MTT: Session 3Workshops at 201
14:30
90m
Talk
MTT: Session 3
Workshops

14:30 - 16:00
Tutorial Session 3Tutorials at 204
14:30
90m
Tutorial
T3: Compositional Modeling Languages in Action: Engineering and Application of Heterogeneous Languages
Tutorials
Nico Jansen Software Engineering, RWTH Aachen University, Bernhard Rumpe RWTH Aachen University
16:00 - 16:30
Coffee BreakBreak at Foajé Plan 1
16:30 - 18:00
MLE: Session 4Workshops at 102
16:30
90m
Talk
MLE: Session 4
Workshops

16:30 - 18:00
MoDDiT: Session 4Workshops at 104
16:30
60m
Talk
MoDDiT: Session 4
Workshops

16:30 - 18:00
MTT: Session 4Workshops at 201
16:30
90m
Talk
MTT: Session 4
Workshops

Mon 2 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 10:00
MPM4CPS: Session 1Workshops at 102
08:30
90m
Talk
MPM4CPS: Session 1
Workshops

08:30 - 10:00
MDEIntelligence: Session 1Workshops at 103
08:30
90m
Talk
MDEIntelligence: Session 1
Workshops

08:30 - 10:00
MULTI: Session 1Workshops at 104
08:30
90m
Talk
MULTI: Session 1
Workshops

08:30 - 10:00
MBSE: Session 1Workshops at 201
08:30
90m
Talk
MBSE: Welcome and Keynote
Workshops

08:30 - 10:00
HuFaMo: Session 1Workshops at 202
Chair(s): Arnaud Blouin Univ Rennes, INSA Rennes, Inria, CNRS, IRISA, Silvia Abrahão Universitat Politècnica de València, Philippe Palanque ICS-IRIT, Université Toulouse III Paul Sabatier, Bran Selic Malina Software Corporation
08:30
90m
Talk
HuFaMo: Session 1
Workshops

08:30 - 10:00
Tutorial Session 5Tutorials at 204
08:30
90m
Tutorial
T4: Digital Twins for Simulation-based Decision-Making in the Face of Uncertainty
Tutorials
Vinay Kulkarni Tata Consultancy Services Research, Souvik Barat Tata Consultancy Services Research, Tony Clark Aston University, Birmingham, UK, Balbir Barn Middlesex University, UK
08:45 - 10:00
Welcome to SAM 2023SAM Conference at 203
08:45
15m
Day opening
Welcome to SAM 2023
SAM Conference
C: Stein Erik Ellevseth , C: Peter Herrmann Norwegian University of Science and Technology (NTNU)
09:00
60m
Keynote
What your mother forgot to tell you about modeling - and programming
SAM Conference
Ole Lehrmann Madsen Aarhus University, Birger Møller-Pedersen University of Oslo
10:00 - 10:30
Coffee BreakBreak at Foajé Plan 1
10:30 - 12:00
MPM4CPS: Session 2Workshops at 102
10:30
90m
Talk
MPM4CPS: Session 2
Workshops

10:30 - 12:00
MDEIntelligence: Session 2Workshops at 103
10:30
90m
Talk
MDEIntelligence: Session 2
Workshops

10:30 - 12:00
MULTI: Session 2Workshops at 104
10:30
90m
Talk
MULTI: Session 2
Workshops

10:30 - 12:00
MBSE: Session 2Workshops at 201
10:30
90m
Talk
MBSE: Tooling
Workshops

10:30 - 12:00
HuFaMo: Session 2Workshops at 202
Chair(s): Arnaud Blouin Univ Rennes, INSA Rennes, Inria, CNRS, IRISA, Philippe Palanque ICS-IRIT, Université Toulouse III Paul Sabatier
10:30
90m
Talk
HuFaMo: Session 2 and Closing
Workshops

10:30 - 12:00
Session 1 - Methods for Rigorous System Quality AssuranceSAM Conference at 203
10:30
30m
Paper
openCAESAR: Balancing Agility and Rigor in Model-Based Systems Engineering
SAM Conference
Maged Elaasar Jet Propulsion Laboratory (NASA), Nicolas Rouquette , David Wagner , Bentley Oakes Université de Montréal, Abdelwahab Hamou-Lhadj , Mohammad Hamdaqa Polytechnique Montréal
11:00
30m
Paper
Language agnostic model checking for SDL
SAM Conference
11:30
30m
Paper
Automated provenance collection at runtime as a cross-cutting concern
SAM Conference
Owen Reynolds , Antonio Garcia-Dominguez University of York, Nelly Bencomo Durham University
10:30 - 12:00
Tutorial Session 6Tutorials at 204
10:30
90m
Tutorial
T6: Model-Based Capability Planning with UAF
Tutorials
12:00 - 13:30
Lunch BreakBreak at Restaurant
13:30 - 15:00
MPM4CPS: Session 3Workshops at 102
13:30
90m
Talk
MPM4CPS: Session 3
Workshops

13:30 - 15:00
MDEIntelligence: Session 3Workshops at 103
13:30
90m
Talk
MDEIntelligence: Session 3
Workshops

13:30 - 15:00
MULTI: Session 3Workshops at 104
13:30
90m
Talk
MULTI: Session 3
Workshops

13:30 - 15:00
MBSE: Session 3Workshops at 201
13:30
90m
Talk
MBSE: Case studies
Workshops

13:30 - 15:00
Tutorial Session 7Tutorials at 204
13:30
90m
Tutorial
T7: Model-Driven Engineering on the Web and in Visual Studio Code with EMF and Epsilon
Tutorials
Alfonso de la Vega Universidad de Cantabria, Antonio Garcia-Dominguez University of York, Dimitris Kolovos University of York
15:00 - 15:30
Coffee BreakBreak at Foajé Plan 1
15:30 - 17:00
MPM4CPS: Session 4Workshops at 102
15:30
90m
Talk
MPM4CPS: Session 4
Workshops

15:30 - 17:00
MDEIntelligence: Session 4Workshops at 103
15:30
90m
Talk
MDEIntelligence: Lightning Talks and Discussion
Workshops

15:30 - 17:00
MULTI: Session 4Workshops at 104
15:30
90m
Talk
MULTI: Session 4
Workshops

15:30 - 17:00
MBSE: Session 4Workshops at 201
15:30
90m
Talk
MBSE: Discussion and wrap up
Workshops

15:30 - 16:30
SDL Society Annual General MeetingSAM Conference at 203
15:30
60m
Meeting
SDL Society Annual General Meeting
SAM Conference

15:30 - 17:00
Tutorial Session 8Tutorials at 204
15:30
90m
Tutorial
T8: A Tutorial on Category Theory without math well, just a wee bit
Tutorials
Don Batory University of Texas, Austin
Media Attached
18:30 - 20:00
Satellite ReceptionBreak at Elite Stadshotellet
18:30
90m
Social Event
Satellite Reception
Break

Tue 3 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 10:00
MoDeVVa: Welcome and Keynote Talk Workshops at 102
08:30
90m
Talk
MoDeVVA: Welcome and Keynote Talk
Workshops

08:30 - 10:00
LowCode: Session 1Workshops at 103
08:30
90m
Talk
Low-code fundamentals
Workshops

08:30 - 10:00
ME: Session 1Workshops at 104
08:30
90m
Talk
ME: Session 1
Workshops

08:30 - 10:00
Session 1: Opening and KeynoteEducators Symposium at 201
Chair(s): Silvia Abrahão Universitat Politècnica de València, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University
08:30
15m
Day opening
Welcome Remarks
Educators Symposium
Silvia Abrahão Universitat Politècnica de València, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University
08:45
75m
Keynote
Keynote 1: The Joy of Programming and How to Overcome It Through Education
Educators Symposium
Bran Selic Malina Software Corporation
08:30 - 10:00
Session 1: Opening, Keynote, Modeling & Digital TwinsDoctoral Symposium at 204
Chair(s): Prof. Fiona Polack University of Hull, Hugo Bruneliere IMT Atlantique, LS2N (UMR CNRS 6004)
08:30
10m
Talk
Welcome and introduction
Doctoral Symposium
Prof. Fiona Polack University of Hull, Hugo Bruneliere IMT Atlantique, LS2N (UMR CNRS 6004)
08:40
50m
Keynote
A Quest for Impactful Research Software
Doctoral Symposium
Dimitris Kolovos University of York
09:30
30m
Doctoral symposium paper
A Model-Driven Platform for Engineering Holistic Digital Twins
Doctoral Symposium
09:00 - 10:00
Session 3 - Model-Driven Engineering and Aspect-Oriented Technologies SAM Conference at 203
09:00
30m
Paper
Program abstraction and re-engineering: an Agile MDE approach
SAM Conference
Dr Kevin Lano King's College London, Howard Haughton Holistic Risk Solutions Ltd, Ziwen Yuan , Hessa Alfraihi Princess Nourah bint Abdulrahman University
09:30
30m
Paper
A Domain-Specific Language for Monitoring ML Model Performance
SAM Conference
Panagiotis Kourouklidis , Dimitris Kolovos University of York, Joost Noppen Applied Research, British Telecommunications plc., Nikolaos Matragkas
10:00 - 10:30
Coffee BreakBreak at Foajé Plan 1
10:30 - 12:00
MoDeVVa: Session 1Workshops at 102
10:30
90m
Talk
MoDeVVA: Session 1
Workshops

10:30 - 12:00
LowCode: Session 2Workshops at 103
10:30
90m
Talk
Low-code applications
Workshops

10:30 - 12:00
ME: Session 2Workshops at 104
10:30
90m
Talk
ME: Session 2
Workshops

10:30 - 12:00
Session 2: Modeling Education Evaluation and CourseEducators Symposium at 201
Chair(s): Silvia Abrahão Universitat Politècnica de València
10:30
30m
Talk
The complexity paradox: An analysis of modeling education through the lens of complexity science
Educators Symposium
Daniel Strüber Chalmers | University of Gothenburg / Radboud University
Pre-print
11:00
30m
Talk
Using Formative Assessment and Feedback to Train Novice Modelers in Business Process Modeling
Educators Symposium
11:30
30m
Talk
An Interdisciplinary Course on Model-Based Systems Engineering
Educators Symposium
10:30 - 12:00
Special Session - Model-Driven Development: 20 Years LaterSAM Conference at 203
10:30
30m
Paper
Trends and Insights into the Use of Model-Driven Engineering: A Survey
SAM Conference
Hessa Alfraihi Princess Nourah bint Abdulrahman University, Dr Kevin Lano King's College London
11:00
60m
Panel
Panel Discussion on the Last 20 Years in Model-Driven Development
SAM Conference

10:30 - 12:00
Session 2: Modeling & System EngineeringDoctoral Symposium at 204
Chair(s): Sébastien Mosser McMaster University, Prof. Fiona Polack University of Hull, Jean-Michel Bruel Université de Toulouse, France
10:30
30m
Doctoral symposium paper
A Domain-Driven Model Generation Framework for Cyber-Physical Production Systems
Doctoral Symposium
11:00
30m
Doctoral symposium paper
Towards Confidentiality in Multi-Model Inconsistency Detection for Systems Engineering
Doctoral Symposium
Sebastian Bergemann Technical University of Munich & fortiss GmbH
11:30
30m
Doctoral symposium paper
Deriving Safety Assurance Case Argumentation from Workflow+ Models
Doctoral Symposium
12:00 - 13:30
Lunch BreakBreak at Restaurant
13:30 - 15:00
MoDeVVa: Session 2Workshops at 102
13:30
90m
Talk
MoDeVVA: Session 2
Workshops

13:30 - 15:00
LowCode: Session 3Workshops at 103
13:30
90m
Talk
Keynote, discussion and wrap-up
Workshops
Steven Kelly MetaCase
13:30 - 15:00
ME: Session 3Workshops at 104
13:30
90m
Talk
ME: Session 3
Workshops

13:30 - 15:00
Session 3: Education Platform and Plagiarism Educators Symposium at 201
Chair(s): Andrzej Wąsowski IT University of Copenhagen, Denmark
13:30
30m
Talk
An Online Education Platform for Teaching MDE
Educators Symposium
Will Barnett King's College London, Steffen Zschaler King's College London, Artur Boronat University of Leicester, Antonio Garcia-Dominguez University of York, Dimitris Kolovos University of York
14:00
30m
Talk
Towards Personalized Learning Paths to Empower Competency Development in Model Driven Engineering through the ENCORE platform
Educators Symposium
Antonio Bucchiarone Fondazione Bruno Kessler, Trento, Italy, Andrea Vazquez-Ingelmo , , Gianluca Schiavo , , Simone Barandoni , , Alicia Garcıa-Holgado, , Francisco Jose Garcıa-Penalvo , Sébastien Mosser McMaster University, Alfonso Pierantonio Università degli Studi dell'Aquila, Steffen Zschaler King's College London, Will Barnett King's College London
14:30
30m
Talk
How Students Plagiarize Modeling Assignments
Educators Symposium
Timur Sağlam Karlsruhe Institute of Technology (KIT), Larissa Schmid Karlsruhe Institute of Technology, Sebastian Hahner Karlsruhe Institute of Technology (KIT), Erik Burger
13:30 - 15:30
Session 4 - System Requirement EngineeringSAM Conference at 203
13:30
30m
Paper
IoTMoF: A Requirements-Driven Modelling Framework for IoT Systems
SAM Conference
Paul Boutot Toronto Metropolitan University, Sadaf Mustafiz Toronto Metropolitan University
14:00
30m
Paper
Using Goal-Oriented Requirements Language for Modeling ISO 31000 Asset-Based Approach
SAM Conference
14:30
30m
Paper
Towards Requirements Specification Collaboration Forum for Embedded Software Systems
SAM Conference
Anna Fariha , Sanaa Alwidian University of Montreal, Akramul Azim Ontario Tech University
15:00
30m
Paper
Detection of Linguistic Bad Smells in GRL Models: An NLP Approach
SAM Conference
Nouf Alturaief Imam Abdulrahman Bin Faisal University, Jameleddine Hassine
13:30 - 15:00
Session 3: Modeling & Artificial IntelligenceDoctoral Symposium at 204
Chair(s): Manuel Wimmer JKU Linz, Istvan David McMaster University, Antonio Garcia-Dominguez University of York
13:30
30m
Doctoral symposium paper
Runtime Monitoring of Human-centric Requirements in Machine Learning Components: A Model-driven Engineering Approach
Doctoral Symposium
14:00
30m
Doctoral symposium paper
Towards Modeling and Predicting the Resilience of Ecosystems
Doctoral Symposium
Tiago Sousa University of Luxembourg
14:30
30m
Doctoral symposium paper
Towards Leveraging Artificial Intelligence in NoSQL Database Modeling, Querying and Quality Characterization
Doctoral Symposium
15:00 - 15:30
Coffee BreakBreak at Foajé Plan 1
15:30 - 17:00
MoDeVVa: Session 3Workshops at 102
15:30
90m
Talk
MoDeVVA: Session 3
Workshops

15:30 - 17:00
ME: Session 4Workshops at 104
15:30 - 17:00
Session 4: New Technologies, Keynote, Discussion and ClosingEducators Symposium at 201
Chair(s): Silvia Abrahão Universitat Politècnica de València
15:30
30m
Talk
Generative AI in Model-Driven Software Engineering Education: Friend or Foe?
Educators Symposium
Sergio Morales Universitat Oberta de Catalunya, Elena Planas, , Robert Clarisó Universitat Oberta de Catalunya, Martin Gogolla University of Bremen
16:00
45m
Keynote
Keynote 2: Why teaching modeling in 2023 is more important than ever?
Educators Symposium
Andrzej Wąsowski IT University of Copenhagen, Denmark
16:45
15m
Day closing
Discussion and Closing
Educators Symposium

15:30 - 16:00
SAM 2023 Farewell SessionSAM Conference at 203
15:30
30m
Day closing
SAM 2023 Farewell Session
SAM Conference
C: Stein Erik Ellevseth , C: Peter Herrmann Norwegian University of Science and Technology (NTNU)
15:30 - 17:00
Session 4: Modeling & Languages, Discussions and ClosingDoctoral Symposium at 204
Chair(s): Alfonso Pierantonio Università degli Studi dell'Aquila, Steffen Zschaler King's College London
15:30
30m
Doctoral symposium paper
Towards Systematic Engineering of Hybrid Graphical-Textual Domain-Specific Languages
Doctoral Symposium
Ionut Predoaia University of York
DOI
16:00
30m
Doctoral symposium paper
Systematic Component-Oriented Language Reuse
Doctoral Symposium
Jérôme Pfeiffer University of Stuttgart, Germany
16:30
30m
Day closing
Discussions and Closing
Doctoral Symposium
Prof. Fiona Polack University of Hull, Hugo Bruneliere IMT Atlantique, LS2N (UMR CNRS 6004)
17:30 - 22:00
Community Building EventBreak at O’Learys Pub
17:30
4h30m
Social Event
Community Building Event
Break

Wed 4 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 10:00
08:30
30m
Social Event
Welcome to MODELS 2023
MODELS
Antonio Cicchetti Mälardalen University, Alfonso Pierantonio Università degli Studi dell'Aquila, Thomas Kuehne Victoria University of Wellington, Gabriele Taentzer Philipps-Universität Marburg
09:00
60m
Keynote
Models for formal methods and tools: the case of railway systems
MODELS
File Attached
10:00 - 10:30
Coffee BreakBreak at Foajé Plan 2
10:30 - 12:00
Session B1: Validation and VerificationTechnical Track at 301
10:30
22m
Talk
OCL Rebuilt, From the Ground Up
Technical Track
Friedrich Steimann Fernuniversität in Hagen, Robert Clarisó Universitat Oberta de Catalunya, Martin Gogolla University of Bremen
10:52
22m
Talk
Applicability of Model Checking for Verifying Spacecraft Operational Designs
Technical Track
Philipp Chrszon , Paulina Maurer , George Saleip , Sascha Müller , Philipp M. Fischer , Andreas Gerndt German Aerospace Center (DLR), Michael Felderer German Aerospace Center (DLR) & University of Cologne
11:15
22m
Talk
An Experimental Evaluation of Conformance Testing Techniques in Active Automata Learning
Technical Track
Bharat Garhewal , Carlos Diego Nascimento Damasceno Radboud University Nijmegen, Netherlands
11:37
22m
Talk
Mutation Testing for Temporal Alloy Models
Technical Track
Ana Jovanovic , Allison Sullivan The University of Texas at Arlington
10:30 - 12:00
Session 1: AIIndustry Day at 302
10:30
10m
Day opening
Welcome to Industry Day 2023
Industry Day
Alessio Bucaioni Malardalen University, Ludovico Iovino Gran Sasso Science Institute, L'Aquila, Italy
10:40
20m
Talk
Toward AI Enabled Enterprise
Industry Day
Vinay Kulkarni Tata Consultancy Services Research
11:00
20m
Talk
Virtual Assistants for MBSE
Industry Day
11:20
20m
Talk
Integrating AI into Model-Based Development: Enhancing System and Software Engineering Techniques
Industry Day
Axel Terfloth itemis AG
11:40
20m
Panel
Panel and questions
Industry Day

10:30 - 12:00
Session A1: Digital Twins & Real World ModelingTechnical Track at Kongresshall
10:30
22m
Talk
Digital Twins for Cyber-Biophysical Systems: Challenges and Lessons Learned
Technical Track
Istvan David McMaster University, Pascal Archambault , Quentin Wolak , Cong Vinh Vu, , Timothé Lalonde , Kashif Riaz , Eugene Syriani Université de Montréal, Houari Sahraoui Université de Montréal
Pre-print
10:52
22m
Talk
A Model-driven Approach for Knowledge-based Engineering of Industrial Digital Twins
Technical Track
11:15
22m
Talk
Marine Data Observability using KPIs: A MDSE Approach
Technical Track
Keila Lima Western Norway University of Applied Sciences, Ludovico Iovino Gran Sasso Science Institute, L'Aquila, Italy, Maria Teresa Rossi University of Milano Bicocca, Italy, Rogardt Heldal , Tosin Daniel Oyetoyan SINTEF Digital, Martina De Sanctis Gran Sasso Science Institute
11:37
22m
Talk
Manual Abstraction in the Wild: A Multiple-Case Study on OSS Systems
Technical Track
Wenli Zhang , Weixing Zhang Chalmers | University of Gothenburg, Daniel Strüber Chalmers | University of Gothenburg / Radboud University, Regina Hebig Chalmers University of Technology & University of Gothenburg
Pre-print
12:00 - 13:30
Lunch BreakBreak at Restaurant
13:30 - 15:00
Session B2: Early Phases & Multi-Level ModelingTechnical Track / Journal-first at 301
13:30
22m
Talk
A Model-driven and Template-based Approach for Requirements Specification
Technical Track
Ikram Darif École de technologie supérieure (ÉTS), Cristiano Politowski Concordia University, Canada, Ghizlane El Boussaidi École de Technologie Supérieure, Imen Benzarti , Segla Kpodjedo Ecole de Technologie Superieure
13:52
22m
Talk
Rapid-Prototyping and Early Validation of Software Models through Uniform Integration of Hardware
Technical Track
14:15
22m
Talk
Real-time collaborative multi-level modeling by conflict-free replicated data typesJ1ST
Journal-first
Istvan David McMaster University, Eugene Syriani Université de Montréal
Link to publication DOI
14:37
22m
Talk
Multi-Dimensional Multi-Level ModelingJ1ST
Journal-first
Thomas Kuehne Victoria University of Wellington
Link to publication DOI
13:30 - 15:00
Session A2: Application of MDETechnical Track / Journal-first at Kongresshall
13:30
22m
Talk
Model-Driven Prompt Engineering
Technical Track
Robert Clarisó Universitat Oberta de Catalunya, Jordi Cabot Luxembourg Institute of Science and Technology
13:52
22m
Talk
Leveraging modeling concepts and techniques to address challenges in network management
Technical Track
Nafiseh Kahani , Mojtaba Bagherzadeh , Reza Ahmadi , Juergen Dingel Queen's University, Kingston, Ontario
14:15
22m
Talk
Timing-Aware Software-in-the-Loop Simulation of Automotive Applications with FMI 3.0
Technical Track
14:37
22m
Talk
Reference architectures modelling and compliance checkingJ1ST
Journal-first
Alessio Bucaioni Mälardalen University, Amleto Di Salle European University of Rome, Ludovico Iovino Gran Sasso Science Institute, L'Aquila, Italy, Ivano Malavolta Vrije Universiteit Amsterdam, Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy
15:00 - 15:30
Coffee BreakBreak at Foajé Plan 2
15:30 - 17:00
MODELS Steering Committee MeetingMODELS at 201
15:30
90m
Meeting
MODELS Steering Committee Meeting
MODELS

15:30 - 17:00
Session B3: Understanding Models and Model ChangesTechnical Track / Journal-first at 301
15:30
22m
Talk
Model Sensemaking Strategies: Exploiting Meta-Model Patterns to Understand Large Models
Technical Track
Francisco Martínez-Lasaca Universidad Autónoma de Madrid, Pablo Díez , Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid
Pre-print
15:52
22m
Talk
EvoSL: A Large Open-Source Corpus of Changes in Simulink Models & Projects
Technical Track
Sohil Lal Shrestha The University of Texas at Arlington, Alexander Boll , Shafiul Azam Chowdhury University of Texas at Arlington, Timo Kehrer University of Bern, Christoph Csallner University of Texas at Arlington
Pre-print Media Attached
16:15
22m
Talk
gLTSdiff: A Generalized Framework for Structural Comparison of Software Behavior
Technical Track
16:37
22m
Talk
Gamifying model-based engineering: the PapyGame experienceJ1ST
Journal-first
Antonio Bucchiarone Fondazione Bruno Kessler, Trento, Italy, Maxime Savary-Leblanc ANSYS, Xavier Le Pallec , Antonio Cicchetti Mälardalen University, Sébastien Gérard , Simone Bassanelli , Federica Gini , Annapaola Marconi Fondazione Bruno Kessler, Trento, Italy
15:30 - 16:50
Session 3: System EngineeringIndustry Day at 302
15:30
20m
Talk
The Art of Modeling RealTime Applications
Industry Day
15:50
20m
Talk
TNO-ESI: Managing complexity in cyber-physical systems
Industry Day
16:10
20m
Talk
The state of practice of MBSE in the European space industry
Industry Day
Marcel Verhoef European Space Agency
16:30
20m
Panel
Panel and questions
Industry Day

15:30 - 17:00
Session A3: Uncertainty, Security & ConcurrencyTechnical Track / Journal-first at Kongresshall
15:30
22m
Talk
Uncertainty-aware consistency checking in industrial settings
Technical Track
Antonio Vallecillo University of Málaga, Spain, Robbert Jongeling Malardalen University
15:52
22m
Talk
Automatic Security-Flaw Detection - Replication and Comparison
Technical Track
Bernhard Berger Hamburg University of Technology, Christina Plump
16:15
22m
Talk
An extended model-based characterization of fine-grained access control for SQL queries
Technical Track
16:37
22m
Talk
A generic framework for representing and analyzing model concurrencyJ1ST
Journal-first
Steffen Zschaler King's College London, Erwan Bousse Nantes Université, Julien DeAntoni , Benoit Combemale University of Rennes, Inria, CNRS, IRISA
Link to publication DOI
17:00 - 18:30
Session 4: DigitalisationIndustry Day at 302
17:00
20m
Talk
Digital Engineering for safe systems and software engineering: industry trends, requirements, challenges and solutions
Industry Day
17:20
20m
Talk
Volvo CE (MBSE) Journey towards Digital Transformation
Industry Day
17:40
5m
Panel
Panel and questions
Industry Day

17:45
5m
Day closing
Closing
Industry Day

17:50
40m
Social Event
Mingle
Industry Day

18:30 - 20:00
Welcome ReceptionBreak at B26
18:30
90m
Social Event
Welcome Reception
Break

Thu 5 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:45 - 10:00
08:45
15m
Day opening
Announcements
MODELS
Federico Ciccozzi Mälardalen University
09:00
60m
Keynote
Navigating the White-Water World with Digital Humanism
MODELS
Gordana Dodig-Crnkovic Chalmers University of Technology
File Attached
10:00 - 10:30
Coffee BreakBreak at Foajé Plan 2
10:00 - 17:00
Poster SessionPosters at Foajé Plan 2
10:00
46m
Poster
Model Based STPA for Assisted Driving Functions
Posters
10:46
46m
Poster
Obtaining insights into the interplay between systems and software engineering
Posters
11:33
46m
Poster
Enlightening Modeling the Aristotelian Way with Light-Code
Posters
12:20
46m
Poster
MBSE methodology to track and validate the interfaces of ANDES spectrograph for E-ELT
Posters
13:06
46m
Poster
Consistency in the View-Based Development of Cyber-Physical Systems (Convide)
Posters
Ralf Reussner KIT, Ina Schaefer TU Braunschweig, Bernhard Beckert Karlsruhe Institute of Technology, Anne Koziolek Karlsruhe Institute of Technology, Erik Burger
13:53
46m
Poster
A Model-driven Approach for Knowledge-based Engineering of Industrial Digital Twins
Posters
14:40
46m
Poster
DiNeROS: A Model-Driven Framework for Verifiable ROS Applications with Petri Nets
Posters
Sebastian Ebert Technische Universität Dresden, Johannes Mey Technische Universität Dresden, René Schöne Technische Universität Dresden, Sebastian Götz Technische Universität Dresden, Uwe Aßmann TU Dresden, Germany
15:26
46m
Poster
Model Sensemaking Strategies: Exploiting Meta-Model Patterns to Understand Large Models
Posters
Francisco Martínez-Lasaca Universidad Autónoma de Madrid, Pablo Díez , Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid
16:13
46m
Poster
Towards Understanding and Analyzing Rationale in Commit Messages using a Knowledge Graph Approach
Posters
Mouna Dhaouadi University of Montreal, Bentley Oakes Université de Montréal, Michalis Famelis Université de Montréal
10:30 - 12:00
Session B4: DSL Engineering & Modeling AssistanceJournal-first at 301
10:30
22m
Talk
Advanced testing and debugging support for reactive executable DSLsJ1ST
Journal-first
Faezeh Khorram Huawei Technologies, Erwan Bousse Nantes Université, Jean-Marie Mottu IMT Atlantique; Nantes Université; École Centrale Nantes, Gerson Sunyé IMT Atlantique; Nantes Université; École Centrale Nantes
10:52
22m
Talk
Flexmi: a generic and modular textual syntax for domain-specific modellingJ1ST
Journal-first
Dimitris Kolovos University of York, Alfonso de la Vega Universidad de Cantabria
DOI
11:15
22m
Talk
SimIMA: a virtual Simulink intelligent modeling assistant - Simulink intelligent modeling assistance through machine learning and model clonesJ1ST
Journal-first
Bhisma Adhikari , Eric Rapos Miami University, Matthew Stephan Miami University
11:37
22m
Talk
Understanding the need for assistance in software modeling: interviews with expertsJ1ST
Journal-first
10:30 - 12:00
Session A4: Education & Modeling ToolsTechnical Track at Kongresshall
10:30
22m
Talk
Automated Grading of Use Cases
Technical Track
Omar Alam Trent University, Mohsen Hosseinibaghdadabadi , Nicolas Almerge , Jörg Kienzle McGill University, Canada
10:52
22m
Talk
Integrating Testing into the Alloy Model Development Workflow
Technical Track
Allison Sullivan The University of Texas at Arlington
11:15
22m
Talk
On Developing and Operating GLSP-based Web Modeling Tools: Lessons Learned from bigUML
Technical Track
Haydar Metin , Dominik Bork TU Wien, Vienna, Austria
11:37
23m
Talk
Lessons Learned Building Tools for Workflow+
Technical Track
Nicholas Annable , Richard Paige McMaster University, Mark Lawford McMaster University, Thomas Chiang , Alan Wassyng McMaster University, Canada
12:00 - 13:30
Lunch BreakBreak at Restaurant
13:30 - 15:00
Session C5: Modelling DataTools and Demonstrations at 302
13:30
22m
Talk
Atlas: A Toolset for Efficient Model-Driven Data Exchange in Data SpacesTool Demo
Tools and Demonstrations
13:52
22m
Talk
PyDaQu: Python Data Quality Code Generation based on DATTool Demo
Tools and Demonstrations
Moamin Abughazala University of L'Aquila, Khitam Abughazala
Media Attached
14:15
22m
Talk
ScoutSL: An Open-source Simulink Search EngineTool Demo
Tools and Demonstrations
Sohil Lal Shrestha The University of Texas at Arlington, Alexander Boll University of Bern, Timo Kehrer University of Bern, Christoph Csallner University of Texas at Arlington
Pre-print Media Attached
14:37
22m
Talk
Demonstration of the DPMF Tool in Support of Data Protection by DesignTool Demo
Tools and Demonstrations
Laurens Sion imec-DistriNet, KU Leuven, Dimitri Van Landuyt KU Leuven, Belgium, Pierre Dewitte , Peggy Valcke , Wouter Joosen imec-DistriNet, KU Leuven
13:30 - 15:00
PanelPanel at Kongresshall
Chair(s): Alexander Egyed Johannes Kepler University Linz, Manuel Wimmer JKU Linz
13:30
90m
Panel
How is Artificial Intelligence transforming Model-Driven Engineering?
Panel
P: Nelly Bencomo Durham University, P: Jordi Cabot Luxembourg Institute of Science and Technology, P: Vinay Kulkarni Tata Consultancy Services Research, P: Daniel Varro Linköping University / McGill University, P: Lola Burgueño University of Malaga, P: Houari Sahraoui Université de Montréal
15:00 - 15:30
Coffee BreakBreak at Foajé Plan 2
15:30 - 17:00
Session B6: Versioning and VariabilityTechnical Track / Tools and Demonstrations at 301
15:30
22m
Talk
Incremental Model Transformations with Triple Graph Grammars for Multi-version Models
Technical Track
Matthias Barkowsky Hasso Plattner Institute, University of Potsdam, Germany, Holger Giese Hasso Plattner Institute, University of Potsdam
15:52
22m
Talk
Variability-aware Neo4j for Analyzing a Graphical Model of a Software Product Line
Technical Track
Xiang Chen , Joanne Atlee University of Waterloo
16:15
22m
Talk
How MetaEdit+ Supports Co-Evolution of Modeling Languages, Tools and ModelsTool Demo
Tools and Demonstrations
Pre-print
16:37
22m
Talk
Experience in Specializing a Generic Realization Language for SPL Engineering at Airbus
Technical Track
Damien Foures , Mathieu Acher Univ. Rennes 1, Inria, IRISA, Institut Universitaire de France (IUF), Olivier Barais University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Benoit Combemale University of Rennes, Inria, CNRS, IRISA, Jean-Marc Jézéquel Univ Rennes - IRISA, Jörg Kienzle McGill University, Canada
15:30 - 17:00
Session C6: Modelling in the CloudTools and Demonstrations at 302
15:30
22m
Talk
Designing Elasticity Policies for Cloud-native Applications with SlingshotTool Demo
Tools and Demonstrations
A: Floriment Klinaku University of Stuttgart, Julijan Katić , Sarah Sophie Stieß University of Stuttgart, Germany, Steffen Becker University of Stuttgart
15:52
22m
Talk
RapidMS: A Tool for Supporting Rapid Microservices Generation and Refinement from Requirements ModelTool Demo
Tools and Demonstrations
zhang yang , li yang Beihang University, China, Yilong Yang Beihang University, Shuang Chen , Juntao Gao Northeast Petroleum University, Weiru Wang , Yongfeng Yin School of Software, Beihang University
16:15
22m
Talk
RM2MS: A Tool for Automatic Identification of Microservices from Requirements ModelsTool Demo
Tools and Demonstrations
li yang Beihang University, China, zhang yang , Yilong Yang Beihang University, Weiru Wang , Yongfeng Yin School of Software, Beihang University
16:37
22m
Talk
jjodel – A reflective cloud-based modeling frameworkTool Demo
Tools and Demonstrations
Juri Di Rocco University of L'Aquila, Davide Di Ruscio University of L'Aquila, Amleto Di Salle European University of Rome, Damiano Di Vincenzo , Alfonso Pierantonio Università degli Studi dell'Aquila, Giordano Tinella
15:30 - 17:00
Session A6: AI for MDETechnical Track at Kongresshall
15:30
22m
Talk
Word Embeddings for Model-Driven Engineering
Technical Track
José Antonio Hernández López Linkoping University, Carlos Durá , Jesús Sánchez Cuadrado Universidad de Murcia
Pre-print Media Attached
15:52
22m
Talk
Automated Domain Modeling with Large Language Models: A Comparative Study
Technical Track
Kua Chen , Yujing Yang , Boqi Chen McGill University, José Antonio Hernández López Linkoping University, Gunter Mussbacher McGill University, Daniel Varro Linköping University / McGill University
16:15
22m
Talk
SkeMo: Sketch Modeling for Real-Time Model Component Generation
Technical Track
Alisha Sharma Chapai , Eric Rapos Miami University
16:37
22m
Talk
Toward a Symbiotic Approach Leveraging Generative AI for Model-Driven Engineering
Technical Track
Vinay Kulkarni Tata Consultancy Services Research, Sreedhar Reddy , Souvik Barat Tata Consultancy Services Research, Jaya Dutta
19:00 - 23:00
BanquetBreak at Restaurant
19:00
4h
Social Event
Banquet
Break

Fri 6 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:45 - 10:00
08:45
15m
Day opening
Announcements
MODELS

09:00
60m
Keynote
A "most appropriate” Talk
MODELS
Hans Vangheluwe University of Antwerp and Flanders Make
File Attached
10:00 - 10:30
Coffee BreakBreak at Foajé Plan 2
10:30 - 12:00
Session C7: Testing with Models & Workflow ModelingJournal-first / Tools and Demonstrations at 301
10:30
22m
Talk
Gotten: A Model-driven Solution to Engineer Domain-specific Metamorphic Testing EnvironmentsTool Demo
Tools and Demonstrations
Pablo Gómez-Abajo Universidad Autónoma de Madrid, Pablo C Canizares Autonomous University of Madrid, Spain, Alberto Núňez University Complutense of Madrid, Spain., Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid
Pre-print
10:52
22m
Talk
MMT: Mutation Testing of Java Bytecode with Model TransformationTool Demo
Tools and Demonstrations
Christoph Bockisch Philipps-Universität Marburg, Daniel Neufeld , Gabriele Taentzer Philipps-Universität Marburg
11:15
22m
Talk
Business process modeling language selection for research modelersJ1ST
Journal-first
Siamak Farshidi Utrecht University, Izaak Beer Kwantes , Slinger Jansen Utrecht University, Netherlands
11:37
22m
Talk
Scientific Workflow Execution in the Cloud using a Dynamic Runtime ModelJ1ST
Journal-first
Johannes Erbel , Jens Grabowski University of Göttingen
12:00 - 13:30
Lunch breakBreak at Restaurant
13:30 - 15:00
13:30
90m
Day closing
Closing and Farewell
MODELS