Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
David Hardin
2010 – today
- 2011
[c6]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- [c5]Jason Belt, John Hatcliff, Robby, Patrice Chalin, David Hardin, Xianghua Deng: Enhancing spark's contract checking facilities using symbolic execution. SIGAda 2011: 47-60
- [e1]David Hardin, Julien Schmaltz (Eds.): Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications. EPTCS 70, 2011
2000 – 2009
- 2002
- [c4]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
- [j1]Matthew Wilding, David A. Greve, David Hardin: Efficient Simulation of Formal Processor Models. Formal Methods in System Design 18(3): 233-248 (2001)
- [c3]David Hardin: Real-Time Objects on the Bare Metal: An Efficient Hardware Realization of the JavaTM Virtual Machine. ISORC 2001: 53-59
1990 – 1999
- 1998
- [c2]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
- [c1]Mark Christon, David Hardin, John Compton, Mary Zosel: Meshes: the next generation. SC 1994: 275-276
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:09 CEST by the dblp team