Write a Blog >>
ECOOP and ISSTA 2021
Sun 11 - Sat 17 July 2021 Online
Mon 12 Jul 2021 10:30 - 11:10 at VORTEX - Morning session Chair(s): Davide Ancona

This presentation will describe how we are using, and aiming to use, runtime verification, along with other varieties of formal verification and simulation-based testing, to together provide increased confidence in a range of autonomous systems.

Slides (Fisher.pdf)3.44MiB

Mon 12 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

10:30 - 11:50
Morning sessionVORTEX at VORTEX
Chair(s): Davide Ancona DIBRIS, University of Genova, Italy
10:30
40m
Keynote
Increasing Confidence in Autonomous Systems
VORTEX
I: Michael Fisher University of Manchester, UK
File Attached
11:10
20m
Talk
Test’n’Mo: A Collaborative Platform for Human Testers and Intelligent Monitoring Agents
VORTEX
Filippo Ricca DIBRIS, University of Genova, Italy, Viviana Mascardi DIBRIS, University of Genova, Italy, Alessandro Verri
File Attached
11:30
20m
Talk
RVPLAN: A General Purpose Framework for Replanning using Runtime Verification
VORTEX
Angelo Ferrando DIBRIS, Università di Genova, Rafael C. Cardoso
File Attached