Heather Keown

Publication Activity (10 Years)

Years Active: 2007-2012
Publications (10 Years): 0

Top Topics

Control Software

Object Oriented

Hardware Design

Top Venues

NASA Formal Methods

Publications

Kalyan C. Regula, Hampton Smith, Heather Keown, Jason O. Hallstrom, Nigamanth Sridhar, Murali Sitaraman
A Case Study in Verification of Embedded Network Software. NASA Formal Methods (2012)
Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide
Abstracting Pointers for a Verifying Compiler. SEW (2007)