VORTEX 2024 – Proceedings

7th ACM International Workshop on Verification and Monitoring at Runtime Execution (VORTEX 2024)

Frontmatter

Keynotes

R2U2: Runtime Verification Takes Off! (Keynote)
Kristin Yvonne Rozier
(Iowa State University, USA)

Publisher's Version

Runtime Invariant Checking in Robotic Systems and Deep Learning Models (Keynote)
Xiangyu Zhang
(Purdue University, USA)

Publisher's Version

Operational and Declarative Runtime Verification (Keynote)
Klaus Havelund, Moran Omer, and Doron Peled
(Jet Propulsion Laboratory at California Institute of Technology, USA; Bar-Ilan University, Israel)

Publisher's Version

Papers

RVsec: Towards a Comprehensive Technology Stack for Secure Deployment of Software Monitors
Christian Colombo, Axel Curmi, and Robert Abela
(University of Malta, Malta)

Publisher's Version

Devising a TraceObject Class for Improved Runtime Monitoring of ooRexx Applications
Rony G. Flatscher and Till Winkler
(Vienna University of Economics and Business, Austria)

Publisher's Version

Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Properties
Gianluca Aguzzi, Giorgio Audrito, and Mirko Viroli
(University of Bologna, Italy; University of Turin, Italy)

Publisher's Version

Real-Time Guarantees for SLCS Monitors in XC
Giorgio Audrito, Ferruccio Damiani, and Gianluca Torta
(University of Turin, Italy)

Publisher's Version

Identifying Potential Deadlocked Instructions in a Multi-threaded ooRexx Program
Rony G. Flatscher and Till Winkler
(Vienna University of Economics and Business, Austria)

Publisher's Version

Runtime Verified Neural Networks for Cyber-Physical Systems
Dhiren Tripuramallu, Ayush Anand, Srinivas Pinisetty, Hammond Pearce, and Partha Roop
(IIT Bhubaneswar, India; UNSW, Sydney, Australia; University of Auckland, New Zealand)

Publisher's Version

proc time: 1.61