MeSS 2024
Wed 10 Jul 2024 Enschede, Netherlands
co-located with STAF 2024
STAF 2024 (series) / MeSS 2024 (series) / University of Twente /

Room information: Waaier 2

VenueUniversity of Twente
Room nameWaaier 2
Floor0
Room Information

WA 2

Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 8 Jul

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

13:30 - 15:00
ECMFA Session 1ECMFA Technical Track at Waaier 2
Chair(s): Adrian Rutle Western Norway University of Applied Sciences
13:30
20m
Break
Prolonged lunch break
ECMFA Technical Track

13:50
10m
Day opening
Conference opening
ECMFA Technical Track
Adrian Rutle Western Norway University of Applied Sciences, Judith Michael RWTH Aachen University
14:00
30m
Research paper
Automated Proof Tactics for Model Transformation
ECMFA Technical Track
A: Julien Cohen Nantes Université, A: Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004), A: Rémi Douence IMT Atlantique
14:30
30m
Research paper
A Variance-Based Drift Metric for Inconsistency Estimation in Model Variant Sets
ECMFA Technical Track
A: Karl Kegel Technische Universität Dresden, A: Sebastian Götz Technische Universität Dresden, A: Ronny Marx Technische Universität Dresden, A: Uwe Aßmann TU Dresden, Germany
15:30 - 17:00
ECMFA Session 2ECMFA Technical Track at Waaier 2
Chair(s): David Schmalzing RWTH Aachen University
15:30
30m
Research paper
Flexible Modelling: a Systematic Literature Review
ECMFA Technical Track
A: Robbert Jongeling Mälardalen University, A: Federico Ciccozzi Mälardalen University
16:00
30m
Research paper
Conflict-based Change Awareness for Collaborative Model-driven Software Engineering
ECMFA Technical Track
A: Edvin Herac Johannes Kepler University, A: Luciano Marchezan Johannes Kepler Universität Linz, A: Wesley Assunção North Carolina State University, A: Alexander Egyed Johannes Kepler University Linz
16:30
30m
Talk
Day closing
ECMFA Technical Track

Tue 9 Jul

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

09:00 - 10:30
ECMFA Keynote SessionSTAF Keynotes at Waaier 2
09:00
90m
Keynote
ECMFA Keynote - From Data Chaos to Decision Making
STAF Keynotes
K: Agnes Koschmider University of Bayreuth
11:00 - 12:30
ECMFA Session 4ECMFA Technical Track at Waaier 2
Chair(s): Robbert Jongeling Mälardalen University
11:00
30m
Research paper
Towards a Semantically Useful Definition of Conformance with a Reference Model
ECMFA Technical Track
A: Marco Konersmann , A: Bernhard Rumpe RWTH Aachen University, A: Max Stachon RWTH Aachen University, A: Sebastian Stüber RWTH Aachen University, Chair of Software Engineering, A: Valdes Voufo RWTH Aachen University
11:30
30m
Research paper
Integrating the Support for Machine Learning of Inter-Model Relations in Model Views
ECMFA Technical Track
A: James Pontes Miranda IMT Atlantique, LS2N (UMR CNRS 6004), A: Hugo Bruneliere IMT Atlantique, LS2N (UMR CNRS 6004), A: Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004), A: Gerson Sunyé IMT Atlantique; Nantes Université; École Centrale Nantes
12:00
30m
Research paper
An Empirical Study on Leveraging LLMs for Metamodels and Code Co-evolution
ECMFA Technical Track
A: Zohra Kaouter Kebaili Univ Rennes, CNRS, IRISA, A: Djamel Eddine Khelladi CNRS, IRISA, University of Rennes, A: Mathieu Acher University of Rennes, France / Inria, France / CNRS, France / IRISA, France, A: Olivier Barais University of Rennes, France / Inria, France / CNRS, France / IRISA, France
13:30 - 15:00
ECMFA Session 5ECMFA Technical Track at Waaier 2
Chair(s): Harald König FHDW University of Applied Sciences
13:30
30m
Research paper
A Method for Template-based Architecture Modeling and its Application to Digital Twins
ECMFA Technical Track
A: Daniel Lehner Johannes Kepler University Linz, A: Jérôme Pfeiffer University of Stuttgart, Germany, A: Stefan Klikovits Johannes Kepler University, Linz, A: Andreas Wortmann University of Stuttgart, A: Manuel Wimmer JKU Linz
14:00
30m
Research paper
Modeling Variability of Hierarchical Component-Based Systems
ECMFA Technical Track
A: Nico Jansen Software Engineering, RWTH Aachen University, A: Jérôme Pfeiffer University of Stuttgart, Germany, A: Bernhard Rumpe RWTH Aachen University, A: David Schmalzing RWTH Aachen University, A: Andreas Wortmann University of Stuttgart
14:30
30m
Talk
Discussion
ECMFA Technical Track

15:30 - 17:00
ECMFA Session 6ECMFA Technical Track at Waaier 2
15:30
45m
Talk
Discussion
ECMFA Technical Track

16:15
45m
Day closing
Conference closing
ECMFA Technical Track

Wed 10 Jul

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

09:00 - 10:30
ICGT Keynote SessionSTAF Keynotes / ICGT Research Papers at Waaier 2
Chair(s): Jens Kosiol Universität Kassel
09:00
15m
Day opening
ICGT Opening
ICGT Research Papers

09:15
75m
Keynote
ICGT Keynote: Graphs, Logics and Transformations for Effective Risk Analysis
STAF Keynotes
K: Marielle Stoelinga University of Twente and Radboud University, Nijmegen
11:00 - 12:30
ICGT Session 1ICGT Research Papers at Waaier 2
Chair(s): Russ Harmer CNRS
11:00
30m
Talk
Causal Graph Dynamics and Kan ExtensionsICGT Best Theory Paper
ICGT Research Papers
Luidnel Maignan Univ. Paris-Créteil, P: Antoine Spicher LACL, Université Paris-Est Créteil
Pre-print File Attached
11:30
30m
Talk
The ‘Causality’ Quagmire for Formalised Bond Graphs
ICGT Research Papers
P: Richard Banach University of Manchester, John Baugh North Carolina State University
12:00
30m
Talk
Tracelet Hopf Algebras and Decomposition SpacesJournal-first paper
ICGT Research Papers
P: Nicolas Behr CNRS, Université Paris Cité, IRIF
Link to publication DOI Media Attached
13:30 - 15:00
ICGT Session 2ICGT Research Papers at Waaier 2
Chair(s): Reiko Heckel University of Leicester
13:30
90m
Tutorial
Gentle Introduction to LMNtal: Language Design and ImplementationTutorial
ICGT Research Papers
P: Kazunori Ueda Waseda University
Link to publication Pre-print
15:30 - 17:00
ICGT Session 3ICGT Research Papers at Waaier 2
Chair(s): Fernando Orejas Universitat Politècnica de Catalunya
15:30
30m
Talk
Checking Transaction Isolation Violations with Graph Queries
ICGT Research Papers
Stefania Dumbrava ENSIIE & Institut Polytechnique de Paris, Zhao Jin ENSIIE, Burcu Kulahcioglu Ozkan Delft University of Technology, P: Jingxuan Qiu Delft University of Technology
16:00
30m
Talk
Modular language product lines: concept, tool and analysisJournal-first paper
ICGT Research Papers
Juan de Lara Autonomous University of Madrid, Esther Guerra Universidad Autónoma de Madrid, P: Paolo Bottoni Sapienza University of Rome
Link to publication DOI
16:30
30m
Talk
Taint Analysis for Graph APIs Focusing on Broken Access ControlICGT Best Applications Paper
ICGT Research Papers
Leen Lambers BTU Cottbus Senftenberg, P: Lucas Sakizloglou Brandenburgische Technische Universität Cottbus-Senftenberg, Osama Al-Wardi Brandenburgische Technische Universität Cottbus-Senftenberg, Taisiya Khakharova Brandenburgische Technische Universität Cottbus-Senftenberg
DOI

Mon 8 Jul

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

Room13:003014:003015:003016:0030
Waaier 2

ECMFA Technical Track

ECMFA Session 1

ECMFA Technical Track

ECMFA Session 2

Tue 9 Jul

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

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Waaier 2

STAF Keynotes

ECMFA Keynote Session

ECMFA Technical Track

ECMFA Session 4

ECMFA Technical Track

ECMFA Session 5

ECMFA Technical Track

ECMFA Session 6

Wed 10 Jul

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

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Waaier 2

STAF Keynotes + ICGT Research Papers

ICGT Keynote Session

ICGT Research Papers

ICGT Session 1

ICGT Research Papers

ICGT Session 2

ICGT Research Papers

ICGT Session 3

Mon 8 Jul

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

Room13:0015304514:0015304515:0015304516:00153045
Waaier 2
ECMFA Technical Track
Prolonged lunch break
13:30 - 13:50
ECMFA Technical Track
Conference opening
13:50 - 14:00
ECMFA Technical Track
Automated Proof Tactics for Model Transformation
14:00 - 14:30
ECMFA Technical Track
A Variance-Based Drift Metric for Inconsistency Estimation in Model Var ...
14:30 - 15:00
ECMFA Technical Track
Flexible Modelling: a Systematic Literature Review
15:30 - 16:00
ECMFA Technical Track
Conflict-based Change Awareness for Collaborative Model-driven Software ...
16:00 - 16:30
ECMFA Technical Track
Day closing
16:30 - 17:00

Tue 9 Jul

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Waaier 2
STAF Keynotes
ECMFA Keynote - From Data Chaos to Decision Making
09:00 - 10:30
ECMFA Technical Track
Towards a Semantically Useful Definition of Conformance with a Referenc ...
11:00 - 11:30
ECMFA Technical Track
Integrating the Support for Machine Learning of Inter-Model Relations i ...
11:30 - 12:00
ECMFA Technical Track
An Empirical Study on Leveraging LLMs for Metamodels and Code Co-evolut ...
12:00 - 12:30
ECMFA Technical Track
A Method for Template-based Architecture Modeling and its Application t ...
13:30 - 14:00
ECMFA Technical Track
Modeling Variability of Hierarchical Component-Based Systems
14:00 - 14:30
ECMFA Technical Track
Discussion
14:30 - 15:00
ECMFA Technical Track
Discussion
15:30 - 16:15
ECMFA Technical Track
Conference closing
16:15 - 17:00

Wed 10 Jul

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Waaier 2
ICGT Research Papers
ICGT Opening
09:00 - 09:15
STAF Keynotes
ICGT Keynote: Graphs, Logics and Transformations for Effective Risk Ana ...
09:15 - 10:30
ICGT Research PapersICGT Best Theory Paper
Causal Graph Dynamics and Kan Extensions
11:00 - 11:30
ICGT Research Papers
The ‘Causality’ Quagmire for Formalised Bond Graphs
11:30 - 12:00
ICGT Research PapersJournal-first paper
Tracelet Hopf Algebras and Decomposition Spaces
12:00 - 12:30
ICGT Research PapersTutorial
Gentle Introduction to LMNtal: Language Design and Implementation
13:30 - 15:00
ICGT Research Papers
Checking Transaction Isolation Violations with Graph Queries
15:30 - 16:00
ICGT Research PapersJournal-first paper
Modular language product lines: concept, tool and analysis
16:00 - 16:30
ICGT Research PapersICGT Best Applications Paper
Taint Analysis for Graph APIs Focusing on Broken Access Control
16:30 - 17:00