Laura Nenzi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
12
Active years
2015–2026
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | KR | Time Robustness for Point-Based Semantics of Metric Interval Temporal Logic. | Simone Silvetti, Ivan Compagnucci, Francesca Cairoli, Catia Trubiani, Laura Nenzi |
| 2025 | RV | Modular and Online Monitoring of Temporal Logic Specification with Integral and Filter. | Simone Silvetti, Michele Loreti, Laura Nenzi |
| 2024 | ECAI | stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic. | Gaia Saveri, Laura Nenzi, Luca Bortolussi, Jan Kretnsk |
| 2024 | FORTE | Adaptable Configuration of Decentralized Monitors. | Ennio Visconti, Ezio Bartocci, Ylis Falcone, Laura Nenzi |
| 2024 | ISoLA | Is Machine Learning Model Checking Privacy Preserving? | Luca Bortolussi, Laura Nenzi, Gaia Saveri, Simone Silvetti |
| 2024 | NeSy | ECATS: Explainable-by-Design Concept-Based Anomaly Detection for Time Series. | Irene Ferfoglia, Gaia Saveri, Laura Nenzi, Luca Bortolussi |
| 2023 | TIME | Learning Temporal Logic Formulas from Time-Series Data (Invited Talk). | Laura Nenzi |
| 2022 | EUROGP | One-Shot Learning of Ensembles of Temporal Logic Formulas for Anomaly Detection in Cyber-Physical Systems. | Patrick Indri, Alberto Bartoli, Eric Medvet, Laura Nenzi |
| 2022 | TACAS | Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes. | Luca Bortolussi, Giuseppe Maria Gallo, Jan Kretnsk, Laura Nenzi |
| 2021 | ATVA | Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems. | Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Laura Nenzi |
| 2021 | MEMOCODE | Online monitoring of spatio-temporal properties for imprecise signals. | Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi |
| 2020 | RV | MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. | Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti |
| 2020 | RV | Monitoring Spatio-Temporal Properties (Invited Tutorial). | Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Ennio Visconti |
| 2019 | ICSE | Modelling and analysing resilient cyber-physical systems. | Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel A. Moreno, Hausi A. Mller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao |
| 2019 | ICSE | Inferring analyzable models from trajectories of spatially-distributed internet of things. | Christos Tsigkanos, Laura Nenzi, Michele Loreti, Martin Garriga, Schahram Dustdar, Carlo Ghezzi |
| 2018 | ATVA | Signal Convolution Logic. | Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi |
| 2017 | MEMOCODE | Monitoring mobile and spatially distributed cyber-physical systems. | Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi |
| 2015 | RV | Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. | Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink |