Follow
David Hardin
David Hardin
Collins Aerospace
Verified email at collins.com
Title
Cited by
Cited by
Year
The Real-Time Specification for Java
G Bollella, B Brosgol, P Dibble, J Gosling, S Furr, D Hardin, M Turnbull, ...
Addison-Wesley, 2000
1525*2000
Real time processor capable of concurrently running multiple independent JAVA machines
JK Gee, DA Greve, DS Hardin, AP Mass, MH Masters, NM Mykris, ...
US Patent 6,374,286, 2002
4202002
Real time processor optimized for executing JAVA programs
JK Gee, DA Greve, DS Hardin, RA Kamin, TD Hiratzka, AP Mass, ...
US Patent 6,317,872, 2001
1992001
Real-time objects on the bare metal: an efficient hardware realization of the Java/sup TM/Virtual Machine
DS Hardin
Fourth IEEE International Symposium on Object-Oriented Real-Time Distributed …, 2001
1052001
Multiple virtual machine environment management system
D Hardin, A Mass, M Masters, N Mykris
US Patent App. 20,030/101,440, 2003
812003
System for providing secure and trusted computing environments
JA Marek, DS Hardin, RA Kamin III, SE Koenck, AP Mass
US Patent 7,716,720, 2010
782010
System and method for concurrently supporting multiple independent virtual machines
D Hardin, D Ngoc, A Mass, M Masters, N Mykris
US Patent App. 09/681,136, 2002
782002
Software component model for time sensitive embedded applications
DS Hardin, MJ Frerking, PJ Wiley
US Patent 7,114,163, 2006
652006
A robust machine code proof framework for highly secure applications
DS Hardin, EW Smith, WD Young
Proceedings of the sixth international workshop on the ACL2 theorem prover …, 2006
552006
High-speed, analyzable simulators
D Greve, M Wilding, D Hardin
Computer-Aided Reasoning: ACL2 Case Studies, 113-135, 2000
552000
Formal verification of partition management for the AAMP7G microprocessor
MM Wilding, DA Greve, RJ Richards, DS Hardin
Design and Verification of Microprocessor Systems for High-Assurance …, 2010
472010
Efficient simulation of formal processor models
MM Wilding, DA Greve, DS Hardin
Formal Methods in System Design, to appear. Draft TR available as http …, 1998
471998
System for providing secure and trusted computing environments through a secure computing module
JA Marek, DS Hardin, RA Kamin III, SE Koenck, AP Mass
US Patent 7,734,933, 2010
432010
Transforming the theorem prover into a digital design tool: From concept car to off-road vehicle
D Hardin, M Wilding, D Greve
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998
381998
Builder tool and interface for system supporting multiple virtual machines
MJ Frerking, DS Hardin, NM Mykris, PJ Wiley
US Patent 7,146,602, 2006
302006
Design and Verification of Microprocessor Systems for High-Assurance Applications
DS Hardin
Springer, 2010
262010
Invariant performance: A statement of task isolation useful for embedded application integration
MM Wilding, DS Hardin, DA Greve
Dependable Computing for Critical Applications 7, 287-300, 1999
251999
Development of security software: A high assurance methodology
D Hardin, TD Hiratzka, DR Johnson, L Wagner, M Whalen
International Conference on Formal Engineering Methods, 266-285, 2009
192009
Crafting a Java virtual machine in silicon
DS Hardin
IEEE Instrumentation & Measurement Magazine 4 (1), 54-56, 2001
192001
Cyberassured systems engineering at scale
D Cofer, I Amundson, J Babar, D Hardin, K Slind, P Alexander, J Hatcliff, ...
IEEE Security & Privacy 20 (3), 52-64, 2022
172022
The system can't perform the operation now. Try again later.
Articles 1–20