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