Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Marc Herbstritt, Dr. Marc Herbstritt, Dr.
Adresse Fakultät für angewandte Wissenschaften
Albert-Ludwigs-Universität
Georges Köhler Allee, Gebäude 51
79110 Freiburg im Breisgau
Deutschland
Büro Gebäude 51, Raum 01..033
Telefon ++49 +761 203-8147
Fax ++49 +761 203-8142
eMail herbstri@informatik.uni-freiburg.de
PGP-Key Public-Key
fingerprint = 2518 D47D 8467 1CDC DD03 9E59 83FD 4D71 82C3 3153
Website http://ira.informatik.uni-freiburg.de/~herbstri/aboutme/aboutme.html

Marc Herbstritt

Jahre: 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2001 | 2000 | 1999

    2009

    Icon: top nach oben zur Jahresübersicht
    • Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan Rakow, Ralf Wimmer, Bernd Becker
      Compositional Dependability Evaluation for Statemate
      2009 IEEE Trans. on Software Engineering, Band: 35, Nummer: 2, Seiten: 274 - 292

    2008

    Icon: top nach oben zur Jahresübersicht
    • Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker
      Probabilistic Model Checking and Reliability of Results
      2008 IEEE Design and Diagnostics of Electronic Circuits and Systems, IEEE Computer Science Press, Seiten: 207 - 212
    • Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer
      Propositional Approximations for Bounded Model Checking of Partial Circuit Designs
      2008 IEEE Int'l Conf. on Computer Design, IEEE Computer Society Press, Seiten: 52 - 59
    • Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker
      The Demand for Reliability in Probabilistic Verification
      2008 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Shaker Verlag, Seiten: 99 - 108

    2007

    Icon: top nach oben zur Jahresübersicht
    • Marc Herbstritt, Bernd Becker, Erika Ábrahám, Christian Herde
      On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata
      2007 IEEE Design and Diagnostics of Electronic Circuits and Systems, IEEE Computer Society, Seiten: 391 - 396
    • Marc Herbstritt, Vanessa Struve, Bernd Becker
      Application of Lifting in Partial Design Analysis
      2007 Int'l Workshop on Microprocessor Test and Verification, IEEE Computer Society, Seiten: 33 - 38
    • Ralf Wimmer, Marc Herbstritt, Bernd Becker
      Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation
      2007 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Shaker Verlag, Seiten: 203 - 212
    • Marc Herbstritt, Bernd Becker
      On Combining 01X-Logic and QBF
      2007 Int'l Conf. on Computer Aided Systems Theory, Springer Verlag, Seiten: 531 - 538
    • Ralf Wimmer, Marc Herbstritt, Bernd Becker
      Optimization Techniques for BDD-based Bisimulation Minimization
      2007 Great Lakes Symp. on VLSI, ACM Press, Seiten: 405 - 410
    • Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker
      Symbolic Model Checking for DTMCs with Exact and Inexact Arithmetic
      AVACS Technical Report, Nummer: 30, 2007
    • Ralf Wimmer, Holger Hermanns, Marc Herbstritt, Bernd Becker
      Towards Symbolic Stochastic Aggregation
      AVACS Technical Report, Nummer: 16, 2007

    2006

    Icon: top nach oben zur Jahresübersicht
    • Ralf Wimmer, Tobias Nopper, Marc Herbstritt, Christoph Löffler, Bernd Becker
      Collaborative Exercise Management
      2006 World Conf. on E-Learning in Corporate, Government, Healthcare, and Higher Education, Association for the Advancement of Computing in Education (AACE), Seiten: 3127 - 3134
    • Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen
      Memory-aware Bounded Model Checking for Linear Hybrid Systems
      2006 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Fraunhofer IIS/EAS, Seiten: 153 - 162
    • Marc Herbstritt, Bernd Becker, Christoph Scholl
      Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs
      2006 Int'l Workshop on Microprocessor Test and Verification, IEEE Computer Society, Seiten: 37 - 44
    • Marc Herbstritt, Ralf Wimmer, Thomas Peikenkamp, Eckard Böde, Michael Adelaide, Sven Johr, Holger Hermanns, Bernd Becker
      Analysis of Large Safety-Critical Systems: A quantitative Approach
      AVACS Technical Report, Band: 8, 2006
    • Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen
      Bounded Model Checking with Parametric Data Structures
      2006 BMC, Band: 174, Nummer: 3, Seiten: 3 - 16
    • Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker
      Compositional Performability Evaluation for STATEMATE
      2006 Int'l Conf. on Quantitative Evaluation of Systems, IEEE Computer Society, Seiten: 167 - 178
    • Ralf Wimmer, Marc Herbstritt, Bernd Becker
      Minimization of Large State Spaces using Symbolic Branching Bisimulation
      2006 IEEE Design and Diagnostics of Electronic Circuits and Systems, IEEE Computer Society Press, Seiten: 9 - 14
    • Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker
      Sigref - A Symbolic Bisimulation Tool Box
      2006 Int'l Symp. on Automated Technology for Verification and Analysis, Springer-Verlag, Band: 4218, Seiten: 477 - 492

    2005

    Icon: top nach oben zur Jahresübersicht
    • Marc Herbstritt, Bernd Becker
      On SAT-based Bounded Invariant Checking of Blackbox Designs
      2005 Int'l Workshop on Microprocessor Test and Verification, IEEE Computer Society, Seiten: 23 - 28

    2004

    Icon: top nach oben zur Jahresübersicht
    • Marc Herbstritt, Thomas Kmieciak, Bernd Becker
      On the Impact of Structural Circuit Partitioning on SAT-based Combinational Circuit Verification
      2004 Int'l Workshop on Microprocessor Test and Verification, IEEE Computer Society, Seiten: 50 - 55
    • Marc Herbstritt, Thomas Kmieciak, Bernd Becker
      Circuit Partitioning for SAT-based Combinational Circuit Verification -- A Case Study
      , Nummer: 206, 2004
    • 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
      2004 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Shaker Verlag, Seiten: 65 - 75

    2003

    Icon: top nach oben zur Jahresübersicht
    • Marc Herbstritt, Bernd Becker
      Conflict-based Selection of Branching Rules
      2003 Int'l Conf. on Theory and Applications of Satisfiability Testing, Springer, Band: 2919, Seiten: 441 - 451
    • Marc Herbstritt, Bernd Becker
      Conflict-based Selection of Branching Rules in SAT-Algorithms
      2003 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Seiten: 189 - 198

    2001

    Icon: top nach oben zur Jahresübersicht
    • Marc Herbstritt
      zChaff: Modifications and Extensions
      , Nummer: 188, 2001
    • Christoph Scholl, Marc Herbstritt, Bernd Becker
      Don't Care Minimization of *BMDs: Complexity and Algorithms
      2001 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Seiten: 45 - 57
    • Christoph Scholl, Marc Herbstritt, Bernd Becker
      Exploiting Don't Cares to Minimize *BMDs
      2001 IEEE Int'l Symp. on Circuits and Systems, Band: 5, Seiten: 191 - 194

    2000

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, Marc Herbstritt, Bernd Becker
      Exploiting Don't Cares to Minimize *BMDs
      , Nummer: 141, 2000

    1999

    Icon: top nach oben zur Jahresübersicht
    • Rolf Drechsler, Marc Herbstritt, Bernd Becker
      Grouping Heuristics for Word-level Decision Diagrams
      1999 IEEE Int'l Symp. on Circuits and Systems, Seiten: 411 - 415
    • Rolf Drechsler, Marc Herbstritt, Bernd Becker
      Grouping Heuristics for Word-level Decision Diagrams
      1999 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Shaker Verlag, Seiten: 41 - 50