VORTEX 2022
Mon 6 - Fri 10 June 2022 Berlin, Germany
co-located with ECOOP 2022
VenueScandic Potsdamer Platz, Berlin
Room nameStockholm
Floor2
Capacity54
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 6 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
Morning sessionVORTEX 2022 at Stockholm
Chair(s): Davide Ancona DIBRIS, University of Genova, Italy
11:00
5m
Day opening
Opening
VORTEX 2022
Davide Ancona DIBRIS, University of Genova, Italy, Adrian Francalanza University of Malta
11:05
40m
Keynote
Specification-Guided Hybrid Dynamic Verification for Parallel and Distributed Programming (online talk)
VORTEX 2022
I: Nobuko Yoshida Imperial College London
11:45
20m
Talk
Towards a Secure Framework for Artifact-centric Workflows Leveraging Runtime Enforcement (online talk)
VORTEX 2022
S: Gaurav Gupta , Saumya Shankar , Srinivas Pinisetty Indian Institute of Technology Bhubaneswar
12:05
20m
Talk
VSMoN: Runtime Monitoring Based Data-driven Remote Vital Sign Monitoring System (online talk)
VORTEX 2022
S: Rahul Bharadwaj Pendyala , Srinivas Pinisetty Indian Institute of Technology Bhubaneswar, Abhinandan Panda
13:30 - 15:00
First afternoon sessionVORTEX 2022 at Stockholm
Chair(s): Gary T. Leavens University of Central Florida
13:30
40m
Keynote
Hardware-assisted Runtime Monitoring
VORTEX 2022
I: Volker Stolz Høgskulen på Vestlandet
Link to publication
14:10
20m
Talk
Predictive Semantics for Past-CTL Runtime Monitors
VORTEX 2022
S: Giorgio Audrito Università di Torino, Volker Stolz Høgskulen på Vestlandet, Gianluca Torta
14:30
20m
Talk
HIBOU : Tooling Offline Runtime Verification against Interaction Models
VORTEX 2022
15:30 - 17:00
Second afternoon sessionVORTEX 2022 at Stockholm
Chair(s): Volker Stolz Høgskulen på Vestlandet
15:30
40m
Keynote
To Monitorability and Beyond (online talk)
VORTEX 2022
I: Antonis Achilleos Reykjavik University
16:10
20m
Talk
Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs
VORTEX 2022
Amirfarhad Nilizadeh University of Central Florida, S: Gary T. Leavens University of Central Florida
16:30
20m
Talk
Runtime monitoring of Java duplicate memory allocations (online talk)
VORTEX 2022
16:50
5m
Day closing
Closing
VORTEX 2022
Davide Ancona DIBRIS, University of Genova, Italy, Adrian Francalanza University of Malta

Mon 6 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change