Model-Based Validation of an Intrusion-Tolerant Information System. - Fabrice Stevens; Tod Courtney; Sankalp Singh; Adnan Agbaria; John F. Meyer; William H. Sanders; Partha P. Pal (SRDS, 2004)

Validation of a survivable Publish-Subscribe System. - Sankalp Singh; Adnan Agbaria; Fabrice Stevens; Tod Courtney; John F. Meyer; William H. Sanders; Partha P. Pal (Int. J. Comput., 2005)

Quantifying the Effectiveness of Mobile Phone Virus Response Mechanisms. - Elizabeth Van Ruitenbeek; Tod Courtney; William H. Sanders; Fabrice Stevens (DSN, 2007)