The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marc Herbstritt: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker
    Sigref- A Symbolic Bisimulation Tool Box. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:477-492 [Conf]
  2. Marc Herbstritt, Bernd Becker, Erika Ábrahám, Christian Herde
    On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata. [Citation Graph (0, 0)][DBLP]
    DDECS, 2007, pp:391-396 [Conf]
  3. Ralf Wimmer, Marc Herbstritt, Bernd Becker
    Minimization of Large State Spaces using Symbolic Branching Bisimulation. [Citation Graph (0, 0)][DBLP]
    DDECS, 2006, pp:9-14 [Conf]
  4. Ralf Wimmer, Marc Herbstritt, Bernd Becker
    Optimization techniques for BDD-based bisimulation computation. [Citation Graph (0, 0)][DBLP]
    ACM Great Lakes Symposium on VLSI, 2007, pp:405-410 [Conf]
  5. Christoph Scholl, Marc Herbstritt, Bernd Becker
    Exploiting don't cares to minimize *BMDs. [Citation Graph (0, 0)][DBLP]
    ISCAS (5), 2001, pp:191-194 [Conf]
  6. Rolf Drechsler, Marc Herbstritt, Bernd Becker
    Grouping heuristics for word-level decision diagrams. [Citation Graph (0, 0)][DBLP]
    ISCAS (1), 1999, pp:411-414 [Conf]
  7. Marc Herbstritt, Bernd Becker
    On SAT-based Bounded Invariant Checking of Blackbox Designs. [Citation Graph (0, 0)][DBLP]
    MTV, 2005, pp:23-28 [Conf]
  8. Marc Herbstritt, Thomas Kmieciak, Bernd Becker
    On the Impact of Structural Circuit Partitioning on SAT-Based Combinational Circuit Verification. [Citation Graph (0, 0)][DBLP]
    MTV, 2004, pp:50-55 [Conf]
  9. Marc Herbstritt, Bernd Becker, Christoph Scholl
    Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs. [Citation Graph (0, 0)][DBLP]
    MTV, 2006, pp:37-44 [Conf]
  10. Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker
    Compositional Performability Evaluation for STATEMATE. [Citation Graph (0, 0)][DBLP]
    QEST, 2006, pp:167-178 [Conf]
  11. Marc Herbstritt, Bernd Becker
    Conflict-Based Selection of Branching Rules. [Citation Graph (0, 0)][DBLP]
    SAT, 2003, pp:441-451 [Conf]
  12. Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen
    Bounded Model Checking with Parametric Data Structures. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:3, pp:3-16 [Journal]
  13. Marc Herbstritt, Bernd Becker
    On Combining 01X-Logic and QBF. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2007, pp:531-538 [Conf]

  14. Probabilistic Model Checking and Reliability of Results. [Citation Graph (, )][DBLP]


  15. Propositional approximations for bounded model checking of partial circuit designs. [Citation Graph (, )][DBLP]


  16. Application of Lifting in Partial Design Analysis. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
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