The SCEAS System
Navigation Menu

Search the dblp DataBase


Dirk W. Hoffmann: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dirk W. Hoffmann, Thomas Kropf
    Automatic Error Correction of Large Circuits Using Boolean Decomposition and Abstraction. [Citation Graph (0, 0)][DBLP]
    CHARME, 1999, pp:157-171 [Conf]
  2. Dirk W. Hoffmann, Thomas Kropf
    Exploiting Hierarchy for Multiple Error Correction in Combinational Circuits. [Citation Graph (0, 0)][DBLP]
    DATE, 2000, pp:758- [Conf]
  3. Jürgen Ruf, Dirk W. Hoffmann, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Wolfgang Müller 0003
    The simulation semantics of systemC. [Citation Graph (0, 0)][DBLP]
    DATE, 2001, pp:64-70 [Conf]
  4. Jürgen Ruf, Dirk W. Hoffmann, Thomas Kropf, Wolfgang Rosenstiel
    Simulation-guided property checking based on a multi-valued AR-automata. [Citation Graph (0, 0)][DBLP]
    DATE, 2001, pp:742-748 [Conf]
  5. Dirk W. Hoffmann, Thomas Kropf
    Can Automatic Design Error Correction be Applied to Large Circuits? [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 2000, pp:1114-1121 [Conf]
  6. Dirk W. Hoffmann, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
    Simulation Meets Verification: Checking Temporal Properties in SystemC. [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 2000, pp:1435-0 [Conf]
  7. Dirk W. Hoffmann, Thomas Kropf
    Efficient Design Error Correction of Digital Circuits. [Citation Graph (0, 0)][DBLP]
    ICCD, 2000, pp:465-472 [Conf]
  8. Dirk W. Hoffmann, Thomas Kropf
    Automatic Error Correction of Tri-State Circuits. [Citation Graph (0, 0)][DBLP]
    ICCD, 1999, pp:51-0 [Conf]
  9. Klaus Schneider, Dirk W. Hoffmann
    A HOL Conversion for Translating Linear Time Temporal Logic to omega-Automata. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:255-272 [Conf]

Search in 0.023secs, Finished in 0.024secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002