Name Card

Full name Familienname, Vorname
NENZI, Laura
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-17 of 17 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Visconti, Ennio ; Tsigkanos, Christos ; Nenzi, Laura WebMonitor: Verification of Web User InterfacesInproceedings Konferenzbeitrag 5-Jan-2023
2Nenzi, Laura ; Bartocci, E. ; Bortolussi, Luca ; Loreti, Michele A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical SystemsArticle Artikel 2022
3Indri, Patrick ; Bartoli, Alberto ; Medvet, Eric ; Nenzi, Laura One-Shot Learning of Ensembles of Temporal Logic Formulas for Anomaly Detection in Cyber-Physical SystemsKonferenzbeitrag Inproceedings 2022
4Visconti, Ennio ; Bartocci, Ezio ; Loreti, Michele ; Nenzi, Laura Online monitoring of spatio-temporal properties for imprecise signalsKonferenzbeitrag Inproceedings2021
5Mohammadinejad, Sara ; Deshmukh, Jyotirmoy V. ; Nenzi, Laura Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed SystemsKonferenzbeitrag Inproceedings2021
6Pigozzi, Federico ; Medvet, Eric ; Nenzi, Laura Mining Road Traffic Rules with Signal Temporal Logic and Grammar-based Genetic ProgrammingArtikel Article 2021
7Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele ; Nenzi, Laura ; Silvetti, Simone MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal PropertiesKonferenzbeitrag Inproceedings2020
8Nenzi, Laura ; Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele ; Visconti, Ennio Monitoring Spatio-Temporal Properties (Invited Tutorial)Konferenzbeitrag Inproceedings2020
9Bennaceur, Amel ; Ghezzi, Carlo ; Tei, Kenji ; Kehrer, Timo ; Weyns, Danny ; Calinescu, Radu ; Dustdar, Schahram ; Hu, Zhenjiang ; Honiden, Shinichi ; Ishikawa, Fuyuki ; Jin, Zhi ; Kramer, Jeffrey ; Litoiu, Marin ; Loreti, Michele ; Moreno, Gabriel A. ; Müller, Hausi A. ; Nenzi, Laura ; Nuseibeh, Bashar ; Pasquale, Liliana ; Reisig, Wolfgang ; Schmidt, Heinz ; Tsigkanos, Christos ; Zhao, Haiyan Modelling and Analysing Resilient Cyber-Physical SystemsKonferenzbeitrag Inproceedings 2019
10Tsigkanos, Christos ; Nenzi, Laura ; Loreti, Michele ; Garriga, Martin ; Dustdar, Schahram ; Ghezzi, Carlo Inferring Analyzable Models from Trajectories of Spatially-Distributed Internet of ThingsKonferenzbeitrag Inproceedings 2019
11Silvetti, Simone ; Nenzi, Laura ; Bartocci, Ezio ; Bortolussi, Luca Signal Convolution LogicKonferenzbeitrag Inproceedings 2018
12Nenzi, Laura ; Silvetti, Simone ; Bartocci, Ezio ; Bortolussi, Luca A Robust Genetic Algorithm for Learning Temporal Specifications from DataKonferenzbeitrag Inproceedings 2018
13Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele ; Nenzi, Laura Monitoring mobile and spatially distributed cyber-physical systemsKonferenzbeitrag Inproceedings2017
14Bartocci, Ezio ; Bortolussi, Luca ; Nenzi, Laura ; Sanguinetti, Guido System Design of Stochastic Models using Robustness of Temporal PropertiesArtikel Article 2015
15Bartocci, Ezio ; Bortolussi, Luca ; Milos, Dimitrios ; Nenzi, Laura ; Sanguinetti, Guido Studying Emergent Behaviours in Morphogenesis using Signal Spatio-Temporal LogicKonferenzbeitrag Inproceedings 2015
16Bartocci, Ezio ; Bortolussi, Luca ; Nenzi, Laura A Temporal Logic Approach to Modular Design of Synthetic Biological CircuitsKonferenzbeitrag Inproceedings 2013
17Bartocci, Ezio ; Bortolussi, Luca ; Nenzi, Laura ; Sanguinetti, Guido On the Robustness of Temporal Properties for Stochastic ModelsKonferenzbeitrag Inproceedings 2013

Contributing Publications Mitbeteiligte Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Aguilar, Edgar A ; Bartocci, Ezio ; Mateis, Cristinel ; Nesterini, Eleonora ; Nickovic, Dejan Mining Specification Parameters for Multi-class ClassificationInproceedings Konferenzbeitrag 1-Oct-2023
2Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele ; Nenzi, Laura ; Silvetti, Simone MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal PropertiesKonferenzbeitrag Inproceedings2020