![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Laura Nenzi
Person information
- affiliation: University of Trieste, Italy
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c25]Ennio Visconti
, Ezio Bartocci
, Yliès Falcone
, Laura Nenzi
:
Adaptable Configuration of Decentralized Monitors. FORTE 2024: 197-217 - [i17]Irene Ferfoglia, Gaia Saveri, Laura Nenzi, Luca Bortolussi:
ECATS: Explainable-by-design concept-based anomaly detection for time series. CoRR abs/2405.10608 (2024) - [i16]Gaia Saveri, Laura Nenzi, Luca Bortolussi, Jan Kretínský:
stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic. CoRR abs/2405.14389 (2024) - 2023
- [j6]Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Simone Silvetti, Michele Loreti:
MoonLight: a lightweight tool for monitoring spatio-temporal properties. Int. J. Softw. Tools Technol. Transf. 25(4): 503-517 (2023) - [c24]Emanuele Ballarin, Luca Bortolussi, Francesca Cairoli, Chiara Gallese, Laura Nenzi, Gaia Saveri:
Reliable and Explainable AI in Trieste. Ital-IA 2023: 394-396 - [c23]Laura Nenzi:
Learning Temporal Logic Formulas from Time-Series Data (Invited Talk). TIME 2023: 1:1-1:2 - [e2]Panagiotis Katsaros
, Laura Nenzi
:
Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings. Lecture Notes in Computer Science 14245, Springer 2023, ISBN 978-3-031-44266-7 [contents] - [i15]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:
Context, Composition, Automation, and Communication - The C2AC Roadmap for Modeling and Simulation. CoRR abs/2310.05649 (2023) - 2022
- [j5]Laura Nenzi, Ezio Bartocci
, Luca Bortolussi, Michele Loreti:
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. Log. Methods Comput. Sci. 18(1) (2022) - [c22]Patrick Indri, Alberto Bartoli
, Eric Medvet
, Laura Nenzi
:
One-Shot Learning of Ensembles of Temporal Logic Formulas for Anomaly Detection in Cyber-Physical Systems. EuroGP 2022: 34-50 - [c21]Ennio Visconti
, Christos Tsigkanos
, Laura Nenzi
:
WebMonitor: Verification of Web User Interfaces. ASE 2022: 170:1-170:4 - [c20]Luca Bortolussi
, Giuseppe Maria Gallo, Jan Kretínský
, Laura Nenzi
:
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes. TACAS (1) 2022: 281-300 - [e1]Omri Isac, Radoslav Ivanov
, Guy Katz
, Nina Narodytska
, Laura Nenzi
:
Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings. Lecture Notes in Computer Science 13466, Springer 2022, ISBN 978-3-031-21221-5 [contents] - [i14]Luca Bortolussi, Giuseppe Maria Gallo, Jan Kretínský, Laura Nenzi:
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes. CoRR abs/2201.09928 (2022) - 2021
- [c19]Sara Mohammadinejad
, Jyotirmoy V. Deshmukh
, Laura Nenzi
:
Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems. ATVA 2021: 91-107 - [c18]Ennio Visconti, Ezio Bartocci
, Michele Loreti, Laura Nenzi:
Online monitoring of spatio-temporal properties for imprecise signals. MEMOCODE 2021: 78-88 - [i13]Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Simone Silvetti:
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. CoRR abs/2104.14333 (2021) - [i12]Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Michele Loreti:
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. CoRR abs/2105.11400 (2021) - [i11]Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Laura Nenzi:
Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems. CoRR abs/2106.08548 (2021) - [i10]Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi:
Online Monitoring of Spatio-Temporal Properties for Imprecise Signals. CoRR abs/2109.08081 (2021) - [i9]Laura Vana, Ennio Visconti, Laura Nenzi, Annalisa Cadonna
, Gregor Kastner:
Posterior predictive model assessment using formal methods in a spatio-temporal mode. CoRR abs/2110.01360 (2021) - 2020
- [c17]Luca Bortolussi, Giuseppe Maria Gallo, Laura Nenzi:
A kernel function for Signal Temporal Logic formulae. OVERLAY 2020: 29-34 - [c16]Laura Nenzi, Ezio Bartocci
, Luca Bortolussi
, Michele Loreti, Ennio Visconti
:
Monitoring Spatio-Temporal Properties (Invited Tutorial). RV 2020: 21-46 - [c15]Ezio Bartocci
, Luca Bortolussi
, Michele Loreti, Laura Nenzi, Simone Silvetti:
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. RV 2020: 417-428 - [i8]Luca Bortolussi, Giuseppe Maria Gallo, Laura Nenzi:
A kernel function for Signal Temporal Logic formulae. CoRR abs/2009.05484 (2020)
2010 – 2019
- 2019
- [j4]Ludovica Luisa Vissat, Michele Loreti
, Laura Nenzi, Jane Hillston
, Glenn Marion
:
Analysis of Spatio-temporal Properties of Stochastic Systems Using TSTL. ACM Trans. Model. Comput. Simul. 29(4): 20:1-20:24 (2019) - [c14]Josephine Lamp, Simone Silvetti, Marc D. Breton, Laura Nenzi, Lu Feng:
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors. CMSB 2019: 188-206 - [c13]Amel Bennaceur
, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns
, Radu Calinescu, Schahram Dustdar
, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu
, Michele Loreti, Gabriel A. Moreno, Hausi A. Müller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos
, Haiyan Zhao:
Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE 2019: 70-76 - [c12]Christos Tsigkanos
, Laura Nenzi, Michele Loreti, Martin Garriga, Schahram Dustdar
, Carlo Ghezzi:
Inferring analyzable models from trajectories of spatially-distributed internet of things. SEAMS@ICSE 2019: 100-106 - [i7]Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi:
Monitoring Mobile and Spatially Distributed Cyber-Physical Systems. CoRR abs/1904.08847 (2019) - [i6]Josephine Lamp, Simone Silvetti, Marc D. Breton, Laura Nenzi, Lu Feng:
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors. CoRR abs/1906.10073 (2019) - 2018
- [j3]Luca Bortolussi
, Roberta Lanciani, Laura Nenzi
:
Model checking Markov population models by stochastic approximations. Inf. Comput. 262: 189-220 (2018) - [j2]Laura Nenzi
, Luca Bortolussi
, Vincenzo Ciancia, Michele Loreti, Mieke Massink
:
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. Log. Methods Comput. Sci. 14(4) (2018) - [c11]Simone Silvetti, Laura Nenzi
, Ezio Bartocci
, Luca Bortolussi
:
Signal Convolution Logic. ATVA 2018: 267-283 - [c10]Laura Nenzi
, Simone Silvetti, Ezio Bartocci
, Luca Bortolussi
:
A Robust Genetic Algorithm for Learning Temporal Specifications from Data. QEST 2018: 323-338 - [i5]Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi:
Signal Convolution Logic. CoRR abs/1806.00238 (2018) - 2017
- [c9]Ezio Bartocci
, Luca Bortolussi
, Michele Loreti
, Laura Nenzi
:
Monitoring mobile and spatially distributed cyber-physical systems. MEMOCODE 2017: 146-155 - [c8]Ludovica Luisa Vissat, Michele Loreti
, Laura Nenzi
, Jane Hillston, Glenn Marion
:
Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems. QEST 2017: 317-332 - [c7]Ludovica Luisa Vissat, Jane Hillston, Michele Loreti
, Laura Nenzi
:
Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic. VALUETOOLS 2017: 225-226 - [i4]Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink:
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. CoRR abs/1706.09334 (2017) - [i3]Luca Bortolussi, Roberta Lanciani, Laura Nenzi:
Model Checking Markov Population Models by Stochastic Approximations. CoRR abs/1711.03826 (2017) - [i2]Simone Silvetti, Laura Nenzi, Luca Bortolussi, Ezio Bartocci:
A Robust Genetic Algorithm for Learning Temporal Specifications from Data. CoRR abs/1711.06202 (2017) - 2016
- [c6]Laura Nenzi
, Luca Bortolussi
, Michele Loreti
:
jSSTL - A Tool to Monitor Spatio-Temporal Properties. VALUETOOLS 2016 - 2015
- [j1]Ezio Bartocci
, Luca Bortolussi
, Laura Nenzi
, Guido Sanguinetti
:
System design of stochastic models using robustness of temporal properties. Theor. Comput. Sci. 587: 3-25 (2015) - [c5]Ezio Bartocci
, Luca Bortolussi
, Dimitrios Milios, Laura Nenzi
, Guido Sanguinetti
:
Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic. HSB 2015: 156-172 - [c4]Laura Nenzi
, Luca Bortolussi
, Vincenzo Ciancia
, Michele Loreti
, Mieke Massink
:
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. RV 2015: 21-37 - 2014
- [c3]Laura Nenzi
, Luca Bortolussi
:
Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic. VALUETOOLS 2014 - 2013
- [c2]Ezio Bartocci
, Luca Bortolussi
, Laura Nenzi
:
A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits. CMSB 2013: 164-177 - [c1]Ezio Bartocci
, Luca Bortolussi
, Laura Nenzi
, Guido Sanguinetti
:
On the Robustness of Temporal Properties for Stochastic Models. HSB 2013: 3-19 - [i1]Ezio Bartocci, Luca Bortolussi, Laura Nenzi:
A temporal logic approach to modular design of synthetic biological circuits. CoRR abs/1306.4493 (2013)
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-20 21:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint