Program

April 22nd (Saturday)

8h-9hIHP entranceRegistration
9h-10hRoom 201Invited speaker: Étienne AndréTitle: Monitoring cyber-physical systems under uncertainty
Here are the slides
10h-10h30IHP, building PerrinCoffee break
10h30-11hRoom 201Dylan MarinhoTitle: Execution-time opacity problems in (parametric) timed automata
11h-11h30Room 201David JulienTitle: End-to-end Statistical Model Checking for Parameterization and Stability Analysis of ODE Models
11h30-12hRoom 201Giovanni BacciTitle: MM Algorithms to Estimate Parameters in Continuous-time Markov Chains
12h-12h30Room 201Étienne AndréOpen problem session: Help needed! A seemingly very simple (yet open) problem for parametric timed automata
12h-14hIHP, building PerrinLunch Break
14h-15hRoom 201Invited speaker: Joël OuaknineTitle: Holonomic Techniques
15h-16hRoom 201Invited speaker: Kim G. LarsenTitle: Parameterized Weighted Systems and Properties
16h-16h30IHP, building PerrinCoffee break

April 23rd (Sunday)

8h-9hIHP entranceRegistration
9h-10hRoom 201Invited speaker: Nathalie BertrandTitle: A CEGAR approach to parameterized verification of distributed algorithms
Here are the slides
10h-10h30IHP, building PerrinCoffee break
10h30-11hRoom 201Nicolas WaldburgerTitle: Checking Presence Reachability Properties on Parameterized Shared-Memory Systems
11h-11h30Room 201Bahare SalmaniTitle: Parameteric Bayesian Networks: Finding the Right Probabilities
11h30-12hRoom 201Daniel StanTitle: Regular Model Checking of Epistemic Properties
12h-12h30Room 201Uli FahrenbergTitle: Energy Büchi Problems
12h-14hIHP, building PerrinLunch Break
14h-15hRoom 201Invited speaker: Tali SznajderTitle: Verification of Networks of Processes communicating with Non-Blocking Rendez-Vous
15h-16hRoom 201Invited speaker: Igor KonnovTitle: Threshold-guarded distributed algorithms: Verification and practical challenges
16h-16h30IHP, building PerrinCoffee break

Comments are closed.