Write a Blog >>
SPIN 2021
Mon 12 Jul 2021 Online
co-located with ECOOP and ISSTA 2021
Venueonline
Room nameVORTEX
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

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

Mon 12 Jul

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

Room10:003011:003012:003013:003014:003015:003016:0030
VORTEX