Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings von Katsaros, Panagiotis, Nenzi, Laura

Volltext

Mining Road Traffic Rules with Signal Temporal Logic and Grammar-Based Genetic Programming von Pigozzi, Federico, Medvet, Eric, Nenzi, Laura

Volltext

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties von Nenzi, Laura, Bortolussi, Luca, Ciancia, Vincenzo, Loreti, Michele, Massink, Mieke

Volltext

Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July... von Isac, Omri, Ivanov, Radoslav, Katz, Guy, Narodytska, Nina, Nenzi, Laura

Volltext

Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic von Nenzi, Laura, Bortolussi, Luca

Volltext

On the Robustness of Temporal Properties for Stochastic Models von Bartocci, Ezio, Bortolussi, Luca, Nenzi, Laura, Sanguinetti, Guido

Volltext

Review of: Vaporis, Voices of Early Modern Japan von Nenzi, Laura

Volltext

System design of stochastic models using robustness of temporal properties von Bartocci, Ezio, Bortolussi, Luca, Nenzi, Laura, Sanguinetti, Guido

Volltext

Street Performers and Society in Urban Japan, 1600–1900: The Beggar’s Gift by Gerald Groemer (review) von Nenzi, Laura

Volltext

Government by Mourning: Death and Political Integration in Japan, 1603-1912 von Nenzi, Laura

Volltext

MoonLight: a lightweight tool for monitoring spatio-temporal properties von Nenzi, Laura, Bartocci, Ezio, Bortolussi, Luca, Silvetti, Simone, Loreti, Michele

Volltext

Monitoring Blackbox Implementations of Multiparty Session Protocols von van den Heuvel, Bas, Pérez, Jorge A., Dobre, Rares A.

Volltext

Model checking Markov population models by stochastic approximations von Bortolussi, Luca, Lanciani, Roberta, Nenzi, Laura

Volltext

Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM von Soueidi, Chukri, Falcone, Yliès

Volltext

Instrumentation for RV: From Basic Monitoring to Advanced Use Cases von Soueidi, Chukri, Falcone, Yliès

Volltext

Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees von Cairoli, Francesca, Bortolussi, Luca, Paoletti, Nicola

Volltext

Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking von Bortolussi, Luca, Cairoli, Francesca, Carbone, Ginevra, Pulcini, Paolo

Volltext

Customizable Reference Runtime Monitoring of Neural Networks Using Resolution Boxes von Wu, Changshun, Falcone, Yliès, Bensalem, Saddek

Volltext

Learning Monitor Ensembles for Operational Design Domains von Torfah, Hazem, Joshi, Aniruddha, Shah, Shetal, Akshay, S., Chakraborty, Supratik, Seshia, Sanjit A.

Volltext

Runtime Verification Prediction for Traces with Data von Omer, Moran, Peled, Doron

Volltext