VORTEX 2021
Sun 11 - Sat 17 July 2021 Online
co-located with ECOOP and ISSTA 2021
ECOOP and ISSTA 2021 (series) / VORTEX 2021 (series) / online /

Room information: VORTEX

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
13:30 - 14:50
Afternoon session 1VORTEX at VORTEX
Chair(s): Wolfgang Ahrendt Chalmers University of Technology
13:30
40m
Keynote
The E-ACSL Perspective on Runtime Assertion Checking
VORTEX
Julien Signoles CEA LIST
File Attached
14:10
20m
Talk
Towards Aggregate Monitoring of Spatio-temporal Properties
VORTEX
Giorgio Audrito Università di Torino, Gianluca Torta
File Attached
14:30
20m
Talk
RM for Users’ Safety and Security in the Built Environment
VORTEX
Giorgio Audrito Università di Torino, Ferruccio Damiani University of Turin, Giuseppe Di Giuda , Silvia Meschini , Laura Pellegrini , Elena Seghezzi , Lavinia Chiara Tagliabue , Lorenzo Testa , Gianluca Torta
File Attached
15:30 - 16:50
Afternoon session 2VORTEX at VORTEX
Chair(s): Adrian Francalanza University of Malta
15:30
40m
Keynote
Synchronous and Asynchronous Stream Runtime Verification
VORTEX
I: César Sánchez IMDEA Software Institute
File Attached
16:10
20m
Talk
Optional Monitoring for Long-Lived Transactions
VORTEX
Joshua Ellul University of Malta, Gordon Pace University of Malta
File Attached
16:30
20m
Talk
Runtime Verification for Trustworthy Secure Shell Deployment
VORTEX
Axel Curmi , Christian Colombo , Mark Vella
File Attached

Mon 12 Jul

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

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

VORTEX

Morning session

VORTEX

Afternoon session 1

VORTEX

Afternoon session 2

Mon 12 Jul

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
VORTEX
VORTEX
Increasing Confidence in Autonomous Systems
10:30 - 11:10
VORTEX
Test’n’Mo: A Collaborative Platform for Human Testers and Intelligent M ...
11:10 - 11:30
VORTEX
RVPLAN: A General Purpose Framework for Replanning using Runtime Verifi ...
11:30 - 11:50
VORTEX
The E-ACSL Perspective on Runtime Assertion Checking
13:30 - 14:10
VORTEX
Towards Aggregate Monitoring of Spatio-temporal Properties
14:10 - 14:30
VORTEX
RM for Users’ Safety and Security in the Built Environment
14:30 - 14:50
VORTEX
Synchronous and Asynchronous Stream Runtime Verification
15:30 - 16:10
VORTEX
Optional Monitoring for Long-Lived Transactions
16:10 - 16:30
VORTEX
Runtime Verification for Trustworthy Secure Shell Deployment
16:30 - 16:50