STAF 2023
Tue 18 - Fri 21 July 2023 Leicester, United Kingdom
STAF 2023 (series) / College Court, Leicester, UK /

Room information: Oak

VenueCollege Court, Leicester, UK
Room nameOak
Capacity160
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 18 Jul

Displayed time zone: London change

11:00 - 12:30
STAF Keynote / TAP Session 1Keynotes / TAP Research Papers / ECMFA Technical Track / ICGT 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
Keynotes
Kim Larsen Aalborg University
13:30 - 15:00
TAP Session 2: Low-level code verificationTAP 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 ModelsTAP 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 1Keynotes / TAP Research Papers / ECMFA Technical Track / ICGT 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
ICGT Research Papers
Maribel Fernandez King's College London, Chris Poskitt Singapore Management University
File Attached
09:15
60m
Keynote
Syntactic trinitarianism: terms, graphs, diagrams
Keynotes
Dan Ghica Huawei Research and University of Birmingham
Pre-print
11:00 - 12:30
ICGT Session 2: Specification and VerificationICGT 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
ICGT 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 TheoremICGT Best Theory Paper
ICGT 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
ICGT Research Papers
P: Richard Banach University of Manchester, John Baugh North Carolina State University
DOI
13:30 - 15:00
ICGT Session 3: TheoryICGT 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
ICGT 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
ICGT 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
ICGT 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 PropertiesICGT Research Papers / ICGT 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
ICGT 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 CountingNominated for Best Paper
ICGT 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
ICGT 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 ModularityECMFA 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 ApplicationsECMFA 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 LanguagesECMFA 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 LanguagesNominated 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 LanguagesNominated 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 MergingECMFA 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 ViewsECMFA 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 5Keynotes / TAP Research Papers / ECMFA Technical Track / ICGT 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.
Keynotes
Andrzej Wąsowski IT University of Copenhagen, Denmark
11:00 - 12:30
ECMFA Session 6: Model Consistency and CollaborationECMFA 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

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

Keynotes + TAP Research Papers + ECMFA Technical Track + ICGT 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

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Oak

Keynotes + TAP Research Papers + ECMFA Technical Track + ICGT Research Papers

STAF Keynote / ICGT Session 1

ICGT Research Papers

ICGT Session 2: Specification and Verification

ICGT Research Papers

ICGT Session 3: Theory

ICGT Research Papers + ICGT Journal-First

ICGT Session 4: Graph Transformation Properties

Thu 20 Jul

Displayed time zone: London change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
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

Room9:003010:003011:003012:0030
Oak

Keynotes + TAP Research Papers + ECMFA Technical Track + ICGT 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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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 PapersICGT 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 PapersNominated 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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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 TrackNominated for Best Paper
Protocol-Based Interactive Debugging for Domain-Specific Languages
14:15 - 14:45
ECMFA Technical TrackNominated 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 TrackECMFA Best Paper
Evaluating Model Differencing for the Consistency Preservation of State ...
16:45 - 17:15

Fri 21 Jul

Displayed time zone: London change

Room9:0015304510:0015304511:0015304512:00153045
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