Filter Program
Dates
Rooms
Tracks
Badges
Your Program
This program is tentative and subject to change.
Tue 30 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
08:30 - 09:00 | |||
08:30 - 09:00 | |||
08:30 - 09:00 | |||
08:30 - 09:00 | |||
09:00 - 09:15 | Welcome and openingECMFA at Auditorium Chair(s): Önder Babur Wageningen University & Research, Djamel Eddine Khelladi CNRS, IRISA, University of Rennes, Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004) | ||
09:00 15mDay opening | Welcome ECMFA | ||
09:00 - 10:30 | |||
09:00 15mDay opening | Opening Remarks GCM | ||
09:15 60mTalk | Purr-spectives on graphs GCM I: Jade Alglave Arm and University College London, Artem Khyzha Arm Ltd, Luc Maranget Inria, Nikos Nikoleris Arm Research, Hadrien Renaud University College London, Filippo Sestini Arm | ||
10:15 15mTalk | Towards Neuro-Symbolic Assurance for Artificial Intelligence via Graph Transformation GCM Lukas Sebastian Hofmann Philipps-Universität Marburg | Universidad Complutense de Madrid, Jens Kosiol Brandenburgische Technische Universität Cottbus-Senftenberg, Jose Ignacio Requeno Complutense University of Madrid, Reiko Heckel University of Leicester, Gabriele Taentzer Philipps-Universität Marburg | ||
09:15 - 10:30 | |||
09:15 75mKeynote | From Software Language Engineering to Digital Twin Engineering ECMFA Mark van den Brand Eindhoven University of Technology | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | |||
11:00 30mTalk | CoCoPath: Concolic Exploration of Consistency-Preserving Paths ECMFA Bowen Jiang Karlsruhe Institute of Technology, Miriam Boss Karlsruhe Institute of Technology (KIT), Thomas Weber Karlsruhe Institute of Technology (KIT), Weixing Zhang Karlsruhe Institute of Technology (KIT), Mattias Ulbrich KIT, Anne Koziolek Karlsruhe Institute of Technology | ||
11:30 30mTalk | From Constraints to Commands: Graph Pattern Differentiation in 4-Valued First-Order Logic ECMFA Attila Ficsor Budapest University of Technology and Economics, Inez Anna Papp Budapest University of Technology and Economics, Kristóf Marussy Budapest University of Technology and Economics, Oszkár Semeráth Budapest University of Technology and Economics | ||
12:00 30mTalk | Language Design of the NeoJoin View Definition Language ECMFA Lars König Karlsruhe Institute of Technology (KIT), Tobias Stickling Karlsruhe Institute of Technology (KIT), Alexander Kocher Karlsruhe Institute of Technology (KIT), Hüseyin Kemâl Çakmak Karlsruhe Institute of Technology (KIT), Erik Burger Karlsruhe Institute of Technology (KIT), Veit Hagenmeyer Karlsruhe Institute of Technology (KIT), Anne Koziolek Karlsruhe Institute of Technology, Ralf Reussner Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI) | ||
11:00 - 12:30 | |||
11:00 10mDay opening | Opening & Welcome LLM4SE | ||
11:10 60mKeynote | Models as Context: Making LLMs Useful, Reliable, and Accountable in Software Engineering LLM4SE Dominik Bork TU Wien, Vienna, Austria | ||
12:10 20mResearch paper | BXAgent: LLM-Driven Code Generation for Bidirectional and Incremental EMF Model Transformations LLM4SE Thomas Buchmann Hochschule für Angewandte Wissenschaften Hof | ||
11:00 - 12:30 | |||
11:00 30mTalk | Structural Morphism for Nested Conditions GCM | ||
11:30 30mTalk | A nesting-free normal form for nested conditions in finite lattices of subgraphs GCM Jens Kosiol Brandenburgische Technische Universität Cottbus-Senftenberg, Steffen Zschaler King's College London Pre-print | ||
12:00 15mTalk | Preliminary Study of Interaction Nets Applicability for Sparse Linear Algebra Based Graph Analysis GCM Semyon Grigorev Saint-Petersburg State University, Nikolai Ponomarev Saint Petersburg State University, Efim Kubishkin Saint Petersburg State University, Danil Zaripov Saint Petersburg State University, Georgy Sichkar Saint Petersburg State University, Vladimir Zaikin Saint Petersburg State University | ||
11:00 - 12:20 | |||
11:00 20mTalk | Software Quality Assurance via Testing-Inspired Formal Verification of Liveness Properties WADT | ||
11:20 20mTalk | ReTA: Modeling Reconfigurable Timed Automata WADT Antonio Iglesias Universidad San Jorge, Alexandre Madeira University of Aveiro, Manuel A. Martins University of Aveiro, José Proença CISTER & Faculty of Sciences, University of Porto | ||
11:40 20mTalk | A Formal Framework for Synchronized Drone Swarms with Belief-Based Reinforcement WADT Demetre Labadze Kutaisi International University, Peter Ölveczky University of Oslo, Besik Dundua Institute of Applied Mathematics, Tbilisi State University | ||
12:00 20mTalk | Trustworthy Railway Verification based upon the IC3 algorithm: From Black Box to Glass Box WADT Harry Bryant Swansea University, Bassam Helal Swansea University, Andrew Lawrence Siemens Mobility, Markus Roggenbach Swansea University, Swansea, UK, Anton Setzer Swansea University, Monika Seisenberger Swansea University, Tom Werner Siemens Mobility | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch Catering | ||
13:30 - 15:10 | |||
13:30 25mTalk | Model-Based Development of Digital Twins in Industry 4.0 ECMFA Lina Bilal Université de Rennes, Benoit Combemale Inria, Univ Rennes, CNRS, IRISA, Jean-Marc Jézéquel Univ Rennes, IUF, INRIA, CNRS, IRISA, Quentin Perez INSA Rennes | ||
13:55 25mTalk | Module-based Modelling and Assessment of Modular Robots w.r.t. Energy Efficiency ECMFA Antonios Naguib Université Marie et Louis Pasteur, FEMTO-ST Institute UMR CNRS 6174, France, Olga Kouchnarenko Femto-ST / Université de Franche-Comté, Frédéric Lassabe Université Marie et Louis Pasteur, FEMTO-ST Institute UMR 6174 CNRS, France | ||
14:20 25mTalk | Product Digital Twin Ontology: A Pivot for Bridging Asset Administration Shell–based and Ontology-based Digital Product Passports ECMFA Quang-Duy Nguyen Université Paris-Saclay, CEA, List, Fatima Danash Université Paris-Saclay, CEA, List, F-91120, Palaiseau, France, Arnab SINHA Université Paris-Saclay, CEA, List, F-91120, Palaiseau, France, Chokri Mraidha Université Paris-Saclay, CEA, List | ||
14:45 25mTalk | Semantic Drift Management in Digital Twins ECMFA Faima Abbasi Luxembourg Institute of Science and Technology and University of Luxembourg, Jean Sebastien Sottet Luxembourg Institute of Science and Technology and University of Luxembourg, Cedric Pruski Luxembourg Institute of Science and Technology and University of Luxembourg | ||
13:30 - 15:00 | |||
13:30 20mTalk | Algebraic Specification of Card-Based Cryptographic Protocols in Rocq WADT Cheng-Hui Weng Nagoya University | ||
13:50 20mTalk | Weighted Attribute Grammars: Reconciling Weighted and Attribute Grammars WADT Pre-print | ||
14:10 20mTalk | Heterogeneous Specification via Institutions for Event-B and Temporal Logic WADT Richard Flynn Maynooth University, Marie Farrell The University of Manchester, Rosemary Monahan , James Power Maynooth University, Michael Fisher University of Manchester, UK | ||
14:30 20mTalk | Temporal Predicate Transformers: A Preliminary Study WADT Ānrán Wáng Saarland University, Lena Verscht Saarland University; RWTH Aachen University; , Benjamin Lucien Kaminski Saarland University; University College London | ||
13:40 - 15:10 | |||
13:40 60mTalk | Generalization of Graph Neural Networks on latent random graphs GCM | ||
14:40 30mTalk | Parsing with Graph Grammars based on Conditional Borrowing Hyperedge Replacement GCM Frank Drewes Umeå universitet, Berthold Hoffmann Universitt Bremen, Mark Minas Universität der Bundeswehr München | ||
15:10 - 15:40 | |||
15:10 30mCoffee break | Break Catering | ||
15:30 - 16:30 | |||
15:30 20mTalk | Structured Specification in Many Logic Modal Logic WADT | ||
15:50 20mTalk | Feasible Morphism of Polymorphism and Partial Operations to Many-sorted Algebra with Constructors WADT Edward Sabinus Martin-Luther-University Halle-Wittenberg, Wolf Zimmermann Martin-Luther-University Halle-Wittenberg | ||
16:10 20mTalk | A Journey from Conditional Equations to Nested Open Sketch Implications WADT Uwe Wolter University of Bergen | ||
15:40 - 17:20 | |||
15:40 25mTalk | A Model-Driven Approach To Support The Understanding Of Machine Learning Pipelines ECMFA Nicolas Lacroix Université Côte d'Azur, I3S, Mireille Blay-Fornarino Université Nice Sophia Antipolis, I3S, Philippe Collet University of Nice, Frederic Precioso Laboratoire I3S UMR UNS-CNRS 7271, Sébastien Mosser McMaster University | ||
16:05 25mTalk | An Interpreter-Based Execution Framework for IEC 61499 Function Block Networks ECMFA Bianca Wiesmayr Ulm University, Antonio Garmendia Universidad Autónoma de Madrid, Alois Zoitl LIT CPS Lab, Johannes Kepler University Linz, Manuel Wimmer JKU Linz | ||
16:30 25mTalk | Sock: A Clock-Based Modeling Language to Specify Secure Periodic Real-Time Tasks ECMFA | ||
16:55 25mTalk | Weaving executable models and code for software development ECMFA Hugo Richard Lab-STICC / UBO, Eric Cariou Lab-STICC UMR6285, Université de Brest, Jean-Philippe Babau Lab-STICC / UBO | ||
15:40 - 17:00 | |||
15:40 20mResearch paper | POC-GYM: Towards More Reliable LLM-Assisted Proof-of-Concept Exploit Generation LLM4SE Derin Gezgin Connecticut College, Amartya Das , Shinhae Kim Cornell University, Zhengdong Huang , Nevena Stojkovic , Claire Wang University of Pennsylvania | ||
16:00 60mKeynote | Ontologies as LLM-Engineered Software Engineering Artifacts: Lessons from the Foundations of Software Languages LLM4SE Ralf Lämmel Universität Koblenz | ||
15:40 - 16:40 | |||
15:40 30mTalk | Space-time deterministic graph rewriting GCM Marin Costes Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF, Pablo Arrighi Université Paris-Saclay, CNRS, LMF, Gilles Dowek INRIA and ENS Paris-Saclay, Luidnel Maignan LACL, Université Paris-Est Créteil | ||
16:10 15mTalk | BigraphIDE: An Integrated Development Environment for Bigraph Modeling and Evolution using Rewrite Rules GCM Manuel Krombholz TU Dresden, Dominik Grzelak Technische Universität Dresden, Uwe Aßmann TU Dresden, Germany | ||
16:25 15mTalk | Structuring the Design Space of Graph Transformation Frameworks Across Graph Families GCM Vadim Zaytsev University of Twente Pre-print | ||
18:00 - 19:00 | Reception at the Hôtel de Ville of RennesSocial Events | ||
19:15 - 21:00 | Dinner at Kraz’s crêperieSocial Events | ||
Wed 1 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
08:30 - 09:00 | |||
08:30 - 09:00 | |||
09:00 - 09:15 | WelcomeICGT Research Papers at Auditorium Chair(s): Blair Archibald University of Glasgow, Djamel Eddine Khelladi CNRS, IRISA, University of Rennes, Oszkár Semeráth Budapest University of Technology and Economics | ||
09:00 15mDay opening | Welcome ICGT Research Papers | ||
09:15 - 10:30 | KeynoteICGT Research Papers at Auditorium Chair(s): Blair Archibald University of Glasgow, Djamel Eddine Khelladi CNRS, IRISA, University of Rennes, Oszkár Semeráth Budapest University of Technology and Economics | ||
09:15 75mKeynote | From Plans to Binaries: Evolving Neo4j and Graph Runtimes with Project Aurendil ICGT Research Papers James Clarkson Neo4j | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | |||
11:00 30mTalk | Assessing the Scalability of Graph Predicate Evaluation with Large Language Models ECMFA Rebeka Farkas Budapest University of Technology and Economics, Kristóf Marussy Budapest University of Technology and Economics, Oszkár Semeráth Budapest University of Technology and Economics | ||
11:30 30mTalk | Leveraging LLMs for Grammar Adaptation: A Study on Metamodel-Grammar Co-Evolution ECMFA Weixing Zhang Karlsruhe Institute of Technology (KIT), Bowen Jiang Karlsruhe Institute of Technology, Rahul Sharma Karlsruhe Institute of Technology, Regina Hebig Universität Rostock, Rostock, Germany, Daniel Strüber Chalmers | University of Gothenburg / Radboud University | ||
12:00 30mTalk | Structural-Semantic Clustering for Architectural Models ECMFA Thi Dinh Tran Gran Sasso Science Institute, Maria Teresa Rossi University of Milano Bicocca, Italy, Davide Soldati University of Milano-Bicocca, Mauro Sonzogni University of Milano-Bicocca, Amleto Di Salle Gran Sasso Science Institute, L'Aquila, Italy, Ludovico Iovino Gran Sasso Science Institute, L'Aquila, Italy, Leonardo Mariani University of Milano-Bicocca | ||
11:00 - 12:30 | |||
11:00 30mTalk | A Unified Model-driven Framework for Co-Designing System Architecture and Safety Analysis in Cyber-Physical Systems ECMFA Muhammad Asim Minhas Karlsruhe Institute of Technology, Am Fasanengarten 5, 76131 Karlsruhe, Germany, Erik Burger Karlsruhe Institute of Technology (KIT), Ralf Reussner KIT, Tianhai Liu Karlsruhe Institute of Technology (KIT), and aicas GmbH | ||
11:30 30mTalk | Hybrid Collaborative Modeling: Problem Analysis, Requirements, and Architectural Principles ECMFA Léo Olivier CEA-List, Université Paris-Saclay, Marcos Didonet Del Fabro CEA-List, Sebastien Gerard IRT Jules Verne | ||
12:00 30mTalk | Policy-Driven Change Management in Model Based Systems Engineering ECMFA Anish Bhobe Telecom Paris, Dominique Blouin LTCI Lab, Telecom Paris, Institute Polytechnique de Paris, Laurent Pautet Télécom Paris, Institut Polytechnique de Paris | ||
11:00 - 12:30 | |||
11:00 30mTalk | Conditional Borrowing Hyperedge Replacement ICGT Research Papers Frank Drewes Umeå universitet, Berthold Hoffmann Universitt Bremen, Mark Minas Universität der Bundeswehr München | ||
11:30 30mTalk | LR-Based Parsing of Hypergraph Languages: a Positional Grammar Approach ICGT Research Papers Gennaro Costagliola Università di Salerno, Mattia De Rosa University of Salerno, Salvatore La Torre Università degli Studi di Salerno | ||
12:00 30mTalk | Parallel Transformations as Colimits ICGT Research Papers Thierry Boy de La Tour CNRS and University Grenoble Alpes | ||
11:15 - 12:30 | |||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 30mTalk | EMF-Kaizen: an intelligent assistant for domain-specific modelling and meta-modelling ECMFA Lissette Almonte Universidad Autónoma de Madrid, Jefferson Ivan Rengifo Universidad Autónoma de Madrid, Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid | ||
14:00 30mTalk | LLM4MTLs: Automated Generation and Empirical Evaluation of Model Transformation Languages ECMFA Bowen Jiang Karlsruhe Institute of Technology, Nathan Hagel Karlsruhe Institute of Technology (KIT), Haowei Cheng Waseda University, Benedikt Jutz Karlsruhe Institute of Technology (KIT), Arne Lange Karlsruhe Institute of Technology (KIT), Weixing Zhang Karlsruhe Institute of Technology (KIT), Rahul Sharma Karlsruhe Institute of Technology, Ralf Reussner Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI), Anne Koziolek Karlsruhe Institute of Technology | ||
14:30 30mTalk | LLM-Powered Multi-Agent Systems: Exploring Documentation-Driven Metamodeling ECMFA James Pontes Miranda CEA LIST, Ansgar Radermacher Université Paris-Saclay, CEA List, Palaiseau, Marcos Didonet Del Fabro CEA-List, Fabien Baligand Université Paris-Saclay, CEA List, Palaiseau, Julie Bonnail Université Paris-Saclay, CEA List, Palaiseau, Pascal Bannerot Université Paris-Saclay, CEA List, Palaiseau, Kunal Suri Université Paris-Saclay, CEA List, Palaiseau | ||
13:30 - 15:00 | |||
13:30 30mTalk | Automated Benchmark Generation for Object Constraint Language (OCL) with SMT-Based Verification ECMFA | ||
14:00 30mTalk | Disjunction Composition of BDD Transition Systems for Model-Based Testing ECMFA Tannaz Zameni University of Twente, Petra van den Bos University of Twente, The Netherlands, Arend Rensink University of Twente, The Netherlands | ||
14:30 30mTalk | PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing ECMFA | ||
13:30 - 15:10 | |||
13:30 30mTalk | Approximately Compatible Graph Predicates: Verifying Program Termination using Graph Grammars ICGT Research Papers Alexander Ferber RWTH Aachen University, Ira Fesefeldt Universität Duisburg-Essen, Thomas Noll RWTH Aachen University, Emmett Rayes RWTH Aachen University | ||
14:00 30mTalk | Formalising and Verifying Graph Programs with Higher-Order Logic ICGT Research Papers | ||
14:30 30mTalk | Higher-order Graph Transformation Utilizing Diagram Categories ICGT Research Papers Lars Friederichs German Aerospace Center, Institute for the Protection of Maritime Infrastructures, Aaron Lye German Aerospace Center, Institute for the Protection of Maritime Infrastructures | ||
14:10 - 15:10 | First paper presentation sessionAgile MDE at Turing Chair(s): Shirin Hussein University College London (UCL) | ||
14:10 20mPaper | 1- Investigating the application of AI Agent Techniques to MDE Code Generation Agile MDE | ||
14:30 20mPaper | 2- Energy Use Analysis and Improvement of Mamba specifications Agile MDE | ||
14:50 20mPaper | 3- Early, Non-Blocking Validation for Agile Model-Driven Engineering Using Python Agile MDE Shirin Hussein University College London (UCL), Sobhan Yassipour Tehrani University College London (UCL) | ||
15:10 - 15:40 | |||
15:10 30mCoffee break | Break Catering | ||
15:40 - 17:10 | |||
15:40 30mTalk | Achieving Traceability and Reproducibility for Heterogenous MBSE Processes using Ontology-Based Orchestration ECMFA Dirk Friedenberger Hasso-Plattner-Institut, Jonas Henschel TU Chemnitz, Lukas Pirl Hasso Plattner Institute, Can André Dautel Institute of Aircraft Systems (ILS), University of Stuttgart, Andreas Polze Hasso-Plattner-Institute at University Potsdam | ||
16:10 30mTalk | Modeling Dynamic Processes with Ontological Grounding: A Case Study in Conflict Analysis ECMFA Bahareh Fatemi University of Bergen, Fazle Rabbi University of Bergen, Andreas L Opdahl University of Bergen, Yngve Lamo Western Norway University of Applied Sciences, Adrian Rutle Western Norway University of Applied Sciences | ||
16:40 30mTalk | Supporting OWL-Style Reasoning over UML-Style Models via Endogenous OWL Overlays ECMFA Shilpi Gupta University of Mannheim, Mohammad Sadeghi University of Mannheim, Monalisha Ojha University of Mannheim, Colin Atkinson University of Mannheim | ||
15:40 - 17:00 | |||
15:40 30mTalk | Benchmark First: Defining Tasks for Graph Transformation Learning ICGT Research Papers | ||
16:10 30mTalk | Diagrammatic Specifications and Nested Graph Conditions ICGT Research Papers Uwe Wolter University of Bergen | ||
15:40 - 16:40 | Second paper presentation sessionAgile MDE at Turing Chair(s): Shirin Hussein University College London (UCL) | ||
15:40 20mPaper | 4- A Continuous Consistency-aware Process for the Analysis of Timing Channels Agile MDE Fatma Chebbi Karlsruhe Institute of Technology (KIT), Martin Armbruster Karlsruhe Institute of Technology (KIT), Christopher Gerking Karlsruhe Institute of Technology (KIT), Anne Koziolek Karlsruhe Institute of Technology | ||
16:00 20mPaper | 5- Context as a First-Class Model for Agentic Software Development Agile MDE | ||
16:20 20mPaper | 6- Applying a Model-Driven Gamification Metamodel to Nursing Education: An Agile MDE Perspective Integrated with Behavior Change Techniques Agile MDE Leila Samimi-Dehkordi Assistant professor, Shahrekord University, Iran, Shabih Fatima , Shekoufeh Rahimi University of Roehampton | ||
18:00 - 19:30 | Guided visit of the historical center of RennesSocial Events | ||
Thu 2 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
08:30 - 09:00 | |||
08:30 - 09:00 | |||
09:00 - 10:30 | Welcome & Keynote sessionSLE at Auditorium Chair(s): Arnaud Blouin Univ Rennes, INSA Rennes, Inria, CNRS, IRISA | ||
09:00 15mDay opening | SLE Welcome SLE G: Arnaud Blouin Univ Rennes, INSA Rennes, Inria, CNRS, IRISA, P: Jordi Cabot Luxembourg Institute of Science and Technology, P: Shigeru Chiba The University of Tokyo, S: Eric Van Wyk University of Minnesota, Twin Cities | ||
09:15 75mKeynote | We built the languages. That was the easy part SLE Cédric Brun Obeo DOI | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | |||
11:00 40mTalk | MIP talk SLE | ||
11:40 25mTalk | Enabling Navigability of Programming Language Specifications: A Case of ECMAScript (JavaScript) Standard Library Specification SLE DOI | ||
12:05 25mTalk | SLE as an Evolving Body of Knowledge: A 19-Year Comparative Analysis of Calls and Proceedings SLE Vadim Zaytsev University of Twente Link to publication DOI Pre-print | ||
11:00 - 12:30 | |||
11:00 90mKeynote | Johan Cederbladh ICMM Johan Cederbladh Volvo Construction Equipment | ||
11:00 - 12:30 | |||
11:00 30mTalk | EvolveGDB: Model-Driven Graph Schema Transformation ICGT Research Papers Torben Eckwert Forschungscampus Mittelhessen, Dominique Hausler University of Regensburg, Meike Klettke Universität Rostock, Michael Guckert Technische Hochschule Mittelhessen–University of Applied Sciences, Gabriele Taentzer Philipps-Universität Marburg | ||
11:30 30mTalk | GHL: An Extensible Library for Flexible and Performant Graph Pattern Matching and Rewriting ICGT Research Papers Tunaberk Almaci ETH Zurich, Corey Lammie IBM, Hadjer Benmeziane IBM, Clément Fournier TU Dresden, Orhun Görkem IBM, Irem Boybat IBM, William Andrew Simon IBM | ||
12:00 30mTalk | User-defined Operations in GROOVE ICGT Research Papers Arend Rensink University of Twente, The Netherlands | ||
11:00 - 12:30 | Families to PersonsTTC at Turing Chair(s): Sandra Greiner University of Southern Denmark, Georg Hinkel RheinMain University of Applied Sciences, Wiesbaden, Germany, Théo Le Calvar IMT Atlantique, LS2N (UMR CNRS 6004) | ||
11:00 5mDay opening | Welcome TTC Sandra Greiner University of Southern Denmark, Georg Hinkel RheinMain University of Applied Sciences, Wiesbaden, Germany, Théo Le Calvar IMT Atlantique, LS2N (UMR CNRS 6004) | ||
11:06 20mTalk | The Families to Persons Case --- Revisited TTC Anthony Anjorin Zühlke Engineering GmbH, Thomas Buchmann Hochschule für Angewandte Wissenschaften Hof | ||
11:27 15mTalk | The Families to Persons Case Revisited: A BXtendDSL Solution with Concurrent Model Synchronization TTC Thomas Buchmann Hochschule für Angewandte Wissenschaften Hof | ||
11:43 15mTalk | Let the Agent Sync: LLM-Driven Code Generation for the Families to Persons Case TTC Thomas Buchmann Hochschule für Angewandte Wissenschaften Hof | ||
11:59 15mTalk | Handling Conflicting Changes in the Families to Persons Case with Synchronization Blocks TTC Georg Hinkel RheinMain University of Applied Sciences, Wiesbaden, Germany | ||
12:15 15mTalk | The BCerT Solution for Bidirectional Model-Driven Transformation TTC Akram Idani Univ. Grenoble Alpes, CNRS, Grenoble INP, VERIMAG | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch Catering | ||
13:30 - 15:10 | |||
13:30 25mTalk | Ztrategic: Libraries and Tools For Software Language Specification, Transformation, and Testing SLE Emanuel Rodrigues HASLab & INESC TEC, University of Minho, José Nuno Macedo University of Minho, João Saraiva DOI | ||
13:55 25mTalk | Tool Paper: AGTix: Concise Use of Scope Graphs in Reference Attribute Grammars SLE Luke Bessant University of Minnesota, Twin Cities, Eric Van Wyk University of Minnesota, Twin Cities DOI Pre-print | ||
14:20 25mTalk | Incremental, bidirectional text-to-text synchronizations with AnyText SLE Georg Hinkel RheinMain University of Applied Sciences, Wiesbaden, Germany DOI | ||
14:45 25mTalk | How much does an LLM know about my programming language? SLE David Delgado Universitat Oberta de Catalunya, Lola Burgueño University of Malaga, Robert Clarisó Universitat Oberta de Catalunya DOI | ||
13:30 - 15:10 | |||
13:30 30mTalk | Towards Change Impact Prediction for Consistent Multi-Domain Evolution ICMM | ||
14:00 30mTalk | Towards a Taxonomy of Inconsistency Patterns in Multi-View Modelling ICMM Vadim Zaytsev University of Twente Link to publication Pre-print | ||
14:30 30mTalk | Towards Applying Stream-Based Assumption Guarantee Specifications for Runtime Verification ICMM Florian Drux , Adrian Marin RWTH Aachen University, Bernhard Rumpe RWTH Aachen University, David Schmalzing RWTH Aachen University | ||
13:30 - 15:10 | |||
13:30 30mTalk | CGACell: A Cellular Automata-Based Graph Transformation Framework for Neural Pooling ICGT Research Papers Doru Constantin The National University of Science and Technology POLITEHNICA Bucharest, Pitesti University Centre, Costel Bălcău The National University of Science and Technology POLITEHNICA Bucharest, Pitesti University Centre | ||
14:00 30mTalk | Conflict Essences for Transformation Rules with Nested Application Conditions ICGT Research Papers Alexander Lauer Philipps-Universität Marburg, Jens Kosiol Brandenburgische Technische Universität Cottbus-Senftenberg, Leen Lambers Brandenburg University of Technology Cottbus-Senftenberg, Gabriele Taentzer Philipps-Universität Marburg Pre-print | ||
14:30 30mTalk | From Graph Rewriting to Markov Automata: Mass-Action Semantics for Stochastic and Probabilistic Systems ICGT Research Papers | ||
13:30 - 15:10 | Solutions for old cases, Discussion and AwardsTTC at Turing Chair(s): Sandra Greiner University of Southern Denmark, Georg Hinkel RheinMain University of Applied Sciences, Wiesbaden, Germany, Théo Le Calvar IMT Atlantique, LS2N (UMR CNRS 6004) | ||
13:30 15mTalk | A MontiCore Solution to the TTC 2017 State Elimination Case TTC Alex Lüpges RWTH Aachen University, Janik Rapp RWTH Aachen University, Bernhard Rumpe RWTH Aachen University | ||
13:45 15mAwards | Awards TTC Sandra Greiner University of Southern Denmark, Georg Hinkel RheinMain University of Applied Sciences, Wiesbaden, Germany, Théo Le Calvar IMT Atlantique, LS2N (UMR CNRS 6004) | ||
14:00 70mOther | Discussion TTC Sandra Greiner University of Southern Denmark, Georg Hinkel RheinMain University of Applied Sciences, Wiesbaden, Germany, Théo Le Calvar IMT Atlantique, LS2N (UMR CNRS 6004) | ||
15:10 - 15:40 | |||
15:10 30mCoffee break | Break Catering | ||
15:40 - 17:00 | |||
15:40 80mPanel | Language Engineering in the Era of LLMs and Agentic AI Panel P: Mathieu Acher Univ Rennes, Inria, CNRS, IRISA, P: Mark van den Brand Eindhoven University of Technology, P: Jordi Cabot Luxembourg Institute of Science and Technology, P: Jean-Marc Jézéquel Univ Rennes, IUF, INRIA, CNRS, IRISA, P: Judith Michael University of Regensburg | ||
15:40 - 17:00 | |||
15:40 80mPanel | Panel SLE Houari Sahraoui DIRO, Université de Montréal | ||
15:40 - 17:10 | Developing for and with consistencyICMM at Markov Chair(s): Thomas Weber Karlsruhe Institute of Technology (KIT) | ||
15:40 30mTalk | Continuous Management of (In-)Consistency in Multi-Model Development: A Conceptual Response to the ICMM 2026 Challenge ICMM Razieh Dehghani , Fabian Eger Karlsruhe Institute of Technology, Martin Armbruster Karlsruhe Institute of Technology (KIT), Muhammad Asim Minhas Karlsruhe Institute of Technology, Am Fasanengarten 5, 76131 Karlsruhe, Germany, Bowen Jiang Karlsruhe Institute of Technology, Benedikt Jutz Karlsruhe Institute of Technology (KIT), Anne Koziolek Karlsruhe Institute of Technology, Ralf Reussner Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI) | ||
16:10 30mTalk | Exploring Design Alternatives for Multi-model Consistency ICMM Lars König Karlsruhe Institute of Technology (KIT), Fabian Eger Karlsruhe Institute of Technology, Martin Armbruster Karlsruhe Institute of Technology (KIT), Colin Atkinson University of Mannheim, Mattias Ulbrich KIT, Erik Burger Karlsruhe Institute of Technology (KIT) | ||
16:40 30mTalk | Inconsistency Management using Synchronization Blocks ICMM Georg Hinkel RheinMain University of Applied Sciences, Wiesbaden, Germany | ||
17:00 - 18:30 | Closed SLE Steering Committee MeetingSLE | ||
19:30 - 22:00 | Gala dinnerSocial Events | ||
Fri 3 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Fri 3 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
09:00 - 10:15 | |||
09:00 25mTalk | Dynamic Wind for OCaml Effect Handlers with Escaping Continuation Support SLE Antonino Yann William Gillard , Tetsuro Yamazaki University of Tokyo, Tomoharu Ugawa University of Tokyo DOI | ||
09:25 25mTalk | Why Just-In-Time Compilation Matters: Evaluating Runtime and Energy Efficiency SLE DOI | ||
09:50 25mTalk | Engineering Verified Model Transformations through a Proof-Based Language Workbench SLE DOI | ||
10:15 - 10:30 | SLE 2026 awardsSLE at Auditorium Chair(s): Jordi Cabot Luxembourg Institute of Science and Technology, Shigeru Chiba The University of Tokyo, Eric Van Wyk University of Minnesota, Twin Cities | ||
10:15 15mAwards | SLE 2026 awards SLE Jordi Cabot Luxembourg Institute of Science and Technology, Shigeru Chiba The University of Tokyo, Eric Van Wyk University of Minnesota, Twin Cities | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:40 | |||
11:00 25mTalk | A nanopass approach to a modular RDF implementation SLE DOI | ||
11:25 25mTalk | Multi-Dimensional Context-Oriented Programming with a Lightweight Domain Specific Language SLE DOI | ||
11:50 25mTalk | CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems SLE Uraz Odyurt , Ömer Faruk Sayilir University of Twente, Marielle Stoelinga University of Twente and Radboud University, Nijmegen, Vadim Zaytsev University of Twente DOI Pre-print | ||
12:15 25mTalk | A Shallow Embedding of Datalog in Lean SLE Ramy Shahin Qualgebra DOI Pre-print | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch Catering | ||
15:10 - 15:40 | |||
15:10 30mCoffee break | Break Catering | ||