Due to the pandemics, SynCoP has not take place in 2020 and 2021.
SynCoP 2022 happened on April 2nd during ETAPS, in Munich (and online).
- 9:00-10:00 Laure Petrucci (Université Paris 13, FR)
Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata [slides] - 10:00-10:30 Coffee break
- 10:30-11:30 Swen Jacobs (CISPA Helmholtz Center for Information Security, DE)
Parameterized Verification of Global Synchronization Protocols [slides]
- 11:30-12:30 Didier Lime (Centrale Nantes, FR)
Cost problems for parametric time Petri nets [slides] - 12:30-14:00 Lunch break
- 14:00-15:00 Sebastian Junges (Radboud University, NL)
Synthesising Discrete Parameters in Probabilistic Models [slides] - 15:00-16:00 Anthony Widjaja Lin (TU Kaiserslautern, DE)
Regular Model Checking Revisited [slides]
- 16:00-16:30 Coffee break
- 16:30-17:30 Michael Blondin (Université de Sherbrooke, CA)
Formal analysis of crowd systems [slides]
