FE-CPS 2022 Program

The workshop has been moved to a keynote-only event. It is scheduled on Friday, July 8th afternoon. The detail of each keynotes can be found here.

The workshop will be held at the main building of Babeș-Bolyai University in Cluj-Napoca, in the Tiberiu Popovici Amphitheatre (1st floor).


TimeTalk
13h40 – 14h30 Recent advances for hybrid systems verification with HyPro
Erika Ábrahám, RWTH Aachen (Germany)
14h30 – 15h20 Challenges for safe and secure CPS
Thierry Lecomte, ClearSy (Aix-en-Provence, France)
15h20 – 15h35 Coffee break
15h35 – 16h20 Reachability analysis and simulation for hybridised Event-B models
(Speaker TBD)