Automated Validation of Class Invariants in C ++ Applications. - Tanton H. Gibbs; Brian A. Malloy; James F. Power (ASE, 2002)

Weaving Aspects into C++ Applications for Validation of Temporal Invariants. - Tanton H. Gibbs; Brian A. Malloy (CSMR, 2003)

Decorating tokens to facilitate recognition of ambiguous language constructs. - Brian A. Malloy; Tanton H. Gibbs; James F. Power (Softw. Pract. Exp., 2003)