| Continuous approximation of collective system behaviour: A tutorial L Bortolussi, J Hillston, D Latella, M Massink Performance Evaluation 70 (5), 317-349, 2013 | 161 | 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 | 89 | 2014 |
| Smoothed model checking for uncertain continuous-time Markov chains L Bortolussi, D Milios, G Sanguinetti Information and Computation 247, 235-253, 2016 | 86 | 2016 |
| Modeling biological systems in stochastic concurrent constraint programming L Bortolussi, A Policriti Constraints 13 (1-2), 66-90, 2008 | 82 | 2008 |
| 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 | 67 | 2015 |
| Fluid model checking L Bortolussi, J Hillston International Conference on Concurrency Theory, 333-347, 2012 | 63 | 2012 |
| Qualitative and quantitative monitoring of spatio-temporal properties L Nenzi, L Bortolussi, V Ciancia, M Loreti, M Massink Runtime Verification, 21-37, 2015 | 62 | 2015 |
| On the robustness of temporal properties for stochastic models E Bartocci, L Bortolussi, L Nenzi, G Sanguinetti arXiv preprint arXiv:1309.0866, 2013 | 58 | 2013 |
| Learning and Designing Stochastic Processes from Logical Constraints L Bortolussi, G Sanguinetti Logical Methods in Computer Science 11 (2), 2015 | 57 | 2015 |
| Stochastic concurrent constraint programming and differential equations L Bortolussi, A Policriti Electronic Notes in Theoretical Computer Science 190 (3), 27-42, 2007 | 57 | 2007 |
| Stochastic concurrent constraint programming L Bortolussi Electronic Notes in Theoretical Computer Science 164 (3), 65-80, 2006 | 57 | 2006 |
| Temporal logic based monitoring of assisted ventilation in intensive care patients S Bufo, E Bartocci, G Sanguinetti, M Borelli, U Lucangelo, L Bortolussi International Symposium On Leveraging Applications of Formal Methods …, 2014 | 46 | 2014 |
| Hybrid dynamics of stochastic programs L Bortolussi, A Policriti Theoretical Computer Science 411 (20), 2052-2077, 2010 | 43 | 2010 |
| 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 | 41 | 2015 |
| 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 | 41 | 2014 |
| Hybrid systems and biology L Bortolussi, A Policriti International School on Formal Methods for the Design of Computer …, 2008 | 39 | 2008 |
| 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 | 38 | 2013 |
| HYPE: Hybrid modelling by composition of flows V Galpin, L Bortolussi, J Hillston Formal Aspects of Computing 25 (4), 503-541, 2013 | 38* | 2013 |
| 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 | 36 | 2017 |
| Scoring predictive models using a reduced representation of proteins: model and energy definition F Fogolari, L Pieri, A Dovier, L Bortolussi, G Giugliarelli, A Corazza, ... BMC Structural Biology 7 (1), 15, 2007 | 35 | 2007 |
Alberto PolicritiUniversity of UdineVerified email at uniud.it
