Laura Nenzi

61 papers A* 1A 1B 8C 4Journal 29Unranked 17
YearRankTypeTitle / Venue / Authors
2025 J jnl
Automated Monitoring of Web User Interfaces.
ACM Trans. Web
Ennio Visconti, Christos Tsigkanos, Laura Nenzi
2025 J jnl
BUSTLE: A Versatile Tool for the Evolutionary Learning of STL Specifications from Data.
Evol. Comput.
Federico Pigozzi, Laura Nenzi, Eric Medvet
2025 J jnl
Guided by Stars: Interpretable Concept Learning Over Time Series via Temporal Logic Semantics.
CoRR
Irene Ferfoglia, Simone Silvetti, Gaia Saveri, Laura Nenzi, Luca Bortolussi
2025 B conf
Modular and Online Monitoring of Temporal Logic Specification with Integral and Filter.
RV
Simone Silvetti, Michele Loreti, Laura Nenzi
2025 — conf
Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata.
HSCC
Anand Balakrishnan, Sheryl Paul, Simone Silvetti, Laura Nenzi, Jyotirmoy V. Deshmukh
2025 J jnl
Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata.
CoRR
Anand Balakrishnan, Sheryl Paul, Simone Silvetti, Laura Nenzi, Jyotirmoy V. Deshmukh
2025 J jnl
Towards Interpretable Concept Learning over Time Series via Temporal Logic Semantics.
CoRR
Irene Ferfoglia, Simone Silvetti, Gaia Saveri, Laura Nenzi, Luca Bortolussi
2024 C conf
Adaptable Configuration of Decentralized Monitors.
FORTE
Ennio Visconti, Ezio Bartocci, Yliès Falcone, Laura Nenzi
2024 J jnl
Context, Composition, Automation, and Communication: The C
ACM Trans. Model. Comput. Simul.
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
2024 — conf
ECATS: Explainable-by-Design Concept-Based Anomaly Detection for Time Series.
NeSy (2)
Irene Ferfoglia, Gaia Saveri, Laura Nenzi, Luca Bortolussi
2024 J jnl
ECATS: Explainable-by-design concept-based anomaly detection for time series.
CoRR
Irene Ferfoglia, Gaia Saveri, Laura Nenzi, Luca Bortolussi
2024 — conf
Is Machine Learning Model Checking Privacy Preserving?
ISoLA (2)
Luca Bortolussi, Laura Nenzi, Gaia Saveri, Simone Silvetti
2024 A conf
stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic.
ECAI
Gaia Saveri, Laura Nenzi, Luca Bortolussi, Jan Kretínský
2024 J jnl
stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic.
CoRR
Gaia Saveri, Laura Nenzi, Luca Bortolussi, Jan Kretínský
2023 J jnl
Context, Composition, Automation, and Communication - The C2AC Roadmap for Modeling and Simulation.
CoRR
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
2023 C conf
Learning Temporal Logic Formulas from Time-Series Data (Invited Talk).
TIME
Laura Nenzi
2023 J jnl
MoonLight: a lightweight tool for monitoring spatio-temporal properties.
Int. J. Softw. Tools Technol. Transf.
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Simone Silvetti, Michele Loreti
2023 — conf
Reliable and Explainable AI in Trieste.
Ital-IA
Emanuele Ballarin, Luca Bortolussi, Francesca Cairoli, Chiara Gallese, Laura Nenzi, Gaia Saveri
2023 B ed.
Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings
RV
Panagiotis Katsaros, Laura Nenzi
2022 J jnl
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems.
Log. Methods Comput. Sci.
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti
2022 — conf
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes.
TACAS (1)
Luca Bortolussi, Giuseppe Maria Gallo, Jan Kretínský, Laura Nenzi
2022 J jnl
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes.
CoRR
Luca Bortolussi, Giuseppe Maria Gallo, Jan Kretínský, Laura Nenzi
2022 B conf
One-Shot Learning of Ensembles of Temporal Logic Formulas for Anomaly Detection in Cyber-Physical Systems.
EuroGP
Patrick Indri, Alberto Bartoli, Eric Medvet, Laura Nenzi
2022 — ed.
Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings
NSV/FoMLAS@CAV
Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi
2022 A* conf
WebMonitor: Verification of Web User Interfaces.
ASE
Ennio Visconti, Christos Tsigkanos, Laura Nenzi
2021 J jnl
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems.
CoRR
Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Michele Loreti
2021 B conf
Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems.
ATVA
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Laura Nenzi
2021 J jnl
Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems.
CoRR
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Laura Nenzi
2021 J jnl
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties.
CoRR
Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Simone Silvetti
2021 J jnl
Online Monitoring of Spatio-Temporal Properties for Imprecise Signals.
CoRR
Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi
2021 C conf
Online monitoring of spatio-temporal properties for imprecise signals.
MEMOCODE
Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi
2021 J jnl
Posterior predictive model assessment using formal methods in a spatio-temporal mode.
CoRR
Laura Vana, Ennio Visconti, Laura Nenzi, Annalisa Cadonna, Gregor Kastner
2020 — conf
A kernel function for Signal Temporal Logic formulae.
OVERLAY
Luca Bortolussi, Giuseppe Maria Gallo, Laura Nenzi
2020 J jnl
A kernel function for Signal Temporal Logic formulae.
CoRR
Luca Bortolussi, Giuseppe Maria Gallo, Laura Nenzi
2020 B conf
Monitoring Spatio-Temporal Properties (Invited Tutorial).
RV
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Ennio Visconti
2020 B conf
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties.
RV
Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti
2019 — conf
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors.
CMSB
Josephine Lamp, Simone Silvetti, Marc D. Breton, Laura Nenzi, Lu Feng
2019 J jnl
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors.
CoRR
Josephine Lamp, Simone Silvetti, Marc D. Breton, Laura Nenzi, Lu Feng
2019 J jnl
Analysis of Spatio-temporal Properties of Stochastic Systems Using TSTL.
ACM Trans. Model. Comput. Simul.
Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Hillston, Glenn Marion
2019 — conf
Inferring analyzable models from trajectories of spatially-distributed internet of things.
SEAMS@ICSE
Christos Tsigkanos, Laura Nenzi, Michele Loreti, Martin Garriga, Schahram Dustdar, Carlo Ghezzi
2019 — conf
Modelling and analysing resilient cyber-physical systems.
SEAMS@ICSE
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
2019 J jnl
Monitoring Mobile and Spatially Distributed Cyber-Physical Systems.
CoRR
Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi
2018 — conf
A Robust Genetic Algorithm for Learning Temporal Specifications from Data.
QEST
Laura Nenzi, Simone Silvetti, Ezio Bartocci, Luca Bortolussi
2018 J jnl
Model checking Markov population models by stochastic approximations.
Inf. Comput.
Luca Bortolussi, Roberta Lanciani, Laura Nenzi
2018 J jnl
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL.
Log. Methods Comput. Sci.
Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink
2018 B conf
Signal Convolution Logic.
ATVA
Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi
2018 J jnl
Signal Convolution Logic.
CoRR
Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi
2017 J jnl
A Robust Genetic Algorithm for Learning Temporal Specifications from Data.
CoRR
Simone Silvetti, Laura Nenzi, Luca Bortolussi, Ezio Bartocci
2017 — conf
Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic.
VALUETOOLS
Ludovica Luisa Vissat, Jane Hillston, Michele Loreti, Laura Nenzi
2017 J jnl
Model Checking Markov Population Models by Stochastic Approximations.
CoRR
Luca Bortolussi, Roberta Lanciani, Laura Nenzi
2017 C conf
Monitoring mobile and spatially distributed cyber-physical systems.
MEMOCODE
Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi
2017 J jnl
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL.
CoRR
Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink
2017 — conf
Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems.
QEST
Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Hillston, Glenn Marion
2016 — conf
jSSTL - A Tool to Monitor Spatio-Temporal Properties.
VALUETOOLS
Laura Nenzi, Luca Bortolussi, Michele Loreti
2015 B conf
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties.
RV
Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink
2015 — conf
Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic.
HSB
Ezio Bartocci, Luca Bortolussi, Dimitrios Milios, Laura Nenzi, Guido Sanguinetti
2015 J jnl
System design of stochastic models using robustness of temporal properties.
Theor. Comput. Sci.
Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti
2014 — conf
Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic.
VALUETOOLS
Laura Nenzi, Luca Bortolussi
2013 — conf
A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits.
CMSB
Ezio Bartocci, Luca Bortolussi, Laura Nenzi
2013 J jnl
A temporal logic approach to modular design of synthetic biological circuits.
CoRR
Ezio Bartocci, Luca Bortolussi, Laura Nenzi
2013 — conf
On the Robustness of Temporal Properties for Stochastic Models.
HSB
Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti