Diego Latella

Cited by

	All	Since 2020
Citations	4376	985
h-index	34	18
i10-index	85	27

260

130

195

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202515 13 31 18 57 38 63 101 133 132 152 151 194 136 140 145 139 143 144 150 189 258 244 162 173 162 188 149 210 168 260 10

Public access

View all

30 articles

4 articles

available

not available

Based on funding mandates

Co-authors

Mieke MassinkCNR-ISTIVerified email at isti.cnr.it
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoVerified email at unicam.it
Vincenzo CianciaISTI-CNRVerified email at isti.cnr.it
Stefania GnesiISTI-CNR, ItalyVerified email at isti.cnr.it
Rocco De NicolaProfessor of Computer Science, IMT LuccaVerified email at imtlucca.it
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Rom LangerakAssociate Professor, Computer Science, University of TwenteVerified email at ewi.utwente.nl
andrea bondavalliProfessor of computer science, University of FirenzeVerified email at unifi.it
Istvan MajzikAssociate Professor, Budapest University of Technology and EconomicsVerified email at mit.bme.hu
Maurice H. ter BeekISTI, CNRVerified email at isti.cnr.it
Jane HillstonProfessor of Quantitative Modelling, University of EdinburghVerified email at ed.ac.uk
Ed BrinksmaHoogleraar informatica, Universiteit TwenteVerified email at utwente.nl
Tommaso BolognesiSenior researcher, CNR/ISTI, PisaVerified email at isti.cnr.it
Gabriele LenziniInterdiscilplinary Centre for Security Reliability and Trust ( SNT) - University of LuxembourgVerified email at uni.lu
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerified email at win.tue.nl
Luca BortolussiUniversità di TriesteVerified email at units.it
Michael HarrisonProfessor of Informatics, Newcastle UniversityVerified email at ncl.ac.uk
Andrea BraccialiAssociate Professor, Computer Science, University of Turin, ITVerified email at unito.it
Andrea VandinSant'Anna School for Advanced Studies, Italy - DTU Technical University of DenmarkVerified email at santannapisa.it
David GabelaiaResearcher, Razmadze Mathematical InstituteVerified email at rmi.ge

Diego Latella

Senior Researcher - CNR-ISTI (Pisa)

Verified email at cnr.it

Formal Methods in Computer Science - Formal Semantics - Logics


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker D Latella, I Majzik, M Massink Formal aspects of computing 11, 637-664, 1999	461	1999
Towards a formal operational semantics of UML statechart diagrams D Latella, I Majzik, M Massink International conference on formal methods for open object-based distributed …, 1999	331	1999
Continuous approximation of collective system behaviour: A tutorial L Bortolussi, J Hillston, D Latella, M Massink Performance Evaluation 70 (5), 317-349, 2013	207	2013
Dependability analysis in the early phases of UML-based system design A Bondavalli, M Dal Cin, D Latella, I Majzik, A Pataricza, G Savoia Comput. Syst. Sci. Eng. 16 (5), 265-275, 2001	197	2001
Formal test-case generation for UML statecharts S Gnesi, D Latella, M Massink Proceedings. Ninth IEEE International Conference on Engineering of Complex …, 2004	127	2004
Model checking UML statechart diagrams using JACK S Gnesi, D Latella, M Massink Proceedings 4th IEEE International Symposium on High-Assurance Systems …, 1999	122	1999
A stochastic causality-based process algebra E Brinksma, JP Katoen, R Langerak, D Latella The Computer Journal 38 (7), 552-565, 1995	103	1995
Specifying and verifying properties of space V Ciancia, D Latella, M Loreti, M Massink Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference …, 2014	101	2014
Model checking mobile stochastic logic R De Nicola, JP Katoen, D Latella, M Loreti, M Massink Theoretical Computer Science 382 (1), 42-70, 2007	86	2007
The SCEL language: design, implementation, verification R De Nicola, D Latella, AL Lafuente, M Loreti, A Margheri, M Massink, ... Software Engineering for Collective Autonomic Systems: The ASCENS Approach, 3-71, 2015	84	2015
Spatio-temporal model checking of vehicular movement in public transport systems V Ciancia, S Gilmore, G Grilletti, D Latella, M Loreti, M Massink International Journal on Software Tools for Technology Transfer 20, 289-311, 2018	76	2018
Model checking spatial logics for closure spaces V Ciancia, D Latella, M Loreti, M Massink Logical Methods in Computer Science 12, 2017	72	2017
A tool-chain for statistical spatio-temporal model checking of bike sharing systems V Ciancia, D Latella, M Massink, R Paškauskas, A Vandin Leveraging Applications of Formal Methods, Verification and Validation …, 2016	67	2016
A uniform definition of stochastic process calculi R De Nicola, D Latella, M Loreti, M Massink ACM Computing Surveys (CSUR) 46 (1), 5:1-5:35, 2013	67	2013
Automatic verification of a lip-synchronisation protocol using uppaal H Bowman, G Faconti, JP Katoen, D Latella, M Massink Formal Aspects of Computing 10, 550-575, 1998	65	1998
Spatial logics and model checking for medical imaging F Banci Buonamici, G Belmonte, V Ciancia, D Latella, M Massink International Journal on Software Tools for Technology Transfer 22 (2), 195-217, 2020	64	2020
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking S Gnesi, D Latella, M Massink The Journal of Logic and Algebraic Programming 51 (1), 43-75, 2002	64	2002
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	63	2015
Formal modeling and quantitative analysis of KLAIM-based mobile systems R De Nicola, D Latella, M Massink Proceedings of the 2005 ACM symposium on Applied computing, 428-435, 2005	60	2005
Exploring spatio-temporal properties of bike-sharing systems V Ciancia, D Latella, M Massink, R Pakauskas 2015 IEEE International Conference on Self-Adaptive and Self-Organizing …, 2015	58	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

Cited by

Co-authors