Search the dblp DataBase

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]