dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Marc Herbstritt (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEckard 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)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker: Probabilistic Model Checking and Reliability of Results. DDECS 2008: 207-212
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd 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
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker: The Demand for Reliability in Probabilistic Verification. MBMV 2008: 99-108
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Wimmer, Marc Herbstritt, Bernd Becker: Optimization techniques for BDD-based bisimulation computation. ACM Great Lakes Symposium on VLSI 2007: 405-410
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Wimmer, Marc Herbstritt, Bernd Becker: Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation. MBMV 2007: 203-212
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker: Sigref- A Symbolic Bisimulation Tool Box. ATVA 2006: 477-492
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Wimmer, Marc Herbstritt, Bernd Becker: Minimization of Large State Spaces using Symbolic Branching Bisimulation. DDECS 2006: 9-14
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEckard 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
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd 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

Selection of 10 from 26 records - Marc Herbstritt has 28 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page