| Continuous approximation of collective system behaviour: A tutorial L Bortolussi, J Hillston, D Latella, M Massink Performance Evaluation 70 (5), 317-349, 2013 | 198 | 2013 |
| Data-driven statistical learning of temporal logic properties E Bartocci, L Bortolussi, G Sanguinetti International conference on formal modeling and analysis of timed systems, 23-37, 2014 | 127 | 2014 |
| Smoothed model checking for uncertain continuous-time Markov chains L Bortolussi, D Milios, G Sanguinetti Information and Computation 247, 235-253, 2016 | 114 | 2016 |
| 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 | 101 | 2015 |
| Modeling biological systems in stochastic concurrent constraint programming L Bortolussi, A Policriti Constraints 13, 66-90, 2008 | 83 | 2008 |
| 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 | 81 | 2015 |
| On the robustness of temporal properties for stochastic models E Bartocci, L Bortolussi, L Nenzi, G Sanguinetti arXiv preprint arXiv:1309.0866, 2013 | 76 | 2013 |
| Robustness of bayesian neural networks to gradient-based attacks G Carbone, M Wicker, L Laurenti, A Patane, L Bortolussi, G Sanguinetti Advances in Neural Information Processing Systems 33, 15602-15613, 2020 | 74 | 2020 |
| 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 | 73 | 2017 |
| Fluid model checking L Bortolussi, J Hillston CONCUR 2012–Concurrency Theory: 23rd International Conference, CONCUR 2012 …, 2012 | 71 | 2012 |
| Learning and Designing Stochastic Processes from Logical Constraints L Bortolussi, G Sanguinetti Logical Methods in Computer Science 11 (2), 2015 | 65 | 2015 |
| Temporal logic based monitoring of assisted ventilation in intensive care patients S Bufo, E Bartocci, G Sanguinetti, M Borelli, U Lucangelo, L Bortolussi Leveraging Applications of Formal Methods, Verification and Validation …, 2014 | 64 | 2014 |
| Stochastic concurrent constraint programming and differential equations L Bortolussi, A Policriti Electronic Notes in Theoretical Computer Science 190 (3), 27-42, 2007 | 62 | 2007 |
| Stochastic concurrent constraint programming L Bortolussi Electronic Notes in Theoretical Computer Science 164 (3), 65-80, 2006 | 61 | 2006 |
| 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 | 52 | 2015 |
| CARMA: collective adaptive resource-sharing Markovian agents L Bortolussi, R De Nicola, V Galpin, S Gilmore, J Hillston, D Latella, ... arXiv preprint arXiv:1509.08560, 2015 | 51 | 2015 |
| Hybrid dynamics of stochastic programs L Bortolussi, A Policriti Theoretical Computer Science 411 (20), 2052-2077, 2010 | 51 | 2010 |
| 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 | 49* | 2018 |
| Hybrid systems and biology: continuous and discrete modeling for systems biology L Bortolussi, A Policriti Formal Methods for Computational Systems Biology: 8th International School …, 2008 | 49 | 2008 |
| 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 | 47 | 2018 |
Guido SanguinettiReader in Informatics, University of EdinburghVerified email at inf.ed.ac.uk
