79 citations · 389 across the 22 of their papers we have counts for
3 papers · 2 filters
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…
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
Marco Bernardo, Rocco De Nicola, Michele Loreti
Two of the most studied extensions of trace and testing equivalences to nondeterministic and probabilistic processes induce distinctions that have been questioned and lack properti…