NENZI, LAURA

NENZI, LAURA  

Dipartimento di Ingegneria e Architettura  

Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni  

Ricercatori a tempo determinato  

Mostra records
Risultati 1 - 20 di 32 (tempo di esecuzione: 0.035 secondi).
Titolo Data di pubblicazione Autori File
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems 1-gen-2022 Nenzi, L.Bortolussi, L. +
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors 1-gen-2019 Silvetti S.Nenzi L. +
A robust genetic algorithm for learning temporal specifications from data 1-gen-2018 Nenzi, LauraSilvetti, SimoneBortolussi, Luca +
A temporal logic approach to modular design of synthetic biological circuits 1-gen-2013 BORTOLUSSI, LUCAL. Nenzi +
A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits 1-gen-2013 BORTOLUSSI, LUCALaura Nenzi +
Analysis of spatio-temporal properties of stochastic systems using TSTL 1-gen-2019 Nenzi L. +
Automatic verification of reliability requirements of spatio-temporal analysis using three-valued spatio-temporal logic 1-gen-2017 Vissat, Ludovica LuisaNenzi, Laura +
BUSTLE: a Versatile Tool for the Evolutionary Learning of STL Specifications from Data 1-gen-2024 Pigozzi, FedericoNenzi, LauraMedvet, Eric
Inferring analyzable models from trajectories of spatially-distributed internet of things 1-gen-2019 Nenzi L. +
jSSTL - A tool to monitor spatio-temporal properties 1-gen-2017 Bortolussi, LucaNenzi, Laura +
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes 1-gen-2022 Luca BortolussiLaura Nenzi +
Learning Temporal Logic Formulas from Time-Series Data (Invited Talk) 1-gen-2023 Laura Nenzi
Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems 1-gen-2021 Nenzi L. +
Mining Road Traffic Rules with Signal Temporal Logic and Grammar-Based Genetic Programming 1-gen-2021 Pigozzi, FedericoMedvet, EricNenzi, Laura
Model checking Markov population models by stochastic approximations 1-gen-2018 Bortolussi, LucaLANCIANI, ROBERTANenzi, Laura
Modelling and Analysing Resilient Cyber-Physical Systems 1-gen-2019 Nenzi L. +
Monitoring mobile and spatially distributed cyber-physical systems 1-gen-2017 Bortolussi, LucaNenzi, Laura +
Monitoring Spatio-Temporal Properties (Invited Tutorial) 1-gen-2020 Nenzi L.Bortolussi L. +
MoonLight: a lightweight tool for monitoring spatio-temporal properties 1-gen-2023 Nenzi, LBortolussi, LSilvetti, S +
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties 1-gen-2020 Bortolussi L.Nenzi L.Silvetti S. +