GCM 2026
Tue 30 Jun 2026
co-located with STAF 2026
STAF 2026 (series) / GCM 2026 (series) / How to get to INRIA Center, University of Rennes ? /

Room information: Turing

VenueHow to get to INRIA Center, University of Rennes ?
Room nameTuring
Floor1
Room InformationNo extra information available
Program

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

Tue 30 Jun

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

11:00 - 12:20
Session 1WADT at Turing
11:00
20m
Talk
Software Quality Assurance via Testing-Inspired Formal Verification of Liveness Properties
WADT
Micheal Olawale Swansea University, Markus Roggenbach Swansea University, Swansea, UK
11:20
20m
Talk
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
20m
Talk
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
20m
Talk
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
13:30 - 15:00
Session 2WADT at Turing

Session Chair: Alexandre Madeira

13:30
20m
Talk
Algebraic Specification of Card-Based Cryptographic Protocols in Rocq
WADT
Cheng-Hui Weng Nagoya University
13:50
20m
Talk
Weighted Attribute Grammars: Reconciling Weighted and Attribute Grammars
WADT
Marcus Gerhold University of Twente, The Netherlands, Vadim Zaytsev University of Twente
Pre-print
14:10
20m
Talk
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
20m
Talk
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
15:30 - 16:30
Session 3WADT at Turing

Session Chair: Markus Roggenbach

15:30
20m
Talk
Structured Specification in Many Logic Modal Logic
WADT
Alexandre Madeira University of Aveiro, Manuel A. Martins University of Aveiro
15:50
20m
Talk
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
20m
Talk
A Journey from Conditional Equations to Nested Open Sketch Implications
WADT
Uwe Wolter University of Bergen

Wed 1 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

11:15 - 12:30
Keynote (Kevin Lano)Agile MDE at Turing
Chair(s): Shirin Hussein University College London (UCL)
14:10 - 15:10
First paper presentation sessionAgile MDE at Turing
Chair(s): Shirin Hussein University College London (UCL)
14:10
20m
Paper
1- Investigating the application of AI Agent Techniques to MDE Code Generation
Agile MDE
Dr Kevin Lano King's College London, Qiaomu Xue
14:30
20m
Paper
2- Energy Use Analysis and Improvement of Mamba specifications
Agile MDE
Zishan Rahman King's College London, Dr Kevin Lano King's College London
14:50
20m
Paper
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:40 - 16:40
Second paper presentation sessionAgile MDE at Turing
Chair(s): Shirin Hussein University College London (UCL)
15:40
20m
Paper
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
20m
Paper
5- Context as a First-Class Model for Agentic Software Development
Agile MDE
Chia Sabah , Artur Boronat University of Leicester
16:20
20m
Paper
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

Thu 2 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

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
5m
Day 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
20m
Talk
The Families to Persons Case --- Revisited
TTC
Anthony Anjorin Zühlke Engineering GmbH, Thomas Buchmann Hochschule für Angewandte Wissenschaften Hof
11:27
15m
Talk
The Families to Persons Case Revisited: A BXtendDSL Solution with Concurrent Model Synchronization
TTC
Thomas Buchmann Hochschule für Angewandte Wissenschaften Hof
11:43
15m
Talk
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
15m
Talk
Handling Conflicting Changes in the Families to Persons Case with Synchronization Blocks
TTC
Georg Hinkel RheinMain University of Applied Sciences, Wiesbaden, Germany
12:15
15m
Talk
The BCerT Solution for Bidirectional Model-Driven Transformation
TTC
Akram Idani Univ. Grenoble Alpes, CNRS, Grenoble INP, VERIMAG
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
15m
Talk
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
15m
Awards
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
70m
Other
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)

Tue 30 Jun

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Room11:003012:003013:003014:003015:003016:0030
Turing

WADT

Session 1

WADT

Session 2

WADT

Session 3

Wed 1 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Room11:003012:003013:003014:003015:003016:0030
Turing

Agile MDE

Keynote (Kevin Lano)

Agile MDE

First paper presentation session

Agile MDE

Second paper presentation session

Thu 2 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Room11:003012:003013:003014:003015:003016:0030
Turing

TTC

Families to Persons

TTC

Solutions for old cases, Discussion and Awards

TTC

Tue 30 Jun

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Turing
WADT
Software Quality Assurance via Testing-Inspired Formal Verification of ...
11:00 - 11:20
WADT
ReTA: Modeling Reconfigurable Timed Automata
11:20 - 11:40
WADT
A Formal Framework for Synchronized Drone Swarms with Belief-Based Rein ...
11:40 - 12:00
WADT
Trustworthy Railway Verification based upon the IC3 algorithm: From Bla ...
12:00 - 12:20
WADT
Algebraic Specification of Card-Based Cryptographic Protocols in Rocq
13:30 - 13:50
WADT
Weighted Attribute Grammars: Reconciling Weighted and Attribute Grammars
13:50 - 14:10
WADT
Heterogeneous Specification via Institutions for Event-B and Temporal Logic
14:10 - 14:30
WADT
Temporal Predicate Transformers: A Preliminary Study
14:30 - 14:50
WADT
Structured Specification in Many Logic Modal Logic
15:30 - 15:50
WADT
Feasible Morphism of Polymorphism and Partial Operations to Many-sorted ...
15:50 - 16:10
WADT
A Journey from Conditional Equations to Nested Open Sketch Implications
16:10 - 16:30

Wed 1 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Turing
Agile MDE
1- Investigating the application of AI Agent Techniques to MDE Code Gen ...
14:10 - 14:30
Agile MDE
2- Energy Use Analysis and Improvement of Mamba specifications
14:30 - 14:50
Agile MDE
3- Early, Non-Blocking Validation for Agile Model-Driven Engineering Us ...
14:50 - 15:10
Agile MDE
4- A Continuous Consistency-aware Process for the Analysis of Timing Ch ...
15:40 - 16:00
Agile MDE
5- Context as a First-Class Model for Agentic Software Development
16:00 - 16:20
Agile MDE
6- Applying a Model-Driven Gamification Metamodel to Nursing Education: ...
16:20 - 16:40

Thu 2 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Room11:0015304512:0015304513:0015304514:0015304515:00153045
Turing
TTC
Welcome
11:00 - 11:05
TTC
The Families to Persons Case --- Revisited
11:06 - 11:26
TTC
The Families to Persons Case Revisited: A BXtendDSL Solution with Concu ...
11:27 - 11:42
TTC
Let the Agent Sync: LLM-Driven Code Generation for the Families to Pers ...
11:43 - 11:58
TTC
Handling Conflicting Changes in the Families to Persons Case with Synch ...
11:59 - 12:14
TTC
The BCerT Solution for Bidirectional Model-Driven Transformation
12:15 - 12:30
TTC
A MontiCore Solution to the TTC 2017 State Elimination Case
13:30 - 13:45
TTC
Awards
13:45 - 14:00
TTC
Discussion
14:00 - 15:10