| 2007 |
|---|
| 8 | EE | Andrea Bobbio,
R. Terruggia,
A. Boellis,
Ester Ciancamerla,
Michele Minichino:
A Tool for Network Reliability Analysis.
SAFECOMP 2007: 417-422 |
| 2005 |
|---|
| 7 | EE | Edoardo Campagnano,
Ester Ciancamerla,
Michele Minichino,
Enrico Tronci:
Automatic Analysis of a Safety Critical Tele Control System.
SAFECOMP 2005: 94-107 |
| 2004 |
|---|
| 6 | EE | Ester Ciancamerla,
Michele Minichino:
Performability Measures of the Public Mobile Network of a Tele Control System.
SAFECOMP 2004: 142-154 |
| 2003 |
|---|
| 5 | EE | Giuseppe Della Penna,
Benedetto Intrigila,
Igor Melatti,
Michele Minichino,
Ester Ciancamerla,
Andrea Parisse,
Enrico Tronci,
Marisa Venturini Zilli:
Automatic Verification of a Turbogas Control System with the Mur varphi Verifier.
HSCC 2003: 141-155 |
| 4 | EE | Ester Ciancamerla,
Michele Minichino,
S. Serro,
Enrico Tronci:
Automatic Timeliness Verification of a Public Mobile Network.
SAFECOMP 2003: 35-48 |
| 2002 |
|---|
| 3 | EE | Andrea Bobbio,
Ester Ciancamerla,
Giuliana Franceschinis,
Rossano Gaeta,
Michele Minichino,
Luigi Portinale:
Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System.
SAFECOMP 2002: 212-223 |
| 2 | EE | Marco Gribaudo,
András Horváth,
Andrea Bobbio,
Enrico Tronci,
Ester Ciancamerla,
Michele Minichino:
Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant.
SAFECOMP 2002: 273-283 |
| 1999 |
|---|
| 1 | EE | Andrea Bobbio,
Luigi Portinale,
Michele Minichino,
Ester Ciancamerla:
Comparing Fault Trees and Bayesian Networks for Dependability Analysis.
SAFECOMP 1999: 310-322 |
