57 citations · 278 across the 28 of their papers we have counts for
3 papers · 1 filter
On-the-fly Probabilistic Model Checking
Diego Latella, Michele Loreti, Mieke Massink
Model checking approaches can be divided into two broad categories: global approaches that determine the set of all states in a model M that satisfy a temporal logic formula f, and…
Specifying and Verifying Properties of Space - Extended Version
Vincenzo Ciancia, Diego Latella, Michele Loreti +1
The interplay between process behaviour and spatial aspects of computation has become more and more relevant in Computer Science, especially in the field of collective adaptive sys…
Stochastically timed predicate-based communication primitives for autonomic computing
Diego Latella, Michele Loreti, Mieke Massink +1
Predicate-based communication allows components of a system to send messages and requests to ensembles of components that are determined at execution time through the evaluation of…