David Hardin - Concepedia

Author

David Hardin

Kansas State University

Also Known As

D. Hardin, D.S. Hardin, David Hardin, David S. Hardin, Hardin, David, Hardin, David S, Hardin, David S.

Publications

506

Citations

H-Index

Concepts

All Affiliations

Kansas State University Rockwell Automation (United States)Brigham Young University Adventium Labs (United States)

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	6	6	175
2	Computer Engineering	6	6	175
3	Systems Engineering	5	5	160
4	Computer Architecture	5	5	149
5	Computer Science	4	4	131

David Hardin

Publications

251

Citations

H-Index

Page 1

	Year	Citations
Real-time objects on the bare metal: an efficient hardware realization of the Java/sup TM/ Virtual Machine David Hardin EngineeringComputer ArchitectureSoftware EngineeringEfficient Hardware RealizationEmbedded Systems	2002	60
A robust machine code proof framework for highly secure applications David Hardin, Eric W. Smith, William D. Young EngineeringHardware Verification LanguageVerificationComputer ArchitectureComputer-aided Verification	2006	39
Cyberassured Systems Engineering at Scale Darren Cofer, Isaac Amundson, Junaid Babar, IEEE Security & Privacy EngineeringInformation SecuritySoftware EngineeringCyber Security EngineeringFormal Verification	2022	26
Efficient Simulation of Formal Processor Models Matthew Wilding, David Greve, David Hardin Formal Methods in System Design	2001	24
Enhancement of Raman Spectra Obtained at Low Signal-To-Noise Ratios: Matched Filtering and Adaptive Peak Detection Stephen A. Dyer, David Hardin Applied Spectroscopy Raman SpectraLow Signal-to-noise RatiosImpulse ResponseSpectroscopyMatched Filter	1985	20
Model-driven development for the seL4 microkernel using the HAMR framework Jason Belt, John Hatcliff, Robby, Journal of Systems Architecture Model-based System EngineeringEngineeringHardware Verification LanguageElectronic Design AutomationComputer Architecture	2022	18
Invariant performance: a statement of task isolation useful for embedded application integration Matthew Wilding, David Hardin, David Greve EngineeringVerificationComputer ArchitectureComputer-aided VerificationSoftware Engineering	2003	17
A Computer Design for Introducting Hardware and Software Concepts John J. Devore, David Hardin IEEE Transactions on Education EngineeringComputer ArchitectureSoftware EngineeringSimulationSoftware Engineering Education	1987	15
Verified Hardware/Software Co-Assurance: Enhancing Safety and Security for Critical Systems David Hardin 2020 IEEE International Systems Conference (SysCon)	2020	11
Synthesizing Verified Components for Cyber Assured Systems Engineering Eric Mercer, Konrad Slind, Isaac Amundson,	2021	11

Page 1