-
1
-
-
12344308304
-
Basic concepts and taxonomy of dependable and secure computing
-
Jan
-
A. Avizienis, J. Laprie, B. Randell, and C. Landwehr, "Basic concepts and taxonomy of dependable and secure computing," IEEE Trans. Dependable Secure Comput., vol.1, no.1, pp. 11-33, Jan. 2004
-
(2004)
IEEE Trans. Dependable Secure Comput.
, vol.1
, Issue.1
, pp. 11-33
-
-
Avizienis, A.1
Laprie, J.2
Randell, B.3
Landwehr, C.4
-
2
-
-
36048983205
-
Foundations of measurement theory applied to the evaluation of dependability attributes
-
Edinburgh, U.K., Jun. 25-28
-
A. Bondavalli, A. Ceccarelli, L. Falai, and M. Vadursi, "Foundations of measurement theory applied to the evaluation of dependability attributes," in Proc. 37th Annu. IEEE/IFIP Int. Conf. DSN, Edinburgh, U.K., Jun. 25-28, 2007, pp. 522-531
-
(2007)
Proc. 37th Annu. IEEE/IFIP Int. Conf. DSN
, pp. 522-531
-
-
Bondavalli, A.1
Ceccarelli, A.2
Falai, L.3
Vadursi, M.4
-
3
-
-
58149092425
-
Assuring resilient time synchronization
-
Napoli, Italy, Oct. 6-8
-
A. Bondavalli, A. Ceccarelli, and L. Falai, "Assuring resilient time synchronization," in Proc. 27th IEEE SRDS, Napoli, Italy, Oct. 6-8, 2008, pp. 3-12
-
(2008)
Proc. 27th IEEE SRDS
, pp. 3-12
-
-
Bondavalli, A.1
Ceccarelli, A.2
Falai, L.3
-
4
-
-
33646519007
-
Quantitative evaluation of distributed algorithms using the Neko framework: The Nekostat extension
-
Salvador, Brazil, Oct. 25-28
-
L. Falai, A. Bondavalli, and F. Di Giandomenico, "Quantitative evaluation of distributed algorithms using the Neko framework: The Nekostat extension," in Proc. LADC, Salvador, Brazil, Oct. 25-28, 2005, pp. 35-51
-
(2005)
Proc. LADC
, pp. 35-51
-
-
Falai, L.1
Bondavalli, A.2
Di Giandomenico, F.3
-
5
-
-
0003126330
-
Xception: Software fault injection and monitoring in processor functional units
-
Pre-prints
-
J. Carreira, H. Madeira, and J. Silva, "Xception: Software fault injection and monitoring in processor functional units," in Proc. 5th Int. Working Conf. DCCA, 1995, pp. 135-149. Pre-prints
-
(1995)
Proc. 5th Int. Working Conf. DCCA
, pp. 135-149
-
-
Carreira, J.1
Madeira, H.2
Silva, J.3
-
6
-
-
0035789631
-
Goofi: Generic object-oriented fault injection tool
-
Washington,DC
-
J. Aidemark, J. Vinter, P. Folkesson, and J. Karlsson, "Goofi: Generic object-oriented fault injection tool," in Proc. Int. Conf. Dependable Syst. Netw. (formerly: FTCS), Washington, DC, 2001, pp. 83-88
-
(2001)
Proc. Int. Conf. Dependable Syst. Netw. (Formerly: FTCS)
, pp. 83-88
-
-
Aidemark, J.1
Vinter, J.2
Folkesson, P.3
Karlsson, J.4
-
7
-
-
84866172525
-
Assessment of COTS microkernels by fault injection
-
Washington, DC
-
J.-C. Fabre, F. Salles, M. R. Moreno, and J. Arlat, "Assessment of COTS microkernels by fault injection," in Proc. Conf. DCCA, Washington, DC, 1999, pp. 25-44
-
(1999)
Proc. Conf. DCCA
, pp. 25-44
-
-
Fabre, J.-C.1
Salles, F.2
Moreno, M.R.3
Arlat, J.4
-
8
-
-
0036926051
-
MAFALDA-RT: A tool for dependability assessment of real-time systems
-
Washington,DC
-
M. Rodriguez, A. Albinet, and J. Arlat, "MAFALDA-RT: A tool for dependability assessment of real-time systems," in Proc. Int. Conf. Dependable Syst. Netw., Washington, DC, 2002, pp. 267-272
-
(2002)
Proc. Int. Conf. Dependable Syst. Netw.
, pp. 267-272
-
-
Rodriguez, M.1
Albinet, A.2
Arlat, J.3
-
9
-
-
0025384345
-
Fault injection for dependability validation: A methodology and some applications
-
Feb
-
J. Arlat, M. Aguera, L. Amat, Y. Crouzet, J.-C. Fabre, J.-C. Laprie, E. Martins, and D. Powell, "Fault injection for dependability validation: A methodology and some applications," IEEE Trans. Softw. Eng., vol.16, no.2, pp. 166-182, Feb. 1990
-
(1990)
IEEE Trans. Softw. Eng.
, vol.16
, Issue.2
, pp. 166-182
-
-
Arlat, J.1
Aguera, M.2
Amat, L.3
Crouzet, Y.4
Fabre, J.-C.5
Laprie, J.-C.6
Martins, E.7
Powell, D.8
-
10
-
-
77949423883
-
FTAPE: A fault injection tool to measure fault tolerance
-
San Antonio, TX
-
T. K. Tsai and R. K. Iyer, "FTAPE: A fault injection tool to measure fault tolerance," in Proc. 10th AIAA, Comput. Aerosp. Conf., San Antonio, TX, 1995, pp. 339-346
-
(1995)
Proc. 10th AIAA, Comput. Aerosp. Conf.
, pp. 339-346
-
-
Tsai, T.K.1
Iyer, R.K.2
-
11
-
-
0034590186
-
Loki: A state-driven fault injector for distributed systems
-
Washington,DC
-
R. Chandra, R. M. Lefever, M. Cukier, and W. H. Sanders, "Loki: A state-driven fault injector for distributed systems," in Proc. Int. Conf. Dependable Syst. Netw. (formerly FTCS-30/DCCA-8), Washington, DC, 2000, pp. 237-242
-
(2000)
Proc. Int. Conf. Dependable Syst. Netw. (Formerly FTCS-30/DCCA-8)
, pp. 237-242
-
-
Chandra, R.1
Lefever, R.M.2
Cukier, M.3
Sanders, W.H.4
-
12
-
-
84949809105
-
Neko: A single environment to simulate and prototype distributed algorithms
-
Washington, DC
-
P. Urban, A. Schiper, and X. Defago, "Neko: A single environment to simulate and prototype distributed algorithms," in Proc. 15th Int. Conf. Inf. Netw., Washington, DC, 2001, pp. 503-511
-
(2001)
Proc. 15th Int. Conf. Inf. Netw.
, pp. 503-511
-
-
Urban, P.1
Schiper, A.2
Defago, X.3
-
13
-
-
0029719783
-
Testing of faulttolerant and real-time distributed systems via protocol fault injection
-
Washington,DC
-
S. Dawson, F. Jahanian, T. Mitton, and T.-L. Tung, "Testing of faulttolerant and real-time distributed systems via protocol fault injection," in Proc. 26th Annu. FTCS, Washington, DC, 1996, p. 404
-
(1996)
Proc. 26th Annu. FTCS
, pp. 404
-
-
Dawson, S.1
Jahanian, F.2
Mitton, T.3
Tung, T.-L.4
-
15
-
-
2642513952
-
Benchmarking operating system dependability: Windows 2000 as a case study
-
Washington,DC
-
A. Kalakech, T. Jarboui, J. Arlat, Y. Crouzet, and K. Kanoun, "Benchmarking operating system dependability: Windows 2000 as a case study," in Proc. 10th IEEE PRDC, Washington, DC, 2004, pp. 261-270
-
(2004)
Proc. 10th IEEE PRDC
, pp. 261-270
-
-
Kalakech, A.1
Jarboui, T.2
Arlat, J.3
Crouzet, Y.4
Kanoun, K.5
-
16
-
-
34047177015
-
Soft-error classification and impact analysis on real-time operating systems
-
Leuven, Belgium
-
N. Ignat, B. Nicolescu, Y. Savaria, and G. Nicolescu, "Soft-error classification and impact analysis on real-time operating systems," in Proc. Conf. Des., Autom. Test Eur., Leuven, Belgium, 2006, pp. 182-187
-
(2006)
Proc. Conf. Des., Autom. Test Eur.
, pp. 182-187
-
-
Ignat, N.1
Nicolescu, B.2
Savaria, Y.3
Nicolescu, G.4
-
17
-
-
0029715010
-
An approach towards benchmarking of fault-tolerant commercial systems
-
Washington,DC
-
T. K. Tsai, R. K. Iyer, and D. Jewitt, "An approach towards benchmarking of fault-tolerant commercial systems," in Proc. 26th Annu. FTCS, Washington, DC, 1996, p. 314
-
(1996)
Proc. 26th Annu. FTCS
, pp. 314
-
-
Tsai, T.K.1
Iyer, R.K.2
Jewitt, D.3
-
18
-
-
0013242240
-
FORTRESS: A system to support fail-aware real-time applications
-
Real-Time Syst. Services, San Francisco, CA, Dec
-
C. Fetzer and F. Cristian, "FORTRESS: A system to support fail-aware real-time applications," in Proc. IEEE Workshop Middleware Distrib. Real-Time Syst. Services, San Francisco, CA, Dec. 1997
-
(1997)
Proc. IEEE Workshop Middleware Distrib.
-
-
Fetzer, C.1
Cristian, F.2
-
19
-
-
36049020899
-
Plato: Predictive latency-aware total ordering
-
Washington,DC
-
M. Balakrishnan, K. Birman, and A. Phanishayee, "Plato: Predictive latency-aware total ordering," in Proc. 25th IEEE SRDS,Washington, DC, 2006, pp. 175-188
-
(2006)
Proc. 25th IEEE SRDS
, pp. 175-188
-
-
Balakrishnan, M.1
Birman, K.2
Phanishayee, A.3
-
21
-
-
0026242010
-
Internet time synchronization: The network time protocol
-
Oct
-
D. Mills, "Internet time synchronization: The network time protocol," IEEE Trans. Commun., vol.39, no.10, pp. 1482-1493, Oct. 1991
-
(1991)
IEEE Trans. Commun.
, vol.39
, Issue.10
, pp. 1482-1493
-
-
Mills, D.1
-
24
-
-
0030245134
-
Fault injection for formal testing of fault tolerance
-
Sep
-
D. Avresky, J. Arlat, J. C. Laprie, and Y. Crouzet, "Fault injection for formal testing of fault tolerance," IEEE Trans. Rel., vol.45, no.3, pp. 443-455, Sep. 1996
-
(1996)
IEEE Trans. Rel.
, vol.45
, Issue.3
, pp. 443-455
-
-
Avresky, D.1
Arlat, J.2
Laprie, J.C.3
Crouzet, Y.4
-
25
-
-
0034317699
-
Challenges and approaches in providing QoS monitoring
-
Nov./Dec
-
Y. Jiang, C. Tham, and C. Ko, "Challenges and approaches in providing QoS monitoring," Int. J. Netw. Manag., vol.10, no.6, pp. 323-334, Nov./Dec. 2000
-
(2000)
Int. J. Netw. Manag.
, vol.10
, Issue.6
, pp. 323-334
-
-
Jiang, Y.1
Tham, C.2
Ko, C.3
-
27
-
-
77949423500
-
DBench dependability benchmarks
-
K. Kanoun, H. Madeira, Y. Crouzet, M. Dal Cin, F. Moreira ,J.-C. Ruiz Garcia, Eds. May
-
K. Kanoun, H. Madeira, Y. Crouzet, M. Dal Cin, F. Moreira, and J.-C. Ruiz Garcia, Eds., "DBench dependability benchmarks," DBench Project Full Final Report, Project IST-2000-25425, May 2004, p. 233
-
(2004)
DBench Project Full Final Report, Project IST-2000-25425
, pp. 233
-
-
-
28
-
-
84947661722
-
New ways to get accurate reliability measures
-
Jul.
-
S. Brocklehurst and B. Littlewood, "New ways to get accurate reliability measures," IEEE Softw., vol.9, no.4, pp. 34-42, Jul. 1992
-
(1992)
IEEE Softw.
, vol.9
, Issue.4
, pp. 34-42
-
-
Brocklehurst, S.1
Littlewood, B.2
-
29
-
-
0028393055
-
Software measurement: A necessary scientific basis
-
Mar
-
N. Fenton, "Software measurement: A necessary scientific basis," IEEE Trans. Softw. Eng., vol.20, no.3, pp. 199-206, Mar. 1994
-
(1994)
IEEE Trans. Softw. Eng.
, vol.20
, Issue.3
, pp. 199-206
-
-
Fenton, N.1
-
30
-
-
27844432677
-
Dependability
-
Oct
-
K. Fowler, "Dependability," IEEE Instrum. Meas. Mag., vol.8, no.4, pp. 55-58, Oct. 2005
-
(2005)
IEEE Instrum. Meas. Mag.
, vol.8
, Issue.4
, pp. 55-58
-
-
Fowler, K.1
-
31
-
-
77949423086
-
-
[Online], Available
-
[Online]. Available: http://www.amber-project.eu/
-
-
-
-
33
-
-
0003101993
-
Internet-based distributed measurement and control applications
-
Jun
-
K. B. Lee and R. D. Schneeman, "Internet-based distributed measurement and control applications," IEEE Instrum. Meas. Mag., vol.2, no.2, pp. 23-27, Jun. 1999
-
(1999)
IEEE Instrum. Meas. Mag.
, vol.2
, Issue.2
, pp. 23-27
-
-
Lee, K.B.1
Schneeman, R.D.2
-
34
-
-
34648826987
-
GRID-based power measurement in digital wireless communication systems
-
Oct
-
L. Angrisani, L. Battaglia, and F. Delfino, "GRID-based power measurement in digital wireless communication systems," IEEE Trans. Instrum. Meas., vol.56, no.5, pp. 1565-1572, Oct. 2007
-
(2007)
IEEE Trans. Instrum. Meas.
, vol.56
, Issue.5
, pp. 1565-1572
-
-
Angrisani, L.1
Battaglia, L.2
Delfino, F.3
-
35
-
-
0031988356
-
Java-based distributed measurement systems
-
Feb
-
D. Grimaldi, L. Pupo, and F. Nigro, "Java-based distributed measurement systems," IEEE Trans. Instrum. Meas., vol.47, no.1, p. 100, Feb. 1998
-
(1998)
IEEE Trans. Instrum. Meas.
, vol.47
, Issue.1
, pp. 100
-
-
Grimaldi, D.1
Pupo, L.2
Nigro, F.3
-
36
-
-
0034295891
-
A measurement laboratory on geographic network for remote test experiments
-
Oct
-
P. Arpaia, A. Baccigalupi, F. Cennamo, and P. Daponte, "A measurement laboratory on geographic network for remote test experiments," IEEE Trans. Instrum. Meas., vol.49, no.5, pp. 992-997, Oct. 2000
-
(2000)
IEEE Trans. Instrum. Meas.
, vol.49
, Issue.5
, pp. 992-997
-
-
Arpaia, P.1
Baccigalupi, A.2
Cennamo, F.3
Daponte, P.4
-
37
-
-
69249240785
-
Power quality analysis: A distributed measurement system
-
Bologna, Italy, Jun. 23-26
-
D. Castaldo, D. Gallo, C. Landi, R. Langella, and A. Testa, "Power quality analysis: A distributed measurement system," in Proc. IEEE Power Tech Conf., Bologna, Italy, Jun. 23-26, 2003, vol.3, p. 6
-
(2003)
Proc. IEEE Power Tech Conf.
, vol.3
, pp. 6
-
-
Castaldo, D.1
Gallo, D.2
Landi, C.3
Langella, R.4
Testa, A.5
-
38
-
-
27544513129
-
Experimental evaluation of the QoS of failure detectors on wide area network
-
Yokohama, Japan, Jun. 28-Jul
-
L. Falai and A. Bondavalli, "Experimental evaluation of the QoS of failure detectors on wide area network," in Proc. 35th Annu. IEEE/IFIP Int. Conf. DSN, Yokohama, Japan, Jun. 28-Jul. 1, 2005, pp. 624-633
-
(2005)
Proc. 35th Annu. IEEE/IFIP Int. Conf. DSN
, vol.1
, pp. 624-633
-
-
Falai, L.1
Bondavalli, A.2
-
39
-
-
0344152271
-
Bandwidth estimation: Metrics, measurement techniques, and tools
-
Nov./Dec
-
R. Prasad, C. Dovrolis,M.Murray, and K. Claffy, "Bandwidth estimation: Metrics, measurement techniques, and tools," IEEE Netw., vol.17, no.6, pp. 27-35, Nov./Dec. 2003
-
(2003)
IEEE Netw.
, vol.17
, Issue.6
, pp. 27-35
-
-
Prasad, R.1
Dovrolis, C.2
Murray, M.3
Claffy, K.4
-
40
-
-
28044449156
-
Techniques for available bandwidth measurement in IP networks: A performance comparison
-
Feb. 22
-
L. Angrisani, S. D'Antonio, M. Esposito, and M. Vadursi, "Techniques for available bandwidth measurement in IP networks: A performance comparison," Comput. Netw., vol.50, no.3, pp. 332-349, Feb. 22, 2006
-
(2006)
Comput. Netw.
, vol.50
, Issue.3
, pp. 332-349
-
-
Angrisani, L.1
D'Antonio, S.2
Esposito, M.3
Vadursi, M.4
-
41
-
-
34547922725
-
Cross-layer measurements for a comprehensive characterization of wireless networks in the presence of interference
-
Aug
-
L. Angrisani and M. Vadursi, "Cross-layer measurements for a comprehensive characterization of wireless networks in the presence of interference," IEEE Trans. Instrum. Meas., vol.56, no.4, pp. 1148-1156, Aug. 2007
-
(2007)
IEEE Trans. Instrum. Meas.
, vol.56
, Issue.4
, pp. 1148-1156
-
-
Angrisani, L.1
Vadursi, M.2
-
42
-
-
0036163168
-
On the quality of service of failure detectors
-
Jan
-
W. Chen, S. Toueg, and M. K. Aguilera, "On the quality of service of failure detectors," IEEE Trans. Comput., vol.51, no.1, pp. 13-32, Jan. 2002
-
(2002)
IEEE Trans. Comput.
, vol.51
, Issue.1
, pp. 13-32
-
-
Chen, W.1
Toueg, S.2
Aguilera, M.K.3
-
43
-
-
58149092866
-
-
Ph.D. dissertation, Univ. Firenze, Florence, Italy
-
L. Falai, "Observing, monitoring and evaluating distributed systems," Ph.D. dissertation, Univ. Firenze, Florence, Italy, 2008
-
(2008)
Observing, Monitoring and Evaluating Distributed Systems
-
-
Falai, L.1
-
44
-
-
85010199652
-
Failure detectors as first class objects
-
Edinburgh, U.K.
-
P. Felber, X. Defago, R. Guerraoui, and P. Oser, "Failure detectors as first class objects," in Proc. Int. Symp. DOA, Edinburgh, U.K., 1999, pp. 132-141
-
(1999)
Proc. Int. Symp. DOA
, pp. 132-141
-
-
Felber, P.1
Defago, X.2
Guerraoui, R.3
Oser, P.4
-
45
-
-
0036925450
-
Performance analysis of a consensus algorithm combining stochastic activity networks and measurements
-
Jun. 23-26
-
A. Coccoli, P. Urban, A. Bondavalli, and A. Schiper, "Performance analysis of a consensus algorithm combining stochastic activity networks and measurements," in Proc. 32nd Annu. IEEE/IFIP Int. Conf. DSN, Jun. 23-26, 2002, pp. 551-560
-
(2002)
Proc. 32nd Annu. IEEE/IFIP Int. Conf. DSN
, pp. 551-560
-
-
Coccoli, A.1
Urban, P.2
Bondavalli, A.3
Schiper, A.4
-
46
-
-
1542270198
-
The OLAP and data warehousing approaches for analysis and sharing of results from dependability evaluation experiments
-
Jun. 22-25
-
H. Madeira, J. Costa, and M. Vieira, "The OLAP and data warehousing approaches for analysis and sharing of results from dependability evaluation experiments," in Proc. 33rd Annu. IEEE/IFIP Int. Conf. DSN, Jun. 22-25, 2003, pp. 86-91
-
(2003)
Proc. 33rd Annu. IEEE/IFIP Int. Conf. DSN
, pp. 86-91
-
-
Madeira, H.1
Costa, J.2
Vieira, M.3
|