Tuesday 19/09 | Wednesday 20/09 | Thursday 21/09 | |
---|---|---|---|
09:00-10:00 | Inv. talk: Joost-Pieter Katoen | Inv. talk: Jaco van de Pol | |
10:00-10:20 | Coffee break | ||
10:20-12:20 | Timed frameworks | Session in memory of Sergiy Bogomolov | |
12:20-13:45 | Lunch | ||
13:45-15:45 | Inv. talk: Nicolas Markey; Timed automata | Boat trip on Scheldt river | Inv. presentations; Temporal logic |
15:45-16:00 | Coffee break | Coffee break | |
16:00-17:30 | Monitoring of cyber-physical systems | Inv. talk: Dave Parker | |
17:30-18:00 | Soccer match | ||
18:00-20:00 | Conference dinner |
Tuesday
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
Wednesday
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
Thursday
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