Luca Bortolussi

Cited by

	All	Since 2017
Citations	2677	1365
h-index	30	19
i10-index	70	38

280

140

210

2005200620072008200920102011201220132014201520162017201820192020202120229 15 36 62 106 100 59 70 163 155 258 248 233 271 231 278 244 105

Public access

View all

52 articles

6 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
Vashti GalpinLFCS, School of Informatics, University of EdinburghVerified email at ed.ac.uk
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoVerified email at unicam.it
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
Simone SilvettiESTECO SpaVerified email at esteco.com
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
Luca LaurentiTU DelftVerified email at tudelft.nl

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	179	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	114	2014
Smoothed model checking for uncertain continuous-time Markov chains L Bortolussi, D Milios, G Sanguinetti Information and Computation 247, 235-253, 2016	96	2016
Modeling biological systems in stochastic concurrent constraint programming L Bortolussi, A Policriti Constraints 13 (1), 66-90, 2008	84	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	83	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
On the robustness of temporal properties for stochastic models E Bartocci, L Bortolussi, L Nenzi, G Sanguinetti arXiv preprint arXiv:1309.0866, 2013	67	2013
Fluid model checking L Bortolussi, J Hillston International Conference on Concurrency Theory, 333-347, 2012	66	2012
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
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	55	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	46	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	39	2013
Bayesian statistical parameter synthesis for linear temporal properties of stochastic models L Bortolussi, S Silvetti International Conference on Tools and Algorithms for the Construction and …, 2018	34	2018

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

Cited by

Co-authors