NENZI, LAURA
NENZI, LAURA
Dipartimento di Ingegneria e Architettura
Ricercatori a tempo determinato
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems
2022-01-01 Nenzi, L.; Bartocci, E.; Bortolussi, L.; Loreti, M.
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors
2019-01-01 Lamp, J.; Silvetti, S.; Breton, M.; Nenzi, L.; Feng, L.
A robust genetic algorithm for learning temporal specifications from data
2018-01-01 Nenzi, Laura; Silvetti, Simone; Bartocci, Ezio; Bortolussi, Luca
A temporal logic approach to modular design of synthetic biological circuits
2013-01-01 Bartocci, E.; Bortolussi, Luca; Nenzi, L.
A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits
2013-01-01 Ezio, Bartocci; Bortolussi, Luca; Nenzi, Laura
Analysis of spatio-temporal properties of stochastic systems using TSTL
2019-01-01 Vissat, L. L.; Loreti, M.; Nenzi, L.; Hillston, J.; Marion, G.
Automatic verification of reliability requirements of spatio-temporal analysis using three-valued spatio-temporal logic
2017-01-01 Vissat, Ludovica Luisa; Hillston, Jane; Loreti, Michele; Nenzi, Laura
BUSTLE: a Versatile Tool for the Evolutionary Learning of STL Specifications from Data
2024-01-01 Pigozzi, Federico; Nenzi, Laura; Medvet, Eric
Inferring analyzable models from trajectories of spatially-distributed internet of things
2019-01-01 Tsigkanos, C.; Nenzi, L.; Loreti, M.; Garriga, M.; Dustdar, S.; Ghezzi, C.
jSSTL - A tool to monitor spatio-temporal properties
2017-01-01 Bortolussi, Luca; Loreti, Michele; Nenzi, Laura
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes
2022-01-01 Bortolussi, Luca; Maria Gallo, Giuseppe; Kretinski, Jan; Nenzi, Laura
Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems
2021-01-01 Mohammadinejad, S.; Deshmukh, J. V.; Nenzi, L.
Mining Road Traffic Rules with Signal Temporal Logic and Grammar-Based Genetic Programming
2021-01-01 Pigozzi, Federico; Medvet, Eric; Nenzi, Laura
Model checking Markov population models by stochastic approximations
2018-01-01 Bortolussi, Luca; Lanciani, Roberta; Nenzi, Laura
Modelling and Analysing Resilient Cyber-Physical Systems
2019-01-01 Bennaceur, A.; Ghezzi, C.; Tei, K.; Kehrer, T.; Weyns, D.; Calinescu, R.; Dustdar, S.; Hu, Z.; Honiden, S.; Ishikawa, F.; Jin, Z.; Kramer, J.; Litoiu, M.; Loreti, M.; Moreno, G.; Muller, H.; Nenzi, L.; Nuseibeh, B.; Pasquale, L.; Reisig, W.; Schmidt, H.; Tsigkanos, C.; Zhao, H.
Monitoring mobile and spatially distributed cyber-physical systems
2017-01-01 Bartocci, Ezio; Bortolussi, Luca; Loreti, Michele; Nenzi, Laura
Monitoring Spatio-Temporal Properties (Invited Tutorial)
2020-01-01 Nenzi, L.; Bartocci, E.; Bortolussi, L.; Loreti, M.; Visconti, E.
MoonLight: a lightweight tool for monitoring spatio-temporal properties
2023-01-01 Nenzi, L; Bartocci, E; Bortolussi, L; Silvetti, S; Loreti, M
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties
2020-01-01 Bartocci, E.; Bortolussi, L.; Loreti, M.; Nenzi, L.; Silvetti, S.
On the Robustness of Temporal Properties for Stochastic Models
2013-01-01 Bartocci, E.; Bortolussi, Luca; Nenzi, L.; Sanguinetti, G.