| 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 | 135* | 2015 |
| Qualitative and quantitative monitoring of spatio-temporal properties L Nenzi, L Bortolussi, V Ciancia, M Loreti, M Massink Runtime Verification, 21-37, 2015 | 79 | 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 | 63 | 2017 |
| 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 | 50 | 2014 |
| 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 | 39 | 2013 |
| 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 | 32 | 2018 |
| 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 | 26 | 2018 |
| 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 | 22 | 2019 |
| 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 | 22 | 2015 |
| 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 | 16 | 2019 |
| Signal convolution logic S Silvetti, L Nenzi, E Bartocci, L Bortolussi International Symposium on Automated Technology for Verification and …, 2018 | 14 | 2018 |
| 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 | 13 | 2020 |
| Model checking Markov population models by stochastic approximations L Bortolussi, R Lanciani, L Nenzi Information and Computation 262, 189-220, 2018 | 7 | 2018 |
| jSSTL-a tool to monitor spatio-temporal properties L Bortolussi, M Loreti, L Nenzi 10th EAI International Conference on Performance Evaluation Methodologies …, 2017 | 6 | 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, ... QUANTICOL Deliverable D 2 (1), 110, 2014 | 6 | 2014 |
| 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 International Conference on Quantitative Evaluation of Systems, 317-332, 2017 | 5 | 2017 |
| 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 | 4 | 2021 |
| Monitoring spatio-temporal properties (invited tutorial) L Nenzi, E Bartocci, L Bortolussi, M Loreti, E Visconti International Conference on Runtime Verification, 21-46, 2020 | 4 | 2020 |
| 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 | 3 | 2019 |
| 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 | 3 | 2017 |
