The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Erik Reeber: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Erik Reeber, Warren A. Hunt Jr.
    A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA). [Citation Graph (0, 0)][DBLP]
    IJCAR, 2006, pp:453-467 [Conf]
  2. Warren A. Hunt Jr., Erik Reeber
    Formalization of the DE2 Language. [Citation Graph (0, 0)][DBLP]
    CHARME, 2005, pp:20-34 [Conf]
  3. Jun Sawada, Erik Reeber
    ACL2SIX: A Hint used to Integrate a Theorem Prover and an Automated Verification Tool. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2006, pp:161-170 [Conf]
  4. Warren A. Hunt Jr., Erik Reeber
    A SAT-based procedure for verifying finite state machines in ACL2. [Citation Graph (0, 0)][DBLP]
    ACL2, 2006, pp:127-135 [Conf]
  5. Erik Reeber, Jun Sawada
    Combining ACL2 and an automated verification tool to verify a multiplier. [Citation Graph (0, 0)][DBLP]
    ACL2, 2006, pp:63-70 [Conf]

  6. Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation. [Citation Graph (, )][DBLP]


Search in 0.118secs, Finished in 0.118secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002