Oak - TAP 2023

VenueCollege Court, Leicester, UK

Room nameOak

Capacity160

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+01:00) London.

Use conference time zone: (GMT+01:00) LondonSelect 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 18 Jul
Displayed time zone: London change

11:00 - 12:30	STAF Keynote / TAP Session 1STAF Keynotes / Research Papers / ECMFA / 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 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 verificationResearch 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 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 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 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 ModelsResearch 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 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 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 1STAF Keynotes / Research Papers / ECMFA / 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 STAF 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-Jö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 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 P: Jesús Sánchez Cuadrado Universidad de Murcia, Steffen Zschaler King's College London
09:45 30m Talk		Concern-Oriented Use Cases ECMFA 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 P: Sam Procter Carnegie Mellon Software Engineering Institute DOI Pre-print File Attached

11:15 - 12:45	ECMFA Session 2: Industrial and ApplicationsECMFA 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 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 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 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 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 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 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 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 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 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 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 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 5STAF Keynotes / Research Papers / ECMFA / 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. STAF Keynotes Andrzej Wąsowski IT University of Copenhagen, Denmark

11:00 - 12:30	ECMFA Session 6: Model Consistency and CollaborationECMFA 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 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 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 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 + Research Papers + ECMFA + ICGT Research Papers STAF Keynote / TAP Session 1																														Research Papers TAP Session 2: Low-level code verification																								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 + Research Papers + ECMFA + 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


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 ECMFA Session 1: Tools and Modularity																					ECMFA ECMFA Session 2: Industrial and Applications																														ECMFA ECMFA Session 3: Domain-Specific Languages																								ECMFA 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 + Research Papers + ECMFA + ICGT Research Papers STAF Keynote / ECMFA Session 5																								ECMFA 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 TAP Conference Opening 11:00 - 11:15			STAF Keynotes Symbolic, Statistical and Randomized Engines in UPPAAL 11:15 - 12:30																											TAP BIRD: A Binary Intermediate Representation for formally verified Decomp ... 13:30 - 14:00						TAP Low-level Reachability Analysis based on Formal Logic 14:00 - 14:30						TAP Testing a Formally Verified Compiler 14:30 - 15:00												TAP Certified Logic-Based Explainable AI -- The Case of Monotonic Classifiers 15:30 - 16:00						TAP 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 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


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 ECMFA Conference Opening 09:30 - 09:45			ECMFA Concern-Oriented Use Cases 09:45 - 10:15						ECMFA The OSATE Slicer: Graph-Based Reachability for Architectural Models 10:15 - 10:45												ECMFA A model-based framework for IoT systems in wastewater treatment plants 11:15 - 11:45						ECMFA Bridging the Gap between SysML and OPC UA Information Models for Indust ... 11:45 - 12:15						ECMFA Simulink bus usage in practice: an empirical study 12:15 - 12:45																		ECMFA Model-Driven Engineering for Augmented Reality 13:45 - 14:15						ECMFANominated for Best Paper Protocol-Based Interactive Debugging for Domain-Specific Languages 14:15 - 14:45						ECMFANominated for Best Paper Streamlining the Development of Hybrid Graphical-Textual Model Editors ... 14:45 - 15:15												ECMFA CDMerge: Semantically Sound Merging of Class Diagrams for Software Comp ... 15:45 - 16:15						ECMFA On Implementing Open World Semantic Differencing for Class Diagrams 16:15 - 16:45						ECMFAECMFA 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 A flexible operation-based infrastructure for collaborative model-drive ... 11:00 - 11:30						ECMFA One-Way Model Transformations in the Context of the Technology-Roadmapp ... 11:30 - 12:00						ECMFA Towards behavioral consistency in multi-modeling 12:00 - 12:30

Room information: Oak

Tue 18 Jul
Displayed time zone: London change

Wed 19 Jul
Displayed time zone: London change

Thu 20 Jul
Displayed time zone: London change

Fri 21 Jul
Displayed time zone: London change

Tue 18 Jul
Displayed time zone: London change

STAF Keynotes + Research Papers + ECMFA + ICGT Research Papers

Research Papers

Research Papers

Wed 19 Jul
Displayed time zone: London change

STAF Keynotes + Research Papers + ECMFA + ICGT Research Papers

ICGT Research Papers

ICGT Research Papers

ICGT Research Papers + ICGT Journal-First

Thu 20 Jul
Displayed time zone: London change

ECMFA

ECMFA

ECMFA

ECMFA

Fri 21 Jul
Displayed time zone: London change

STAF Keynotes + Research Papers + ECMFA + ICGT Research Papers

ECMFA

Tue 18 Jul
Displayed time zone: London change

Wed 19 Jul
Displayed time zone: London change

Thu 20 Jul
Displayed time zone: London change

Fri 21 Jul
Displayed time zone: London change

Tracks

STAF 2023

Room information: Oak

Program Display Configuration

Tue 18 JulDisplayed time zone: London change

Wed 19 JulDisplayed time zone: London change

Thu 20 JulDisplayed time zone: London change

Fri 21 JulDisplayed time zone: London change

Tue 18 JulDisplayed time zone: London change

STAF Keynotes + Research Papers + ECMFA + ICGT Research Papers

Research Papers

Research Papers

Wed 19 JulDisplayed time zone: London change

STAF Keynotes + Research Papers + ECMFA + ICGT Research Papers

ICGT Research Papers

ICGT Research Papers

ICGT Research Papers + ICGT Journal-First

Thu 20 JulDisplayed time zone: London change

ECMFA

ECMFA

ECMFA

ECMFA

Fri 21 JulDisplayed time zone: London change

STAF Keynotes + Research Papers + ECMFA + ICGT Research Papers

ECMFA

Tue 18 JulDisplayed time zone: London change

Wed 19 JulDisplayed time zone: London change

Thu 20 JulDisplayed time zone: London change

Fri 21 JulDisplayed time zone: London change

Tue 18 Jul
Displayed time zone: London change

Wed 19 Jul
Displayed time zone: London change

Thu 20 Jul
Displayed time zone: London change

Fri 21 Jul
Displayed time zone: London change

Tue 18 Jul
Displayed time zone: London change

Wed 19 Jul
Displayed time zone: London change

Thu 20 Jul
Displayed time zone: London change

Fri 21 Jul
Displayed time zone: London change

Tue 18 Jul
Displayed time zone: London change

Wed 19 Jul
Displayed time zone: London change

Thu 20 Jul
Displayed time zone: London change

Fri 21 Jul
Displayed time zone: London change