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
Article: isstaws24vortexforeword-fm000-p doi:
Welcome from the Chairs
Article: isstaws24vortexforeword-fm001-p doi:
VORTEX 2024 Organization
Article: isstaws24vortexforeword-fm002-p doi:

Keynotes

R2U2: Runtime Verification Takes Off! (Keynote)
Kristin Yvonne Rozier
(Iowa State University, USA)
Publisher's Version Article: isstaws24vortexmain-id7-p doi:10.1145/3679008.3685539
Runtime Invariant Checking in Robotic Systems and Deep Learning Models (Keynote)
Xiangyu Zhang
(Purdue University, USA)
Publisher's Version Article: isstaws24vortexmain-id8-p doi:10.1145/3679008.3685540
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 Article: isstaws24vortexmain-id9-p doi:10.1145/3679008.3685541

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 Article: isstaws24vortexmain-id1-p doi:10.1145/3679008.3685542
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 Article: isstaws24vortexmain-id2-p doi:10.1145/3679008.3685543
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 Article: isstaws24vortexmain-id3-p doi:10.1145/3679008.3685544
Real-Time Guarantees for SLCS Monitors in XC
Giorgio Audrito, Ferruccio Damiani, and Gianluca Torta
(University of Turin, Italy)
Publisher's Version Article: isstaws24vortexmain-id5-p doi:10.1145/3679008.3685545
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 Article: isstaws24vortexmain-id4-p doi:10.1145/3679008.3685546
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 Article: isstaws24vortexmain-id6-p doi:10.1145/3679008.3685547

proc time: 0.01