Concepedia

David Hardin

DH

11

Publications

251

Citations

10

H-Index

1985

Active since

Affiliations

Kansas State University(Current)

Rockwell Automation (United States)

Brigham Young University

Adventium Labs (United States)

David Hardin is an author at Kansas State University specializing in computer engineering, engineering, and system software.

Top concepts

EngineeringComputer EngineeringSystem SoftwareSystems EngineeringSoftware EngineeringComputer ArchitectureSoftware DesignComputer ScienceFormal MethodsProgram Analysis

Publications per year

1985–2023

11

Publications

11

Real-time objects on the bare metal: an efficient hardware realization of the Java/sup TM/ Virtual Machine

David Hardin · 2002 · 60 citations

Engineering, Computer Architecture, Software Engineering +26

A robust machine code proof framework for highly secure applications

David Hardin, Eric W. Smith, William D. Young · 2006 · 39 citations

Engineering, Hardware Verification Language, Verification +25

Cyberassured Systems Engineering at Scale

Darren Cofer, Isaac Amundson, Junaid Babar et al. · IEEE Security & Privacy · 2022 · 26 citations

Engineering, Information Security, Software Engineering +17

Efficient Simulation of Formal Processor Models

Matthew Wilding, David Greve, David Hardin · Formal Methods in System Design · 2001 · 24 citations

Enhancement of Raman Spectra Obtained at Low Signal-To-Noise Ratios: Matched Filtering and Adaptive Peak Detection

Stephen A. Dyer, David Hardin · Applied Spectroscopy · 1985 · 20 citations

Raman Spectra, Low Signal-to-noise Ratios, Impulse Response +11

Rows per page

1–5 of 11