PERFORM

 

Michel Cukier

Michel Cukier

Formerly a postdoc in the PERFORM group. Now at the University of Maryland.
home page


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. [IEEE Xplore entry]

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. [IEEE Xplore entry]

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.

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. [IEEE Xplore entry]

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. [IEEE Xplore entry]

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. [IEEE Xplore entry]

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. [IEEE Xplore entry]

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. [IEEE Xplore entry]

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. [IEEE Xplore entry]

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)
1st Workshop on The ACE ORB (TAO), St. Louis, MO, August 5-6, 2001. (Presented but not published in a proceedings.)

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. [IEEE Xplore entry]

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. [IEEE Xplore entry]

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. [IEEE Xplore entry]

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. [IEEE Xplore entry]

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. [IEEE Xplore entry]

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. [IEEE Xplore entry]

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. [IEEE Xplore entry]

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. [IEEE Xplore entry]

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. [IEEE Xplore entry]

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. [IEEE Xplore entry]

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.) [IEEE Xplore entry]

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.) [IEEE Xplore entry]

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. [IEEE Xplore entry]

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. [IEEE Xplore entry]

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, vol. 38, no. 6, May 2008, pp. 639-666.

 


COPYRIGHT NOTICES: The above electronic files are presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

The following copyright notice applies to all of the above items that appear in IEEE publications: "Personal use of this material is permitted. However, permission to reprint/publish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from IEEE."