David Hardin
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2011
- [c5]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 - [c4]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:
Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2011, Austin, Texas, USA, November 3-4, 2011. EPTCS 70, 2011 [contents]
2000 – 2009
- 2002
- [c3]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
- [c2]David Hardin:
Real-Time Objects on the Bare Metal: An Efficient Hardware Realization of the JavaTM Virtual Machine. ISORC 2001: 53-59
1990 – 1999
- 1994
- [c1]Mark Christon, David Hardin, John Compton, Mary Zosel:
Meshes: the next generation. SC 1994: 275-276
Coauthor Index
last updated on 2019-01-09 01:11 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint