Heather K. Harton

According to our database1, Heather K. Harton authored at least 9 papers between 2008 and 2013.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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

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

2009
Engaging students in specification and reasoning: "hands-on" experimentation and evaluation.
Proceedings of the 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 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

2008
Formal Program Verification.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Incremental Benchmarks for Software Verification Tools and Techniques.
Proceedings of the Verified Software: Theories, 2008


  Loading...