|
9:30
|
09:45 - Welcome to FACS 2022
Silvia Lizeth Tapia Tarifa, José Proença
|
|
10:00
|
Compositional Simulation of Abstract State Machines for Safety Critical Systems
Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
|
|
10:30
|
Specifying Source Code and Signal-based Behaviour of Cyber-Physical System Components
Joshua Dawes, Domenico Bianculli
|
|
11:00
|
Formally Characterizing the Effect of Model Transformations on System Properties
Rikayan Chaki, Anton Wijs
|
|
11:30
|
Coffee Break
|
|
12:00
|
Semantics for Hybrid Components - Categorical Tools and Techniques
Renato Neves
|
|
13:00
|
Lunch Break
|
|
14:00
|
Correctness-by-Construction Engineering - Can we build better software?
Ina Schaefer
|
|
15:00
|
Coffee Break
|
|
15:30
|
Interpretation and Formalization of the Right-of-Way Rules
Victor Carreno, Mariano Moscato, Paolo Masci, Aaron Dutle
|
|
16:00
|
Formal Model-In-The-Loop for Secure Industrial Control Networks
Laurynas Ubys, Valeriu Nicolas Vancea, Tomas Kulik, Peter Gorm Larsen, Jalil Boudjadar, Diego F. Aranha
|
|
16:30
|
Debugging of BPMN Processes Using Coloration Techniques
Quentin Nivon, Gwen Salaün
|
|
17:00
|
WEASY: A Modelling Tool for Optimized BPMN Processes
Angel Contreras, Yliès Falcone, Gwen Salaün, Ahang Zuo
|