|
: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
|
|---|
|
: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
|
|---|
|
:30
|
|
Coffee Break
|
|---|
| 12:00 |
|
Semantics for Hybrid Components - Categorical Tools and Techniques
Renato Neves
|
|---|
|
:30
|
|
|---|
| 13:00 |
|
Lunch Break
|
|---|
|
:30
|
|
|---|
| 14:00 |
|
Correctness-by-Construction Engineering - Can we build better software?
Ina Schaefer
|
|---|
|
:30
|
|
|---|
| 15:00 |
|
Coffee Break
|
|---|
|
: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
|
|---|
|
: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
|
|---|