Warren A. Hunt Jr.
Affiliations: University of Texas at Austin, USA
According to our database^{1},
Warren A. Hunt Jr.
authored at least 61 papers
between 1987 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on zbmath.org
On csauthors.net:
Bibliography
2022
Proceedings of the Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications, 2022
2019
Proceedings of the 25th IEEE International Symposium on Asynchronous Circuits and Systems, 2019
2018
Proceedings of the 24th IEEE International Symposium on Asynchronous Circuits and Systems, 2018
2017
Proceedings of the Interactive Theorem Proving  8th International Conference, 2017
Proceedings of the Hardware and Software: Verification and Testing, 2017
Proceedings of the Automated Deduction  CADE 26, 2017
Proceedings of the 51st Asilomar Conference on Signals, Systems, and Computers, 2017
Proceedings of the Provably Correct Systems, 2017
2015
Proceedings of the Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, 2015
Proceedings of the Automated Deduction  CADE25, 2015
2014
Bridging the gap between easy generation and efficient verification of unsatisfiability proofs.
Softw. Test. Verification Reliab., 2014
Proceedings of the Theory and Applications of Satisfiability Testing  SAT 2014, 2014
Simulation and formal verification of x86 machinecode programs that make system calls.
Proceedings of the Formal Methods in ComputerAided Design, 2014
2013
Proceedings of the Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, 2013
Proceedings of the Verified Software: Theories, Tools, Experiments, 2013
Proceedings of the Interactive Theorem Proving  4th International Conference, 2013
Proceedings of the Interactive Theorem Proving  4th International Conference, 2013
Proceedings of the Formal Methods in ComputerAided Design, 2013
Proceedings of the Automated Deduction  CADE24, 2013
2012
Proceedings of the Formal Methods in ComputerAided Design, 2012
2011
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011
Proceedings of ELS 2011  4th European Lisp Symposium, Hamburg, Germany, March 31, 2011
2010
Proceedings of the Interactive Theorem Proving, First International Conference, 2010
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2010
Proceedings of 10th International Conference on Formal Methods in ComputerAided Design, 2010
Proceedings of the Design and Verification of Microprocessor Systems for HighAssurance Applications., 2010
2009
Proceedings of 9th International Conference on Formal Methods in ComputerAided Design, 2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
2008
J. Autom. Reason., 2008
Proceedings of the Formal Methods in ComputerAided Design, 2008
2007
Proceedings of the Eighth International Workshop on Microprocessor Test and Verification (MTV 2007), 2007
2006
Proceedings of the Formal Methods in ComputerAided Design, 6th International Conference, 2006
Automatic insertion of low power annotations in RTL for pipelined microprocessors.
Proceedings of the Conference on Design, Automation and Test in Europe, 2006
A SATBased Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA).
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006
2005
A Compressed Format for Collections of Phylogenetic Trees and Improved Consensus Performance.
Proceedings of the Algorithms in Bioinformatics, 5th International Workshop, 2005
Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005
Proceedings of the Correct Hardware Design and Verification Methods, 2005
2004
Proceedings of the Computer Aided Verification, 16th International Conference, 2004
Proceedings of the Computer Aided Verification, 16th International Conference, 2004
2003
Formal Methods Syst. Des., 2003
Formal Methods Syst. Des., 2003
Proceedings of the Correct Hardware Design and Verification Methods, 2003
2002
Verification of FM9801: An OutofOrder Microprocessor Model with Speculative Execution, Exceptions, and ProgramModifying Capability.
Formal Methods Syst. Des., 2002
Formal Methods Syst. Des., 2002
2000
Proceedings of the Formal Methods in ComputerAided Design, Third International Conference, 2000
1999
IEEE Micro, 1999
Proceedings of the Correct Hardware Design and Verification Methods, 1999
1998
Proceedings of the Computer Aided Verification, 10th International Conference, 1998
1997
The DUALEVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor.
Formal Methods Syst. Des., 1997
Formally Specifying and Mechanically Verifying Programs for the Motorola Complex Arithmetic Processor DSP.
Proceedings of the Proceedings 1997 International Conference on Computer Design: VLSI in Computers & Processors, 1997
Proceedings of the Computer Aided Verification, 9th International Conference, 1997
1994
Lecture Notes in Computer Science 795, Springer, ISBN: 3540579605, 1994
1992
Introduction to a Formally Defined Hardware Description Language.
Proceedings of the Theorem Provers in Circuit Design, 1992
1989
J. Autom. Reason., 1989
J. Autom. Reason., 1989
Proceedings of the Hardware Specification, 1989
1987
Proceedings of the 1987 IEEE Symposium on Security and Privacy, 1987