Diego Latella

Statistics

Publications

Citations

1.7K

H-Index

Active since

1993

Affiliations

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"(Current)

University of Florence

University of Edinburgh

IMT School for Advanced Studies Lucca

University of Twente

Diego Latella is an author at Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" specializing in computing, computer science, and model checking.

ORCID

Publications per year

1993–2022

Publications

Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker

Diego Latella, István Majzik, Mieke Massink · Formal Aspects of Computing · 1999 · 292 citations

Computing, Computer Science, Formal Methods +14

Continuous approximation of collective system behaviour: A tutorial

Luca Bortolussi, Jane Hillston, Diego Latella et al. · Performance Evaluation · 2013 · 170 citations

Engineering, Mathematics, Complex Systems +12

Dependability analysis in the early phases of UML-based system design

Andrea Bondavalli, Mario Dal Cin, Diego Latella et al. · Florence Research (University of Florence) · 2001 · 117 citations

Computing, Computer Systems, Systems Engineering +17

Formal test-case generation for UML statecharts

Stefania Gnesi, Diego Latella, Mieke Massink · 2004 · 69 citations

Computing, Computer Science, Systems Engineering +17

Model checking UML Statechart diagrams using JACK

Stefania Gnesi, Diego Latella, Mieke Massink · 2003 · 67 citations

Computing, Computer Science, Formal Methods +16

1–5 of 43