Laura Nenzi
Università degli Studi di Trieste
H-index: 13
Europe-Italy
Top articles of Laura Nenzi
BUSTLE: a Versatile Tool for the Evolutionary Learning of STL Specifications from Data
Evolutionary Computation
2024/2/19
Laura Nenzi
H-Index: 11
Eric Medvet
H-Index: 18
Context, Composition, Automation, and Communication--The C2AC Roadmap for Modeling and Simulation
arXiv preprint arXiv:2310.05649
2023/10/9
Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings
2023/10/1
Panagiotis Katsaros
H-Index: 13
Laura Nenzi
H-Index: 11
MoonLight: a lightweight tool for monitoring spatio-temporal properties
International Journal on Software Tools for Technology Transfer
2023/8
4.3 Context, composition, automation and communication: towards sustainable simulation studies
Computer Science Methods for Effective and Sustainable Simulation Studies
2023/5
Reiner Hähnle
H-Index: 21
Bertram Ludäscher
H-Index: 24
Laura Nenzi
H-Index: 11
Cristina Ruiz-Martin
H-Index: 6
3.16 A logic-based approach to reason about large-scale spatially-distributed systems
Computer Science Methods for Effective and Sustainable Simulation Studies
2023/5
Laura Nenzi
H-Index: 11
Learning Temporal Logic Formulas from Time-Series Data (Invited Talk)
2023
Laura Nenzi
H-Index: 11
Software Verification and Formal Methods for ML-enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel …
2022/12/15
WebMonitor: Verification of Web User Interfaces
2022/10/10
Posterior predictive model assessment using formal methods in a spatio-temporal model
arXiv preprint arXiv:2110.01360
2021/10/4
One-shot learning of ensembles of temporal logic formulas for anomaly detection in cyber-physical systems
2022/4/13
Eric Medvet
H-Index: 18
Laura Nenzi
H-Index: 11
Learning model checking and the kernel trick for signal temporal logic on stochastic processes
2022/3/30
Luca Bortolussi
H-Index: 20
Laura Nenzi
H-Index: 11
A logic for monitoring dynamic networks of spatially-distributed cyber-physical systems
Logical Methods in Computer Science
2022/1/7
Reliable and Explainable AI in Trieste
2022
Posterior predictive model checking using formal methods
2022
Online monitoring of spatio-temporal properties for imprecise signals
2021/11/20
Mining road traffic rules with signal temporal logic and grammar-based genetic programming
Applied Sciences
2021/11/10
Eric Medvet
H-Index: 18
Laura Nenzi
H-Index: 11
Mining interpretable spatio-temporal logic properties for spatially distributed systems
2021/10/12
Sara Mohammadinejad
H-Index: 2
Laura Nenzi
H-Index: 11
Monitoring spatio-temporal properties (invited tutorial)
2020/10/2
A kernel function for Signal Temporal Logic formulae
arXiv preprint arXiv:2009.05484
2020/9/11
Luca Bortolussi
H-Index: 20
Laura Nenzi
H-Index: 11
