Diego Latella

An Application of Stochastic Model Checking in the Industry: User-Centered Modeling and Analysis of Collaboration in ®

Mieke Massink, Maurice H. ter Beek, Stefania Gnesi, 2012 .

Formal Methods for Distributed System Development

Diego Latella, Tommaso Bolognesi, 2000, IFIP — The International Federation for Information Processing.

Performance analysis and true concurrency semantics

Diego Latella, Hendrik Brinksma, Joost P. Katoen, 1994 .

A BRUTUS Logic for a Spi-Calculus Dialect

Gabriele Lenzini, Stefania Gnesi, Diego Latella, 2000 .

Using Spatial Logic and Model Checking for Nevus Segmentation pdf

Giovanna Broccia, Gina Belmonte, Vincenzo Ciancia, 2020, ArXiv.

A "Brutus" model checking of a spi-calculus dialect (Extended Abstract)

Gabriele Lenzini, Stefania Gnesi, Diego Latella, 2000 .

The SCEL Language: Design, Implementation, Verification

Mieke Massink, Rocco De Nicola, Diego Latella, 2015, The ASCENS Approach.

PRIDE: An Integrated Software Development Environment for Dependable Systems

Diego Latella, Silvia Mazzini, Daniela Viva, 2004 .

Innovating Medical Image Analysis via Spatial Logics

Gina Belmonte, Vincenzo Ciancia, Mieke Massink, 2019, From Software Engineering to Formal Methods and Tools, and Back.