Login / Signup
VORTEX@ISSTA
Publications
2023
Ferruccio Damiani
,
Gianluca Torta
On Stream Runtime Verification and Aggregate Programming.
VORTEX@ISSTA
(2023)
Giorgio Audrito
,
Daniel Haures
Combining Static and Runtime Verification with AC and Coq.
VORTEX@ISSTA
(2023)
Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution, VORTEX 2023, Seattle, WA, USA, 18 July 2023
VORTEX@ISSTA
(2023)
Riccardo Bianchini
Monitoring for Resource-Awareness.
VORTEX@ISSTA
(2023)
Angelo Ferrando
,
Andrea Gatti
,
Viviana Mascardi
RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa.
VORTEX@ISSTA
(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)