ICGT 2023
Wed 19 - Thu 20 July 2023
Leicester, United Kingdom
co-located with
STAF 2023
Toggle navigation
Attending
Venue: College Court, Leicester, UK
STAF 2023
Cultural Activities
Instructions for Presenters, Participants, and Chairs
Registration
Social Events
History
Program
ICGT Program
Your Program
Proceedings
Wed 19 Jul
Thu 20 Jul
Tracks
ICGT 2023
Research Papers
Journal-First
STAF 2023
Keynotes
Organization
ICGT 2023 Committees
Steering Committee
Track Committees
Research Papers
Journal-First
Contributors
People Index
Search
Series
Series
ICGT 2025
ICGT 2024
ICGT 2023
ICGT 2022
ICGT 2021
ICGT 2020
ICGT 2019
ICGT 2018
ICGT 2017
ICGT 2016
ICGT 2015
ICGT 2014
ICGT 2012
ICGT 2010
ICGT 2008
ICGT 2006
ICGT 2004
ICGT 2002
Sign in
Sign up
STAF 2023
(
series
) /
ICGT 2023
(
series
) /
College Court, Leicester, UK
/
Room information: Oak
Venue
College Court, Leicester, UK
Room name
Oak
Capacity
160
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+01:00) London
.
Use conference time zone: (GMT+01:00) London
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 18 Jul
Displayed time zone:
London
change
11:00 - 12:30
STAF Keynote / TAP Session 1
STAF Keynotes
/
TAP Research Papers
/
ECMFA Technical Track
/
Research Papers
at
Oak
Chair(s):
Cristina Seceleanu
Mälardalen University
Remote Participants:
Zoom Link
,
YouTube Livestream
11:00
15m
Day opening
TAP Conference Opening
TAP Research Papers
Virgile Prevosto
CEA Tech List
,
Cristina Seceleanu
Mälardalen University
11:15
75m
Keynote
Symbolic, Statistical and Randomized Engines in UPPAAL
STAF Keynotes
Kim Larsen
Aalborg University
13:30 - 15:00
TAP Session 2: Low-level code verification
TAP Research Papers
at
Oak
Chair(s):
Julien Signoles
Université Paris-Saclay, CEA, List
Remote Participants:
Zoom Link
13:30
30m
Talk
BIRD: A Binary Intermediate Representation for formally verified Decompilation of x86-64 binaries
TAP Research Papers
P:
Daniel Engel
Open University Of The Netherlands
,
Freek Verbeek
Open University of the Netherlands, The Netherlands
,
Binoy Ravindran
Virginia Tech
DOI
Pre-print
File Attached
14:00
30m
Talk
Low-level Reachability Analysis based on Formal Logic
TAP Research Papers
P:
Nico Naus
Virginia Tech
,
Freek Verbeek
Open University of the Netherlands, The Netherlands
,
Marc Schoolderman
Radboud University Nijmegen
,
Binoy Ravindran
Virginia Tech
DOI
Pre-print
14:30
30m
Talk
Testing a Formally Verified Compiler
TAP Research Papers
P:
David Monniaux
CNRS/VERIMAG
,
Léo Gourdin
Université Grenoble Alpes, Verimag
,
Sylvain Boulmé
Grenoble Alps University / CNRS / Grenoble INP / VERIMAG
,
Olivier Lebeltel
Université Grenoble Alpes, CNRS, Verimag
DOI
Pre-print
15:30 - 16:30
TAP Session 3: Formal Models
TAP Research Papers
at
Oak
Chair(s):
Catherine Dubois
ENSIIE Paris-Evry
Remote Participants:
Zoom Link
15:30
30m
Talk
Certified Logic-Based Explainable AI -- The Case of Monotonic Classifiers
TAP Research Papers
P:
Aurélie Hurault
IRIT - ENSEEIHT
,
Joao Marques-Silva
IRIT, CNRS, Toulouse
DOI
File Attached
16:00
30m
Talk
Context Specification Language for Formal Verification of Consent Properties on Models and Code
TAP Research Papers
P:
Myriam Clouet
Université Paris-Saclay, CEA, List
,
Thibaud Antignac
CNIL (Commission nationale de l’informatique et des libertés)
,
Mathilde Arnaud
Université Paris-Saclay, CEA, List
,
Julien Signoles
Université Paris-Saclay, CEA, List
DOI
File Attached
Wed 19 Jul
Displayed time zone:
London
change
09:00 - 10:15
STAF Keynote / ICGT Session 1
STAF Keynotes
/
TAP Research Papers
/
ECMFA Technical Track
/
Research Papers
at
Oak
Chair(s):
Maribel Fernandez
King's College London
Remote Participants:
Zoom Link
,
YouTube Livestream
09:00
15m
Day opening
ICGT Conference Opening
Research Papers
Maribel Fernandez
King's College London
,
Chris Poskitt
Singapore Management University
File Attached
09:15
60m
Keynote
Syntactic trinitarianism: terms, graphs, diagrams
STAF Keynotes
Dan Ghica
Huawei Research and University of Birmingham
Pre-print
11:00 - 12:30
ICGT Session 2: Specification and Verification
Research Papers
at
Oak
Chair(s):
Arend Rensink
University of Twente, The Netherlands
Remote Participants:
Zoom Link
,
YouTube Livestream
11:00
30m
Talk
Specification and Verification of a Linear-time Temporal Logic for Graph Transformation
Research Papers
Fabio Gadducci
University of Pisa
,
P:
Andrea Laretto
Tallinn University of Technology
,
Davide Trotta
University of Pisa
DOI
Pre-print
File Attached
11:30
30m
Talk
Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem
ICGT Best Theory Paper
Research Papers
P:
Robert Söldner
University of York
,
Detlef Plump
University of York
DOI
12:00
30m
Talk
Formalisation, Abstraction and Refinement of Bond Graphs
Research Papers
P:
Richard Banach
University of Manchester
,
John Baugh
North Carolina State University
DOI
13:30 - 15:00
ICGT Session 3: Theory
Research Papers
at
Oak
Chair(s):
Nicolas Behr
CNRS, Université Paris Cité, IRIF
Remote Participants:
Zoom Link
,
YouTube Livestream
13:30
30m
Talk
A Monoidal View on Fixpoint Checks
Research Papers
Paolo Baldan
University of Padova
,
P:
Richard Eggert
University of Duisburg-Essen
,
Barbara König
University of Duisburg-Essen
,
Timo Matt
University Duisburg-Essen
,
Tommaso Padoan
University of Padova
DOI
Pre-print
14:00
30m
Talk
Fuzzy Presheaves are Quasitoposes
Research Papers
P:
Aloïs Rosset
Vrije Universiteit Amsterdam
,
Roy Overbeek
Vrije Universiteit Amsterdam
,
Jörg Endrullis
Vrije Universiteit Amsterdam
DOI
File Attached
14:30
30m
Talk
Moving a Derivation Along a Derivation Preserves the Spine
Research Papers
P:
Hans-Jörg Kreowski
University of Bremen
,
Sabine Kuske
University of Bremen
,
Aaron Lye
University of Bremen
,
Aljoscha Windhorst
University of Bremen
DOI
15:30 - 17:00
ICGT Session 4: Graph Transformation Properties
Research Papers
/
Journal-First
at
Oak
Chair(s):
Russ Harmer
CNRS
Remote Participants:
Zoom Link
,
YouTube Livestream
15:30
30m
Talk
Finding the Right Way to Rome: Effect-oriented Graph Transformation
Research Papers
P:
Jens Kosiol
Universität Kassel
,
Daniel Strüber
Chalmers | University of Gothenburg / Radboud University
,
Gabriele Taentzer
Philipps-Universität Marburg
,
Steffen Zschaler
King's College London
DOI
Pre-print
File Attached
16:00
30m
Talk
Termination of Graph Transformation Systems using Weighted Subgraph Counting
Nominated for Best Paper
Research Papers
P:
Roy Overbeek
Vrije Universiteit Amsterdam
,
Jörg Endrullis
Vrije Universiteit Amsterdam
DOI
Pre-print
File Attached
16:30
30m
Talk
Extending single- to multi-variant model transformations by trace-based propagation of variability annotations
Journal-First
P:
Bernhard Westfechtel
University of Bayreuth
,
Sandra Greiner
University of Bern, Switzerland
DOI
File Attached
Thu 20 Jul
Displayed time zone:
London
change
09:30 - 10:45
ECMFA Session 1: Tools and Modularity
ECMFA Technical Track
at
Oak
Chair(s):
Jesús Sánchez Cuadrado
Universidad de Murcia
Remote Participants:
Zoom Link
09:30
15m
Day opening
ECMFA Conference Opening
ECMFA Technical Track
P:
Jesús Sánchez Cuadrado
Universidad de Murcia
,
Steffen Zschaler
King's College London
09:45
30m
Talk
Concern-Oriented Use Cases
ECMFA Technical Track
P:
Ryan Languay
McGill University
,
Nika Prairie
McGill University
,
Jörg Kienzle
McGill University, Canada
DOI
File Attached
10:15
30m
Talk
The OSATE Slicer: Graph-Based Reachability for Architectural Models
ECMFA Technical Track
P:
Sam Procter
Carnegie Mellon Software Engineering Institute
DOI
Pre-print
File Attached
11:15 - 12:45
ECMFA Session 2: Industrial and Applications
ECMFA Technical Track
at
Oak
Chair(s):
Juan de Lara
Autonomous University of Madrid
Remote Participants:
Zoom Link
11:15
30m
Talk
A model-based framework for IoT systems in wastewater treatment plants
ECMFA Technical Track
P:
Iván Alfonso
Internet Interdisciplinary Institute, Universitat Oberta de Catalunya
,
Abel Gómez
Universitat Oberta de Catalunya
,
Silvia Doñate
Depuración de Aguas del Mediterráneo
,
kelly Garces Pernett
Universidad de los Andes , Bogotá, Colombia
,
Harold Castro
Department of Systems and Computing Engineering, Universidad de los Andes, Colombia
,
Jordi Cabot
Luxembourg Institute of Science and Technology
DOI
11:45
30m
Talk
Bridging the Gap between SysML and OPC UA Information Models for Industry 4.0
ECMFA Technical Track
P:
Fadwa Rekik
Softeam
,
Saadia Dhouib
CEA LIST
,
Quang-Duy Nguyen
Université Paris-Saclay, CEA, List
DOI
File Attached
12:15
30m
Talk
Simulink bus usage in practice: an empirical study
ECMFA Technical Track
P:
Tiago Amorim
University of Cologne
,
Alexander Boll
University of Bern
,
Ferry Bachmann
,
Timo Kehrer
University of Bern
,
Andreas Vogelsang
University of Cologne
,
Hartmut Pohlheim
DOI
Pre-print
13:45 - 15:15
ECMFA Session 3: Domain-Specific Languages
ECMFA Technical Track
at
Oak
Chair(s):
Antonio Vallecillo
University of Málaga, Spain
Remote Participants:
Zoom Link
13:45
30m
Talk
Model-Driven Engineering for Augmented Reality
ECMFA Technical Track
Rubén Campos-López
Universidad Autónoma de Madrid
,
Esther Guerra
Universidad Autónoma de Madrid
,
P:
Juan de Lara
Autonomous University of Madrid
,
Alessandro Colantoni
Johannes Kepler University Linz
,
Antonio Garmendia
Universidad Autónoma de Madrid
DOI
Pre-print
Media Attached
14:15
30m
Talk
Protocol-Based Interactive Debugging for Domain-Specific Languages
Nominated for Best Paper
ECMFA Technical Track
P:
Josselin Enet
Nantes Université
,
Erwan Bousse
Nantes Université
,
Massimo Tisi
IMT Atlantique, LS2N (UMR CNRS 6004)
,
Gerson Sunyé
Nantes University
DOI
14:45
30m
Talk
Streamlining the Development of Hybrid Graphical-Textual Model Editors for Domain-Specific Languages
Nominated for Best Paper
ECMFA Technical Track
P:
Ionut Predoaia
University of York
,
Dimitris Kolovos
University of York
,
Matthias Lenk
NetApp
,
Antonio Garcia-Dominguez
University of York
DOI
15:45 - 17:15
ECMFA Session 4: Model Differencing and Merging
ECMFA Technical Track
at
Oak
Chair(s):
Jörg Kienzle
McGill University, Canada
Remote Participants:
Zoom Link
15:45
30m
Talk
CDMerge: Semantically Sound Merging of Class Diagrams for Software Component Integration
ECMFA Technical Track
Achim Lindt
RWTH Aachen University, Chair of Software Engineering
,
Bernhard Rumpe
RWTH Aachen University
,
P:
Max Stachon
RWTH Aachen University
,
Sebastian Stüber
RWTH Aachen University, Chair of Software Engineering
DOI
File Attached
16:15
30m
Talk
On Implementing Open World Semantic Differencing for Class Diagrams
ECMFA Technical Track
Jan Oliver Ringert
Bauhaus-University Weimar
,
Bernhard Rumpe
RWTH Aachen University
,
P:
Max Stachon
RWTH Aachen University
DOI
File Attached
16:45
30m
Talk
Evaluating Model Differencing for the Consistency Preservation of State-based Views
ECMFA Best Paper
ECMFA Technical Track
Jan Willem Wittler
Karlsruhe Institute of Technology
,
P:
Timur Sağlam
Karlsruhe Institute of Technology (KIT)
,
Thomas Kühn
Martin-Luther-University Halle-Wittenberg
Link to publication
DOI
Media Attached
File Attached
Fri 21 Jul
Displayed time zone:
London
change
09:00 - 10:30
STAF Keynote / ECMFA Session 5
STAF Keynotes
/
TAP Research Papers
/
ECMFA Technical Track
/
Research Papers
at
Oak
Chair(s):
Steffen Zschaler
King's College London
Remote Participants:
Zoom Link
,
YouTube Livestream
09:00
90m
Keynote
How I lost my faith (in language technology research)? There and back again.
STAF Keynotes
Andrzej Wąsowski
IT University of Copenhagen, Denmark
11:00 - 12:30
ECMFA Session 6: Model Consistency and Collaboration
ECMFA Technical Track
at
Oak
Chair(s):
Jesús Sánchez Cuadrado
Universidad de Murcia
Remote Participants:
Zoom Link
11:00
30m
Talk
A flexible operation-based infrastructure for collaborative model-driven engineering
ECMFA Technical Track
P:
Edvin Herac
Johannes Kepler University
,
Wesley Assunção
Johannes Kepler University Linz, Austria & Pontifical Catholic University of Rio de Janeiro, Brazil
,
Luciano Marchezan
,
Rainer Haas
Linz Center of Mechatronics GmbH
,
Alexander Egyed
Johannes Kepler University Linz
DOI
11:30
30m
Talk
One-Way Model Transformations in the Context of the Technology-Roadmapping Tool IRIS
ECMFA Technical Track
P:
Florian Sihler
Ulm University
,
Matthias Tichy
Ulm University, Germany
,
Jakob Pietron
Ulm University
DOI
File Attached
12:00
30m
Talk
Towards behavioral consistency in multi-modeling
ECMFA Technical Track
P:
Tim Kräuter
Western Norway University of Applied Sciences
,
Harald König
University of Applied Sciences, FHDW Hannover and Western Norway University of Applied Sciences
,
Adrian Rutle
Western Norway University of Applied Sciences
,
Yngve Lamo
Western Norway University of Applied Sciences
,
Patrick Stünkel
DOI
Pre-print
Tue 18 Jul
Displayed time zone:
London
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Oak
STAF Keynotes + TAP Research Papers + ECMFA Technical Track + Research Papers
STAF Keynote / TAP Session 1
TAP Research Papers
TAP Session 2: Low-level code verification
TAP Research Papers
TAP Session 3: Formal Models
Wed 19 Jul
Displayed time zone:
London
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
Oak
STAF Keynotes + TAP Research Papers + ECMFA Technical Track + Research Papers
STAF Keynote / ICGT Session 1
Research Papers
ICGT Session 2: Specification and Verification
Research Papers
ICGT Session 3: Theory
Research Papers + Journal-First
ICGT Session 4: Graph Transformation Properties
Thu 20 Jul
Displayed time zone:
London
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
17:00
30
Oak
ECMFA Technical Track
ECMFA Session 1: Tools and Modularity
ECMFA Technical Track
ECMFA Session 2: Industrial and Applications
ECMFA Technical Track
ECMFA Session 3: Domain-Specific Languages
ECMFA Technical Track
ECMFA Session 4: Model Differencing and Merging
Fri 21 Jul
Displayed time zone:
London
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
Oak
STAF Keynotes + TAP Research Papers + ECMFA Technical Track + Research Papers
STAF Keynote / ECMFA Session 5
ECMFA Technical Track
ECMFA Session 6: Model Consistency and Collaboration
Tue 18 Jul
Displayed time zone:
London
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
Oak
TAP Research Papers
TAP Conference Opening
11:00 - 11:15
STAF Keynotes
Symbolic, Statistical and Randomized Engines in UPPAAL
11:15 - 12:30
TAP Research Papers
BIRD: A Binary Intermediate Representation for formally verified Decomp ...
13:30 - 14:00
TAP Research Papers
Low-level Reachability Analysis based on Formal Logic
14:00 - 14:30
TAP Research Papers
Testing a Formally Verified Compiler
14:30 - 15:00
TAP Research Papers
Certified Logic-Based Explainable AI -- The Case of Monotonic Classifiers
15:30 - 16:00
TAP Research Papers
Context Specification Language for Formal Verification of Consent Prope ...
16:00 - 16:30
Wed 19 Jul
Displayed time zone:
London
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
Oak
ICGT Research Papers
ICGT Conference Opening
09:00 - 09:15
STAF Keynotes
Syntactic trinitarianism: terms, graphs, diagrams
09:15 - 10:15
ICGT Research Papers
Specification and Verification of a Linear-time Temporal Logic for Grap ...
11:00 - 11:30
ICGT Research Papers
ICGT Best Theory Paper
Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem
11:30 - 12:00
ICGT Research Papers
Formalisation, Abstraction and Refinement of Bond Graphs
12:00 - 12:30
ICGT Research Papers
A Monoidal View on Fixpoint Checks
13:30 - 14:00
ICGT Research Papers
Fuzzy Presheaves are Quasitoposes
14:00 - 14:30
ICGT Research Papers
Moving a Derivation Along a Derivation Preserves the Spine
14:30 - 15:00
ICGT Research Papers
Finding the Right Way to Rome: Effect-oriented Graph Transformation
15:30 - 16:00
ICGT Research Papers
Nominated for Best Paper
Termination of Graph Transformation Systems using Weighted Subgraph Cou ...
16:00 - 16:30
ICGT Journal-First
Extending single- to multi-variant model transformations by trace-based ...
16:30 - 17:00
Thu 20 Jul
Displayed time zone:
London
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
17:00
15
30
45
Oak
ECMFA Technical Track
ECMFA Conference Opening
09:30 - 09:45
ECMFA Technical Track
Concern-Oriented Use Cases
09:45 - 10:15
ECMFA Technical Track
The OSATE Slicer: Graph-Based Reachability for Architectural Models
10:15 - 10:45
ECMFA Technical Track
A model-based framework for IoT systems in wastewater treatment plants
11:15 - 11:45
ECMFA Technical Track
Bridging the Gap between SysML and OPC UA Information Models for Indust ...
11:45 - 12:15
ECMFA Technical Track
Simulink bus usage in practice: an empirical study
12:15 - 12:45
ECMFA Technical Track
Model-Driven Engineering for Augmented Reality
13:45 - 14:15
ECMFA Technical Track
Nominated for Best Paper
Protocol-Based Interactive Debugging for Domain-Specific Languages
14:15 - 14:45
ECMFA Technical Track
Nominated for Best Paper
Streamlining the Development of Hybrid Graphical-Textual Model Editors ...
14:45 - 15:15
ECMFA Technical Track
CDMerge: Semantically Sound Merging of Class Diagrams for Software Comp ...
15:45 - 16:15
ECMFA Technical Track
On Implementing Open World Semantic Differencing for Class Diagrams
16:15 - 16:45
ECMFA Technical Track
ECMFA Best Paper
Evaluating Model Differencing for the Consistency Preservation of State ...
16:45 - 17:15
Fri 21 Jul
Displayed time zone:
London
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
Oak
STAF Keynotes
How I lost my faith (in language technology research)? There and back a ...
09:00 - 10:30
ECMFA Technical Track
A flexible operation-based infrastructure for collaborative model-drive ...
11:00 - 11:30
ECMFA Technical Track
One-Way Model Transformations in the Context of the Technology-Roadmapp ...
11:30 - 12:00
ECMFA Technical Track
Towards behavioral consistency in multi-modeling
12:00 - 12:30
x
Mon 30 Dec 18:17