Marc Herbstritt

ORCID

Publication Activity (10 Years)

Years Active: 1999-2014
Publications (10 Years): 0

Top Venues

Aspekte der Technischen Informatik

Dagstuhl Reports

University of Freiburg (PHD)

Education History

University of Freiburg

PHD

Publications

Marc Herbstritt, Rolf Drechsler
Der h2-lndex: Zur vermessenen Vermessung der wissenschaftlichen Welt. Aspekte der Technischen Informatik (2014)
Kurt Mehlhorn, Moshe Y. Vardi, Marc Herbstritt
Publication Culture in Computing Research (Dagstuhl Perspectives Workshop 12452). Dagstuhl Reports 2 (11) (2012)
Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan-Hendrik Rakow, Ralf Wimmer, Bernd Becker
Compositional Dependability Evaluation for STATEMATE. IEEE Trans. Software Eng. 35 (2) (2009)
Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker
Probabilistic Model Checking and Reliability of Results. DDECS (2008)
Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer
Propositional approximations for bounded model checking of partial circuit designs. ICCD (2008)
Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker
The Demand for Reliability in Probabilistic Verification. MBMV (2008)
Marc Herbstritt, Bernd Becker
On Combining 01X-Logic and QBF. EUROCAST (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)
Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen
Bounded Model Checking with Parametric Data Structures. Electron. Notes Theor. Comput. Sci. 174 (3) (2007)
Marc Herbstritt, Vanessa Struve, Bernd Becker
Application of Lifting in Partial Design Analysis. MTV (2007)
Ralf Wimmer, Marc Herbstritt, Bernd Becker
Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation. MBMV (2007)
Ralf Wimmer, Marc Herbstritt, Bernd Becker
Optimization techniques for BDD-based bisimulation computation. ACM Great Lakes Symposium on VLSI (2007)
Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen
Memory-aware Bounded Model Checking for Linear Hybrid Systems. MBMV (2006)
Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker
Sigref- A Symbolic Bisimulation Tool Box. ATVA (2006)
Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker
Compositional Performability Evaluation for STATEMATE. QEST (2006)
Ralf Wimmer, Marc Herbstritt, Bernd Becker
Minimization of Large State Spaces using Symbolic Branching Bisimulation. DDECS (2006)
Marc Herbstritt, Bernd Becker, Christoph Scholl
Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs. MTV (2006)
Marc Herbstritt, Bernd Becker
On SAT-based Bounded Invariant Checking of Blackbox Designs. MTV (2005)
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)
Marc Herbstritt, Thomas Kmieciak, Bernd Becker
On the Impact of Structural Circuit Partitioning on SAT-Based Combinational Circuit Verification. MTV (2004)
Marc Herbstritt, Bernd Becker
Conflict-based Selection of Branching Rules in SAT-Algorithms. MBMV (2003)
Marc Herbstritt, Bernd Becker
Conflict-Based Selection of Branching Rules. SAT (2003)
Christoph Scholl, Marc Herbstritt, Bernd Becker
Don't Care Minimization of BMDs: Complexity and Algorithms. MBMV (1) (2001)
Christoph Scholl, Marc Herbstritt, Bernd Becker
Exploiting don't cares to minimize *BMDs. ISCAS (5) (2001)
Rolf Drechsler, Marc Herbstritt, Bernd Becker
Grouping Heuristics for Word-Level Decision Diagrams. MBMV (1999)
Rolf Drechsler, Marc Herbstritt, Bernd Becker
Grouping heuristics for word-level decision diagrams. ISCAS (1) (1999)

Marc Herbstritt.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marc Herbstritt