David S. Hardin

Person

Cedar Rapids, IA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Verified inference engine for autonomy
- Patent number 10,955,843
- Issue date Mar 23, 2021
- Rockwell Collins, Inc.
- David S. Hardin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for cooperative operation of piloted and optional...
- Patent number 10,558,209
- Issue date Feb 11, 2020
- Rockwell Collins, Inc.
- David S. Hardin
- B64 - AIRCRAFT AVIATION COSMONAUTICS
Information Patent Grant
Regular expression based cyber fuzzing attack preventer
- Patent number 10,454,968
- Issue date Oct 22, 2019
- Rockwell Collins, Inc.
- Mark A. Bortz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verified inference engine for autonomy
- Patent number 10,095,230
- Issue date Oct 9, 2018
- Rockwell Collins, Inc.
- David S. Hardin
- G05 - CONTROLLING REGULATING
Information Patent Grant
High assurance guard for security applications utilizing authentica...
- Patent number 8,881,260
- Issue date Nov 4, 2014
- Rockwell Collins, Inc.
- David S. Hardin
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
High-assurance architecture for routing of information between netw...
- Patent number 8,161,529
- Issue date Apr 17, 2012
- Rockwell Collins, Inc.
- Mark A. Bortz
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Method and system for the development of high-assurance microcode
- Patent number 8,041,554
- Issue date Oct 18, 2011
- Rockwell Collins, Inc.
- Philippe M. T. Limondin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System for providing secure and trusted computing environments thro...
- Patent number 7,734,933
- Issue date Jun 8, 2010
- Rockwell Collins, Inc.
- James A. Marek
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System for providing secure and trusted computing environments
- Patent number 7,716,720
- Issue date May 11, 2010
- Rockwell Collins, Inc.
- James A. Marek
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Evaluatable high-assurance guard for security applications
- Patent number 7,606,254
- Issue date Oct 20, 2009
- Rockwell Collins, Inc.
- David S. Hardin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for asynchronous transfer of control
- Patent number 7,171,501
- Issue date Jan 30, 2007
- Sun Microsystems, Inc.
- Gregory Bollella
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Builder tool and interface for system supporting multiple virtual m...
- Patent number 7,146,602
- Issue date Dec 5, 2006
- Ajile Systems, Inc.
- Michael J. Frerking
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Software component model for time sensitive embedded applications
- Patent number 7,114,163
- Issue date Sep 26, 2006
- David S. Hardin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Real time processor capable of concurrently running multiple indepe...
- Patent number 6,374,286
- Issue date Apr 16, 2002
- Rockwell Collins, Inc.
- John K. Gee
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Real time processor optimized for executing JAVA programs
- Patent number 6,317,872
- Issue date Nov 13, 2001
- Rockwell Collins, Inc.
- John K. Gee
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Apparatus and method for interfacing hardware events with software...
- Publication number 20060294527
- Publication date Dec 28, 2006
- David S. Hardin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method for asynchronous transfer of control
- Publication number 20030140086
- Publication date Jul 24, 2003
- SUN MICROSYSTEMS, INC.
- Gregory Bollella
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Multiple virtual machine environment management system
- Publication number 20030101440
- Publication date May 29, 2003
- aJile Systems, Inc.
- David S. Hardin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for scoped memory
- Publication number 20030097537
- Publication date May 22, 2003
- SUN MICROSYSTEMS, INC.
- Gregory Bollella
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Apparatus and method for interfacing hardware events with software...
- Publication number 20020165999
- Publication date Nov 7, 2002
- aJile Systems, Inc.
- David S. Hardin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Software component model for time sensitive embedded applications
- Publication number 20020163520
- Publication date Nov 7, 2002
- aJile Systems, Inc.
- David S. Hardin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Multiple virtual machine environment management system
- Publication number 20020161961
- Publication date Oct 31, 2002
- aJile Systems, Inc.
- David S. Hardin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method for concurrently supporting multiple independent...
- Publication number 20020099753
- Publication date Jul 25, 2002
- David S. Hardin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Builder tool and interface for system supporting multiple virtual m...
- Publication number 20020095396
- Publication date Jul 18, 2002
- Michael J. Frerking
- G06 - COMPUTING CALCULATING COUNTING

David S. Hardin

Person

Patents Grantslast 30 patents

Verified inference engine for autonomy

System and method for cooperative operation of piloted and optional...

Regular expression based cyber fuzzing attack preventer

Verified inference engine for autonomy

High assurance guard for security applications utilizing authentica...

High-assurance architecture for routing of information between netw...

Method and system for the development of high-assurance microcode

System for providing secure and trusted computing environments thro...

System for providing secure and trusted computing environments

Evaluatable high-assurance guard for security applications

System and method for asynchronous transfer of control

Builder tool and interface for system supporting multiple virtual m...

Software component model for time sensitive embedded applications

Real time processor capable of concurrently running multiple indepe...

Real time processor optimized for executing JAVA programs

Patents Applicationslast 30 patents

Apparatus and method for interfacing hardware events with software...

System and method for asynchronous transfer of control

Multiple virtual machine environment management system

Method and apparatus for scoped memory

Apparatus and method for interfacing hardware events with software...

Software component model for time sensitive embedded applications

Multiple virtual machine environment management system

System and method for concurrently supporting multiple independent...

Builder tool and interface for system supporting multiple virtual m...