Tuesday 19/09
Wednesday 20/09
Thursday 21/09

Inv. talk: Joost-Pieter Katoen
Inv. talk: Jaco van de Pol
Coffee break

Timed frameworks
Session in memory of Sergiy Bogomolov
Inv. talk: Nicolas Markey; Timed automata
Boat trip on Scheldt river
Inv. presentations; Temporal logic
Coffee break
Coffee break
Monitoring of cyber-physical systems
Inv. talk: Dave Parker

Soccer match

Conference dinner


Invited talk: Nicolas Markey

Chair: Laure Petrucci

Computing the Price of Anarchy in Atomic Network Congestion Games

Timed automata

Chair: Jaco van de Pol

  • [Best PaperAward (Oded Maler Award in Timed Systems) Joint Winner] Anthony Spriet, Didier Lime and Olivier Roux. Timed non-interference under Partial Observability and Bounded Memory
  • Emily Clement, Nicolas Perrin-Gilbert and Philipp Schlehuber-Caissier. Layered controller synthesis for dynamic multi-agent systems

Monitoring of cyber-physical systems

Chair: Masaki Waga

  •  Andrej Kiviriga, Kim Guldstrand Larsen, Dejan Nickovic and Ulrik Nyman. Usage- and Risk-aware Falsification Testing for Cyber-Physical Systems
  • Pei Zhang, Alexis Aurandt, Rohit Dureja, Phillip Jones and Kristin Rozier. Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines


Invited talk: Joost-Pieter Katoen

Chair: Alessandro Cimatti

Verification Conquers Fault Tree Analysis

Timed frameworks

Chair: Jeremy Sproston

  • [Best PaperAward (Oded Maler Award in Timed Systems) Joint Winner] Véronique Bruyère, Guillermo Perez, Gaëtan Staquet and Frits Vaandrager. Automata with Timers
  • Madhavan Mukund, Adwitee Roy and B Srivathsan. A local-time semantics for negotiations
  • Marco Bernardo and Claudio Antares Mezzina. Causal Reversibility for Timed Process Calculi with Durationless Lazy/Eager Actions and Time Additivity
  • Raghda El Shehaby, Matthias Függer and Andreas Steininger. On the Susceptibility of QDI Circuits to Transient Faults


Invited talk: Jaco van de Pol

Chair: Wan Fokkink

Encoding Planning and Games in SAT and QBF

Session in memory of Sergiy Bogomolov

Chairs: Martin Fränzle and Taylor Johnson

  • Christian Schilling. How Sergiy Led Me to Cyber-Physical Systems
  • Radu Grosu. My Hybrid Systems Collaboration with Sergiy
  • Mirco Giacobbe. Abstractions of Hybrid Systems and Hybridisations of Dynamical Systems
  • Sadegh Soudjani, Paulius Stankaitis, Kostiantyn Potomkin. Sergiy: Putting People at the Center of Research on Scalable Reachability Analysis

Invited presentations 

Chair: Pedro D'Argenio

  • Masaki Waga. Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization
  • Jaime Cuartas, Jesús Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin and Pierre-Yves Schobbens. MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL

Temporal logic

Chair: Pedro D'Argenio

  •  [Online] Gokul Hariharan, Phillip H. Jones, Kristin Y. Rozier and Tichakorn Wongpiromsarn. Maximum Satisfiability in Mission-time Linear Temporal Logic

Invited talk: David Parker

Multi-Agent Verification and Control with Probabilistic Model Checking