Grouping Heuristics for Word-Level Decision Diagrams. - Rolf Drechsler; Marc Herbstritt; Bernd Becker 001 (MBMV, 1999)

Exploiting don't cares to minimize *BMDs. - Christoph Scholl 001; Marc Herbstritt; Bernd Becker 001 (ISCAS (5), 2001)

Don't Care Minimization of BMDs: Complexity and Algorithms. - Christoph Scholl 001; Marc Herbstritt; Bernd Becker 001 (MBMV (1), 2001)

Conflict-based Selection of Branching Rules in SAT-Algorithms. - Marc Herbstritt; Bernd Becker 001 (MBMV, 2003)

Conflict-Based Selection of Branching Rules. - Marc Herbstritt; Bernd Becker 001 (SAT, 2003)

Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems. - Bernd Becker 001; Markus Behle; Friedrich Eisenbrand; Martin Fränzle; Marc Herbstritt; Christian Herde; Jörg Hoffmann 001; Daniel Kröning; Bernhard Nebel; Ilia Polian; Ralf Wimmer 001 (MBMV, 2004)

On the Impact of Structural Circuit Partitioning on SAT-Based Combinational Circuit Verification. - Marc Herbstritt; Thomas Kmieciak; Bernd Becker 001 (MTV, 2004)

On SAT-based Bounded Invariant Checking of Blackbox Designs. - Marc Herbstritt; Bernd Becker 001 (MTV, 2005)

Sigref- A Symbolic Bisimulation Tool Box. - Ralf Wimmer 001; Marc Herbstritt; Holger Hermanns; Kelley Strampp; Bernd Becker 001 (ATVA, 2006)

Minimization of Large State Spaces using Symbolic Branching Bisimulation. - Ralf Wimmer 001; Marc Herbstritt; Bernd Becker 001 (DDECS, 2006)

Memory-aware Bounded Model Checking for Linear Hybrid Systems. - Erika Ábrahám; Marc Herbstritt; Bernd Becker 001; Martin Steffen (MBMV, 2006)

Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs. - Marc Herbstritt; Bernd Becker 001; Christoph Scholl 001 (MTV, 2006)

Compositional Performability Evaluation for STATEMATE. - Eckard Böde; Marc Herbstritt; Holger Hermanns; Sven Johr; Thomas Peikenkamp; Reza Pulungan; Ralf Wimmer 001; Bernd Becker 001 (QEST, 2006)

Bounded Model Checking with Parametric Data Structures. - Erika Ábrahám; Marc Herbstritt; Bernd Becker 001; Martin Steffen (BMC@FLoC, 2006)

On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata. - Marc Herbstritt; Bernd Becker 001; Erika Ábrahám; Christian Herde (DDECS, 2007)

On Combining 01X-Logic and QBF. - Marc Herbstritt; Bernd Becker 001 (EUROCAST, 2007)

Optimization techniques for BDD-based bisimulation computation. - Ralf Wimmer 001; Marc Herbstritt; Bernd Becker 001 (ACM Great Lakes Symposium on VLSI, 2007)

Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation. - Ralf Wimmer 001; Marc Herbstritt; Bernd Becker 001 (MBMV, 2007)

Application of Lifting in Partial Design Analysis. - Marc Herbstritt; Vanessa Struve; Bernd Becker 001 (MTV, 2007)

Probabilistic Model Checking and Reliability of Results. - Ralf Wimmer 001; Alexander Kortus; Marc Herbstritt; Bernd Becker 001 (DDECS, 2008)

Propositional approximations for bounded model checking of partial circuit designs. - Bernd Becker 001; Marc Herbstritt; Natalia Kalinnik; Matthew Lewis 004; Juri Lichtner; Tobias Nopper; Ralf Wimmer 001 (ICCD, 2008)

The Demand for Reliability in Probabilistic Verification. - Ralf Wimmer 001; Alexander Kortus; Marc Herbstritt; Bernd Becker 001 (MBMV, 2008)

SAT-based verification: from core algorithms to novel application domains. - Marc Herbstritt (2008)

Satisfiability and Verification - From Core Algorithms to Novel Application Domains. - Marc Herbstritt (Südwestdeutscher Verlag für Hochschulschriften, 2009)

Compositional Dependability Evaluation for STATEMATE. - Eckard Böde; Marc Herbstritt; Holger Hermanns; Sven Johr; Thomas Peikenkamp; Reza Pulungan; Jan-Hendrik Rakow; Ralf Wimmer 001; Bernd Becker 001 (IEEE Trans. Software Eng., 2009)

Publication Culture in Computing Research (Dagstuhl Perspectives Workshop 12452). - Kurt Mehlhorn; Moshe Y. Vardi; Marc Herbstritt (Dagstuhl Reports, 2012)

Der h2-lndex: Zur vermessenen Vermessung der wissenschaftlichen Welt. - Marc Herbstritt; Rolf Drechsler (Aspekte der Technischen Informatik, 2014)

LIPIcs - an Open-Access Series for International Conference Proceedings. - Marc Herbstritt; Wolfgang Thomas (ERCIM News, 2016)