 | 2008 |
| 4 |  | Davide Cerotti,
Marco Gribaudo,
Andrea Bobbio:
Disaster Propagation in Heterogeneous Media via Markovian Agents.
CRITIS 2008: 328-335 |
| 3 |  | Marco Gribaudo,
Davide Cerotti,
Andrea Bobbio:
Analysis of On-off policies in Sensor Networks Using Interacting Markovian Agents.
PerCom 2008: 300-305 |
| 2006 |
| 2 |  | Davide Cerotti,
Davide D'Aprile,
Susanna Donatelli,
Jeremy Sproston:
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools.
ACSD 2006: 143-152 |
| 1 |  | Davide Cerotti,
Susanna Donatelli,
András Horváth,
Jeremy Sproston:
CSL Model Checking for Generalized Stochastic Petri Nets.
QEST 2006: 199-210 |