| 08:00 - 08:45 |
Registration |
| 08:45 - 09:00 |
Opening |
| 09:00 - 10:00 |
Invited Speaker (shared with FMAS) |
|
Integrated Formal Methods for the Verification of Cyber-Physical and Autonomous Systems |
|
Paula Herber (University of Münster, Germany) |
| 10:00 - 10:30 |
Coffee Break |
| 10:30 - 12:00 |
Session 1: Autonomous Systems (shared with FMAS) |
|
- Formal Modeling of Trust in Autonomous Delivery Vehicles
Manar Altamimi, Asieh Salehi Fathabadi and Vahid Yazdanpanah
- FMAS Paper
- The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification
Michele Alberti, François Bobot, Julien Girard-Satabin, Alban Grastien, Aymeric Varasse and Zakaria Chihani
|
| 12:00 - 13:30 |
Lunch Break |
| 13:30 - 15:00 |
Session 2: Cyber Physical Systems |
|
- Online Model Checking for Anomaly Detection in Industrial Control Systems
Douglas Fraser, Alice Miller, Marco Cook and Dimitrios Pezaros
- Safe Temperature Regulation: Formally Verified and Real-World Validated
Carlos Isasa, Noah Abou El Wafa, Cláudio Gomes, Peter Gorm Larsen and André Platzer
- Using Bayesian Inference and Flowpipe Construction to Bound Predictions of Biogas Production at Wastewater Treatment Plants
Fletcher Chapin, Ankur Varma, Samuel Akinwande, Meagan Mauter and Sriram Sankaranarayanan
|
| 15:00 - 15:30 |
Coffee Break |
| 15:30 - 17:00 |
Session 3: Deductive Verification |
|
- Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in Ocaml
Ion Chirica and Mário Pereira
- Verified Implementation of Associative Containers with Iterators Using Threaded Red-Black Trees
Jorge Blázquez Saborido, Manuel Montenegro and Clara Segura
- Formal Verification of Legal Contracts: A Translation-based Approach
Reiner Hähnle, Cosimo Laneve and Adele Veschetti
|