| The Real-Time Specification for Java G Bollella, B Brosgol, P Dibble, J Gosling, S Furr, D Hardin, M Turnbull, ... Addison-Wesley, 2000 | 1529* | 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 | 419 | 2002 |
| 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 | 199 | 2001 |
| 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 | 105 | 2001 |
| Multiple virtual machine environment management system D Hardin, A Mass, M Masters, N Mykris US Patent App. 20,030/101,440, 2003 | 81 | 2003 |
| 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 | 78 | 2010 |
| 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 | 78 | 2002 |
| Software component model for time sensitive embedded applications DS Hardin, MJ Frerking, PJ Wiley US Patent 7,114,163, 2006 | 65 | 2006 |
| 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 | 55 | 2006 |
| High-speed, analyzable simulators D Greve, M Wilding, D Hardin Computer-Aided Reasoning: ACL2 Case Studies, 113-135, 2000 | 55 | 2000 |
| 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 | 48 | 1998 |
| 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 | 47 | 2010 |
| 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 | 43 | 2010 |
| 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 | 37 | 1998 |
| Builder tool and interface for system supporting multiple virtual machines MJ Frerking, DS Hardin, NM Mykris, PJ Wiley US Patent 7,146,602, 2006 | 30 | 2006 |
| Design and Verification of Microprocessor Systems for High-Assurance Applications DS Hardin Springer, 2010 | 26 | 2010 |
| 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 | 26 | 1999 |
| 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 | 22 | 2022 |
| Bakar kiasan: Flexible contract checking for critical systems using symbolic execution J Belt, J Hatcliff, Robby, P Chalin, D Hardin, X Deng NASA Formal Methods Symposium, 58-72, 2011 | 19 | 2011 |
| 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 | 19 | 2009 |
John HatcliffUniversity Distinguished Professor, Department of Computing and Information Sciences, Kansas StateVerified email at ksu.edu
