Increasing Confidence in Autonomous Systems (VORTEX 2021 - International Workshop on Verification and mOnitoring at Runtime EXecution)

Write a Blog >>

Sun 11 - Sat 17 July 2021 Online

co-located with ECOOP and ISSTA 2021

Track

VORTEX 2021

Time Zone

The program is currently displayed in (GMT+02:00) Brussels, Copenhagen, Madrid, Paris.

Use conference time zone: (GMT+02:00) Brussels, Copenhagen, Madrid, ParisSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Mon 12 Jul 2021 10:30 - 11:10 at VORTEX - Morning session Chair(s): Davide Ancona

Abstract

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.

File attachments

Slides (Fisher.pdf)	3.44MiB

Time Zone

The program is currently displayed in (GMT+02:00) Brussels, Copenhagen, Madrid, Paris.

Use conference time zone: (GMT+02:00) Brussels, Copenhagen, Madrid, ParisSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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

Increasing Confidence in Autonomous Systems

Mon 12 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Michael FisherInvited Speaker

University of Manchester, UK

Tracks

ECOOP and ISSTA 2021

Co-hosted Conferences

Workshops

Increasing Confidence in Autonomous Systems

Program Display Configuration

Program Display Configuration

Mon 12 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Michael FisherInvited Speaker

University of Manchester, UK

Mon 12 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change