Hampton Smith

According to our database1, Hampton Smith authored at least 8 papers between 2009 and 2013.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013

2012
The Location Linking Concept: A Basis for Verification of Code Using Pointers.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

A Case Study in Verification of Embedded Network Software.
Proceedings of the NASA Formal Methods, 2012

Specification engineering and modular verification using a web-integrated verifying compiler.
Proceedings of the 34th International Conference on Software Engineering, 2012

2011
Building a push-button RESOLVE verifier: Progress and challenges.
Formal Aspects Comput., 2011

Robust, generic, modularly-verified map: a software verification challenge problem.
Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, 2011

2009
Generating Verified Java Components through RESOLVE.
Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?
Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009


  Loading...