Publications with the Performability Engineering Research Group
Probabilistic Verification of a Synchronous Round-Based Consensus Protocol.
H. S. Duggal, M. Cukier, and W. H. Sanders. (97DUG01)
Proceedings of the Sixteenth IEEE Symposium on Reliable Distributed Systems (SRDS-97), Durham, NC, October 22-24, 1997, pp. 165-174.
Presents a new state-space-based approach for the probabilistic verification of synchronous round-based consensus protocols, using the Byzantine Generals protocol as an illustrative example.
AQuA: An Adaptive Architecture That Provides Dependable Distributed Objects.
M. Cukier, J. Ren, C. Sabnis, D. Henke, J. Pistole, W. H. Sanders, D. E. Bakken, M. E. Berman, D. A. Karr, and R. E. Schantz. (98CUK01)
Proceedings of the 17th IEEE Symposium on Reliable Distributed Systems (SRDS'98), West Lafayette, Indiana, USA, October 20-23, 1998, pp. 245-253.
Provides an overview of AQuA, an architecture for constructing adaptive reliable distributed systems.
Proteus: A Flexible Infrastructure to Implement Adaptive Fault Tolerance in AQuA.
C. Sabnis, M. Cukier, J. Ren, P. Rubel, W. H. Sanders, D. E. Bakken, and D. A. Karr. (98SAB02)
in C. B. Weinstock and J. Rushby (Eds.), Dependable Computing for Critical Applications 7, vol. 12 in series Dependable Computing and Fault-Tolerant Systems (A. Avizienis, H. Kopetz, and J. C. Laprie, Eds.), pp. 149-168. Los Alamitos, CA: IEEE Computer Society, 1999.
This paper describes, in depth, how dependability is provided in AQuA. In particular, we describe Proteus, the part of AQuA that dynamically manages replicated distributed objects to make them dependable.
Building Dependable Distributed Objects with the AQuA Architecture.
M. Cukier, J. Ren, P. Rubel, D. E. Bakken, and D. A. Karr. (99CUK02)
Digest of FastAbstracts presented at the 29th Annual International Symposium on Fault-Tolerant Computing (FTCS-29), Madison, Wisconsin, USA, June 15-18, 1999, pp. 17-18.
Fault Injection Based on a Partial View of the Global State of a Distributed System.
M. Cukier, R. Chandra, D. Henke, J. Pistole, and W. H. Sanders. (99CUK01)
Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems, Lausanne, Switzerland, October 19-22, 1999, pp. 168-177.
This paper describes the basis for and preliminary implementation of a new fault injector, called Loki, developed specifically for distributed systems.
Building Dependable Distributed Applications Using AQuA.
J. Ren, M. Cukier, P. Rubel, W. H. Sanders, D. E. Bakken, and D. A. Karr. (99CUK03)
Proceedings of the 4th IEEE Symposium on High Assurance Systems Engineering (HASE'99), Washington D.C., November 17-19, 1999, pp. 189-196.
This paper describes how to construct dependable applications using the AQuA architecture, by describing the interface that a programmer is presented with and the graphical monitoring facilities that it provides.
Loki: A State-Driven Fault Injector for Distributed Systems.
R. Chandra, R. M. Lefever, M. Cukier, and W. H. Sanders. (99CHA01)
Proceedings of the International Conference on Dependable Systems and Networks (DSN-2000), New York, NY, June 25-28, 2000, pp. 237-242.
Dynamic Node Management and Measure Estimation in a State-Driven Fault Injector.
R. Chandra, M. Cukier, R. M. Lefever, and W. H. Sanders. (00CHA01)
Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems, Nürnberg, Germany, October 16-18, 2000, pp. 248-257.
An Adaptive Algorithm for Tolerating Value Faults and Crash Failures.
Y. Ren, M. Cukier, and W. H. Sanders. (00REN02)
IEEE Transactions on Parallel and Distributed Systems, vol. 12, no. 2, February 2001, pp. 173-192.
A Dynamic Replica Selection Algorithm for Tolerating Timing Faults.
S. Krishnamurthy, W. H. Sanders, and M. Cukier. (00KRI01)
Proceedings of the International Conference on Dependable Systems and Networks (DSN-2001), Göteborg, Sweden, July 1-4, 2001, pp. 107-116.
Presents a probabilistic model-based algorithm for dynamically selecting the replicas of a replicated service that can meet a client's timing constraints. The model uses performance parameters regularly broadcast by the replicas to predict the probability with which the replicas can prevent a timing failure for a client.
Intrusion Tolerance Approaches in ITUA.
M. Cukier, J. Lyons, P. Pandey, H. V. Ramasamy, W. H. Sanders, P. Pal, F. Webber, R. Schantz, J. Loyall, R. Watro, M. Atighetchi, and J. Gossett. (01CUK01)
FastAbstract in Supplement of the 2001 International Conference on Dependable Systems and Networks, Göteborg, Sweden, July 1-4, 2001, pp. B-64 to B-65.
An Overview of the AQuA Gateway.
M. Seri, T. Courtney, M. Cukier, and W. H. Sanders. (01SER01)
Proceedings of the 1st Workshop on The ACE ORB (TAO), St. Louis, MO, August 5-6, 2001, to appear.
Survival by Defense-Enabling.
P. Pal, F. Webber, R. Schantz, J. Loyall, R. Watro, W. Sanders, M. Cukier, and J. Gossett. (01PAL01)
Proceedings of the New Security Paradigms Workshop 2001 , Cloudcroft, New Mexico, September 11-13, 2001, pp. 71-78.
Performance Evaluation of a Probabilistic Replica Selection Algorithm.
S. Krishnamurthy, W. H. Sanders, and M. Cukier. (01KRI02)
Proceedings of the 7th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2002), San Diego, California, January 7-9, 2002, pp. 119-127.
Performance Evaluation of a QoS-Aware Framework for Providing Tunable Consistency and Timeliness.
S. Krishnamurthy, W. H. Sanders, and M. Cukier. (02KRI02)
Proceedings of the 2002 10th IEEE International Workshop on Quality of Service (IWQoS 2002), Miami Beach, Florida, May 15-17, 2002, pp. 214-223.
An Adaptive Framework for Tunable Consistency and Timeliness Using Replication.
S. Krishnamurthy, W. H. Sanders, and M. Cukier. (01KRI03)
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN-2002), Washington, DC, June 23-26, 2002, pp. 17-26.
Quantifying the Cost of Providing Intrusion Tolerance in Group Communication Systems.
H. V. Ramasamy, P. Pandey, J. Lyons, M. Cukier, and W. H. Sanders. (01RAM01)
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN-2002), Washington, DC, June 23-26, 2002, pp. 229-238.
A Configurable CORBA Gateway for Providing Adaptable System Properties.
M. Seri, T. Courtney, M. Cukier, V. Gupta, S. Krishnamurthy, J. Lyons, H. Ramasamy, J. Ren, and W. H. Sanders. (02SER01)
Supplemental Volume of the 2002 International Conference on Dependable Systems & Networks (DSN-2002), Washington, DC, June 23-26, 2002, pp. G-26 to G-30.
Providing Intrusion Tolerance with ITUA.
T. Courtney, J. Lyons, H. V. Ramasamy, W. H. Sanders, M. Seri, M. Atighetchi, P. Rubel, C. Jones, F. Webber, P. Pal, R. Watro, M. Cukier, and J. Gossett. (02COU01)
Supplemental Volume of the 2002 International Conference on Dependable Systems & Networks (DSN-2002), Washington, DC, June 23-26, 2002, pp. C-5-1 to C-5-3.
Probabilistic Validation of Intrusion Tolerance.
W. H. Sanders, M. Cukier, F. Webber, P. Pal, and R. Watro. (02SAN02)
Fast Abstract in the Supplemental Volume of the 2002 International Conference on Dependable Systems & Networks (DSN-2002), Washington, DC, June 23-26, 2002, pp. B-78 to B-79.
Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol.
K. R. Joshi, M. Cukier, and W. H. Sanders. (02JOS01)
Dependable Computing EDCC-4: Proceedings of the 4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002, pp. 140-158.
Formal Specification and Verification of a Group Membership Protocol for an Intrusion-Tolerant Group Communication System.
H. V. Ramasamy, M. Cukier, and W. H. Sanders. (02RAM02)
Proceedings of the 2002 Pacific Rim International Symposium on Dependable Computing (PRDC 2002), Tsukuba, Japan, December 16-18, 2002, pp. 9-18.
Passive Replication Schemes in AQuA.
Y. (J.) Ren, P. Rubel, M. Seri, M. Cukier, W. H. Sanders, and T. Courtney. (02REN01)
Proceedings of the 2002 Pacific Rim International Symposium on Dependable Computing (PRDC 2002), Tsukuba, Japan, December 16-18, 2002, pp. 125-130.
AQuA: An Adaptive Architecture that Provides Dependable Distributed Objects.
Y. (J.) Ren, D. E. Bakken, T. Courtney, M. Cukier, D. A. Karr, P. Rubel, C. Sabnis, W. H. Sanders, R. E. Schantz, and M. Seri. (99CUK04)
IEEE Transactions on Computers, vol. 52, no. 1, January 2003, pp. 31-50.
Probabilistic Validation of an Intrusion-Tolerant Replication System.
S. Singh, M. Cukier, and W. H. Sanders. (03SIN01)
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN-2003), San Francisco, CA, June 22-25, 2003, pp. 615-624.
An Experimental Evaluation of Correlated Network Partitions in the Coda Distributed File System.
R. M. Lefever, M. Cukier, and W. H. Sanders. (03LEF01)
Proceedings of the 22nd International Symposium on Reliable Distributed Systems (SRDS'03), Florence, Italy, October 6-8, 2003, pp. 273-282.
An Adaptive Quality of Service Aware Middleware for Replicated Services.
S. Krishnamurthy, W. H. Sanders, and M. Cukier. (02KRI05)
IEEE Transactions on Parallel and Distributed Systems, vol. 14, no. 11, November 2003, pp. 1112-1125.
Formal Verification of an Intrusion-Tolerant Group Membership Protocol.
H. V. Ramasamy, M. Cukier, and W. H. Sanders. (03RAM01)
IEICE Transactions on Information and Systems special issue on Dependable Computing, vol. E86-D, no. 12, December 2003, pp. 2612-2622.
Formal Specification and Verification of a Group Membership Protocol for an Intrusion-Tolerant Group Communication System.
H. V. Ramasamy, M. Cukier, and W. H. Sanders. (03RAM05)
in Foundations of Intrusion Tolerant Systems (Jay Lala, ed.), pp. 251-260. Los Alamitos, CA: IEEE Computer Society, 2003. (Reprint of the conference paper with the same name.)
Quantifying the Cost of Providing Intrusion Tolerance in Group Communication Systems.
H. V. Ramasamy, P. Pandey, J. Lyons, M. Cukier, and W. H. Sanders. (03RAM06)
in Foundations of Intrusion Tolerant Systems (Jay Lala, ed.), pp. 241-250. Los Alamitos, CA: IEEE Computer Society, 2003. (Reprint of the conference paper with the same name.)
Ferret: A Host Vulnerability Checking Tool.
A. Sharma, J. R. Martin, N. Anand, M. Cukier, and W. H. Sanders. (03SHA01)
Proceedings of the 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC-10), Papeete, Tahiti, French Polynesia, March 3-5, 2004, pp. 389-394.
A Global-State-Triggered Fault Injector for Distributed System Evaluation.
R. Chandra, R. M. Lefever, K. R. Joshi, M. Cukier, and W. H. Sanders. (01CHA01)
IEEE Transactions on Parallel and Distributed Systems, vol. 15, no. 7, July 2004, pp. 593-605.
An Architecture for Adaptive Intrusion-Tolerant Applications.
P. Pal, P. Rubel, M. Atighetchi, F. Webber, W. H. Sanders, M. Seri, H. Ramasamy, J. Lyons, T. Courtney, A. Agbaria, M. Cukier, J. Gossett, and I. Keidar. (04PAL01)
Special issue of Software: Practice and Experience on Experiences with Auto-adaptive and Reconfigurable Systems, vol. 36, no. 11-12, September-October 2006, pp. 1331-1354.
Experiences with Building an Intrusion-Tolerant Group Communication System.
H. V. Ramasamy, P. Pandey, M. Cukier, and W. H. Sanders. (06RAM02)
Software-Practice and Experience, to appear.
|
