Publications

Export 5 results:
[ Author(Desc)] Title Type Year
Filters: Keyword is program verification  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
C
Cukier M, Chandra R, Henke D, Pistole J, Sanders WH.  1999.  Fault injection based on a partial view of the global state of a distributed system. :168-177.
D
Duggal HS, Cukier M, Sanders WH.  1997.  Probabilistic verification of a synchronous round-based consensus protocol. :165-174.
M
Memon AM, Porter A, Yilmaz C, Nagarajan A, Schmidt D, Natarajan B.  2004.  Skoll: distributed continuous quality assurance. Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on. :459-468.
S
Sharma A, Martin JR, Anand N, Cukier M, Sanders WH.  2004.  Ferret: a host vulnerability checking tool. :389-394.
Elaine Shi, Perrig A, Van Doorn L.  2005.  BIND: a fine-grained attestation service for secure distributed systems. :154-168.