Laura Nenzi

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 44

Top Topics

Stochastic Model

Physical Systems

Top Venues

Publications

Gaia Saveri, Laura Nenzi, Luca Bortolussi, Jan Kretínský
stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic. CoRR (2024)
Irene Ferfoglia, Gaia Saveri, Laura Nenzi, Luca Bortolussi
ECATS: Explainable-by-design concept-based anomaly detection for time series. CoRR (2024)
Ennio Visconti, Ezio Bartocci, Yliès Falcone, Laura Nenzi
Adaptable Configuration of Decentralized Monitors. FORTE (2024)
Emanuele Ballarin, Luca Bortolussi, Francesca Cairoli, Chiara Gallese, Laura Nenzi, Gaia Saveri
Reliable and Explainable AI in Trieste. Ital-IA (2023)
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Simone Silvetti, Michele Loreti
MoonLight: a lightweight tool for monitoring spatio-temporal properties. Int. J. Softw. Tools Technol. Transf. 25 (4) (2023)
Adelinde M. Uhrmacher, Peter I. Frazier, Reiner Hähnle, Franziska Klügl, Fabian Lorig, Bertram Ludäscher, Laura Nenzi, Cristina Ruiz Martin, Bernhard Rumpe, Claudia Szabo, Gabriel A. Wainer, Pia Wilsdorf
Context, Composition, Automation, and Communication - The C2AC Roadmap for Modeling and Simulation. CoRR (2023)
Laura Nenzi
Learning Temporal Logic Formulas from Time-Series Data (Invited Talk). TIME (2023)
Luca Bortolussi, Giuseppe Maria Gallo, Jan Kretínský, Laura Nenzi
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes. TACAS (1) (2022)
Patrick Indri, Alberto Bartoli, Eric Medvet, Laura Nenzi
One-Shot Learning of Ensembles of Temporal Logic Formulas for Anomaly Detection in Cyber-Physical Systems. EuroGP (2022)
Ennio Visconti, Christos Tsigkanos, Laura Nenzi
WebMonitor: Verification of Web User Interfaces. ASE (2022)
Luca Bortolussi, Giuseppe Maria Gallo, Jan Kretínský, Laura Nenzi
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes. CoRR (2022)
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. Log. Methods Comput. Sci. 18 (1) (2022)
Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi
Online monitoring of spatio-temporal properties for imprecise signals. MEMOCODE (2021)
Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Michele Loreti
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. CoRR (2021)
Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Simone Silvetti
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. CoRR (2021)
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Laura Nenzi
Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems. ATVA (2021)
Laura Vana, Ennio Visconti, Laura Nenzi, Annalisa Cadonna, Gregor Kastner
Posterior predictive model assessment using formal methods in a spatio-temporal mode. CoRR (2021)
Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi
Online Monitoring of Spatio-Temporal Properties for Imprecise Signals. CoRR (2021)
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Laura Nenzi
Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems. CoRR (2021)
Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. RV (2020)
Luca Bortolussi, Giuseppe Maria Gallo, Laura Nenzi
A kernel function for Signal Temporal Logic formulae. CoRR (2020)
Luca Bortolussi, Giuseppe Maria Gallo, Laura Nenzi
A kernel function for Signal Temporal Logic formulae. OVERLAY (2020)
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Ennio Visconti
Monitoring Spatio-Temporal Properties (Invited Tutorial). RV (2020)
Josephine Lamp, Simone Silvetti, Marc D. Breton, Laura Nenzi, Lu Feng
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors. CoRR (2019)
Josephine Lamp, Simone Silvetti, Marc D. Breton, Laura Nenzi, Lu Feng
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors. CMSB (2019)
Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Hillston, Glenn Marion
Analysis of Spatio-temporal Properties of Stochastic Systems Using TSTL. ACM Trans. Model. Comput. Simul. 29 (4) (2019)
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. Müller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao
Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE (2019)
Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi
Monitoring Mobile and Spatially Distributed Cyber-Physical Systems. CoRR (2019)
Christos Tsigkanos, Laura Nenzi, Michele Loreti, Martin Garriga, Schahram Dustdar, Carlo Ghezzi
Inferring analyzable models from trajectories of spatially-distributed internet of things. SEAMS@ICSE (2019)
Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi
Signal Convolution Logic. CoRR (2018)
Laura Nenzi, Simone Silvetti, Ezio Bartocci, Luca Bortolussi
A Robust Genetic Algorithm for Learning Temporal Specifications from Data. QEST (2018)
Luca Bortolussi, Roberta Lanciani, Laura Nenzi
Model checking Markov population models by stochastic approximations. Inf. Comput. 262 (2018)
Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi
Signal Convolution Logic. ATVA (2018)
Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. Log. Methods Comput. Sci. 14 (4) (2018)
Simone Silvetti, Laura Nenzi, Luca Bortolussi, Ezio Bartocci
A Robust Genetic Algorithm for Learning Temporal Specifications from Data. CoRR (2017)
Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Hillston, Glenn Marion
Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems. QEST (2017)
Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi
Monitoring mobile and spatially distributed cyber-physical systems. MEMOCODE (2017)
Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. CoRR (2017)
Ludovica Luisa Vissat, Jane Hillston, Michele Loreti, Laura Nenzi
Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic. VALUETOOLS (2017)
Luca Bortolussi, Roberta Lanciani, Laura Nenzi
Model Checking Markov Population Models by Stochastic Approximations. CoRR (2017)
Laura Nenzi, Luca Bortolussi, Michele Loreti
jSSTL - A Tool to Monitor Spatio-Temporal Properties. VALUETOOLS (2016)
Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. RV (2015)
Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti
System design of stochastic models using robustness of temporal properties. Theor. Comput. Sci. 587 (2015)
Ezio Bartocci, Luca Bortolussi, Dimitrios Milios, Laura Nenzi, Guido Sanguinetti
Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic. HSB (2015)
Laura Nenzi, Luca Bortolussi
Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic. VALUETOOLS (2014)
Ezio Bartocci, Luca Bortolussi, Laura Nenzi
A temporal logic approach to modular design of synthetic biological circuits. CoRR (2013)
Ezio Bartocci, Luca Bortolussi, Laura Nenzi
A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits. CMSB (2013)
Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti
On the Robustness of Temporal Properties for Stochastic Models. HSB (2013)