STAF 2024
Mon 8 - Thu 11 July 2024 Enschede, Netherlands
Mon 8 Jul 2024 13:50 - 14:00 at Waaier 2 - ECMFA Session 1 Chair(s): Adrian Rutle

Mon 8 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:00
ECMFA Session 1ECMFA Technical Track at Waaier 2
Chair(s): Adrian Rutle Western Norway University of Applied Sciences
13:30
20m
Break
Prolonged lunch break
ECMFA Technical Track

13:50
10m
Day opening
Conference opening
ECMFA Technical Track
Adrian Rutle Western Norway University of Applied Sciences, Judith Michael RWTH Aachen University
14:00
30m
Research paper
Automated Proof Tactics for Model Transformation
ECMFA Technical Track
A: Julien Cohen Nantes Université, A: Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004), A: Rémi Douence IMT Atlantique
14:30
30m
Research paper
A Variance-Based Drift Metric for Inconsistency Estimation in Model Variant Sets
ECMFA Technical Track
A: Karl Kegel Technische Universität Dresden, A: Sebastian Götz Technische Universität Dresden, A: Ronny Marx Technische Universität Dresden, A: Uwe Aßmann TU Dresden, Germany