VORTEX@ISSTA

Keyphrases

Publications

2023

2021

VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, Virtual Event, Denmark, 12 July 2021. VORTEX@ISSTA (2021)
Filippo Ricca, Viviana Mascardi, Alessandro Verri
Test'n'Mo: a collaborative platform for human testers and intelligent monitoring agents. VORTEX@ISSTA (2021)
Axel Curmi, Christian Colombo, Mark Vella
Runtime verification for trustworthy secure shell deployment. VORTEX@ISSTA (2021)
Joshua Ellul, Gordon J. Pace
Optional monitoring for long-lived transactions. VORTEX@ISSTA (2021)
Giorgio Audrito, Gianluca Torta
Towards aggregate monitoring of spatio-temporal properties. VORTEX@ISSTA (2021)
Michael Fisher, Angelo Ferrando, Rafael C. Cardoso
Increasing confidence in autonomous systems. VORTEX@ISSTA (2021)
Julien Signoles
The e-ACSL perspective on runtime assertion checking. VORTEX@ISSTA (2021)
Giorgio Audrito, Ferruccio Damiani, Giuseppe Martino Di Giuda, Silvia Meschini, Laura Pellegrini, Elena Seghezzi, Lavinia Chiara Tagliabue, Lorenzo Testa, Gianluca Torta
RM for users' safety and security in the built environment. VORTEX@ISSTA (2021)
Angelo Ferrando, Rafael C. Cardoso
RVPLAN: a general purpose framework for replanning using runtime verification. VORTEX@ISSTA (2021)
César Sánchez
Synchronous and asynchronous stream runtime verification. VORTEX@ISSTA (2021)