ISSTA 2021 Workshops
30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2021)
Powered by
Conference Publishing Consulting
5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution (VORTEX 2021), July 12, 2021, Virtual, Denmark

VORTEX 2021 – Proceedings

 Contents - Abstracts - Authors

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

Frontmatter

Title Page
Article: isstaws21vortexforeword-fm000-p doi:
Message from the Chairs
Article: isstaws21vortexforeword-fm001-p doi:

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 Article: isstaws21vortexmain-p8-p doi:10.1145/3464974.3468452
Synchronous and Asynchronous Stream Runtime Verification
César Sánchez
(IMDEA Software Institute, Spain)
Publisher's Version Article: isstaws21vortexmain-p9-p doi:10.1145/3464974.3468453
The E-ACSL Perspective on Runtime Assertion Checking
Julien Signoles
(University of Paris-Saclay, France; CEA LIST, France)
Publisher's Version Article: isstaws21vortexmain-p7-p doi:10.1145/3464974.3468451

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 Article: isstaws21vortexmain-p1-p doi:10.1145/3464974.3468445
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 Article: isstaws21vortexmain-p2-p doi:10.1145/3464974.3468446
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 Article: isstaws21vortexmain-p3-p doi:10.1145/3464974.3468447
Towards Aggregate Monitoring of Spatio-temporal Properties
Giorgio Audrito and Gianluca Torta
(University of Turin, Italy)
Publisher's Version Article: isstaws21vortexmain-p4-p doi:10.1145/3464974.3468448
Runtime Verification for Trustworthy Secure Shell Deployment
Axel Curmi, Christian Colombo, and Mark Vella
(University of Malta, Malta)
Publisher's Version Article: isstaws21vortexmain-p5-p doi:10.1145/3464974.3468449
Optional Monitoring for Long-Lived Transactions
Joshua Ellul and Gordon J. Pace
(University of Malta, Malta)
Publisher's Version Article: isstaws21vortexmain-p6-p doi:10.1145/3464974.3468450

proc time: 0.03