Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping? - Jason Kirschenbaum; Bruce M. Adcock; Derek Bronish; Hampton Smith; Heather K. Harton; Murali Sitaraman; Bruce W. Weide (ICSR, 2009)

Generating Verified Java Components through RESOLVE. - Hampton Smith; Heather K. Harton; David Frazier; Raghuveer Mohan; Murali Sitaraman (ICSR, 2009)

Robust, generic, modularly-verified map: a software verification challenge problem. - Derek Bronish; Hampton Smith (PLPV, 2011)

Building a push-button RESOLVE verifier: Progress and challenges. - Murali Sitaraman; Bruce M. Adcock; Jeremy Avigad; Derek Bronish; Paolo Bucci; David Frazier; Harvey M. Friedman; Heather K. Harton; Wayne D. Heym; Jason Kirschenbaum; Joan Krone; Hampton Smith; et al. (Formal Aspects Comput., 2011)

Specification engineering and modular verification using a web-integrated verifying compiler. - Charles T. Cook; Heather K. Harton; Hampton Smith; Murali Sitaraman (ICSE, 2012)

A Case Study in Verification of Embedded Network Software. - Kalyan C. Regula; Hampton Smith; Heather Keown; Jason O. Hallstrom; Nigamanth Sridhar; Murali Sitaraman (NASA Formal Methods, 2012)

The Location Linking Concept: A Basis for Verification of Code Using Pointers. - Gregory Kulczycki; Hampton Smith; Heather K. Harton; Murali Sitaraman; William F. Ogden; Joseph E. Hollingsworth (VSTTE, 2012)

A Language for Building Verified Software Components. - Gregory Kulczycki; Murali Sitaraman; Joan Krone; Joseph E. Hollingsworth; William F. Ogden; Bruce W. Weide; Paolo Bucci; Charles T. Cook; Svetlana Drachova-Strang; Blair Durkee; Heather K. Harton; Wayne D. Heym; et al. (ICSR, 2013)