| |
Abela, Robert
|
VORTEX '24: "RVsec: Towards a Comprehensive ..."
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
|
| |
Aguzzi, Gianluca |
VORTEX '24: "Optimising Aggregate Monitors ..."
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
|
| |
Anand, Ayush |
VORTEX '24: "Runtime Verified Neural Networks ..."
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
|
| |
Audrito, Giorgio |
VORTEX '24: "Optimising Aggregate Monitors ..."
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
VORTEX '24: "Real-Time Guarantees for SLCS ..."
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
|
| |
Colombo, Christian
|
VORTEX '24: "RVsec: Towards a Comprehensive ..."
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
|
| |
Curmi, Axel |
VORTEX '24: "RVsec: Towards a Comprehensive ..."
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
|
| |
Damiani, Ferruccio
|
VORTEX '24: "Real-Time Guarantees for SLCS ..."
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
|
| |
Flatscher, Rony G.
|
VORTEX '24: "Devising a TraceObject Class ..."
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
VORTEX '24: "Identifying Potential Deadlocked ..."
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
|
| |
Havelund, Klaus
|
VORTEX '24: "Operational and Declarative ..."
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
|
| |
Omer, Moran
|
VORTEX '24: "Operational and Declarative ..."
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
|
| |
Pearce, Hammond
|
VORTEX '24: "Runtime Verified Neural Networks ..."
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
|
| |
Peled, Doron |
VORTEX '24: "Operational and Declarative ..."
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
|
| |
Pinisetty, Srinivas |
VORTEX '24: "Runtime Verified Neural Networks ..."
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
|
| |
Roop, Partha
|
VORTEX '24: "Runtime Verified Neural Networks ..."
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
|
| |
Rozier, Kristin Yvonne |
VORTEX '24: "R2U2: Runtime Verification ..."
R2U2: Runtime Verification Takes Off! (Keynote)
Kristin Yvonne Rozier
(Iowa State University, USA)
@InProceedings{VORTEX24p1,
author = {Kristin Yvonne Rozier},
title = {R2U2: Runtime Verification Takes Off! (Keynote)},
booktitle = {Proc.\ VORTEX},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3679008.3685539},
year = {2024},
}
Publisher's Version
Article: isstaws24vortexmain-id7-p (type: Keynote (1 page)) doi:10.1145/3679008.3685539
|
| |
Torta, Gianluca
|
VORTEX '24: "Real-Time Guarantees for SLCS ..."
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
|
| |
Tripuramallu, Dhiren |
VORTEX '24: "Runtime Verified Neural Networks ..."
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
|
| |
Viroli, Mirko
|
VORTEX '24: "Optimising Aggregate Monitors ..."
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
|
| |
Winkler, Till
|
VORTEX '24: "Devising a TraceObject Class ..."
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
VORTEX '24: "Identifying Potential Deadlocked ..."
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
|
| |
Zhang, Xiangyu
|
VORTEX '24: "Runtime Invariant Checking ..."
Runtime Invariant Checking in Robotic Systems and Deep Learning Models (Keynote)
Xiangyu Zhang
(Purdue University, USA)
@InProceedings{VORTEX24p13,
author = {Xiangyu Zhang},
title = {Runtime Invariant Checking in Robotic Systems and Deep Learning Models (Keynote)},
booktitle = {Proc.\ VORTEX},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3679008.3685540},
year = {2024},
}
Publisher's Version
Article: isstaws24vortexmain-id8-p (type: Keynote (1 page)) doi:10.1145/3679008.3685540
|