Marc Herbstritt
Marc Herbstritt
Onbekend partnerschap
Geverifieerd e-mailadres voor herbstritt.info - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Sigref – A Symbolic Bisimulation Tool Box
R Wimmer, M Herbstritt, H Hermanns, K Strampp, B Becker
International Symposium on Automated Technology for Verification and …, 2006
672006
Compositional dependability evaluation for STATEMATE
E Bode, M Herbstritt, H Hermanns, S Johr, T Peikenkamp, R Pulungan, ...
IEEE Transactions on Software Engineering 35 (2), 274-292, 2008
522008
Compositional performability evaluation for statemate
B Becker, R Wimmer, R Pulungan, T Peikenkamp, S Johr, H Hermanns, ...
Third International Conference on the Quantitative Evaluation of Systems …, 2006
442006
Advanced SAT-techniques for bounded model checking of blackbox designs
M Herbstritt, B Becker, C Scholl
Seventh International Workshop on Microprocessor Test and Verification (MTV …, 2006
292006
On combining 01X-logic and QBF
M Herbstritt, B Becker
International Conference on Computer Aided Systems Theory, 531-538, 2007
272007
Conflict-based selection of branching rules
M Herbstritt, B Becker
International Conference on Theory and Applications of Satisfiability …, 2003
162003
On SAT-based bounded invariant checking of blackbox designs
M Herbstritt, B Becker
2005 Sixth International Workshop on Microprocessor Test and Verification, 23-28, 2005
132005
Probabilistic model checking and reliability of results
R Wimmer, A Kortus, M Herbstritt, B Becker
2008 11th IEEE Workshop on Design and Diagnostics of Electronic Circuits and …, 2008
122008
Minimization of large state spaces using symbolic branching bisimulation
R Wimmer, M Herbstritt, B Becker
2006 IEEE Design and Diagnostics of Electronic Circuits and systems, 7-12, 2006
112006
Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems.
B Becker, M Behle, F Eisenbrand, M Fränzle, M Herbstritt, C Herde, ...
MBMV, 65-75, 2004
102004
Optimization techniques for BDD-based bisimulation computation
R Wimmer, M Herbstritt, B Becker
Proceedings of the 17th ACM Great Lakes symposium on VLSI, 405-410, 2007
82007
Analysis of large safety-critical systems: a quantitative approach. REPORTS of SFB
M Herbstritt, R Wimmer, T Peikenkamp, E Böde, M Adelaide, S Johr, ...
TR 14 AVACS 8, 2006
82006
Grouping heuristics for word-level decision diagrams
R Drechsler, M Herbstritt, B Becker
1999 IEEE International Symposium on Circuits and Systems (ISCAS) 1, 411-414, 1999
81999
Workflows zur Bereitstellung von Zeitschriftenartikeln auf Open-Access-Repositorien: Herausforderungen und Lösungsansätze
P Vierkant, O Siegert, G Deinzer, A Gebert, H Pampel, R Tobias, ...
o-bib: Das offene Bibliotheksjournal 4 (1), 151-169, 2017
62017
Satisfiability & Verification: From Core Algorithms to Novel Application Domains
M Herbstritt
Südwestdeutscher Verlag für Hochschulschriften, 2009
52009
Analysis of large safety-critical systems: A quantitative approach
M Herbstritt, R Wimmer, T Peikenkamp, E Bˆde, S Johr, H Hermanns, ...
REPORTS OF SFB/TR 14 AVACS 8, 2006
52006
On the impact of structural circuit partitioning on SAT-based combinational circuit verification
M Herbstritt, T Kmieciak, B Becker
Fifth International Workshop on Microprocessor Test and Verification (MTV'04 …, 2004
52004
zChaff: Modifications and extensions. report00188, Institut für Informatik, Universität Freiburg, July 17 2003
M Herbstritt
Thu 17, 11, 2003
52003
Publication Culture in Computing Research
K Mehlhorn, MY Vardi, M Herbstritt
Dagstuhl Reports 2 (11), 20-44, 2012
42012
Bounded model checking with parametric data structures
E Abrahám, M Herbstritt, B Becker, M Steffen
Electronic Notes in Theoretical Computer Science 174 (3), 3-16, 2007
42007
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20