Below is a chronological list of published scientific material in which I was involved as author or co-author.

You may also check my profiles on the web: dblp, SemanticScholar, ORCID, or GoogleScholar.


  • Paul Vierkant, Olaf Siegert, Gernot Deinzer, Agathe Gebert, Marc Herbstritt, Heinz Pampel, Regine Tobias, and Alexander Wagner. Workflows zur Bereitstellung von Zeitschriftenartikeln auf Open-Access-Repositorien – Herausforderungen und Lösungsansätze. O-Bib. Das Offene Bibliotheksjournal, 4(1):151–169, 2017. https://dx.doi.org/10.5282/o-bib/2017H1S151-169
  • Marc Herbstritt and Wolfgang Thomas. LIPIcs – an Open-Access Series for International Conference Proceedings. ERCIM News, 107:11–12, 2016. https://ercim-news.ercim.eu/en107/r-s/lipics-an-open-access-series-for-international-conference-proceedings
  • Kurt Mehlhorn, Moshe Y. Vardi, and Marc Herbstritt. Dagstuhl Manifesto: Publication Culture in Computing Research. Informatik Spektrum, 36(3):330–333, 2013. https://dx.doi.org/10.1007/s00287-013-0709-9
  • Kurt Mehlhorn, Moshe Y. Vardi, and Marc Herbstritt. Publication Culture in Computing Research (Dagstuhl Perspectives Workshop 12452). Dagstuhl Reports, 2(11):20–44, 2012. http://dx.doi.org/10.4230/DagRep.2.11.20
  • Marc Herbstritt. Satisfiability & Verification: From Core Algorithms to Novel Application Domains. SVH Verlag, ISBN 978-3-8381-0102-6, 2009.
  • Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan Rakow, Ralf Wimmer, and Bernd Becker. Compositional Dependability Evaluation for STATEMATE. IEEE Transactions on Software Engineering, 35(2):274–292, 2009. Special Issue on “Quantitative Evaluation of Computer Systems”. https://dx.doi.org/10.1109/TSE.2008.102
  • Ralf Wimmer, Alexander Kortus, Marc Herbstritt, and Bernd Becker. The demand for reliability in probabilistic verification. In ITG/GI/GMM-Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” (MBMV), pages 99–108, Freiburg im Breisgau, Germany, 2008. Shaker Verlag.
  • Marc Herbstritt. SAT-based verification – from core algorithms to novel application domains. PhD thesis, Albert-Ludwigs-Universität Freiburg im Breisgau, Germany, 2008. http://nbn-resolving.de/urn/resolver.pl?urn=urn:nbn:de:bsz:25-opus-53801
  • Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew Lewis, Juri Lichtner, Tobias Nopper, and Ralf Wimmer. Propositional approximations for bounded model checking of partial circuit designs. In Proc. of 26th IEEE Int’l Conf. on Computer Design (ICCD), pages 52–59, Resort at Squaw Creek, Lake Tahoe, CA, USA, 2008. IEEE CS. https://dx.doi.org/10.1109/ICCD.2008.4751840
  • Ralf Wimmer, Alexander Kortus, Marc Herbstritt, and Bernd Becker. Probabilistic model checking and reliability of results. In Proc. of 11th IEEE Int’l Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS), Bratislava, Slovakia, 2008. IEEE CS. https://dx.doi.org/10.1109/DDECS.2008.4538787
  • Ralf Wimmer, Alexander Kortus, Marc Herbstritt, and Bernd Becker. Symbolic Model Checking for DTMCs with Exact and Inexact Arithmetic. Reports of SFB/TR 14 AVACS 30, 2007. http://www.avacs.org.
  • Ralf Wimmer, Holger Hermanns, Marc Herbstritt, and Bernd Becker. Towards Symbolic Stochastic Aggregation. Reports of SFB/TR 14 AVACS 16, SFB/TR 14 AVACS, 2007. http://www.avacs.org.
  • Marc Herbstritt, Vanessa Struve, and Bernd Becker. Application of Lifting in Partial Design Analysis. In Proc. of 8th Microprocessor Test and Verification Workshop (MTV), pages 33–38, Austin (TX), USA, 2007. IEEE CS. https://dx.doi.org/10.1109/MTV.2007.7
  • Marc Herbstritt, Bernd Becker, Erika Ábrahám, and Christian Herde. On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata. In Proc. of 10th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS), pages 391–396, Kraków, Poland, 2007. IEEE CS. https://dx.doi.org/10.1109/DDECS.2007.4295318
  • Marc Herbstritt and Bernd Becker. On Combining 01X-Logic and QBF. In Proc. of 11th Int’l Conf. on Computer Aided Systems Theory (EuroCAST), volume 4739 of LNCS, pages 531–538. Springer-Verlag, 2007. Applied Formal Verification Track. https://dx.doi.org/10.1007/978-3-540-75867-9_67
  • Ralf Wimmer, Marc Herbstritt, and Bernd Becker. Optimization techniques for BDD-based bisimulation computation. In Proc. of 17th Great Lakes Symposium on VLSI (GLSVLSI), pages 405–410, New York, NY, USA, 2007. ACM Press. https://dx.doi.org/10.1145/1228784.1228880
  • Ralf Wimmer, Marc Herbstritt, and Bernd Becker. Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation. In ITG/GI/GMM-Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” (MBMV), pages 203–212, Erlangen, Germany, 2007. Shaker Verlag.
  • Erika Ábrahám, Marc Herbstritt, Bernd Becker, and Martin Steffen. Bounded model checking with parametric data structures. Electr. Notes Theor. Comput. Sci., 174(3):3–16, 2007. Proc. of 4th Int’l Workshop on Bounded Model Checking (BMC). https://dx.doi.org/10.1016/j.entcs.2006.12.019
  • Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, and Bernd Becker. Compositional Performability Evaluation for STATEMATE. In Proc. of 3rd Int’l Conf. on the Quantitative Evaluation of Systems (QEST), pages 167–178, Los Alamitos, CA, USA, 2006. IEEE CS. https://dx.doi.org/10.1109/QEST.2006.10
  • Marc Herbstritt, Ralf Wimmer, Thomas Peikenkamp, Eckard Böde, Michael Adelaide, Sven Johr, Holger Hermanns, and Bernd Becker. Analysis of Large Safety-Critical Systems: A quantitative Approach. Reports of SFB/TR 14 AVACS 8, SFB/TR 14 AVACS, 2006. ISSN: 1860-9821, http://www.avacs.org
  • Marc Herbstritt, Bernd Becker, and Christoph Scholl. Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs. In Proc. of 7th Microprocessor Test and Verification Workshop (MTV), pages 37–44, Austin (TX), USA, 2006. IEEE CS. https://dx.doi.org/10.1109/MTV.2006.3
  • Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, and Bernd Becker. Sigref – A Symbolic Bisimulation Tool Box. In Proc. of 4th Int’l Symp. on Automated Technology for Verification and Analysis (ATVA), volume 4218 of LNCS, pages 477–492, Beijing, China, 2006. Springer-Verlag. https://dx.doi.org/10.1007/11901914_35
  • Marc Herbstritt. QBF blackbox_design family benchmarks. 2006, available on-line at http://www.qbflib.org/suite_detail.php?suiteId=22
  • Ralf Wimmer, Tobias Nopper, Marc Herbstritt, Christoph Löffler, and Bernd Becker. Collaborative Exercise Management. In Proc. of World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education (E-Learn), pages 3127–3134, Honolulu, Hawaii, USA, 2006. AACE. https://www.learntechlib.org/primary/p/24181/
  • Ralf Wimmer, Marc Herbstritt, and Bernd Becker. Minimization of Large State Spaces using Symbolic Branching Bisimulation. In Proc. of 9th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS), pages 9–14, Prague, Czech Republic, 2006. IEEE CS. https://dx.doi.org/10.1109/DDECS.2006.1649562
  • Erika Ábrahám, Marc Herbstritt, Bernd Becker, and Martin Steffen. Memory-aware Bounded Model Checking for Linear Hybrid Systems. In ITG/GI/GMM-Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” (MBMV), pages 153–162. Fraunhofer IIS/EAS, 2006.
  • Marc Herbstritt and Bernd Becker. On SAT-based Bounded Invariant Checking of Blackbox Designs. In Proc. of 6th IEEE Microprocessor Test and Verification Workshop (MTV), pages 23–28, Austin (TX), USA, 2005. IEEE CS. https://dx.doi.org/10.1109/MTV.2005.16
  • Marc Herbstritt, Thomas Kmieciak, and Bernd Becker. On the Impact of Structural Circuit Partitioning on SAT-based Combinational Circuit Verification. In Proc. of 5th IEEE Int’l Workshop on Microprocessor Test and Verification (MTV), pages 50–55, Austin (TX), USA, 2004. IEEE CS. https://dx.doi.org/10.1109/MTV.2004.18
  • Marc Herbstritt, Thomas Kmieciak, and Bernd Becker. Circuit Partitioning for SAT-based Combinational Circuit Verification - A Case Study. Technical Report 206, Institute of Computer Science, Albert-Ludwigs-University, Freiburg im Breisgau, Germany, 2004.
  • Bernd Becker, Markus Behle, Friedrich Eisenbrand, Martin Fränzle, Marc Herbstritt, Christian Herde, Jörg Hoffmann, Daniel Kröning, Bernhard Nebel, Ilia Polian, and Ralf Wimmer. Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems. In ITG/GI/GMM-Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” (MBMV), pages 65–75, 2004.
  • Marc Herbstritt and Bernd Becker. Conflict-based Selection of Branching Rules. In Proc. of 6th Int’l Conf. on Theory and Applications of Satisfiability Testing (SAT), volume 2919 of LNCS, pages 441–451, Santa Margherita Ligure – Portofino, Italy, 2003. Springer-Verlag. Selected Revised Papers. https://dx.doi.org/10.1007/978-3-540-24605-3_33
  • Marc Herbstritt and Bernd Becker. Conflict-based Selection of Branching Rules in SAT-Algorithms. In ITG/GI/GMM-Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” (MBMV), pages 189–198. University Bremen, 2003.
  • Christoph Scholl, Marc Herbstritt, and Bernd Becker. Don’t Care Minimization of *BMDs: Complexity and Algorithms. In ITG/GI/GMM-Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” (MBMV), pages 45–57, 2001.
  • Marc Herbstritt. zChaff: Modifications and Extensions. Technical Report 188, Institute of Computer Science, Albert-Ludwigs-University, Freiburg im Breisgau, Germany, 2001. https://freidok.uni-freiburg.de/data/95405
  • Christoph Scholl, Marc Herbstritt, and Bernd Becker. Exploiting don’t cares to minimize *BMDs. In Proc. of Int’l Symposium on Circuits and Systems (ISCAS), pages 5:191–194, Sidney, Australia, 2001. IEEE CS. https://dx.doi.org/10.1109/ISCAS.2001.922017
  • Christoph Scholl, Marc Herbstritt, and Bernd Becker. Exploiting Don’t Cares to Minimize *BMDs. Technical Report 141, Institute of Computer Science, Albert-Ludwigs-University, Freiburg im Breisgau, Germany, 2000. https://freidok.uni-freiburg.de/data/95420
  • Marc Herbstritt. Erfüllbarkeitsprobleme bei Word-Level Decision Diagrams. Diplomarbeit, Institut für Informatik, Albert-Ludwigs-Universität, Freiburg im Breisgau, April 2000.
  • Rolf Drechsler, Marc Herbstritt, and Bernd Becker. Grouping Heuristics for Word-level Decision Diagrams. In Proc. of Int’l Symp. on Circuits and Systems (ISCAS), pages 411–415, Orlando, Florida, 1999. IEEE CS.
  • Rolf Drechsler, Marc Herbstritt, and Bernd Becker. Grouping Heuristics for Word-level Decision Diagrams. In ITG/GI/GMM-Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” (MBMV), pages 41–50, Braunschweig, 1999. Shaker Verlag.
  • Marc Herbstritt. Implementierung eines *BMD-Pakets. Studienarbeit, Institut für Informatik, Albert-Ludwigs-Universität, Freiburg im Breisgau, Oktober 1997.