A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits. - Ezio Bartocci; Luca Bortolussi; Laura Nenzi (CMSB, 2013)

On the Robustness of Temporal Properties for Stochastic Models. - Ezio Bartocci; Luca Bortolussi; Laura Nenzi; Guido Sanguinetti (HSB, 2013)

Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic. - Laura Nenzi; Luca Bortolussi (VALUETOOLS, 2014)

Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic. - Ezio Bartocci; Luca Bortolussi; Dimitrios Milios; Laura Nenzi; Guido Sanguinetti (HSB, 2015)

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. - Laura Nenzi; Luca Bortolussi; Vincenzo Ciancia; Michele Loreti; Mieke Massink (RV, 2015)

System design of stochastic models using robustness of temporal properties. - Ezio Bartocci; Luca Bortolussi; Laura Nenzi; Guido Sanguinetti (Theor. Comput. Sci., 2015)

jSSTL - A Tool to Monitor Spatio-Temporal Properties. - Laura Nenzi; Luca Bortolussi; Michele Loreti (VALUETOOLS, 2016)

Monitoring mobile and spatially distributed cyber-physical systems. - Ezio Bartocci; Luca Bortolussi; Michele Loreti; Laura Nenzi (MEMOCODE, 2017)

Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems. - Ludovica Luisa Vissat; Michele Loreti; Laura Nenzi; Jane Hillston; Glenn Marion (QEST, 2017)

Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic. - Ludovica Luisa Vissat; Jane Hillston; Michele Loreti; Laura Nenzi (VALUETOOLS, 2017)

Signal Convolution Logic. - Simone Silvetti; Laura Nenzi; Ezio Bartocci; Luca Bortolussi (ATVA, 2018)

A Robust Genetic Algorithm for Learning Temporal Specifications from Data. - Laura Nenzi; Simone Silvetti; Ezio Bartocci; Luca Bortolussi (QEST, 2018)

Model checking Markov population models by stochastic approximations. - Luca Bortolussi; Roberta Lanciani; Laura Nenzi (Inf. Comput., 2018)

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. - Laura Nenzi; Luca Bortolussi; Vincenzo Ciancia; Michele Loreti; Mieke Massink (Log. Methods Comput. Sci., 2018)

A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors. - Josephine Lamp; Simone Silvetti; Marc D. Breton; Laura Nenzi; Lu Feng 001 (CMSB, 2019)

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; et al. (SEAMS@ICSE, 2019)

Inferring analyzable models from trajectories of spatially-distributed internet of things. - Christos Tsigkanos; Laura Nenzi; Michele Loreti; Martin Garriga; Schahram Dustdar; Carlo Ghezzi (SEAMS@ICSE, 2019)

Analysis of Spatio-temporal Properties of Stochastic Systems Using TSTL. - Ludovica Luisa Vissat; Michele Loreti; Laura Nenzi; Jane Hillston; Glenn Marion (ACM Trans. Model. Comput. Simul., 2019)

A kernel function for Signal Temporal Logic formulae. - Luca Bortolussi; Giuseppe Maria Gallo; Laura Nenzi (OVERLAY, 2020)

Monitoring Spatio-Temporal Properties (Invited Tutorial). - Laura Nenzi; Ezio Bartocci; Luca Bortolussi; Michele Loreti; Ennio Visconti (RV, 2020)

Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems. - Sara Mohammadinejad; Jyotirmoy V. Deshmukh; Laura Nenzi (ATVA, 2021)

Online monitoring of spatio-temporal properties for imprecise signals. - Ennio Visconti; Ezio Bartocci; Michele Loreti; Laura Nenzi (MEMOCODE, 2021)

MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. - Ezio Bartocci; Luca Bortolussi; Laura Nenzi; Simone Silvetti (CoRR, 2021)

Posterior predictive model assessment using formal methods in a spatio-temporal mode. - Laura Vana; Ennio Visconti; Laura Nenzi; Annalisa Cadonna; Gregor Kastner (CoRR, 2021)

One-Shot Learning of Ensembles of Temporal Logic Formulas for Anomaly Detection in Cyber-Physical Systems. - Patrick Indri; Alberto Bartoli; Eric Medvet; Laura Nenzi (EuroGP, 2022)

WebMonitor: Verification of Web User Interfaces. - Ennio Visconti; Christos Tsigkanos; Laura Nenzi (ASE, 2022)

Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes. - Luca Bortolussi; Giuseppe Maria Gallo; Jan Kretínský; Laura Nenzi (TACAS (1), 2022)

A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. - Laura Nenzi; Ezio Bartocci; Luca Bortolussi; Michele Loreti (Log. Methods Comput. Sci., 2022)

Reliable and Explainable AI in Trieste. - Emanuele Ballarin; Luca Bortolussi; Francesca Cairoli; Chiara Gallese; Laura Nenzi; Gaia Saveri (Ital-IA, 2023)

Learning Temporal Logic Formulas from Time-Series Data (Invited Talk). - Laura Nenzi (TIME, 2023)

Context, Composition, Automation, and Communication - The C2AC Roadmap for Modeling and Simulation. - 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 (CoRR, 2023)

MoonLight: a lightweight tool for monitoring spatio-temporal properties. - Laura Nenzi; Ezio Bartocci; Luca Bortolussi; Simone Silvetti; Michele Loreti (Int. J. Softw. Tools Technol. Transf., 2023)

stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic. - Gaia Saveri; Laura Nenzi; Luca Bortolussi; Jan Kretínský (ECAI, 2024)

Adaptable Configuration of Decentralized Monitors. - Ennio Visconti; Ezio Bartocci; Yliès Falcone; Laura Nenzi (FORTE, 2024)

Is Machine Learning Model Checking Privacy Preserving? - Luca Bortolussi; Laura Nenzi; Gaia Saveri; Simone Silvetti (ISoLA (2), 2024)

ECATS: Explainable-by-Design Concept-Based Anomaly Detection for Time Series. - Irene Ferfoglia; Gaia Saveri; Laura Nenzi; Luca Bortolussi (NeSy (2), 2024)

Context, Composition, Automation, and Communication: The C2AC Roadmap for Modeling and Simulation. - 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 (ACM Trans. Model. Comput. Simul., 2024)

Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata. - Anand Balakrishnan 001; Sheryl Paul; Simone Silvetti; Laura Nenzi; Jyotirmoy V. Deshmukh (HSCC, 2025)

BUSTLE: A Versatile Tool for the Evolutionary Learning of STL Specifications from Data. - Federico Pigozzi; Laura Nenzi; Eric Medvet (Evol. Comput., 2025)

Automated Monitoring of Web User Interfaces. - Ennio Visconti; Christos Tsigkanos; Laura Nenzi (ACM Trans. Web, 2025)

Towards Interpretable Concept Learning over Time Series via Temporal Logic Semantics. - Irene Ferfoglia; Simone Silvetti; Gaia Saveri; Laura Nenzi; Luca Bortolussi (CoRR, 2025)