ICGT 2024
Wed 10 - Thu 11 July 2024 Enschede, Netherlands
co-located with STAF 2024
STAF 2024 (series) / ICGT 2024 (series) / University of Twente /

Room information: Waaier 2

VenueUniversity of Twente
Room nameWaaier 2
Floor0
Room InformationNo extra information available

Information for Participants
Info for room Waaier 2:

image

Program

This program is tentative and subject to change.

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 at Waaier 2
13:30
30m
Day opening
Conference opening
ECMFA
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
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
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 at Waaier 2
15:30
30m
Research paper
Flexible Modelling: a Systematic Literature Review
ECMFA
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
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

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 at Waaier 2
11:00
30m
Research paper
Towards a Semantically Useful Definition of Conformance with a Reference Model
ECMFA
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
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
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 at Waaier 2
13:30
45m
Research paper
Template-based Digital Twin Architecture Modeling
ECMFA
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:15
45m
Research paper
Modeling Variability of Hierarchical Component-Based Systems
ECMFA
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
15:30 - 17:00
ECMFA Session 6ECMFA at Waaier 2
15:30
45m
Talk
Discussion
ECMFA

16:15
45m
Day closing
Conference closing
ECMFA

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
11:00
30m
Talk
Causal Graph Dynamics and Kan Extensions
ICGT Research Papers
Luidnel Maignan Univ. Paris-Créteil, P: Antoine Spicher LACL, Université Paris-Est Créteil
Pre-print
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
13:30 - 15:00
ICGT Session 2ICGT Research Papers at Waaier 2
13:30
90m
Tutorial
Gentle Introduction to LMNtal: Language Design and ImplementationTutorial
ICGT Research Papers
P: Kazunori Ueda Waseda University
Link to publication
15:30 - 17:00
ICGT Session 3ICGT Research Papers at Waaier 2
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, 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 Control
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

Thu 11 Jul

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

09:00 - 10:30
ICGT Keynote SessionICGT Research Papers / STAF Keynotes at Waaier 2
Chair(s): Jens Kosiol Universität Kassel
09:00
60m
Keynote
ICGT Keynote 2: Ontological Foundations for Building Knowledge Graphs
STAF Keynotes
K: Tiago Prince Sales Semantics, Cybersecurity and Services, University of Twente
10:00
30m
Talk
Can I teach graph rewriting to my chatbot?
ICGT Research Papers
P: Reiko Heckel University of Leicester, Issam Al-Azzoni Al Ain University, United Arab Emirates
11:00 - 12:30
ICGT Session 4ICGT Research Papers at Waaier 2
11:00
30m
Talk
A Bigraph Paper of Sorts
ICGT Research Papers
P: Blair Archibald University of Glasgow, Michele Sevegnani University of Glasgow
11:30
30m
Talk
Extension and Restriction of Derivations in Adhesive Categories
ICGT Research Papers
P: Hans-Jörg Kreowski University of Bremen, Aaron Lye German Aerospace Center, Institute for the Protection of Maritime Infrastructures, Aljoscha Windhorst University of Bremen
12:00
30m
Talk
Generalized Weighted Type Graphs for Termination of Graph Transformation Systems
ICGT Research Papers
Joerg Endrullis Vrije Universiteit Amsterdam, Roy Overbeek Vrije Universiteit Amsterdam
13:30 - 15:00
ICGT Session 5ICGT Research Papers at Waaier 2
13:30
30m
Talk
A Graph Transformation-Based Engine for the Automated Exploration of Constraint Models
ICGT Research Papers
P: Christopher Stone University of St Andrews, András Z. Salamon University of St Andrews, Ian Miguel University of St Andrews
14:00
30m
Talk
Graph Algebras and Derived Graph OperationsJournal-first paper
ICGT Research Papers
P: Uwe Wolter University of Bergen, Tam Truong University of Bergen
Link to publication DOI
14:30
30m
Talk
Linear-Time Graph Programs for Unbounded-Degree Graphs
ICGT Research Papers
P: Ziad Ismaili Alaoui Department of Computer Science, University of York, Detlef Plump University of York
15:30 - 17:00
ICGT Session 6ICGT Research Papers at Waaier 2
15:30
30m
Talk
Deriving Delay-Robust Timed Graph Transformation System Models
ICGT Research Papers
P: Mustafa Ghani Hasso Plattner Institute, University of Potsdam, Sven Schneider Hasso-Plattner-Institut, Universität Potsdam , Maria Maximova Hasso-Plattner-Institut für Digital Engineering gGmbH, Holger Giese Hasso Plattner Institute, University of Potsdam
16:00
30m
Talk
Localized RETE for Incremental Graph Queries
ICGT Research Papers
P: Matthias Barkowsky Hasso Plattner Institute, University of Potsdam, Germany, Holger Giese Hasso Plattner Institute, University of Potsdam
Pre-print
16:30
30m
Talk
Using application conditions to rank graph transformations for graph repair
ICGT Research Papers
Lars Fritsche TU Darmstadt, Germany, P: Alexander Lauer Philipps-Universität Marburg, Andy Schürr TU Darmstadt, Gabriele Taentzer Philipps-Universität Marburg
Pre-print

Mon 8 Jul

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

Room13:003014:003015:003016:0030
Waaier 2

ECMFA

ECMFA Session 1

ECMFA

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

ECMFA Session 4

ECMFA

ECMFA Session 5

ECMFA

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

Thu 11 Jul

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

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

ICGT Research Papers + STAF Keynotes

ICGT Keynote Session

ICGT Research Papers

ICGT Session 4

ICGT Research Papers

ICGT Session 5

ICGT Research Papers

ICGT Session 6

Mon 8 Jul

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

Room13:0015304514:0015304515:0015304516:00153045
Waaier 2
ECMFA
Conference opening
13:30 - 14:00
ECMFA
Automated Proof Tactics for Model Transformation
14:00 - 14:30
ECMFA
A Variance-Based Drift Metric for Inconsistency Estimation in Model Var ...
14:30 - 15:00
ECMFA
Flexible Modelling: a Systematic Literature Review
15:30 - 16:00
ECMFA
Conflict-based Change Awareness for Collaborative Model-driven Software ...
16:00 - 16:30
ECMFA
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
Towards a Semantically Useful Definition of Conformance with a Referenc ...
11:00 - 11:30
ECMFA
Integrating the Support for Machine Learning of Inter-Model Relations i ...
11:30 - 12:00
ECMFA
An Empirical Study on Leveraging LLMs for Metamodels and Code Co-evolut ...
12:00 - 12:30
ECMFA
Template-based Digital Twin Architecture Modeling
13:30 - 14:15
ECMFA
Modeling Variability of Hierarchical Component-Based Systems
14:15 - 15:00
ECMFA
Discussion
15:30 - 16:15
ECMFA
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 Papers
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 Papers
Taint Analysis for Graph APIs Focusing on Broken Access Control
16:30 - 17:00

Thu 11 Jul

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Waaier 2
STAF Keynotes
ICGT Keynote 2: Ontological Foundations for Building Knowledge Graphs
09:00 - 10:00
ICGT Research Papers
Can I teach graph rewriting to my chatbot?
10:00 - 10:30
ICGT Research Papers
A Bigraph Paper of Sorts
11:00 - 11:30
ICGT Research Papers
Extension and Restriction of Derivations in Adhesive Categories
11:30 - 12:00
ICGT Research Papers
Generalized Weighted Type Graphs for Termination of Graph Transformatio ...
12:00 - 12:30
ICGT Research Papers
A Graph Transformation-Based Engine for the Automated Exploration of Co ...
13:30 - 14:00
ICGT Research PapersJournal-first paper
Graph Algebras and Derived Graph Operations
14:00 - 14:30
ICGT Research Papers
Linear-Time Graph Programs for Unbounded-Degree Graphs
14:30 - 15:00
ICGT Research Papers
Deriving Delay-Robust Timed Graph Transformation System Models
15:30 - 16:00
ICGT Research Papers
Localized RETE for Incremental Graph Queries
16:00 - 16:30
ICGT Research Papers
Using application conditions to rank graph transformations for graph repair
16:30 - 17:00