David Hardin
Publications by Year
Research Areas
Formal Methods in Verification, Security and Verification in Computing, Logic, programming, and type systems, Software Testing and Debugging Techniques, Parallel Computing and Optimization Techniques
Most-Cited Works
- → Real-time objects on the bare metal: an efficient hardware realization of the Java/sup TM/ Virtual Machine(2002)60 cited
- → A robust machine code proof framework for highly secure applications(2006)39 cited
- → Formal Verification of Partition Management for the AAMP7G Microprocessor(2010)38 cited
- → Design and Verification of Microprocessor Systems for High-Assurance Applications(2010)37 cited
- → High-Speed, Analyzable Simulators(2000)30 cited
- → Cyberassured Systems Engineering at Scale(2022)26 cited
- → Efficient Simulation of Formal Processor Models(2001)24 cited
- → Enhancement of Raman Spectra Obtained at Low Signal-To-Noise Ratios: Matched Filtering and Adaptive Peak Detection(1985)20 cited
- → Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution(2011)19 cited
- → Transforming the theorem prover into a digital design tool: From concept car to off-road vehicle(1998)18 cited