Program - ECOOP and ISSTA 2021

Detailed Table Column Timeline Session Timeline Detailed Timeline

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

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

VORTEX 2021 Program

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

Tracks

Co-hosted Conferences

Workshops

VORTEX 2021 Program

Switch Program View

Program Display Configuration

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

Get Calendar (iCal)

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