Marc Herbstritt

Kurt Mehlhorn, Moshe Y. Vardi, Marc Herbstritt: Publication Culture in Computing Research (Dagstuhl Perspectives Workshop 12452). Dagstuhl Reports 2(11): 20-44 (2012)

Marc Herbstritt: Satisfiability and Verification - From Core Algorithms to Novel Application Domains. Südwestdeutscher Verlag für Hochschulschriften 2009, isbn 978-3-8381-0102-6, pp. I-X, 1-220

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

Marc Herbstritt: SAT-based verification: from core algorithms to novel application domains. University of Freiburg 2008

Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker: Probabilistic Model Checking and Reliability of Results. DDECS 2008: 207-212

Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew D. T. Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer: Propositional approximations for bounded model checking of partial circuit designs. ICCD 2008: 52-59

Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker: The Demand for Reliability in Probabilistic Verification. MBMV 2008: 99-108

Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen: Bounded Model Checking with Parametric Data Structures. Electr. Notes Theor. Comput. Sci. 174(3): 3-16 (2007)

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

Marc Herbstritt, Bernd Becker: On Combining 01X-Logic and QBF. EUROCAST 2007: 531-538

Ralf Wimmer, Marc Herbstritt, Bernd Becker: Optimization techniques for BDD-based bisimulation computation. ACM Great Lakes Symposium on VLSI 2007: 405-410

Ralf Wimmer, Marc Herbstritt, Bernd Becker: Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation. MBMV 2007: 203-212

Marc Herbstritt, Vanessa Struve, Bernd Becker: Application of Lifting in Partial Design Analysis. MTV 2007: 33-38

Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker: Sigref- A Symbolic Bisimulation Tool Box. ATVA 2006: 477-492

Ralf Wimmer, Marc Herbstritt, Bernd Becker: Minimization of Large State Spaces using Symbolic Branching Bisimulation. DDECS 2006: 9-14

Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen: Memory-aware Bounded Model Checking for Linear Hybrid Systems. MBMV 2006: 153-162

Marc Herbstritt, Bernd Becker, Christoph Scholl: Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs. MTV 2006: 37-44

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

Marc Herbstritt, Bernd Becker: On SAT-based Bounded Invariant Checking of Blackbox Designs. MTV 2005: 23-28

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

Marc Herbstritt, Thomas Kmieciak, Bernd Becker: On the Impact of Structural Circuit Partitioning on SAT-Based Combinational Circuit Verification. MTV 2004: 50-55

Marc Herbstritt, Bernd Becker: Conflict-based Selection of Branching Rules in SAT-Algorithms. MBMV 2003: 189-198

Marc Herbstritt, Bernd Becker: Conflict-Based Selection of Branching Rules. SAT 2003: 441-451

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

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

Rolf Drechsler, Marc Herbstritt, Bernd Becker: Grouping heuristics for word-level decision diagrams. ISCAS (1) 1999: 411-414

Rolf Drechsler, Marc Herbstritt, Bernd Becker: Grouping Heuristics for Word-Level Decision Diagrams. MBMV 1999: 41-50