 | 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 |
