Erik Reeber's Research Papers

Ph.D. Thesis

Erik Reeber.   Combining Advanced Formal Hardware Verification Techniques. PhD Thesis, Department of Computer Sciences, The University of Texas at Austin, Dec 2007.

Journal Publication

Matt Kaufmann, J Strother Moore, Sandip Ray, and Erik Reeber.   Integrating External Deduction Tools with ACL2.   To Appear in the Journal of Applied Logic, Special Issue on Empirically Successful Computerized Reasoning (ESCoR).

Conference Publications

Erik Reeber and Warren A. Hunt, Jr..   A SAT-Based Decision Procedure for the Subclass of Unrollable List Functions in ACL2 (SULFA).   The 3rd International Joint Conference on Automated Reasoning (IJCAR 2006), pp 453-467, Springer-Verlag.

Jun Sawada and Erik Reeber.   ACL2SIX: A Hint used to Integrate a Theorem Prover and an Automated Verification Tool.   Sixth Conference on Formal Methods in Computer-Aided Design (FMCAD 2006), pp 161-170, IEEE.

Warren A. Hunt, Jr. and Erik Reeber.   Formalization of the DE2 Language.   The 13th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME 2005), No. 3725, pages 20-34, Springer-Verlag.

Workshop Contributions

Matt Kaufmann, J S. Moore, Sandip Ray, and Erik Reeber.   Integrating External Deduction Tools with ACL2.   6th International Workshop on the Implementation of Logics (IWIL 2006), Phnom Penh, Cambodia.

Erik Reeber and Jun Sawada.   Combining ACL2 and an Automated Verification Tool to Verify a Multiplier.   6th International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2 2006), Seattle, USA.

Erik Reeber and Warren A. Hunt, Jr..   A SAT-Based Procedure for Verifying Finite State Machines in ACL2.   6th International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2 2006), Seattle, USA.

Warren A. Hunt, Jr. and Erik Reeber.   Applications of the DE2 Language.   6th International Workshop on Designing Correct Circuits (DCC 2006), Vienna, Austria.

Warren A. Hunt, Jr. and Erik Reeber.   A Hierarchical Modeling System.   5th International Workshop on Designing Correct Circuits (DCC 2004), Barcelona, Spain.