Heather K. Harton

	2012
7		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: 34-49
	2011
6		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 Asp. Comput. 23(5): 607-626 (2011)
	2009
5		Hampton Smith, Heather K. Harton, David Frazier, Raghuveer Mohan, Murali Sitaraman: Generating Verified Java Components through RESOLVE. ICSR 2009: 11-20
4		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: 31-40
3		Murali Sitaraman, Jason O. Hallstrom, Jarred White, Svetlana Drachova-Strang, Heather K. Harton, Dana P. Leonard, Joan Krone, Rich Pak: Engaging students in specification and reasoning: "hands-on" experimentation and evaluation. ITiCSE 2009: 50-54
	2008
2		Bruce W. Weide, Murali Sitaraman, Heather K. Harton, Bruce M. Adcock, Paolo Bucci, Derek Bronish, Wayne D. Heym, Jason Kirschenbaum, David Frazier: Incremental Benchmarks for Software Verification Tools and Techniques. VSTTE 2008: 84-98
1		Heather K. Harton, Murali Sitaraman, Joan Krone: Formal Program Verification. Wiley Encyclopedia of Computer Science and Engineering 2008

Coauthor Index

1	Bruce M. Adcock	[2] [4] [6]
2	Jeremy Avigad	[6]
3	Derek Bronish	[2] [4] [6]
4	Paolo Bucci	[2] [6]
5	Svetlana Drachova-Strang	[3]
6	David Frazier	[2] [5] [6]
7	Harvey M. Friedman (Harvey Friedman)	[6]
8	Jason O. Hallstrom	[3]
9	Wayne D. Heym	[2] [6]
10	Joseph E. Hollingsworth	[7]
11	Jason Kirschenbaum	[2] [4] [6]
12	Joan Krone	[1] [3] [6]
13	Gregory Kulczycki	[7]
14	Dana P. Leonard	[3]
15	Raghuveer Mohan	[5]
16	William F. Ogden	[7]
17	Rich Pak	[3]
18	Murali Sitaraman	[1] [2] [3] [4] [5] [6] [7]
19	Hampton Smith	[4] [5] [6] [7]
20	Bruce W. Weide	[2] [4] [6]
21	Jarred White	[3]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page