Hampton Smith

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Component Based Development

Formal Specification

Software Components

Top Venues

NASA Formal Methods

Publications

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, Dustin Hoffman, Hampton Smith, Yu-Shan Sun, Aditi Tagore, Nighat Yasmin, Diego Zaccai
A Language for Building Verified Software Components. ICSR (2013)
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)
Charles T. Cook, Heather K. Harton, Hampton Smith, Murali Sitaraman
Specification engineering and modular verification using a web-integrated verifying compiler. ICSE (2012)
Gregory Kulczycki, Hampton Smith, Heather K. Harton, Murali Sitaraman, William F. Ogden, Joseph E. Hollingsworth
The Location Linking Concept: A Basis for Verification of Code Using Pointers. VSTTE (2012)
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, Bruce W. Weide
Building a push-button RESOLVE verifier: Progress and challenges. Formal Aspects Comput. 23 (5) (2011)
Derek Bronish, Hampton Smith
Robust, generic, modularly-verified map: a software verification challenge problem. PLPV (2011)
Jason Kirschenbaum, Bruce M. Adcock, Derek Bronish, Hampton Smith, Heather K. Harton, Murali Sitaraman, Bruce W. Weide
Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping? ICSR (2009)
Hampton Smith, Heather K. Harton, David Frazier, Raghuveer Mohan, Murali Sitaraman
Generating Verified Java Components through RESOLVE. ICSR (2009)