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 | 160* | 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 | 82 | 2015 |
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 | 77 | 2017 |
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL L Nenzi, L Bortolussi, V Ciancia, M Loreti, M Massink Logical Methods in Computer Science 14 (Modal and temporal logics), 2018 | 63 | 2018 |
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 | 58 | 2018 |
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 | 54 | 2015 |
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 | 45 | 2019 |
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 | 42 | 2013 |
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 | 26 | 2019 |
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 | 24 | 2015 |
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 | 20 | 2020 |
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 | 18 | 2021 |
A logic for monitoring dynamic networks of spatially-distributed cyber-physical systems L Nenzi, E Bartocci, L Bortolussi, M Loreti Logical Methods in Computer Science 18, 2022 | 16 | 2022 |
Signal convolution logic S Silvetti, L Nenzi, E Bartocci, L Bortolussi International Symposium on Automated Technology for Verification and …, 2018 | 16 | 2018 |
Model checking Markov population models by stochastic approximations L Bortolussi, R Lanciani, L Nenzi Information and Computation 262, 189-220, 2018 | 14 | 2018 |
Learning model checking and the kernel trick for signal temporal logic on stochastic processes L Bortolussi, GM Gallo, J Křetínský, L Nenzi International Conference on Tools and Algorithms for the Construction and …, 2022 | 12 | 2022 |
Online monitoring of spatio-temporal properties for imprecise signals E Visconti, E Bartocci, M Loreti, L Nenzi Proceedings of the 19th ACM-IEEE International Conference on Formal Methods …, 2021 | 8 | 2021 |
jSSTL-a tool to monitor spatio-temporal properties L Bortolussi, M Loreti, L Nenzi ValueTools 2016-10th EAI International Conference on Performance Evaluation …, 2017 | 8 | 2017 |
A preliminary investigation of capturing spatial information for CAS V Galpin, L Bortolussi, V Ciancia, A Clark, R De Nicola, C Feng, S Gilmore, ... Deliverable D2 1, 2014 | 7 | 2014 |
Monitoring spatio-temporal properties (invited tutorial) L Nenzi, E Bartocci, L Bortolussi, M Loreti, E Visconti International Conference on Runtime Verification, 21-46, 2020 | 6 | 2020 |