ECOOP 2022 (series) / VORTEX 2022 (series) /
VORTEX 2022 Program
This is the VORTEX 2022 program - see the full program for ECOOP 2022 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 6 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 6 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
11:00 - 12:30 | |||
11:00 5mDay opening | Opening VORTEX | ||
11:05 40mKeynote | Specification-Guided Hybrid Dynamic Verification for Parallel and Distributed Programming (online talk) VORTEX | ||
11:45 20mTalk | Towards a Secure Framework for Artifact-centric Workflows Leveraging Runtime Enforcement (online talk) VORTEX | ||
12:05 20mTalk | VSMoN: Runtime Monitoring Based Data-driven Remote Vital Sign Monitoring System (online talk) VORTEX S: Rahul Bharadwaj Pendyala , Srinivas Pinisetty Indian Institute of Technology Bhubaneswar, Abhinandan Panda |
13:30 - 15:00 | |||
13:30 40mKeynote | Hardware-assisted Runtime Monitoring VORTEX Link to publication | ||
14:10 20mTalk | Predictive Semantics for Past-CTL Runtime Monitors VORTEX | ||
14:30 20mTalk | HIBOU : Tooling Offline Runtime Verification against Interaction Models VORTEX S: Erwan Mahe , Boutheina Bannour , Christophe Gaston , Arnault Lapitre , Pascale Le Gall CentraleSupelec |
15:30 - 17:00 | |||
15:30 40mKeynote | To Monitorability and Beyond (online talk) VORTEX | ||
16:10 20mTalk | Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs VORTEX Amirfarhad Nilizadeh University of Central Florida, S: Gary T. Leavens University of Central Florida | ||
16:30 20mTalk | Runtime monitoring of Java duplicate memory allocations (online talk) VORTEX | ||
16:50 5mDay closing | Closing VORTEX |