Abstracting Pointers for a Verifying Compiler. - Gregory Kulczycki; Heather Keown; Murali Sitaraman; Bruce W. Weide (SEW, 2007)

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)