Write a Blog >>
ECOOP 2021
Sun 11 - Sat 17 July 2021
Online
co-located with
ECOOP and ISSTA 2021
Toggle navigation
Attending
Venue: online
ECOOP and ISSTA 2021
Registration
Information for Attendees
Instructions to Presenters
Equity, Diversity and Inclusion
ECOOP Awards
Info
ECOOP and ISSTA 2021
Sponsorship
Sponsors and Supporters
Program
ECOOP Program
Your Program
ECOOP and ISSTA 2021
Schedule Overview
Filter by Day
Sun 11 Jul
Mon 12 Jul
Tue 13 Jul
Wed 14 Jul
Thu 15 Jul
Fri 16 Jul
Sat 17 Jul
Tracks
ECOOP 2021
ECOOP Technical Papers
ECOOP Artifacts
ECOOP Keynotes
ECOOP and ISSTA 2021
ECOOP and ISSTA Opening
Sponsors
Summer School
Doctoral Symposium
Discussions with Experts
Posters
Workshops
2022 Previews
Co-hosted Conferences
REBASE
Workshops
AISTA
COP
FTfJP
ICOOOLPS
IWACO
[Cancelled]
VORTEX
WOSCA
[Cancelled]
Organization
ECOOP 2021 Committees
Organizing Committee
Track Committees
ECOOP Technical Papers
ECOOP Artifacts
ECOOP and ISSTA
Summer School
Doctoral Symposium
Doctoral Symposium Committee
Program Committee
Discussions with Experts
Posters
Workshops
Contributors
People Index
Co-hosted Conferences
REBASE
REBASE
Workshops
AISTA
Organizing Committee
Program Committee
COP
Organizing Committee
Program Committee
FTfJP
Program Committee Chair
Program Committee
Steering Committee
ICOOOLPS
Program Committee
Organizing Committee
IWACO
Organizing Committee
Program Committee
VORTEX
Organizing Committee
Program Committee
WOSCA
N/A - check homepage
Search
Series
Series
ECOOP 2025
ECOOP 2024
ECOOP 2023
ECOOP 2022
ECOOP 2021
ECOOP 2020
ECOOP 2019
ECOOP 2018
ECOOP 2017
ECOOP 2016
ECOOP 2015
2014: Uppsala
2013: Montpellier
2012: Beijing
2011: Lancaster
2010: Maribor
2009: Genova
2008: Cyprus
2007: Berlin
2006: Nice
2005: Glasgow
Sign in
Sign up
ECOOP and ISSTA 2021
(
series
) /
ECOOP 2021
(
series
) /
online
/
Room information: VORTEX
Venue
online
Room name
VORTEX
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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, Paris
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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 session
VORTEX
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 1
VORTEX
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 2
VORTEX
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
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
VORTEX
VORTEX
Morning session
VORTEX
Afternoon session 1
VORTEX
Afternoon session 2
Mon 12 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
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
x
Sat 7 Dec 22:25