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
112*2015
Qualitative and quantitative monitoring of spatio-temporal properties
L Nenzi, L Bortolussi, V Ciancia, M Loreti, M Massink
Runtime Verification, 21-37, 2015
602015
Specifying and monitoring properties of stochastic spatio-temporal systems in signal temporal logic
L Bortolussi, L Nenzi
Proceedings of the 8th International Conference on Performance Evaluation …, 2014
402014
A temporal logic approach to modular design of synthetic biological circuits
E Bartocci, L Bortolussi, L Nenzi
International Conference on Computational Methods in Systems Biology, 164-177, 2013
382013
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
342017
A robust genetic algorithm for learning temporal specifications from data
L Nenzi, S Silvetti, E Bartocci, L Bortolussi
International Conference on Quantitative Evaluation of Systems, 323-338, 2018
17*2018
Studying emergent behaviours in morphogenesis using signal spatio-temporal logic
E Bartocci, L Bortolussi, D Milios, L Nenzi, G Sanguinetti
International Workshop on Hybrid Systems Biology, 156-172, 2015
162015
Signal convolution logic
S Silvetti, L Nenzi, E Bartocci, L Bortolussi
International Symposium on Automated Technology for Verification and …, 2018
92018
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
L Nenzi, L Bortolussi, V Ciancia, M Loreti, M Massink
arXiv preprint arXiv:1706.09334, 2017
92017
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
72019
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
62019
jSSTL-a tool to monitor spatio-temporal properties
L Nenzi, L Bortolussi, M Loreti
proceedings of the 10th EAI International Conference on Performance …, 2017
62017
" Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier-DOI)
MC Moreno
Journal of Higher Education Policy and Management 38 (4), 1-17, 2016
5*2016
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
Model checking Markov population models by stochastic approximations
L Bortolussi, R Lanciani, L Nenzi
Information and Computation 262, 189-220, 2018
42018
Three-valued spatio-temporal logic: A further analysis on spatio-temporal properties of stochastic systems
LL Vissat, M Loreti, L Nenzi, J Hillston, G Marion
International Conference on Quantitative Evaluation of Systems, 317-332, 2017
32017
Analysis of spatio-temporal properties of stochastic systems using TSTL
LL Vissat, M Loreti, L Nenzi, J Hillston, G Marion
ACM Transactions on Modeling and Computer Simulation (TOMACS) 29 (4), 1-24, 2019
22019
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
22017
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties
E Bartocci, L Bortolussi, M Loreti, L Nenzi, S Silvetti
International Conference on Runtime Verification, 417-428, 2020
12020
Monitoring Spatio-Temporal Properties (Invited Tutorial)
L Nenzi, E Bartocci, L Bortolussi, M Loreti, E Visconti
International Conference on Runtime Verification, 21-46, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20