ISSTA/ECOOP 2024 (series) / VORTEX 2024 (series) /
VORTEX 2024 Program
This is the VORTEX 2024 program - see the full program for ISSTA/ECOOP 2024 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 16 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 16 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:00 - 08:30 | |||
10:00 - 10:30 | |||
12:00 - 13:30 | |||
15:00 - 15:30 | |||
Tue 17 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 17 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 09:00 | |||
10:00 - 10:30 | |||
12:00 - 13:30 | |||
15:00 - 15:30 | |||
18:00 - 20:00 | |||
Wed 18 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 18 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:00 - 08:30 | |||
10:00 - 10:30 | |||
12:00 - 13:30 | |||
12:00 - 13:30 | Diversity and Inclusion LunchSocial Events at EI 1 Petritsch https://conf.researchr.org/track/issta-ecoop-2024/issta-ecoop-2024-diversity | ||
15:00 - 15:30 | |||
17:45 - 23:00 | BanquetSocial Events at Fuhrgassl-Huber We will take buses from the conference venue to go to the banquet. | ||
Thu 19 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 19 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 09:00 | |||
09:00 - 10:00 | |||
09:00 60mKeynote | Runtime Invariant Checking in Robotic Systems and Deep Learning Models VORTEX | ||
10:00 - 10:30 | |||
10:30 - 12:00 | |||
10:30 30mTalk | Runtime Verified Neural Networks for Cyber-Physical Systems VORTEX A: Dhiren Tripuramallu Indian Institute of Technology Bhubaneswar, A: Ayush Anand Indian Institute of Technology Bhubaneswar, A: Srinivas Pinisetty Indian Institute of Technology Bhubaneswar, A: Hammond Pearce University of New South Wales, Sydney, A: Partha Roop University of Auckland | ||
11:00 30mTalk | Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Properties VORTEX A: Gianluca Aguzzi Alma Mater Studiorum - Università di Bologna, A: Giorgio Audrito Università di Torino, A: Mirko Viroli Alma Mater Studiorum - Università di Bologna | ||
11:30 30mTalk | Real-Time Guarantees for SLCS Monitors in XC VORTEX A: Giorgio Audrito Università di Torino, A: Ferruccio Damiani University of Turin, A: Gianluca Torta | ||
12:00 - 13:30 | |||
13:30 - 14:30 | |||
13:30 60mKeynote | R2U2: Runtime Verification Takes Off! VORTEX | ||
14:30 - 15:00 | |||
14:30 30mTalk | RVsec: Towards a Comprehensive Technology Stack for Secure Deployment of Software Monitors VORTEX | ||
15:00 - 15:30 | |||
15:30 - 16:30 | |||
15:30 60mKeynote | Operational and Declarative Runtime Verification and their Combination VORTEX K: Doron Peled Bar Ilan University, K: Klaus Havelund Jet Propulsion Laboratory, California Institute of Technology | ||
16:30 - 17:30 | |||
16:30 30mTalk | Devising a TraceObject Class for Improved Runtime Monitoring of ooRexx Applications VORTEX | ||
17:00 30mTalk | Identifying Potential Deadlocked Instructions in a Multi-threaded ooRexx Program VORTEX | ||
18:00 - 20:00 | |||
Fri 20 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 20 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 09:00 | |||
10:00 - 10:30 | |||
12:00 - 13:30 | |||
15:00 - 15:30 | |||