Diego Latella

Cited by

	All	Since 2019
Citations	4238	1016
h-index	33	19
i10-index	82	27

260

130

195

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202415 13 31 18 57 38 63 101 133 129 155 152 190 136 141 144 138 144 144 150 186 259 243 161 174 162 188 149 209 160 147

Public access

View all

29 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
Luca BortolussiUniversità di TriesteVerified email at units.it
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerified email at win.tue.nl
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
András PatariczaBudapest University of Technology and EconomicsVerified email at vik.bme.hu

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	460	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	330	1999
Continuous approximation of collective system behaviour: A tutorial L Bortolussi, J Hillston, D Latella, M Massink Performance Evaluation 70 (5), 317-349, 2013	205	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	121	1999
A stochastic causality-based process algebra E Brinksma, JP Katoen, R Langerak, D Latella The Computer Journal 38 (7), 552-565, 1995	102	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	94	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	84	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	79	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	71	2018
Model checking spatial logics for closure spaces V Ciancia, D Latella, M Loreti, M Massink Logical Methods in Computer Science 12, 2017	66	2017
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	65	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	64	1998
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	63	2002
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	59	2016
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	59	2005
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	57	2020
On specifying real-time systems in a causality-based setting JP Katoen, R Langerak, D Latella, E Brinksma International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1996	57	1996
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	55	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