ISSTA 2024 Workshops
33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2024)
Powered by
Conference Publishing Consulting

7th ACM International Workshop on Verification and Monitoring at Runtime Execution (VORTEX 2024), September 19, 2024, Vienna, Austria

VORTEX 2024 – Proceedings

Contents - Abstracts - Authors

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

Frontmatter

Title Page
Welcome from the Chairs
VORTEX 2024 Organization

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: 2.25