VORTEX 2021 – Proceedings

5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution (VORTEX 2021)

Frontmatter

Message from the Chairs

Info

Invited Keynotes

Increasing Confidence in Autonomous Systems
Michael Fisher, Angelo Ferrando, and Rafael C. Cardoso
(University of Manchester, UK; University of Genoa, Italy)

Publisher's Version

Synchronous and Asynchronous Stream Runtime Verification
César Sánchez
(IMDEA Software Institute, Spain)

Publisher's Version

The E-ACSL Perspective on Runtime Assertion Checking
Julien Signoles
(University of Paris-Saclay, France; CEA LIST, France)

Publisher's Version

Extended Abstracts

RM for Users’ Safety and Security in the Built Environment
Giorgio Audrito, Ferruccio Damiani, Giuseppe Di Giuda, Silvia Meschini, Laura Pellegrini, Elena Seghezzi, Lavinia Chiara Tagliabue, Lorenzo Testa, and Gianluca Torta
(University of Turin, Italy; Politecnico di Milano, Italy; Reply, Italy)

Publisher's Version

Test’n’Mo: A Collaborative Platform for Human Testers and Intelligent Monitoring Agents
Filippo Ricca, Viviana Mascardi, and Alessandro Verri
(University of Genoa, Italy)

Publisher's Version

RVPLAN: A General Purpose Framework for Replanning using Runtime Verification
Angelo Ferrando and Rafael C. Cardoso
(University of Genoa, Italy; University of Manchester, UK)

Publisher's Version

Towards Aggregate Monitoring of Spatio-temporal Properties
Giorgio Audrito and Gianluca Torta
(University of Turin, Italy)

Publisher's Version

Runtime Verification for Trustworthy Secure Shell Deployment
Axel Curmi, Christian Colombo, and Mark Vella
(University of Malta, Malta)

Publisher's Version

Optional Monitoring for Long-Lived Transactions
Joshua Ellul and Gordon J. Pace
(University of Malta, Malta)

Publisher's Version

proc time: 2.15