Publications

Export 9 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is fault tolerant computing  [Clear All Filters]
2008
Basili VR, Marotta F, Dangle K, Esker L, Rus I.  2008.  Measures and Risk Indicators for Early Insight into Software Safety. Development of Fault-Tolerant Systems.
2006
Nam B, Sussman A.  2006.  DiST: fully decentralized indexing for querying distributed multidimensional datasets. Parallel and Distributed Processing Symposium, 2006. IPDPS 2006. 20th International.
2004
Vasan A, Memon AM.  2004.  ASPIRE: automated systematic protocol implementation robustness evaluation. Software Engineering Conference, 2004. Proceedings. 2004 Australian. :241-250.
Chandra R, Lefever RM, Joshi KR, Cukier M, Sanders WH.  2004.  A global-state-triggered fault injector for distributed system evaluation. Parallel and Distributed Systems, IEEE Transactions on. 15(7):593-605.
2002
Ramasamy HV, Cukier M, Sanders WH.  2002.  Formal specification and verification of a group membership protocol for an intrusion-tolerant group communication system. :9-18.
2001
Ren Y, Cukier M, Sanders WH.  2001.  An adaptive algorithm for tolerating value faults and crash failures. Parallel and Distributed Systems, IEEE Transactions on. 12(2):173-192.
Krishnamurthy S, Sanders WH, Cukier M.  2001.  A dynamic replica selection algorithm for tolerating timing faults. :107-116.
1999
Ren J, Cukier M, Rubel P, Sanders WH, Bakken DE, Karr DA.  1999.  Building dependable distributed applications using AQUA. :189-196.
Cukier M, Powell D, Ariat J.  1999.  Coverage estimation methods for stratified fault-injection. Computers, IEEE Transactions on. 48(7):707-723.