| 2009 |
|---|
| 8 | EE | Paolo Ballarini,
Radu Mardare,
Ivan Mura:
Analysing Biochemical Oscillation through Probabilistic Model Checking.
Electr. Notes Theor. Comput. Sci. 229(1): 3-19 (2009) |
| 7 | EE | Paolo Ballarini,
Tommaso Mazza,
Alida Palmisano,
Attila Csikasz-Nagy:
Studying Irreversible Transitions in a Model of Cell Cycle Regulation.
Electr. Notes Theor. Comput. Sci. 232: 39-53 (2009) |
| 2008 |
|---|
| 6 | EE | Paolo Ballarini,
András Horváth:
Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains.
QEST 2008: 157-166 |
| 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 |
