Markov - WADT 2026

VenueHow to get to INRIA Center, University of Rennes ?

Room nameMarkov

Floor1

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+02:00) Brussels, Copenhagen, Madrid, Paris.

Use conference time zone: (GMT+02:00) Brussels, Copenhagen, Madrid, ParisSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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:30	Opening SessionLLM4SE at Markov Chair(s): Riccardo Rubei Malardalen University

11:00 10m Day opening		Opening & Welcome LLM4SE
11:10 60m Keynote		Models as Context: Making LLMs Useful, Reliable, and Accountable in Software Engineering LLM4SE Dominik Bork TU Wien, Vienna, Austria
12:10 20m Research paper		BXAgent: LLM-Driven Code Generation for Bidirectional and Incremental EMF Model Transformations LLM4SE Thomas Buchmann Hochschule für Angewandte Wissenschaften Hof

13:30 - 15:10	Session 1LLM4SE at Markov Chair(s): Riccardo Rubei Malardalen University

13:30 20m Research paper		A Dataset for SysML v2 as an LLM-Oriented Workflow Language LLM4SE Yassine ELMOUHI , Théo Le Calvar IMT Atlantique, LS2N (UMR CNRS 6004), Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004)
13:50 20m Research paper		Benchmarking the Titans: A Multi-Dimensional Empirical Evaluation of LLM Code Generation Quality in the .NET Ecosystem LLM4SE Seyed Mohammad Mahdi Ghalandarian Amirkabir University of Technology, Majid Bazargani , Masoumeh Taromirad
14:10 20m Research paper		How to Compare the Security of Code Written by Humans to LLM-generated Code LLM4SE Rebecca Balebako , Jasmine Egli
14:30 20m Research paper		Detecting Semantic Correspondences in Ecore Models via Contrastive Learning and LLM-Based Approach LLM4SE Monalisha Ojha University of Mannheim, Shilpi Gupta University of Mannheim, Rahul Sharma Karlsruhe Institute of Technology
14:50 20m Research paper		Towards Evaluating Trustworthy Modeling Assistants LLM4SE Vilmos Bilicki Budapest University of Technology and Economics, Márton Elekes Budapest University of Technology and Economics, Kristóf Marussy Budapest University of Technology and Economics, András Vörös Budapest University of Technology and Economics

15:40 - 17:00	Session 2LLM4SE at Markov Chair(s): Riccardo Rubei Malardalen University

15:40 20m Research 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 60m Keynote		Ontologies as LLM-Engineered Software Engineering Artifacts: Lessons from the Foundations of Software Languages LLM4SE Ralf Lämmel Universität Koblenz

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

11:00 - 12:30	System EngineeringECMFA at Markov Chair(s): Judith Michael University of Regensburg

11:00 30m Talk		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 30m Talk		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 30m Talk		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

13:30 - 15:00	Testing and BenchmarkingECMFA at Markov Chair(s): Erwan Bousse Nantes Université

13:30 30m Talk		Automated Benchmark Generation for Object Constraint Language (OCL) with SMT-Based Verification ECMFA Ankit Jha Maynooth University, Rosemary Monahan , Hao Wu Maynooth University
14:00 30m Talk		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 30m Talk		PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing ECMFA María Belén Rodríguez University of Twente, Petra van den Bos University of Twente, The Netherlands

15:40 - 17:10	OntologiesECMFA at Markov Chair(s): Gabriele Taentzer Philipps-Universität Marburg

15:40 30m Talk		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 30m Talk		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 30m Talk		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

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

11:00 - 12:30	KeynoteICMM at Markov

11:00 90m Keynote		Johan Cederbladh ICMM Johan Cederbladh Volvo Construction Equipment

13:30 - 15:10	Consistency ImpactICMM at Markov Chair(s): Colin Atkinson University of Mannheim

13:30 30m Talk		Towards Change Impact Prediction for Consistent Multi-Domain Evolution ICMM Andreas Domanowski , Dirk Neumann , P. Ochs , Uwe Aßmann TU Dresden, Germany
14:00 30m Talk		Towards a Taxonomy of Inconsistency Patterns in Multi-View Modelling ICMM Vadim Zaytsev University of Twente Link to publication Pre-print
14:30 30m Talk		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

15:40 - 17:10	Developing for and with consistencyICMM at Markov Chair(s): Thomas Weber Karlsruhe Institute of Technology (KIT)

15:40 30m Talk		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 30m Talk		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 30m Talk		Inconsistency Management using Synchronization Blocks ICMM Georg Hinkel RheinMain University of Applied Sciences, Wiesbaden, Germany

Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Markov	LLM4SE Opening Session																														LLM4SE Session 1																										LLM4SE Session 2

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Markov	ECMFA System Engineering																														ECMFA Testing and Benchmarking																										ECMFA Ontologies

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Markov	ICMM Keynote																														ICMM Consistency Impact																										ICMM Developing for and with consistency

Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Markov	LLM4SE Opening & Welcome 11:00 - 11:10		LLM4SE Models as Context: Making LLMs Useful, Reliable, and Accountable in Sof ... 11:10 - 12:10												LLM4SE BXAgent: LLM-Driven Code Generation for Bidirectional and Incremental E ... 12:10 - 12:30																LLM4SE A Dataset for SysML v2 as an LLM-Oriented Workflow Language 13:30 - 13:50				LLM4SE Benchmarking the Titans: A Multi-Dimensional Empirical Evaluation of LL ... 13:50 - 14:10				LLM4SE How to Compare the Security of Code Written by Humans to LLM-generated Code 14:10 - 14:30				LLM4SE Detecting Semantic Correspondences in Ecore Models via Contrastive Lear ... 14:30 - 14:50				LLM4SE Towards Evaluating Trustworthy Modeling Assistants 14:50 - 15:10										LLM4SE POC-GYM: Towards More Reliable LLM-Assisted Proof-of-Concept Exploit Ge ... 15:40 - 16:00				LLM4SE Ontologies as LLM-Engineered Software Engineering Artifacts: Lessons fr ... 16:00 - 17:00

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Markov	ECMFA A Unified Model-driven Framework for Co-Designing System Architecture a ... 11:00 - 11:30						ECMFA Hybrid Collaborative Modeling: Problem Analysis, Requirements, and Arch ... 11:30 - 12:00						ECMFA Policy-Driven Change Management in Model Based Systems Engineering 12:00 - 12:30																		ECMFA Automated Benchmark Generation for Object Constraint Language (OCL) wit ... 13:30 - 14:00						ECMFA Disjunction Composition of BDD Transition Systems for Model-Based Testing 14:00 - 14:30						ECMFA PICKLES: a Natural Language Framework for Requirement Specification and ... 14:30 - 15:00														ECMFA Achieving Traceability and Reproducibility for Heterogenous MBSE Proces ... 15:40 - 16:10						ECMFA Modeling Dynamic Processes with Ontological Grounding: A Case Study in ... 16:10 - 16:40						ECMFA Supporting OWL-Style Reasoning over UML-Style Models via Endogenous OWL ... 16:40 - 17:10

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Markov	ICMM Johan Cederbladh 11:00 - 12:30																														ICMM Towards Change Impact Prediction for Consistent Multi-Domain Evolution 13:30 - 14:00						ICMM Towards a Taxonomy of Inconsistency Patterns in Multi-View Modelling 14:00 - 14:30						ICMM Towards Applying Stream-Based Assumption Guarantee Specifications for R ... 14:30 - 15:00														ICMM Continuous Management of (In-)Consistency in Multi-Model Development: A ... 15:40 - 16:10						ICMM Exploring Design Alternatives for Multi-model Consistency 16:10 - 16:40						ICMM Inconsistency Management using Synchronization Blocks 16:40 - 17:10

Room information: Markov

Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

LLM4SE

LLM4SE

LLM4SE

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

ECMFA

ECMFA

ECMFA

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

ICMM

ICMM

ICMM

Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tracks

STAF 2026

Room information: Markov

Program Display Configuration

Tue 30 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 1 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 2 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tue 30 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

LLM4SE

LLM4SE

LLM4SE

Wed 1 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

ECMFA

ECMFA

ECMFA

Thu 2 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

ICMM

ICMM

ICMM

Tue 30 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 1 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 2 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change