STAF 2024
Mon 8 - Thu 11 July 2024 Enschede, Netherlands
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

09:00 - 10:30
WADT Keynote Session 1Keynotes / WADT at Waaier 3
Chair(s): Tom van Dijk University of Twente
09:00
60m
Keynote
WADT Keynote 1 - Some Uses of Modal Semirings
Keynotes
K: Bernhard Möller University of Augsburg
File Attached
10:00
30m
Talk
Bialgebraic Representation of Controlled Coordination of Interacting System Components
WADT
P: Harald König FHDW University of Applied Sciences, Uwe Wolter University of Bergen
File Attached
10:30 - 11:00
BreakCatering at Hal B
10:30
30m
Coffee break
Break
Catering

11:00 - 12:30
WADT Session 1WADT at Waaier 3
Chair(s): Alexandre Madeira University of Aveiro
11:00
30m
Talk
Separating Code and Semantics for Maintainability
WADT
P: Sebastiaan Joosten University of Minnesota Twin Cities
File Attached
11:30
30m
Talk
Practical Source Code Weaving for Distributed Workflow Abstractions
WADT
P: Silviu-George Pantelimon National University of Science and Technology Politehnica Bucharest, Radu Ioan Ciobanu National University of Science and Technology Politehnica Bucharest, Ciprian Dobre National University of Science and Technology Politehnica Bucharest
File Attached
12:00
30m
Talk
The Algebraic Structure of Parametric Array Theories
WADT
P: Rodrigo Raya Max-Planck Institute for Software Systems
File Attached
12:30 - 13:30
LunchCatering at Hal B
12:30
60m
Lunch
Lunch
Catering

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

13:50
10m
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
13:30 - 15:00
WADT Keynote Session 2WADT / Keynotes at Waaier 3
Chair(s): Uwe Wolter University of Bergen
13:30
60m
Keynote
WADT Keynote 2 - Common Meadows with Infinite Values
Keynotes
K: Jan Bergstra University of Amsterdam
File Attached
14:30
30m
Talk
Categories of Algebraic Rewrite Rules
WADT
P: Thierry Boy de La Tour CNRS and University Grenoble Alpes
File Attached
15:00 - 15:30
BreakCatering at Hal B
15:00
30m
Coffee break
Break
Catering

15:30 - 17:00
ECMFA Session 2ECMFA at Waaier 2
Chair(s): David Schmalzing RWTH Aachen University
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

15:30 - 17:30
WADT Session 2WADT at Waaier 3
Chair(s): Thierry Boy de La Tour CNRS and University Grenoble Alpes
15:30
30m
Talk
On the Algebra of Reactive Graphs
WADT
David Tinoco University of Aveiro, P: Alexandre Madeira University of Aveiro, Manuel A. Martins University of Aveiro, José Proença CISTER & Faculty of Sciences, University of Porto
File Attached
16:00
30m
Talk
Formal Specification with Many-Logics Modal Logic
WADT
Alfredo R. Freire University of Brası́lia, P: Manuel A. Martins University of Aveiro, Alexandre Madeira University of Aveiro
File Attached
16:30
30m
Talk
Reconciling Quantum Theory and Process Calculi via Physically Admissible Schedulers
WADT
Lorenzo Ceragioli IMT School for Advanced Studies, Giuseppe Lomurno University of Pisa, P: Gabriele Tedeschi University of Pisa
File Attached
17:00
30m
Talk
Topological Inquiry in Abstract Model Theory
WADT
P: Asterios Gkantzounis National Technical University of Athens, Stefaneas Petros National Technical University of Athens
File Attached
18:00 - 21:30
STAF Welcome ReceptionCatering at Technohal
18:00
3h30m
Dinner
Dinner
Catering

Tue 9 Jul

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

09:00 - 10:30
ECMFA Keynote SessionKeynotes at Waaier 2
09:00
90m
Keynote
ECMFA Keynote - From Data Chaos to Decision Making
Keynotes
K: Agnes Koschmider University of Bayreuth
10:30 - 11:00
BreakCatering at Hal B
10:30
30m
Coffee break
Break
Catering

11:00 - 12:30
ECMFA Session 4ECMFA 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
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
11:00 - 12:30
GCM Session 1GCM at Waaier 3
Chair(s): Jörg Endrullis Vrije Universiteit Amsterdam
11:00
30m
Research paper
Linear-Time Graph Programs for Unrestricted Graphs
GCM
Ziad Ismaili Alaoui Department of Computer Science, University of York, Detlef Plump University of York
Pre-print
11:30
30m
Research paper
Scalable Pattern Matching in Computation Graphs
GCM
Luca Mondada University of Oxford, Pablo Andres-Martinez University of Edinburgh
Pre-print
12:00
30m
Research paper
GrappaRE - A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions
GCM
Mattia De Rosa University of Salerno, Mark Minas Universität der Bundeswehr München
Pre-print
12:30 - 13:30
LunchCatering at Hal B
12:30
60m
Lunch
Lunch
Catering

13:30 - 15:00
ECMFA Session 5ECMFA 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
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
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

13:30 - 15:00
GCM Session 2GCM at Waaier 3
Chair(s): Dominik Grzelak Technische Universität Dresden
13:30
30m
Research paper
An Encoding of Interaction Nets in OCaml
GCM
Nikolaus Huber , Wang Yi Uppsala University, Sweden
Pre-print
14:00
30m
Research paper
Modelling Privacy Compliance in Cross-border Data Transfers with Bigraphs
GCM
Ebtihal Althubiti , Michele Sevegnani University of Glasgow
Pre-print
14:30
30m
Research paper
Modelling Real-time Systems with Bigraphs
GCM
Maram Albalwe , Blair Archibald University of Glasgow, Michele Sevegnani University of Glasgow
Pre-print
15:00 - 15:30
BreakCatering at Hal B
15:00
30m
Coffee break
Break
Catering

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

16:15
45m
Day closing
Conference closing
ECMFA

15:30 - 17:00
GCM Lightning TalksGCM at Waaier 3
Chair(s): Reiko Heckel University of Leicester

Special Session on Graph Transformation and AI

Wed 10 Jul

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

09:00 - 10:30
ICGT Keynote SessionKeynotes / 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
Keynotes
K: Marielle Stoelinga University of Twente and Radboud University, Nijmegen
09:00 - 10:30
AgileMDE Session 1Agile MDE / MeSS at Waaier 3
Chair(s): Sobhan Yassipour Tehrani University College London (UCL)
09:00
10m
Talk
Introduction
Agile MDE
Sobhan Yassipour Tehrani University College London (UCL)
09:10
20m
Long-paper
Research directions for agile model-driven engineering
Agile MDE
Dr Kevin Lano King's College London
09:30
20m
Long-paper
Exploring flexible models in agile MDE
Agile MDE
Artur Boronat University of Leicester
09:50
20m
Long-paper
Software modelling for sustainable software engineering
Agile MDE
Dr Kevin Lano King's College London, Zishan Rahman King's College London
10:10
20m
Long-paper
Software language translation by example
Agile MDE
10:30 - 11:00
BreakCatering at Hal B
10:30
30m
Coffee break
Break
Catering

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 Extensions
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
12:30 - 13:30
LunchCatering at Hal B
12:30
60m
Lunch
Lunch
Catering

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
13:30 - 15:00
AgileMDE Keynote SessionKeynotes at Waaier 3
13:30
90m
Keynote
AgileMDE Keynote: Low-Code and Low-Modeling Strategies for Agile MDE Processes
Keynotes
K: Iván Alfonso Luxembourg Institute of Science and Technology
15:00 - 15:30
BreakCatering at Hal B
15:00
30m
Coffee break
Break
Catering

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 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
15:30 - 17:00
AglieMDE & MeSS SessionMeSS / Agile MDE at Waaier 3
Chair(s): Robbert Jongeling Mälardalen University
15:30
20m
Short-paper
Model Driven Engineering in Finance: Bond Valuation, From Formulae to Code
Agile MDE
Asad Rahman King's College London
15:50
20m
Short-paper
Towards agile collaborative multi-view modeling with inconsistency tolerance
Agile MDE
Yaser Shahvari MDSE Research Group, Faculty of Computer Engineering, University of Isfahan, Isfahan, Iran, Mohammadreza Sharbaf University of Isfahan
16:10
20m
Talk
Towards Quantum-based Graph Matching for IoT Systems (Extended Abstract)
MeSS
Felix Gemeinhardt Johannes Kepler University, Linz, Daniel Lehner Johannes Kepler University Linz, Manuel Wimmer JKU Linz
16:30
20m
Talk
Digital Twins for IoT Systems: Exploiting Synergies between Industry and Academia (Extended Abstract)
MeSS
Daniel Lehner Johannes Kepler University Linz, Ricardo Dunkel https://openindustry4.com/
16:50
10m
Talk
Epsilon Playground Demo
MeSS
Dimitris Kolovos University of York
18:00 - 22:00
STAF Conferences DinnerCatering at Museumfabriek
18:00
4h
Dinner
Dinner
Catering

Thu 11 Jul

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

09:00 - 10:30
ICGT Keynote SessionICGT Research Papers / Keynotes at Waaier 3
Chair(s): Jens Kosiol Universität Kassel
09:00
60m
Keynote
ICGT Keynote 2: Ontological Foundations for Building Knowledge Graphs
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
File Attached
10:30 - 11:00
BreakCatering at Hal B
10:30
30m
Coffee break
Break
Catering

11:00 - 12:30
ICGT Session 4ICGT Research Papers at Waaier 1
Chair(s): Detlef Plump University of York
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
11:00 - 12:30
LLM4MDE Keynote SessionLLM4MDE / Keynotes at Waaier 3
11:00
15m
Day opening
LLM4MDE Opening
LLM4MDE
O: Riccardo Rubei University of L'Aquila
File Attached
11:15
60m
Keynote
LLM4MDE Keynote: Harnessing Large Language Models for Model-Driven Engineering: Current Applications and Future Directions
Keynotes
K: Juri Di Rocco University of L'Aquila
File Attached
12:30 - 13:30
LunchCatering at Hal B
12:30
60m
Lunch
Lunch
Catering

13:30 - 15:00
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
13:30 - 15:00
LLM4MDE SessionLLM4MDE at Waaier 3
13:30
30m
Talk
From Image to UML: First Results of Image-Based UML Diagram Generation using LLMs
LLM4MDE
P: Aaron Conrardy Luxembourg Institute of Science and Technology, A: Jordi Cabot Luxembourg Institute of Science and Technology
14:00
30m
Talk
LowcoBot: Towards Chatting With Low-Code Platforms
LLM4MDE
P: Francisco Martínez-Lasaca Universidad Autónoma de Madrid, A: Pablo Díez , A: Esther Guerra Universidad Autónoma de Madrid, A: Juan de Lara Autonomous University of Madrid
Pre-print
14:30
30m
Meeting
Discussion
LLM4MDE

15:00 - 15:30
BreakCatering at Hal B
15:00
30m
Coffee break
Break
Catering

15:30 - 17:00
ICGT Session 6ICGT Research Papers at Waaier 1
Chair(s): Arend Rensink University of Twente, The Netherlands
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