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 |