| 2006 |
|---|
| 5 | EE | Paolo Ballarini,
Michael Fisher,
Michael Wooldridge:
Automated Game Analysis via Probabilistic Model Checking: a case study.
Electr. Notes Theor. Comput. Sci. 149(2): 125-137 (2006) |
| 2004 |
|---|
| 4 | EE | Paolo Ballarini,
Lorenzo Capra,
Giuliana Franceschinis:
Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets.
ISCIS 2004: 553-563 |
| 2003 |
|---|
| 3 | EE | Paolo Ballarini,
Lorenzo Capra,
Giuliana Franceschinis,
Massimiliano De Pierro:
Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models.
ACSD 2003: 111-121 |
| 2002 |
|---|
| 2 | EE | Paolo Ballarini,
Simona Bernardi,
Susanna Donatelli:
Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization.
DSN 2002: 773-784 |
| 2000 |
|---|
| 1 | EE | Paolo Ballarini,
Susanna Donatelli,
Giuliana Franceschinis:
Parametric Stochastic Well-Formed Nets and Compositional Modelling.
ICATPN 2000: 43-62 |
