Concepedia

Marc Herbstritt

MH

5

Publications

116

Citations

5

H-Index

2006

Active since

Affiliations

University of Freiburg(Current)

Saarland University

Oldenburger Institut für Informatik

Marc Herbstritt is an author at University of Freiburg specializing in computer science, formal methods, and verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSystems EngineeringComputer EngineeringProgram AnalysisCompositionality

Publications per year

2006–2008

5

Publications

5

Compositional Dependability Evaluation for STATEMATE

Eckard Böde, Marc Herbstritt, Holger Hermanns et al. · IEEE Transactions on Software Engineering · 2008 · 48 citations

Engineering, Verification, Dependable System Architecture +18

Compositional Performability Evaluation for STATEMATE

Bernd Becker, Ralf Wimmer, Reza Pulungan et al. · 2006 · 26 citations · Full text

Engineering, Reachability Problem, Statemate Models +22

Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs

Marc Herbstritt, Bernd Becker, Christoph Scholl · Proceedings · 2006 · 20 citations

Experimental Results, Constraint Solving, Bounded Model Checking +14

Probabilistic Model Checking and Reliability of Results

Ralf Wimmer, Alexander Kortus, Marc Herbstritt et al. · 2008 · 11 citations

Engineering, Verification, Computer-aided Verification +19

Minimization of Large State Spaces using Symbolic Branching Bisimulation

Ralf Wimmer, Marc Herbstritt, Bernd Becker · 2006 · 11 citations

Computational Complexity Theory, Engineering, Verification +20

Rows per page

1–5 of 5