NENZI, LAURA
NENZI, LAURA
Dipartimento di Ingegneria e Architettura
Docenti di ruolo di IIa fascia
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
Adaptable Configuration of Decentralized Monitors
2024-01-01 Visconti, Ennio; Bartocci, Ezio; Falcone, Yliès; 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
Context, Composition, Automation, and Communication: The C2AC Roadmap for Modeling and Simulation
2024-01-01 Uhrmacher, A. M.; Frazier, P.; Hahnle, R.; Klugl, F.; Lorig, F.; Ludascher, B.; Nenzi, L.; Ruiz-Martin, C.; Rumpe, B.; Szabo, C.; Wainer, G.; Wilsdorf, P.
ECATS: Explainable-by-Design Concept-Based Anomaly Detection for Time Series
2024-01-01 Ferfoglia, Irene; Saveri, Gaia; Nenzi, Laura; Bortolussi, Luca
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.
Is Machine Learning Model Checking Privacy Preserving?
2025-01-01 Bortolussi, Luca; Nenzi, Laura; Saveri, Gaia; Silvetti, Simone
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
Learning Temporal Logic Formulas from Time-Series Data (Invited Talk)
2023-01-01 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.