Follow
Laura Nenzi
Title
Cited by
Cited by
Year
System design of stochastic models using robustness of temporal properties
E Bartocci, L Bortolussi, L Nenzi, G Sanguinetti
Theoretical Computer Science 587, 3-25, 2015
143*2015
Qualitative and quantitative monitoring of spatio-temporal properties
L Nenzi, L Bortolussi, V Ciancia, M Loreti, M Massink
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015
782015
Monitoring mobile and spatially distributed cyber-physical systems
E Bartocci, L Bortolussi, M Loreti, L Nenzi
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods …, 2017
672017
Specifying and monitoring properties of stochastic spatio-temporal systems in signal temporal logic
L Nenzi, L Bortolussi
EAI Endorsed Transactions on Cloud Systems 1 (4), 2015
522015
A temporal logic approach to modular design of synthetic biological circuits
E Bartocci, L Bortolussi, L Nenzi
Computational Methods in Systems Biology: 11th International Conference …, 2013
412013
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
M Massink, M Loreti, V Ciancia, L Bortolussi, L Nenzi
Logical Methods in Computer Science 14, 2018
382018
A robust genetic algorithm for learning temporal specifications from data
L Nenzi, S Silvetti, E Bartocci, L Bortolussi
Quantitative Evaluation of Systems: 15th International Conference, QEST 2018 …, 2018
352018
Modelling and analysing resilient cyber-physical systems
A Bennaceur, C Ghezzi, K Tei, T Kehrer, D Weyns, R Calinescu, ...
2019 IEEE/ACM 14th International Symposium on Software Engineering for …, 2019
262019
Studying emergent behaviours in morphogenesis using signal spatio-temporal logic
E Bartocci, L Bortolussi, D Milios, L Nenzi, G Sanguinetti
Hybrid Systems Biology: Fourth International Workshop, HSB 2015, Madrid …, 2015
232015
Inferring analyzable models from trajectories of spatially-distributed internet of things
C Tsigkanos, L Nenzi, M Loreti, M Garriga, S Dustdar, C Ghezzi
2019 IEEE/ACM 14th International Symposium on Software Engineering for …, 2019
182019
MoonLight: a lightweight tool for monitoring spatio-temporal properties
E Bartocci, L Bortolussi, M Loreti, L Nenzi, S Silvetti
Runtime Verification: 20th International Conference, RV 2020, Los Angeles …, 2020
172020
Signal convolution logic
S Silvetti, L Nenzi, E Bartocci, L Bortolussi
Automated Technology for Verification and Analysis: 16th International …, 2018
132018
Model checking Markov population models by stochastic approximations
L Bortolussi, R Lanciani, L Nenzi
Information and Computation 262, 189-220, 2018
102018
A logic for monitoring dynamic networks of spatially-distributed cyber-physical systems
M Loreti, L Bortolussi, E Bartocci, L Nenzi
Logical Methods in Computer Science 18, 2022
62022
Mining road traffic rules with signal temporal logic and grammar-based genetic programming
F Pigozzi, E Medvet, L Nenzi
Applied Sciences 11 (22), 10573, 2021
62021
jSSTL-a tool to monitor spatio-temporal properties
L Bortolussi, M Loreti, L Nenzi
ValueTools 2016-10th EAI International Conference on Performance Evaluation …, 2017
62017
Monitoring spatio-temporal properties (invited tutorial)
L Nenzi, E Bartocci, L Bortolussi, M Loreti, E Visconti
Runtime Verification: 20th International Conference, RV 2020, Los Angeles …, 2020
52020
Automatic verification of reliability requirements of spatio-temporal analysis using three-valued spatio-temporal logic
LL Vissat, J Hillston, M Loreti, L Nenzi
Proceedings of the 11th EAI International Conference on Performance …, 2017
52017
Three-Valued Spatio-Temporal Logic: a further analysis on spatio-temporal properties of stochastic systems
L Luisa Vissat, M Loreti, L Nenzi, J Hillston, G Marion
Quantitative Evaluation of Systems: 14th International Conference, QEST 2017 …, 2017
52017
A preliminary investigation of capturing spatial information for CAS
V Galpin, L Bortolussi, V Ciancia, A Clark, R De Nicola, C Feng, S Gilmore, ...
QUANTICOL Deliverable D 2 (1), 110, 2014
52014
The system can't perform the operation now. Try again later.
Articles 1–20