( en | de | ru )

 

Disambiguation of "Latella, Diego"

Author of the publication

copydeleteadd this publication to your clipboard
Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker

, , and . Formal Aspects of Computing, 11 (6): 637--664 (Dec 21, 1999)
DOI: 10.1007/s001659970003

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alexander Diego

Jesús Diego Linares

Diego Tonolla

Diego Arenhoevel

Diego Feijóo

 

Other publications of authors with the same name

On Bisimilarity for Quasi-discrete Closure Spaces., , , and . CoRR, (2023)Model Checking Groupware Protocols., , , and . COOP, page 179-194. IOS, (2004)A formal testing framework for UML statechart diagrams behaviours: from theory to automatic verification, and . page 11--22. (2001)Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach., , and . FORTE, volume C-22 of IFIP Transactions, page 253-268. North-Holland, (1993)On a Uniform Framework for the Definition of Stochastic Process Languages., , , and . FMICS, volume 5825 of Lecture Notes in Computer Science, page 9-25. Springer, (2009)Stochastically timed predicate-based communication primitives for autonomic computing., , , and . QAPL, volume 154 of EPTCS, page 1-16. (2014)Querying Medical Imaging Datasets Using Spatial Logics (Position Paper)., , , , , and . MEDI Workshops, volume 1481 of Communications in Computer and Information Science, page 285-301. Springer, (2021)Rate-Based Transition Systems for Stochastic Process Calculi., , , and . ICALP (2), volume 5556 of Lecture Notes in Computer Science, page 435-446. Springer, (2009)Stochastic Process Algebra and Stability Analysis of Collective Systems., , and . COORDINATION, volume 7890 of Lecture Notes in Computer Science, page 1-15. Springer, (2013)A case study on the automated verification of groupware protocols., , , , , and . ICSE, page 596-603. ACM, (2005)