Luca Bortolussi

Cited by

	All	Since 2017
Citations	2635	1329
h-index	29	19
i10-index	68	37

300

150

225

2005200620072008200920102011201220132014201520162017201820192020202120229 15 36 62 105 101 59 71 161 155 256 248 230 268 232 282 257 57

Public access

View all

50 articles

7 articles

available

not available

Based on funding mandates

Co-authors

Alberto PolicritiUniversity of UdineVerified email at uniud.it
Guido SanguinettiReader in Informatics, University of EdinburghVerified email at inf.ed.ac.uk
Jane HillstonProfessor of Quantitative Modelling, University of EdinburghVerified email at ed.ac.uk
Ezio BartocciFaculty of Informatics, TU WienVerified email at tuwien.ac.at
Laura NenziUniversity of TriesteVerified email at units.it
Mieke MassinkCNR-ISTIVerified email at isti.cnr.it
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoVerified email at unicam.it
Vashti GalpinLFCS, School of Informatics, University of EdinburghVerified email at ed.ac.uk
Simone SilvettiESTECO SpaVerified email at esteco.com
Dimitrios MiliosPost Doctoral Fellow, EURECOMVerified email at eurecom.fr
Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Agostino DovierProfessor of Computer Science, University of UdineVerified email at uniud.it
Diego LatellaSenior Researcher - CNR-ISTI (Pisa)Verified email at cnr.it
Federico FogolariUniversity of UdineVerified email at uniud.it
Mirco TribastoneIMT LuccaVerified email at imtlucca.it
Cristina GUARDIANOUniversità di Modena e Reggio EmiliaVerified email at unimore.it
Giuseppe LongobardiAnniversary Professor of Language and Linguistic Science, University of YorkVerified email at york.ac.uk
Roberta LancianiIMT Lucca Institute for Advanced StudiesVerified email at imtlucca.it
Francesca CairoliUniversity of TriesteVerified email at phd.units.it
Michael BackenköhlerSaarland UniversityVerified email at uni-saarland.de

Luca Bortolussi

Università di Trieste

Verified email at units.it - Homepage

modelling and simulation explainable artificial intelligence machine learning formal methods cyber-physical systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Continuous approximation of collective system behaviour: A tutorial L Bortolussi, J Hillston, D Latella, M Massink Performance Evaluation 70 (5), 317-349, 2013	176	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	110	2014
Smoothed model checking for uncertain continuous-time Markov chains L Bortolussi, D Milios, G Sanguinetti Information and Computation 247, 235-253, 2016	95	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	83	2015
Modeling biological systems in stochastic concurrent constraint programming L Bortolussi, A Policriti Constraints 13 (1), 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, 21-37, 2015	78	2015
Fluid model checking L Bortolussi, J Hillston International Conference on Concurrency Theory, 333-347, 2012	66	2012
On the robustness of temporal properties for stochastic models E Bartocci, L Bortolussi, L Nenzi, G Sanguinetti arXiv preprint arXiv:1309.0866, 2013	65	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	62	2017
Learning and Designing Stochastic Processes from Logical Constraints L Bortolussi, G Sanguinetti Logical Methods in Computer Science 11 (2), 2015	59	2015
Stochastic concurrent constraint programming and differential equations L Bortolussi, A Policriti Electronic Notes in Theoretical Computer Science 190 (3), 27-42, 2007	58	2007
Stochastic concurrent constraint programming L Bortolussi Electronic Notes in Theoretical Computer Science 164 (3), 65-80, 2006	58	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	53	2014
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
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	46	2015
Hybrid dynamics of stochastic programs L Bortolussi, A Policriti Theoretical Computer Science 411 (20), 2052-2077, 2010	45	2010
Hybrid systems and biology L Bortolussi, A Policriti International School on Formal Methods for the Design of Computer …, 2008	44	2008
HYPE: Hybrid modelling by composition of flows V Galpin, L Bortolussi, J Hillston Formal Aspects of Computing 25 (4), 503-541, 2013	42*	2013
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	37	2013
U-check: Model checking and parameter synthesis under uncertainty L Bortolussi, D Milios, G Sanguinetti International Conference on Quantitative Evaluation of Systems, 89-104, 2015	35	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors