David Hardin

	2012
10		David Hardin, Konrad Slind, Michael W. Whalen, Tuan-Hung Pham: The Guardol Language and Verification System. TACAS 2012: 18-32
	2011
9		David Hardin, Julien Schmaltz: Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications ACL2 2011
8		Jason Belt, John Hatcliff, Robby, Patrice Chalin, David Hardin, Xianghua Deng: Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution. NASA Formal Methods 2011: 58-72
7		Jason Belt, John Hatcliff, Robby, Patrice Chalin, David Hardin, Xianghua Deng: Enhancing spark's contract checking facilities using symbolic execution. SIGAda 2011: 47-60
	2009
6		David Hardin, T. Douglas Hiratzka, D. Randolph Johnson, Lucas Wagner, Michael W. Whalen: Development of Security Software: A High Assurance Methodology. ICFEM 2009: 266-285
	2002
5		David Hardin, Mike Frerking, Philip Wiley, Gregory Bollella: Getting Down and Dirty: Device-Level Programming Using the Real-Time Specification for Java. Symposium on Object-Oriented Real-Time Distributed Computing 2002: 457-464
	2001
4		David Hardin: Real-Time Objects on the Bare Metal: An Efficient Hardware Realization of the JavaTM Virtual Machine. ISORC 2001: 53-59
3		Matthew Wilding, David A. Greve, David Hardin: Efficient Simulation of Formal Processor Models. Formal Methods in System Design 18(3): 233-248 (2001)
	1998
2		David Hardin, Matthew Wilding, David A. Greve: Transforming the Theorem Prover into a Digital Design Tool: From Concept Car to Off-Road Vehicle. CAV 1998: 39-44
	1994
1		Mark Christon, David Hardin, John Compton, Mary Zosel: Meshes: the next generation. SC 1994: 275-276

Coauthor Index

1	Jason Belt	[7] [8]
2	Gregory Bollella	[5]
3	Patrice Chalin	[7] [8]
4	Mark Christon	[1]
5	John Compton	[1]
6	Xianghua Deng	[7] [8]
7	Mike Frerking	[5]
8	David A. Greve	[2] [3]
9	John Hatcliff	[7] [8]
10	T. Douglas Hiratzka	[6]
11	D. Randolph Johnson	[6]
12	Tuan-Hung Pham	[10]
13	Robby	[7] [8]
14	Julien Schmaltz	[9]
15	Konrad Slind	[10]
16	Lucas Wagner	[6]
17	Michael W. Whalen	[6] [10]
18	Matthew Wilding	[2] [3]
19	Philip Wiley	[5]
20	Mary Zosel	[1]

Colors in the list of coauthors

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