STAF 2023
Tue 18 - Fri 21 July 2023 Leicester, United Kingdom
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

09:15 - 10:30
GCM Session 1GCM at Willow
Chair(s): Jens Kosiol Universität Kassel, Detlef Plump University of York

Remote Participants: Zoom Link, YouTube Livestream

09:15
15m
Day opening
GCM Opening
GCM
Jens Kosiol Universität Kassel
09:30
30m
Talk
Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
GCM
P: Maximilian Kratz Technical University of Darmstadt, Real-Time Systems Lab, Sebastian Ehmes Technical University of Darmstadt, Real-Time Systems Lab, Philipp Menzel Technical University of Darmstadt, Andy Schürr TU Darmstadt, Germany
Media Attached File Attached
10:00
30m
Talk
Pedagogy of Teaching Pointers in the C Programming Language using Graph Transformation
GCM
P: Adwoa Donyina University of New Haven, Reiko Heckel University of Leicester
File Attached
10:30 - 11:00
Morning CoffeeSocial at The Bar
10:30
30m
Coffee break
Coffee Break
Social

11:00 - 12:30
STAF Keynote / TAP Session 1Keynotes / TAP / 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
TAP
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
12:30 - 13:30
12:30
60m
Lunch
Lunch
Social

13:30 - 15:00
TAP Session 2: Low-level code verificationTAP 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
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
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
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
13:30 - 15:00
GCM Session 2GCM at Willow
Chair(s): Andrea Corradini

Remote Participants: Zoom Link, YouTube Livestream

13:30
30m
Talk
Hypergraph Rewriting and Higher-Arity Algebra
GCM
P: Carlos Zapata-Carratala Wolfram Institute / Society for Multidisciplinary and Fundamental Research
14:00
30m
Talk
Graph Edit Distance for Interaction Net Rewrite Rules
GCM
P: Ian Mackie University of Sussex, Shinya Sato Ibaraki University, Marc Thatcher University of Sussex
14:30
30m
Talk
Dynamic Tracing: a graphical language for rewriting protocols
GCM
P: Kristopher Brown Stanford University, David Spivak Topos Institute
15:00 - 15:30
Afternoon CoffeeSocial at The Bar
15:00
30m
Coffee break
Coffee Break
Social

15:30 - 16:30
TAP Session 3: Formal ModelsTAP 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
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
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
15:30 - 17:00
GCM Session 3GCM at Willow
Chair(s): Jens Kosiol Universität Kassel

Remote Participants: Zoom Link, YouTube Livestream

15:30
7m
Talk
A high-level functional programming language for interaction nets
GCM
P: Marc Thatcher University of Sussex
15:38
7m
Talk
Finite Automata for Efficient Graph Recognition
GCM
Frank Drewes Umeå universitet, Berthold Hoffmann Universität Bremen, P: Mark Minas Universität der Bundeswehr München
15:45
7m
Talk
Towards Efficient Boltzmann Sampling with Graph Generative Models and Constraints
GCM
P: Justin Diamond University of Basel, Markus Lill University of Basel
15:53
7m
Talk
Random Graph Generation in Context-Free Graph Languages
GCM
P: Federico Vastarini University of York, Detlef Plump University of York
16:00
60m
Other
Open Discussion
GCM

18:00 - 19:00
STAF Welcome ReceptionSocial at The Bar
18:00
60m
Social Event
Welcome Reception
Social

Wed 19 Jul

Displayed time zone: London change

09:00 - 10:15
STAF Keynote / ICGT Session 1Keynotes / TAP / 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
Keynotes
Dan Ghica Huawei Research and University of Birmingham
Pre-print
10:30 - 11:00
Morning CoffeeSocial at The Bar
10:30
30m
Coffee break
Coffee Break
Social

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
11:15 - 12:45
TAP Session 4: Model-based test generationTAP at Willow
Chair(s): Nico Naus Virginia Tech

Remote Participants: Zoom Link

11:15
30m
Talk
Symbolic Observation Graph-Based Generation of Test Paths
TAP
P: Kais Klai Universit Paris 13, Mohamed Taha Bennani Universty of Tunis El Manar, Jaime Arias CNRS; LIPN; Université Sorbonne Paris Nord, Jörg Desel Fernuniversität in Hagen, Hanen Ochi EFREI
DOI File Attached
11:45
30m
Talk
Testing Languages with a Languages-as-databases ApproachTAP Best Paper
TAP
P: Matteo Cimini University of Massachusetts Lowell
DOI
12:15
30m
Talk
Proving Properties of Operation Contracts with Test Scenarios
TAP
P: Martin Gogolla Database Systems Group, University of Bremen, Lars Hamann HAW Hamburg
DOI
12:30 - 13:30
12:30
60m
Lunch
Lunch
Social

13:30 - 15:00
MeSS Session 2MeSS at Chestnut
Chair(s): Stefan Klikovits Johannes Kepler University, Linz

Remote Participants: Zoom Link

13:30
30m
Talk
Modeling Urban Digital Twins over the Cloud-to-Thing Continuum
MeSS
14:00
30m
Talk
A Conceptual Architecture for Building Digital Twins
MeSS
P: Paula Muñoz , Javier Troya Universidad de Málaga, Spain, Antonio Vallecillo University of Málaga, Spain
14:30
30m
Day closing
Wrap up session
MeSS
Stefan Klikovits Johannes Kepler University, Linz
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
13:45 - 15:15
TAP Session 5: KeynoteKeynotes at Willow
Chair(s): Virgile Prevosto CEA Tech List

Remote Participants: Zoom Link

13:45
90m
Keynote
KeY: A Verification Platform For Java
Keynotes
15:00 - 15:30
Afternoon CoffeeSocial at The Bar
15:00
30m
Coffee break
Coffee Break
Social

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
15:45 - 16:45
TAP Session 6: Abstraction and RefinementTAP at Willow
Chair(s): Matteo Cimini University of Massachusetts Lowell

Remote Participants: Zoom Link

15:45
30m
Talk
Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion CheckingTAP Best Paper
TAP
P: Thibaut Benjamin Université Paris-Saclay, CEA, List, Julien Signoles Université Paris-Saclay, CEA, List
DOI
16:15
30m
Talk
Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars
TAP
P: Megan Strauss Carnegie Mellon University, Stefan Mitsch Carnegie Mellon University, USA
DOI
17:15 - 22:30
STAF Excursion & BanquetSocial
17:15
1h45m
Social Event
Excursion to St Mary de Castro
Social

19:00
3h30m
Dinner
Banquet at Bistrot Pierre
Social

Thu 20 Jul

Displayed time zone: London change

09:00 - 10:30
TTC Session 1: Opening & Containers to MiniYAMLTTC at Chestnut
Chair(s): Artur Boronat University of Leicester

Access the session using this MS teams link.

09:00
10m
Day opening
TTC Welcome
TTC

09:10
15m
Talk
Case introduction - Program abstraction by transformation: Abstraction of Visual Basic to UML
TTC
P: Dr Kevin Lano King's College London, Shekoufeh Rahimi University of Roehampton
Pre-print
09:25
15m
Talk
Case introduction - Asymmetric and Directed Bidirectional Transformation for Container Orchestrations
TTC
P: Antonio Garcia-Dominguez University of York
Pre-print
09:40
15m
Talk
Case solution - BXtenDSL
TTC
P: Thomas Buchmann Technische Hochschule Deggendorf
Pre-print Media Attached
09:55
15m
Talk
Case solution - NMF
TTC
Pre-print Media Attached
10:10
20m
Talk
Case solution - YAMTL and EMF-Syncer
TTC
P: Artur Boronat University of Leicester
Pre-print Media Attached
09:00 - 10:30
Agile MDE Session 1Agile MDE at Douglas Fir
Chair(s): Javier Troya Universidad de Málaga, Spain

Remote Participants: Zoom Link

09:00
40m
Keynote
The effect of MDD/MBT on software development in a SAFe project in the railway industry
Agile MDE
09:40
20m
Talk
Towards Integrating Machine Learning Models into Mobile Apps using AppCraft
Agile MDE
P: Lyan Alwakeel , Dr Kevin Lano King's College London, Hessa Alfraihi Princess Nourah bint Abdulrahman University
File Attached
10:00
30m
Talk
MathOCL: a domain-specific language for financial modelling
Agile MDE
P: Howard Haughton Holistic Risk Solutions Ltd, Sobhan Yassipour Tehrani University College London (UCL), Dr Kevin Lano King's College London
File Attached
09:00 - 10:30
ICGT Session 5: Blue Skies & Journal-FirstICGT Research Papers / ICGT Journal-First at Willow
Chair(s): Detlef Plump University of York

Remote Participants: Zoom Link, YouTube Livestream

09:00
30m
Talk
A living monograph for graph transformation
ICGT Research Papers
Nicolas Behr CNRS, Université Paris Cité, IRIF, P: Russ Harmer CNRS
DOI File Attached
09:30
30m
Talk
Graph Rewriting for Graph Neural NetworksNominated for Best Paper
ICGT Research Papers
Adam Machowczyk University of Leicester, P: Reiko Heckel University of Leicester
DOI File Attached
10:00
30m
Talk
Compositionality of Rewriting Rules with Conditions
ICGT Journal-First
P: Nicolas Behr CNRS, Université Paris Cité, IRIF, Jean Krivine CNRS
DOI Media Attached
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
10:30 - 11:00
Morning CoffeeSocial at The Bar
10:30
30m
Coffee break
Coffee Break
Social

11:00 - 12:30
Agile MDE Session 2Agile MDE at Douglas Fir
Chair(s): Hessa Alfraihi Princess Nourah bint Abdulrahman University

Remote Participants: Zoom Link

11:00
30m
Talk
Using MDE with the Clean Architecture
Agile MDE
P: Sobhan Yassipour Tehrani University College London (UCL), Dr Kevin Lano King's College London
File Attached
11:30
30m
Panel
Current issues and future prospects for Agile Model-driven engineering
Agile MDE
C: Hessa Alfraihi Princess Nourah bint Abdulrahman University, Avi Shaked University of Oxford, UK, Yves Wautelet KU Leuven, Joost Noppen University of East Anglia
11:00 - 12:30
ICGT Session 6: ApplicationsICGT Research Papers at Willow
Chair(s): Kazunori Ueda Waseda University

Remote Participants: Zoom Link, YouTube Livestream

11:00
30m
Talk
A Rule-Based Procedure for Graph Query Solving
ICGT Research Papers
Dominique Duval Université Grenoble Alpes, P: Rachid Echahed University of Grenoble - CNRS, Frederic Prost Université Grenoble Alpes
DOI
11:30
30m
Talk
Formalization and analysis of BPMN using graph transformation systemsICGT Best Applications Paper
ICGT Research Papers
P: Tim Kräuter Western Norway University of Applied Sciences, Adrian Rutle Western Norway University of Applied Sciences, Harald König University of Applied Sciences, FHDW Hannover and Western Norway University of Applied Sciences, Yngve Lamo Western Norway University of Applied Sciences
DOI Pre-print File Attached
12:00
30m
Talk
Dominant Eigenvalue-Eigenvector Pair Estimation via Graph Infection
ICGT Research Papers
P: Kaiyuan Yang University of Zurich, Li Xia National University of Singapore, Y.C. Tay National University of Singapore
DOI Pre-print
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
12:30 - 13:30
12:30
60m
Lunch
Lunch
Social

13:30 - 15:00
TTC Session 3: Incremental Class to RelationalTTC at Chestnut
Chair(s): Antonio Garcia-Dominguez University of York

Access the session using this MS teams link.

13:30
15m
Talk
Case introduction - Incremental MTL vs. GPLs: Class into Relational Database Schema
TTC
P: Sandra Greiner University of Bern, Switzerland, Stefan Höppner Ulm University, Frédéric Jouault ERIS Team, ESEO , France, Théo Le Calvar IMT Atlantique, LS2N (UMR CNRS 6004), Mickael Clavreul
Pre-print
13:45
15m
Talk
Case solution - BXtenDSL
TTC
P: Thomas Buchmann Technische Hochschule Deggendorf
Pre-print Media Attached
14:00
15m
Talk
Case solution - NMF
TTC
Pre-print Media Attached
14:15
15m
Talk
Case solution - Cheptre
TTC
P: Frédéric Jouault ERIS Team, ESEO , France, Nicolas Pouillard
Pre-print Media Attached
14:30
30m
Meeting
Deliberation - Incremental MTLs vs. GPLs
TTC

13:30 - 15:00
ICGT Session 7: Keynote & Journal-FirstICGT Journal-First / Keynotes at Willow
Chair(s): Chris Poskitt Singapore Management University

Remote Participants: Zoom Link, YouTube Livestream

13:30
60m
Keynote
Formal Mathematics: Matching Algorithms as a Case Study
Keynotes
Mohammad Abdulaziz Technische Universität München
File Attached
14:30
30m
Talk
Fast Rule-Based Graph Programs
ICGT Journal-First
DOI
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:00 - 15:30
Afternoon CoffeeSocial at The Bar
15:00
30m
Coffee break
Coffee Break
Social

15:30 - 17:00
TTC Session 4: Deliberation, Awards, & ClosingTTC at Chestnut
Chair(s): Antonio Garcia-Dominguez University of York

Access the session using this MS teams link.

15:30
30m
Meeting
Final round of deliberation and award preparation
TTC

16:00
30m
Awards
Awards
TTC

16:30
30m
Live Q&A
Reflection and open discussion
TTC

15:30 - 17:15
ICGT Session 8: Tools & ApplicationsICGT Research Papers at Willow
Chair(s): Rachid Echahed University of Grenoble - CNRS

Remote Participants: Zoom Link, YouTube Livestream

15:30
30m
Talk
Implementing the λGT Language: A Functional Language with Graphs as First-Class Data
ICGT Research Papers
P: Jin Sano Waseda University, Kazunori Ueda Waseda University
DOI File Attached
16:00
30m
Talk
Computing k-Bisimulations for Large Graphs: A Comparison and Efficiency Analysis
ICGT Research Papers
Jannik Rau Ulm University, P: David Richerby University of Essex, Ansgar Scherp Ulm University
DOI Pre-print
16:30
30m
Talk
Advanced Consistency Restoration with Higher-Order Short-Cut Rules
ICGT Research Papers
P: Lars Fritsche TU Darmstadt, Germany, Jens Kosiol Universität Kassel, Adrian Möller TU Darmstadt, Germany, Andy Schürr TU Darmstadt, Germany
DOI
17:00
15m
Day closing
ICGT Conference Closing
ICGT Research Papers
Maribel Fernandez King's College London, Reiko Heckel University of Leicester, Chris Poskitt Singapore Management University
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
DOI Media Attached File Attached

Fri 21 Jul

Displayed time zone: London change

09:00 - 10:30
STAF Keynote / ECMFA Session 5Keynotes / TAP / 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.
Keynotes
Andrzej Wąsowski IT University of Copenhagen, Denmark
10:30 - 11:00
Morning CoffeeSocial at The Bar
10:30
30m
Coffee break
Coffee Break
Social

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
11:00 - 12:30
HEDA Session 1HEDA at Willow
Chair(s): Martin Leucker University of Lübeck

Remote Participants: Zoom Link

11:00
30m
Talk
Evaluation of Data Quality in the Estonian National Health Information System for Digital Decision Support
HEDA
P: Markus Bertl Tallinn University of Technology, Kristian Juha Ismo Kankainen Tallinn University of Technology, Gunnar Piho Tallinn University of Technology, Dirk Draheim Tallinn University of Technology, Peeter Ross Tallinn University of Technology
Link to publication
11:30
30m
Talk
Intelligent Tracing and Process Improvement of Pathology workflows using Character Recognition
HEDA
P: Markus Hatlem University of Bergen, Fazle Rabbi University of Bergen, Patrick Stünkel , Friedemann Leh Haukeland University Hospital
Link to publication
12:00
30m
Talk
Maintaining data integrity in Electronic Health Records with Hyperledger Fabric
HEDA
P: Marten Kask Tallinn University of Technology, Toomas Klementi Tallinn University of Technology, Gunnar Piho Tallinn University of Technology, Peeter Ross Tallinn University of Technology
Link to publication
12:30 - 13:30
12:30
60m
Lunch
Lunch
Social

13:30 - 15:00
AI4SE Session 2AI4SE@STAF at Chestnut
Chair(s): Ashiq Anjum University of Leicester

Remote Participants: Zoom Link

13:30
60m
Talk
Using ChatGPT for Software Modelling. Current Status and Future Opportunities
AI4SE@STAF
Antonio Vallecillo University of Málaga, Spain
14:30
30m
Panel
Panel Discussion: Challenges and opportunities for AI in Software Engineering
AI4SE@STAF
Frank McQuade Bloc Digital , Antonio Vallecillo University of Málaga, Spain, Reiko Heckel University of Leicester
13:30 - 15:00
HEDA Session 2HEDA at Willow
Chair(s): Yngve Lamo Western Norway University of Applied Sciences

Remote Participants: Zoom Link

13:30
22m
Talk
Clinical data modeling combining agent-based and epidemiological models
HEDA
P: Denisse Kim University of Murcia, Manuel Campos , Bernardo Canovas-Segura University of Murcia, Jose M. Juarez University of Murcia
Link to publication
13:52
22m
Talk
Towards a Framework for Visualization and Analysis of Eye Tracking Data for Functional Vision Screening
HEDA
P: qasim ali , Carsten G. Helgesen Western Norway University of Applied Sciences, Ilona Heldal Western Norway University of Applied Sciences
Link to publication
14:15
22m
Talk
Analyzing Eye Tracking Data using Symbolic Aggregate Approximation
HEDA
P: Carsten G. Helgesen Western Norway University of Applied Sciences, Atle Geitung Western Norway University of Applied Sciences, Ilona Heldal Western Norway University of Applied Sciences
Link to publication
14:37
22m
Talk
Automatic Inference of Smart Data Discovery Interfaces for Rare Disease Datasets
HEDA
P: Artur Boronat University of Leicester, Adekunle Adeyemo , Mehdi Mehtarizadeh King’s College London, Steffen Zschaler King's College London
Link to publication
15:00 - 15:30
Afternoon CoffeeSocial at The Bar
15:00
30m
Coffee break
Coffee Break
Social

15:30 - 17:00
HEDA Session 3 - Panel presentaion and discussionHEDA at Willow
Chair(s): Carsten G. Helgesen Western Norway University of Applied Sciences, Violet Ka I Pun Western Norway University of Applied Sciences

Remote Participants: Zoom Link

15:30
60m
Talk
Panel presentations
HEDA
P: Yngve Lamo Western Norway University of Applied Sciences, P: Martin Leucker University of Lübeck, P: Gunnar Piho Tallinn University of Technology
16:30
30m
Panel
Panel discussion on the current status and future direction of health data modelling, interoperability and analytics
HEDA
P: Yngve Lamo Western Norway University of Applied Sciences, P: Martin Leucker University of Lübeck, P: Gunnar Piho Tallinn University of Technology