79 citations · 389 across the 22 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 3 cited
On-the-fly Fast Mean-Field Model-Checking: Extended Version
Diego Latella, Michele Loreti, Mieke Massink
A novel, scalable, on-the-fly model-checking procedure is presented to verify bounded PCTL properties of selected individuals in the context of very large systems of independent in…
cs.LO2013★ 5 cited
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes
Marco Bernardo, Rocco De Nicola, Michele Loreti
We present a spectrum of trace-based, testing, and bisimulation equivalences for nondeterministic and probabilistic processes whose activities are all observable. For every equival…