SLE 2025
Thu 12 - Fri 13 June 2025
Koblenz, Germany
co-located with
STAF 2025
Toggle navigation
Attending
Venue: University of Koblenz
Location: Koblenz
STAF 2025
Registration
How to get here?
Exploring Koblenz by bike
Accommodation
Social Events
Program
SLE Program
Your Program
Thu 12 Jun
Fri 13 Jun
Track/Call
Organization
SLE 2025 Committees
Track Committees
Keynotes
Organising Committee
Programme Committee
Artefact Evaluation Committee
Steering Committee
Contributors
People Index
Search
Series
Series
SLE 2025
SLE 2024
SLE 2023
SLE 2022
SLE 2021
SLE 2020
SLE 2019
SLE 2018
SLE 2017
SLE 2016
SLE 2015
SLE 2013
Sign in
Sign up
STAF 2025
(
series
) /
SLE 2025 (
series
) /
University of Koblenz
/
Room information: M 001
Venue
University of Koblenz
Room name
M 001
Floor
0
Room number
001
Capacity
150
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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 10 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:30
ECMFA Opening
ECMFA
at
M 001
09:00
15m
Day opening
STAF - Opening Session
ECMFA
Ralf Laemmel
University of Koblenz
09:15
15m
Day opening
ECMFA - Opening Session
ECMFA
C:
Robbert Jongeling
Mälardalen University
,
C:
Sébastien Mosser
McMaster University
09:30
60m
Keynote
Formal Modeling and Verification of Safety-Critical Systems
ECMFA
Matthias Volk
TU Eindhoven
11:00 - 12:30
ECMFA Session 1: Model management
ECMFA
at
M 001
Chair(s):
Joeri Exelmans
11:00
30m
Talk
Variability Exploration for Decision Making: Supporting Domain Experts in Configuring Business Processes
ECMFA
Haitam El Hayani
ENSIAS
,
Benoit Combemale
University of Rennes, Inria, CNRS, IRISA
,
Olivier Barais
University of Rennes; Inria; CNRS; IRISA
,
Steffen Zschaler
King's College London
Link to publication
DOI
11:30
30m
Talk
Enhancing Production Workflows by Leveraging BPMN to Model Inconsistencies — An Experience Report
ECMFA
Thomas Weber
Karlsruhe Institute of Technology (KIT)
,
Niklas D. Kuder
Daedalus GmbH, Karlsruhe Institute of Technology
,
Thomas A. Völk
Karlsruhe Institute of Technology
,
Jonas Schneider
Daedalus GmbH
,
Sebastian Weber
FZI Research Center for Information Technology
,
Anne Koziolek
Karlsruhe Institute of Technology
Link to publication
DOI
12:00
30m
Talk
A Model Management Framework for Next-Generation Web-based Modeling Tools
ECMFA
David Jaeger
TU Wien
,
Adam Lencses
TU Wien
,
Martin Fleck
EclipseSource Services GmbH
,
Philip Langer
EclipseSource Services GmbH
,
Dominik Bork
TU Wien, Vienna, Austria
Link to publication
DOI
13:30 - 15:00
ECMFA Session 2: Testing
ECMFA
at
M 001
Chair(s):
Dominik Bork
TU Wien, Vienna, Austria
13:30
30m
Talk
Dynamic Role-Based Access Control Scenarios for Smart Contracts: Graph Rewriting for Testing Domain-specific Models
ECMFA
Issam Al-Azzoni
Al Ain University of Science, United Arab Emirates
,
Reiko Heckel
University of Leicester
,
Zobia Erum
Birmingham City University
Link to publication
DOI
14:00
30m
Talk
Introducing automated testing to video game development via Behaviour-Driven Development
ECMFA
Michael Mulder
University of Twente
,
Petra van den Bos
University of Twente, The Netherlands
Link to publication
DOI
14:30
30m
Talk
Online Model-Based Testing Reusing Multiple Design Models in an Industrial Setting
ECMFA
Mathijs Schuts
TNO-ESI
,
Jozef Hooman
TNO-ESI
,
Ivan Kurtev
Eindhoven University of Technology
,
Issam Tlili
Philips
,
Erik Oerlemans
Philips
Link to publication
DOI
15:30 - 17:00
ECMFA Session 3: Digital twins and data analysis
ECMFA
at
M 001
Chair(s):
Iván Alfonso
Luxembourg Institute of Science and Technology
15:30
30m
Talk
Behavioral analysis of a digital twin using logging and model learning
ECMFA
Gunasekaran Raghavendran
Tilburg University
,
Boudewijn Haverkort
University of Twente
,
Loes Kruger
Radboud University
Link to publication
DOI
16:00
30m
Talk
Navigating the trace of executable domain specific languages through a trace domain query language
ECMFA
Hiba Ajabri
Nantes Université
,
Jean-Marie Mottu
Nantes Université
,
Christian Attiogbe
Nantes Université
,
Pascal Berruet
University of Bretagne Sud
Link to publication
DOI
16:30
30m
Talk
Support for Model-Based Data Sovereignty Analysis
ECMFA
Sanjeev Sun Shakya
University of Koblenz
,
Qusai Ramadan
The Maersk Mc-Kinney Moller Institute, University of Southern Denmark
,
Julian Flake
University of Koblenz
,
Alexander Peikert
University of Koblenz
Link to publication
DOI
Wed 11 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:30
ECMFA Keynote
ECMFA
at
M 001
09:00
15m
Day opening
STAF - Announcements
ECMFA
G:
Ralf Lämmel
Universität Koblenz
09:15
75m
Keynote
Modeling and LLMs in Continuous Software Engineering
ECMFA
Anne Koziolek
Karlsruhe Institute of Technology
11:00 - 12:30
ECMFA Session 4: Low-code and user-friendly modelling
ECMFA
at
M 001
11:00
30m
Talk
A Metascience Study of the Low-Code Scientific Field
ECMFA
Mauro Dalle Lucca Tosi
Luxembourg Institute of Sciences and Technology
,
Javier Luis Cánovas Izquierdo
Universitat Oberta de Catalunya
,
Jordi Cabot
Luxembourg Institute of Science and Technology
Link to publication
DOI
11:30
30m
Talk
An internal DSL for graphical modeling tools based on GLSP
ECMFA
Georg Hinkel
RheinMain University of Applied Sciences, Wiesbaden, Germany
,
Bodo Igler
RheinMain University of Applied Sciences
Link to publication
DOI
12:00
30m
Talk
User Modeling in Model-Driven Engineering: A Systematic Literature Review
ECMFA
Aaron Conrardy
Luxembourg Institute of Science and Technology
,
Jordi Cabot
Luxembourg Institute of Science and Technology
,
Alfredo Capozucca
University of Luxembourg
Link to publication
DOI
Pre-print
13:30 - 15:00
ECMFA Session 5: Maintenance
ECMFA
at
M 001
Chair(s):
Riccardo Rubei
University of L'Aquila
13:30
30m
Talk
Methodical and Formally Verified Model-Driven Architecture Refactoring
ECMFA
Lars Fischer
Chair of Software Engineering, RWTH Aachen University
,
Hendrik Kausch
RWTH Aachen University, Chair of Software Engineering
,
Bernhard Rumpe
RWTH Aachen University
,
Max Stachon
RWTH Aachen University
,
Sebastian Stüber
RWTH Aachen University, Chair of Software Engineering
,
Lucas Wollenhaupt
Chair of Software Engineering, RWTH Aachen University
Link to publication
DOI
14:00
30m
Talk
On the Use of GPT-4 in the Reverse Engineering of Class Diagrams
ECMFA
Victor Campanello
Chalmers University of Technology, University of Gothenburg
,
Shariq Shahbaz
Chalmers University of Technology, University of Gothenburg
,
Vladislav Indykov
Chalmers | University of Gothenburg
,
Daniel Strüber
Chalmers | University of Gothenburg / Radboud University
Link to publication
DOI
14:30
30m
Talk
Using MDE to support sustainable re-engineering
ECMFA
Dr Kevin Lano
King's College London
,
Shekoufeh Rahimi
University of Roehampton
,
Zishan Rahman
King's College London
Link to publication
DOI
15:30 - 17:00
ECMFA Closing
ECMFA
at
M 001
15:30
60m
Day closing
Closing & Discussions
ECMFA
C:
Robbert Jongeling
Mälardalen University
,
C:
Sébastien Mosser
McMaster University
Thu 12 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:30
SLE Keynote
SLE 2025
at
M 001
Chair(s):
Regina Hebig
Universität Rostock, Rostock, Germany
09:00
15m
Day opening
SLE Welcome
SLE 2025
G:
Görel Hedin
Lund University
,
P:
Regina Hebig
Universität Rostock, Rostock, Germany
,
P:
Vadim Zaytsev
University of Twente
09:15
75m
Keynote
A New DSL Textbook in Town!
SLE 2025
K:
Thorsten Berger
Ruhr University Bochum
Pre-print
11:00 - 12:30
SLE Session 1: Parsing and Attribute Grammars
SLE 2025
at
M 001
Chair(s):
Georg Hinkel
RheinMain University of Applied Sciences, Wiesbaden, Germany
11:00
22m
Talk
Handling Grammar Cycles in the 1997 Standard ML Definition
SLE 2025
Elizabeth Scott
Royal Holloway University of London
,
Adrian Johnstone
Royal Holloway University of London, UK
Pre-print
11:22
22m
Talk
Property-based Testing of Attribute Grammars
SLE 2025
José Nuno Macedo
University of Minho
,
Marcos Viera
University of the Republic, Uruguay
,
João Saraiva
HASLab/INESC TEC, University of Minho
11:45
22m
Talk
Scheduling the Construction and Interrogation of Scope Graphs Using Attribute Grammars
SLE 2025
Luke Bessant
University of Minnesota, Twin Cities
,
Eric Van Wyk
University of Minnesota, Twin Cities
Pre-print
12:07
22m
Talk
Boosting Parallel Parsing through Cyclic Operator Precedence Grammars
SLE 2025
Michele Chiari
TU Wien
,
Michele Giornetta
Politecnico di Milano
,
Dino Mandrioli
Politecnico di Milano
,
Matteo Pradella
Politecnico di Milano, Italy
Pre-print
13:30 - 15:00
SLE Session 2: Language and Framework Design
SLE 2025
at
M 001
Chair(s):
Elizabeth Scott
Royal Holloway University of London
13:30
22m
Talk
A Model-Driven Approach to Design, Generation, and Deployment of GUI Component Libraries
SLE 2025
Arkadii Gerasimov
RWTH Aachen University
,
Nico Jansen
Software Engineering, RWTH Aachen University
,
Judith Michael
University of Regensburg
,
Bernhard Rumpe
RWTH Aachen University
,
Sebastian Will
RWTH Aachen
Link to publication
DOI
13:52
22m
Talk
TranspileJS, an Intelligent Framework for Transpiling JavaScript to WebAssembly
SLE 2025
José Pedro Ferreira
University of Porto, Portugal
,
João Bispo
Faculdade de Engenharia e Universidade do Porto
,
Susana Lima
14:15
22m
Talk
Optimal Language Design is Hard: A Case Study in ECMAScript (JavaScript) Standardization
SLE 2025
Philipp Riemer
Leipzig University
,
Yury Nikulin
University of Turku
,
Ashley Claymore
,
Mikhail Barash
University of Bergen
14:37
22m
Talk
AnyText: Incremental, left-recursive Parsing and Pretty-Printing from a single Grammar Definition with first-class LSP support
SLE 2025
Georg Hinkel
RheinMain University of Applied Sciences, Wiesbaden, Germany
,
Alexander Hert
RheinMain University of Applied Sciences, Wiesbaden, Germany
,
Niklas Hettler
RheinMain University of Applied Sciences, Wiesbaden, Germany
,
Kevin Weinert
RheinMain University of Applied Sciences, Wiesbaden, Germany
15:30 - 17:00
SLE Session 3: Language Workbenches
SLE 2025
at
M 001
Chair(s):
Jeff Smits
Delft University of Technology
15:30
25m
Talk
Lessons Learned from Developing the MontiCore Language Workbench: Challenges of Modular Language Design
SLE 2025
Alex Lüpges
RWTH Aachen
,
Nico Jansen
Software Engineering, RWTH Aachen University
,
Bernhard Rumpe
RWTH Aachen University
15:55
20m
Talk
Integrating Model Checking into a Live Modeling Environment
SLE 2025
Joeri Exelmans
,
Ciprian Teodorov
ENSTA Bretagne
,
Hans Vangheluwe
University of Antwerp and Flanders Make
16:15
15m
Awards
SLE Awards
SLE 2025
S:
Eric Van Wyk
University of Minnesota, Twin Cities
,
Marjan Mernik
University of Maribor
,
P:
Regina Hebig
Universität Rostock, Rostock, Germany
,
P:
Vadim Zaytsev
University of Twente
16:30
30m
Talk
SLE MIP Talk
SLE 2025
S:
Thomas Degueule
CNRS
Fri 13 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:30
SLE Keynote
SLE 2025
at
M 001
Chair(s):
Vadim Zaytsev
University of Twente
09:00
15m
Day opening
SLE Second Day
SLE 2025
09:15
75m
Keynote
Can Programming Be Liberated from the Functional Style?
SLE 2025
K:
Friedrich Steimann
Fernuniversität in Hagen
11:00 - 12:30
SLE Session 4: Debugging and Dynamic Checking
SLE 2025
at
M 001
Chair(s):
Eric Van Wyk
University of Minnesota, Twin Cities
11:00
22m
Talk
Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for Non-Deterministic Languages
SLE 2025
Damian Frölich
University of Amsterdam
,
Tommaso Pacciani
University of Amsterdam
,
L. Thomas van Binsbergen
University of Amsterdam
Pre-print
11:22
22m
Talk
Dynamic Dependency-Based Purity Checking
SLE 2025
Anton Risberg Alaküla
Lund University
,
Niklas Fors
Lund University
,
Christoph Reichenbach
Lund University
Link to publication
DOI
11:45
45m
Panel
SLE Panel: The Future of SLE
SLE 2025
Thomas Degueule
CNRS
,
Ralf Lämmel
Universität Koblenz
,
Jeff Smits
Delft University of Technology
,
Friedrich Steimann
Fernuniversität in Hagen
,
Eric Van Wyk
University of Minnesota, Twin Cities
,
Regina Hebig
Universität Rostock, Rostock, Germany
13:30 - 15:00
SLE Session 5: Language Tooling
SLE 2025
at
M 001
Chair(s):
Görel Hedin
Lund University
13:30
22m
Talk
Optimize Effect Handling for Tail-resumption with Stack Unwinding
SLE 2025
Yuze Fu
University of Tokyo
,
Shigeru Chiba
University of Tokyo
13:52
22m
Talk
Variability Fault Localization by Abstract Interpretation and its Application to SPL Repair
SLE 2025
Aleksandar S. Dimovski
Mother Teresa University, Skopje
14:15
22m
Talk
(Semantic) Feature Model Differences with (Q)SAT
SLE 2025
Simone Heisinger
JKU Linz
,
Maximilian Heisinger
JKU Linz
,
Martina Seidl
Johannes Kepler University Linz
14:37
22m
Talk
Detecting Resource Leaks on Android with Alpakka
SLE 2025
Gustavo Amorim Santos
Faculty of Engineering, University of Porto
,
Alexandra Mendes
Faculty of Engineering, University of Porto & INESC TEC
,
João Bispo
Faculdade de Engenharia e Universidade do Porto
Pre-print
Tue 10 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
M 001
ECMFA
ECMFA Opening
ECMFA
ECMFA Session 1: Model management
ECMFA
ECMFA Session 2: Testing
ECMFA
ECMFA Session 3: Digital twins and data analysis
Wed 11 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
M 001
ECMFA
ECMFA Keynote
ECMFA
ECMFA Session 4: Low-code and user-friendly modelling
ECMFA
ECMFA Session 5: Maintenance
ECMFA
ECMFA Closing
Thu 12 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
M 001
SLE 2025
SLE Keynote
SLE 2025
SLE Session 1: Parsing and Attribute Grammars
SLE 2025
SLE Session 2: Language and Framework Design
SLE 2025
SLE Session 3: Language Workbenches
Fri 13 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
M 001
SLE 2025
SLE Keynote
SLE 2025
SLE Session 4: Debugging and Dynamic Checking
SLE 2025
SLE Session 5: Language Tooling
Tue 10 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
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
M 001
ECMFA
STAF - Opening Session
09:00 - 09:15
ECMFA
ECMFA - Opening Session
09:15 - 09:30
ECMFA
Formal Modeling and Verification of Safety-Critical Systems
09:30 - 10:30
ECMFA
Variability Exploration for Decision Making: Supporting Domain Experts ...
11:00 - 11:30
ECMFA
Enhancing Production Workflows by Leveraging BPMN to Model Inconsistenc ...
11:30 - 12:00
ECMFA
A Model Management Framework for Next-Generation Web-based Modeling Tools
12:00 - 12:30
ECMFA
Dynamic Role-Based Access Control Scenarios for Smart Contracts: Graph ...
13:30 - 14:00
ECMFA
Introducing automated testing to video game development via Behaviour-D ...
14:00 - 14:30
ECMFA
Online Model-Based Testing Reusing Multiple Design Models in an Industr ...
14:30 - 15:00
ECMFA
Behavioral analysis of a digital twin using logging and model learning
15:30 - 16:00
ECMFA
Navigating the trace of executable domain specific languages through a ...
16:00 - 16:30
ECMFA
Support for Model-Based Data Sovereignty Analysis
16:30 - 17:00
Wed 11 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
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
M 001
ECMFA
STAF - Announcements
09:00 - 09:15
ECMFA
Modeling and LLMs in Continuous Software Engineering
09:15 - 10:30
ECMFA
A Metascience Study of the Low-Code Scientific Field
11:00 - 11:30
ECMFA
An internal DSL for graphical modeling tools based on GLSP
11:30 - 12:00
ECMFA
User Modeling in Model-Driven Engineering: A Systematic Literature Review
12:00 - 12:30
ECMFA
Methodical and Formally Verified Model-Driven Architecture Refactoring
13:30 - 14:00
ECMFA
On the Use of GPT-4 in the Reverse Engineering of Class Diagrams
14:00 - 14:30
ECMFA
Using MDE to support sustainable re-engineering
14:30 - 15:00
ECMFA
Closing & Discussions
15:30 - 16:30
Thu 12 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
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
M 001
SLE
SLE Welcome
09:00 - 09:15
SLE
A New DSL Textbook in Town!
09:15 - 10:30
SLE
Handling Grammar Cycles in the 1997 Standard ML Definition
11:00 - 11:22
SLE
Property-based Testing of Attribute Grammars
11:22 - 11:45
SLE
Scheduling the Construction and Interrogation of Scope Graphs Using Att ...
11:45 - 12:07
SLE
Boosting Parallel Parsing through Cyclic Operator Precedence Grammars
12:07 - 12:30
SLE
A Model-Driven Approach to Design, Generation, and Deployment of GUI Co ...
13:30 - 13:52
SLE
TranspileJS, an Intelligent Framework for Transpiling JavaScript to Web ...
13:52 - 14:15
SLE
Optimal Language Design is Hard: A Case Study in ECMAScript (JavaScript ...
14:15 - 14:37
SLE
AnyText: Incremental, left-recursive Parsing and Pretty-Printing from a ...
14:37 - 15:00
SLE
Lessons Learned from Developing the MontiCore Language Workbench: Chall ...
15:30 - 15:55
SLE
Integrating Model Checking into a Live Modeling Environment
15:55 - 16:15
SLE
SLE Awards
16:15 - 16:30
SLE
SLE MIP Talk
16:30 - 17:00
Fri 13 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
M 001
SLE
SLE Second Day
09:00 - 09:15
SLE
Can Programming Be Liberated from the Functional Style?
09:15 - 10:30
SLE
Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for No ...
11:00 - 11:22
SLE
Dynamic Dependency-Based Purity Checking
11:22 - 11:44
SLE
SLE Panel: The Future of SLE
11:45 - 12:30
SLE
Optimize Effect Handling for Tail-resumption with Stack Unwinding
13:30 - 13:52
SLE
Variability Fault Localization by Abstract Interpretation and its Appli ...
13:52 - 14:15
SLE
(Semantic) Feature Model Differences with (Q)SAT
14:15 - 14:37
SLE
Detecting Resource Leaks on Android with Alpakka
14:37 - 15:00
x
Tue 15 Jul 21:48