Abstract is missing.
- Increasing confidence in autonomous systemsMichael Fisher 0001, Angelo Ferrando, Rafael C. Cardoso. 1-4 [doi]
- Synchronous and asynchronous stream runtime verificationCésar Sánchez. 5-7 [doi]
- The e-ACSL perspective on runtime assertion checkingJulien Signoles. 8-12 [doi]
- RM for users' safety and security in the built environmentGiorgio Audrito, Ferruccio Damiani, Giuseppe Martino Di Giuda, Silvia Meschini, Laura Pellegrini, Elena Seghezzi, Lavinia Chiara Tagliabue, Lorenzo Testa, Gianluca Torta. 13-16 [doi]
- Test'n'Mo: a collaborative platform for human testers and intelligent monitoring agentsFilippo Ricca, Viviana Mascardi, Alessandro Verri. 17-21 [doi]
- RVPLAN: a general purpose framework for replanning using runtime verificationAngelo Ferrando, Rafael C. Cardoso. 22-25 [doi]
- Towards aggregate monitoring of spatio-temporal propertiesGiorgio Audrito, Gianluca Torta. 26-29 [doi]
- Runtime verification for trustworthy secure shell deploymentAxel Curmi, Christian Colombo 0001, Mark Vella. 30-34 [doi]
- Optional monitoring for long-lived transactionsJoshua Ellul, Gordon J. Pace. 35-39 [doi]