Powered by
7th ACM International Workshop on Verification and Monitoring at Runtime Execution (VORTEX 2024), September 19, 2024,
Vienna, Austria
7th ACM International Workshop on Verification and Monitoring at Runtime Execution (VORTEX 2024)
Frontmatter
Title Page
Article: isstaws24vortexforeword-fm000-p (type: Frontmatter) doi:
Keynotes
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)
@InProceedings{VORTEX24p25,
author = {Klaus Havelund and Moran Omer and Doron Peled},
title = {Operational and Declarative Runtime Verification (Keynote)},
booktitle = {Proc.\ VORTEX},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3679008.3685541},
year = {2024},
}
Publisher's Version
Article: isstaws24vortexmain-id9-p (type: Keynote (8 pages, references excluded)) 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)
@InProceedings{VORTEX24p37,
author = {Christian Colombo and Axel Curmi and Robert Abela},
title = {RVsec: Towards a Comprehensive Technology Stack for Secure Deployment of Software Monitors},
booktitle = {Proc.\ VORTEX},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3679008.3685542},
year = {2024},
}
Publisher's Version
Article: isstaws24vortexmain-id1-p (type: Full Paper (8 pages, references excluded)) 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)
@InProceedings{VORTEX24p49,
author = {Rony G. Flatscher and Till Winkler},
title = {Devising a TraceObject Class for Improved Runtime Monitoring of ooRexx Applications},
booktitle = {Proc.\ VORTEX},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3679008.3685543},
year = {2024},
}
Publisher's Version
Article: isstaws24vortexmain-id2-p (type: Full Paper (8 pages, references excluded)) 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)
@InProceedings{VORTEX24p61,
author = {Gianluca Aguzzi and Giorgio Audrito and Mirko Viroli},
title = {Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Properties},
booktitle = {Proc.\ VORTEX},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3679008.3685544},
year = {2024},
}
Publisher's Version
Article: isstaws24vortexmain-id3-p (type: Full Paper (8 pages, references excluded)) doi:10.1145/3679008.3685544
Real-Time Guarantees for SLCS Monitors in XC
Giorgio Audrito,
Ferruccio Damiani, and
Gianluca Torta
(University of Turin, Italy)
@InProceedings{VORTEX24p73,
author = {Giorgio Audrito and Ferruccio Damiani and Gianluca Torta},
title = {Real-Time Guarantees for SLCS Monitors in XC},
booktitle = {Proc.\ VORTEX},
publisher = {ACM},
pages = {73-72},
doi = {10.1145/3679008.3685545},
year = {2024},
}
Publisher's Version
Article: isstaws24vortexmain-id5-p (type: Full Paper (8 pages, references excluded)) 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)
@InProceedings{VORTEX24p85,
author = {Rony G. Flatscher and Till Winkler},
title = {Identifying Potential Deadlocked Instructions in a Multi-threaded ooRexx Program},
booktitle = {Proc.\ VORTEX},
publisher = {ACM},
pages = {85-84},
doi = {10.1145/3679008.3685546},
year = {2024},
}
Publisher's Version
Article: isstaws24vortexmain-id4-p (type: Full Paper (8 pages, references excluded)) 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)
@InProceedings{VORTEX24p97,
author = {Dhiren Tripuramallu and Ayush Anand and Srinivas Pinisetty and Hammond Pearce and Partha Roop},
title = {Runtime Verified Neural Networks for Cyber-Physical Systems},
booktitle = {Proc.\ VORTEX},
publisher = {ACM},
pages = {97-96},
doi = {10.1145/3679008.3685547},
year = {2024},
}
Publisher's Version
Article: isstaws24vortexmain-id6-p (type: Full Paper (8 pages, references excluded)) doi:10.1145/3679008.3685547
proc time: 0.03