ask others

David Hardin

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2011
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/nfm/BeltHRCHD11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/nfm/BeltHRCHD11
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]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/sigada/BeltHRCHD11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sigada/BeltHRCHD11
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]
- view
- export record
  dblp key:
  - journals/corr/abs-1110-4473
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1110-4473
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

see FAQ

What is the meaning of the colors in the publication lists?

2002
[c3]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/isorc/HardinFWB02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/isorc/HardinFWB02
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]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/isorc/Hardin01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/isorc/Hardin01
David Hardin:
Real-Time Objects on the Bare Metal: An Efficient Hardware Realization of the JavaTM Virtual Machine. ISORC 2001: 53-59

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1994
[c1]
- view
- export record
  dblp key:
  - conf/sc/ChristonHCZ94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sc/ChristonHCZ94
Mark Christon, David Hardin, John Compton, Mary Zosel:
Meshes: the next generation. SC 1994: 275-276

Coauthor Index

see FAQ

maintained by

at