Towards Applying the Composition Principle to Verify a Microkernel Operating System. - Mark R. Heckman; Cui Zhang; Brian R. Becker; Dave Peticolas; Karl N. Levitt; Ronald A. Olsson (TPHOLs, 1996)

Verification of a Distributed Computing. - Cui Zhang; Brian R. Becker; Dave Peticolas; Mark R. Heckman; Karl N. Levitt; Ronald A. Olsson (HICSS (5), 1997)

LVT: A Layered Verification Technique for Distributed Computing Systems. - Cui Zhang; Brian R. Becker; Dave Peticolas; Ronald A. Olsson; Karl N. Levitt (Softw. Test. Verification Reliab., 1999)

Intrusion detection inter-component adaptive negotiation. - Richard J. Feiertag; Stuart Staniford-Chen; Karl N. Levitt; Mark R. Heckman; Dave Peticolas; Rick Crawford; Lee A. Benzinger; Sue Rho; Stephen Wu 002 (Comput. Networks, 2000)