Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 8 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 8 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 60mKeynote | WADT Keynote 1 - Some Uses of Modal Semirings Keynotes File Attached | ||
10:00 30mTalk | Bialgebraic Representation of Controlled Coordination of Interacting System Components WADT File Attached | ||
11:00 - 12:30 | |||
11:00 30mTalk | Separating Code and Semantics for Maintainability WADT File Attached | ||
11:30 30mTalk | 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 30mTalk | The Algebraic Structure of Parametric Array Theories WADT File Attached | ||
13:30 - 15:00 | ECMFA Session 1ECMFA at Waaier 2 Chair(s): Adrian Rutle Western Norway University of Applied Sciences | ||
13:30 20mBreak | Prolonged lunch break ECMFA | ||
13:50 10mDay opening | Conference opening ECMFA | ||
14:00 30mResearch 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 30mResearch 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 | |||
13:30 60mKeynote | WADT Keynote 2 - Common Meadows with Infinite Values Keynotes File Attached | ||
14:30 30mTalk | Categories of Algebraic Rewrite Rules WADT File Attached | ||
15:30 - 17:00 | |||
15:30 30mResearch paper | Flexible Modelling: a Systematic Literature Review ECMFA | ||
16:00 30mResearch 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 30mTalk | Day closing ECMFA | ||
15:30 - 17:30 | |||
15:30 30mTalk | 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 30mTalk | 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 30mTalk | 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 30mTalk | Topological Inquiry in Abstract Model Theory WADT P: Asterios Gkantzounis National Technical University of Athens, Stefaneas Petros National Technical University of Athens File Attached | ||
Tue 9 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 9 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 90mKeynote | ECMFA Keynote - From Data Chaos to Decision Making Keynotes | ||
11:00 - 12:30 | |||
11:00 30mResearch 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 30mResearch 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 30mResearch 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 | |||
11:00 30mResearch 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 30mResearch paper | Scalable Pattern Matching in Computation Graphs GCM Pre-print | ||
12:00 30mResearch paper | GrappaRE - A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions GCM Pre-print | ||
13:30 - 15:00 | |||
13:30 30mResearch 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 30mResearch 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 30mTalk | Discussion ECMFA | ||
13:30 - 15:00 | |||
13:30 30mResearch paper | An Encoding of Interaction Nets in OCaml GCM Pre-print | ||
14:00 30mResearch paper | Modelling Privacy Compliance in Cross-border Data Transfers with Bigraphs GCM Pre-print | ||
14:30 30mResearch paper | Modelling Real-time Systems with Bigraphs GCM Pre-print | ||
15:30 - 17:00 | |||
15:30 45mTalk | Discussion ECMFA | ||
16:15 45mDay 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 ▶ See Session Overview Aim: brainstorm and reflect ideas on the use of AI for Graph Transformation (GT) and vice versa followed by panel discussion. | ||
15:30 15mTalk | Checking Nested Graph Expressions with Alternating Finite Graph Automata GCM Pre-print | ||
15:45 15mTalk | A Conflict-Free Replicated Data Type for Graph Rewriting GCM Pre-print | ||
16:00 15mTalk | Towards Graph-to-Graph Transformation Networks GCM Pre-print | ||
16:15 15mTalk | From Message Passing to Actor Graph Neural Networks GCM Pre-print | ||
16:30 15mTalk | Graphs in Lowcode Platforms: a Practitioner’s Approach GCM 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 | ||
16:45 15mTalk | Locally Explainable Rules with Bigraphs GCM Dominik Grzelak Technische Universität Dresden Pre-print | ||
Wed 10 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
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 15mDay opening | ICGT Opening ICGT Research Papers | ||
09:15 75mKeynote | ICGT Keynote: Graphs, Logics and Transformations for Effective Risk Analysis Keynotes | ||
09:00 - 10:30 | AgileMDE Session 1Agile MDE / MeSS at Waaier 3 Chair(s): Sobhan Yassipour Tehrani University College London (UCL) | ||
09:00 10mTalk | Introduction Agile MDE Sobhan Yassipour Tehrani University College London (UCL) | ||
09:10 20mLong-paper | Research directions for agile model-driven engineering Agile MDE Dr Kevin Lano King's College London | ||
09:30 20mLong-paper | Exploring flexible models in agile MDE Agile MDE Artur Boronat University of Leicester | ||
09:50 20mLong-paper | Software modelling for sustainable software engineering Agile MDE | ||
10:10 20mLong-paper | Software language translation by example Agile MDE | ||
11:00 - 12:30 | |||
11:00 30mTalk | Causal Graph Dynamics and Kan ExtensionsICGT Best Theory Paper ICGT Research Papers Pre-print File Attached | ||
11:30 30mTalk | The ‘Causality’ Quagmire for Formalised Bond Graphs ICGT Research Papers | ||
12:00 30mTalk | Tracelet Hopf Algebras and Decomposition SpacesJournal-first paper ICGT Research Papers Link to publication DOI Media Attached | ||
11:00 - 12:30 | MeSS Keynote SessionKeynotes at Waaier 3 Chair(s): Stefan Klikovits Johannes Kepler University, Linz | ||
11:00 90mKeynote | MeSS Keynote: It's Patterns all the Way Down: Patterns, Anti-Patterns and Pattern Languages for Next-Generation Semantic Modelling Keynotes Media Attached | ||
13:30 - 15:00 | |||
13:30 90mTutorial | Gentle Introduction to LMNtal: Language Design and ImplementationTutorial ICGT Research Papers Link to publication Pre-print | ||
13:30 - 15:00 | |||
13:30 90mKeynote | AgileMDE Keynote: Low-Code and Low-Modeling Strategies for Agile MDE Processes Keynotes | ||
15:30 - 17:00 | ICGT Session 3ICGT Research Papers at Waaier 2 Chair(s): Fernando Orejas Universitat Politècnica de Catalunya | ||
15:30 30mTalk | 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 30mTalk | 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 30mTalk | 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 | ||
15:30 - 17:00 | AglieMDE & MeSS SessionMeSS / Agile MDE at Waaier 3 Chair(s): Robbert Jongeling Mälardalen University | ||
15:30 20mShort-paper | Model Driven Engineering in Finance: Bond Valuation, From Formulae to Code Agile MDE Asad Rahman King's College London | ||
15:50 20mShort-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 20mTalk | 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 20mTalk | Digital Twins for IoT Systems: Exploiting Synergies between Industry and Academia (Extended Abstract) MeSS | ||
16:50 10mTalk | Epsilon Playground Demo MeSS Dimitris Kolovos University of York | ||
18:00 - 22:00 | |||
18:00 4hDinner | Dinner Catering | ||
Thu 11 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
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 60mKeynote | ICGT Keynote 2: Ontological Foundations for Building Knowledge Graphs Keynotes | ||
10:00 30mTalk | Can I teach graph rewriting to my chatbot? ICGT Research Papers File Attached | ||
11:00 - 12:30 | |||
11:00 30mTalk | A Bigraph Paper of Sorts ICGT Research Papers | ||
11:30 30mTalk | 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 30mTalk | Generalized Weighted Type Graphs for Termination of Graph Transformation Systems ICGT Research Papers | ||
11:00 - 12:30 | |||
11:00 15mDay opening | LLM4MDE Opening LLM4MDE File Attached | ||
11:15 60mKeynote | LLM4MDE Keynote: Harnessing Large Language Models for Model-Driven Engineering: Current Applications and Future Directions Keynotes File Attached | ||
13:30 - 15:00 | |||
13:30 30mTalk | 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 30mTalk | Graph Algebras and Derived Graph OperationsJournal-first paper ICGT Research Papers Link to publication DOI | ||
14:30 30mTalk | 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 | |||
13:30 30mTalk | 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 30mTalk | 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 30mMeeting | Discussion LLM4MDE | ||
15:30 - 17:00 | ICGT Session 6ICGT Research Papers at Waaier 1 Chair(s): Arend Rensink University of Twente, The Netherlands | ||
15:30 30mTalk | 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 30mTalk | 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 30mTalk | 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 | ||