| 2009 |
| 12 | EE | Salvatore Distefano,
Antonio Puliafito:
Dependability Evaluation with Dynamic Reliability Block Diagrams and Dynamic Fault Trees.
IEEE Trans. Dependable Sec. Comput. 6(1): 4-17 (2009) |
| 2008 |
| 11 | EE | Salvatore Distefano:
Investigating fault tolerant computing systems reliability.
IPDPS 2008: 1-8 |
| 2007 |
| 10 | EE | Salvatore Distefano,
Antonio Puliafito:
Modeling Dependability of Dynamic Computing Systems.
ICIC (2) 2007: 982-991 |
| 9 | EE | Salvatore Distefano,
Antonio Puliafito:
Dependability Modeling and Analysis in Dynamic Systems.
IPDPS 2007: 1-8 |
| 8 | EE | Salvatore Distefano,
Antonio Puliafito:
DFT and DRBD in Computing Systems Dependability Analysis.
SAFECOMP 2007: 423-429 |
| 7 | EE | Salvatore Distefano,
Antonio Puliafito,
Marco Scarpa:
A Grid-based algorithm for the solution of non-Markovian stochastic Petri nets.
Concurrency and Computation: Practice and Experience 19(9): 1353-1370 (2007) |
| 2006 |
| 6 | EE | Salvatore Distefano,
Marco Scarpa,
Antonio Puliafito:
Modeling Distributed Computing System Reliability with DRBD.
SRDS 2006: 106-118 |
| 2005 |
| 5 | EE | Salvatore Distefano,
Marco Scarpa,
Antonio Puliafito:
Software Performance Analysis in UML Models.
FIRB-Perf 2005: 115-125 |
| 4 | | Salvatore Distefano,
Daniele Paci,
Antonio Puliafito,
Marco Scarpa:
Design and Implementation of a Performance Plug-In for the ArgoUML Tool.
IASTED Conf. on Software Engineering 2005: 337-342 |
| 3 | EE | Salvatore Distefano,
Antonio Puliafito,
Marco Scarpa:
GridSPN: a Grid-based non Markovian Petri Nets Tool.
WETICE 2005: 331-338 |
| 2004 |
| 2 | EE | Salvatore Distefano,
Daniele Paci,
Antonio Puliafito,
Marco Scarpa:
UML Design and Software Performance Modeling.
ISCIS 2004: 564-573 |
| 2003 |
| 1 | EE | Marco Scarpa,
Salvatore Distefano,
Antonio Puliafito:
A Parallel Approach for the Solution of Non-Markovian Petri Nets.
PVM/MPI 2003: 196-203 |