Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 

Publikationen




Jahre: 2016 | 2013 | 2012 | 2011 | 2010 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992

    2016

    Icon: top nach oben zur Jahresübersicht

    2013

    Icon: top nach oben zur Jahresübersicht
    • Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Becker, Bernd
      Accelerating Parametric Probabilistic Verification
      arXiv, Band: arXiv:1312.3979, 2013
    • Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
      High-Level Counterexamples for Probabilistic Automata
      , Band: arxiv:1305.5055, 2013

    2012

    Icon: top nach oben zur Jahresübersicht
    • Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
      Minimal Counterexamples for Refuting omega-Regular Properties of Markov Decision Processes
      AVACS Technical Report, Nummer: 88, 2012
    • Nils Jansen, Erika Ábrahám, Maik Scheffler, Matthias Volk, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
      The COMICS Tool - Computing Minimal Counterexamples for DTMCs
      , Band: arxiv:1206.0603, 2012
    • Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker
      Transient Reward Approximation for Grids, Crowds, and Viruses
      arXiv, Band: arxiv:1212.1251, 2012

    2011

    Icon: top nach oben zur Jahresübersicht
    • Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
      Hierarchical Counterexamples for Discrete-Time Markov Chains
      , Band: AIB-2011-11, 2011
    • Matthew Lewis
      SAT, QBF, and Multicore Processors
      Der Andere Verlag, 2011

    2010

    Icon: top nach oben zur Jahresübersicht
    • Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker
      Bounded Fairness for Probabilistic Distributed Algorithms
      AVACS Technical Report, Band: 57, 2010

    2008

    Icon: top nach oben zur Jahresübersicht
    • Bernd Becker, Paul Molitor
      Technische Informatik: Eine einführende Darstellung
      Oldenbourg Wissenschaftsverlag, 2008

    2007

    Icon: top nach oben zur Jahresübersicht
    • Christian Dax, Jochen Eisinger, Felix Klaedtke
      Mechanizing the Powerset Construction for Restricted Classes of omega-Automata
      , Nummer: 228, 2007
    • 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
    • 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
    • Jochen Eisinger, Felix Klaedtke
      Don't Care Words with an Application to the Automata-based Approach for Real Addition
      , Nummer: 223, 2006
    • Erika Ábrahám, Andreas Grüner, Martin Steffen
      Dynamic Heap-Abstraction for Open Object-Oriented Systems with Thread Classes
      , Nummer: TR-0601, 2006

    2005

    Icon: top nach oben zur Jahresübersicht
    • Erika Ábrahám, Andreas Grüner, Martin Steffen
      An Open Structural Operational Semantics for an Object-Oriented Calculus with Thread Classes
      , Nummer: TR-0505, 2005
    • Erika Ábrahám, Andreas Grüner, Martin Steffen
      Heap-Abstraction for an Object-Oriented Calculus with Thread Classes
      , Nummer: TR-0505, 2005

    2004

    Icon: top nach oben zur Jahresübersicht
    • Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen
      Optimizing Bounded Model Checking for Linear Hybrid Systems
      , Nummer: 214, 2004
    • Marc Herbstritt, Thomas Kmieciak, Bernd Becker
      Circuit Partitioning for SAT-based Combinational Circuit Verification -- A Case Study
      , Nummer: 206, 2004
    • Ilia Polian
      On Non-standard Fault Models for Logic Digital Circuits: Simulation, Design for Testability, Industrial Applications
      VDI-Verlag, 2004
    • Ilia Polian
      On Non-standard Fault Models for Logic Digital Circuits: Simulation, Design for Testability, Industrial Applications.
      GI, Band: D-4, Seiten: 169 - 178, 2004

    2003

    Icon: top nach oben zur Jahresübersicht
    • Frank Schmiedle
      Exakte Verdrahtung mit symbolischen Methoden
      Logos Verlag, Berlin, 2003

    2001

    Icon: top nach oben zur Jahresübersicht
    • Rolf Drechsler, J. Römmler
      Implementation and Visualization of a BDD Package in JAVA
      , 2001
    • Marc Herbstritt
      zChaff: Modifications and Extensions
      , Nummer: 188, 2001
    • Christoph Scholl
      Functional Decomposition with Application to FPGA Synthesis
      Kluwer Academic Publishers, 2001
    • M. Thornton, Rolf Drechsler, D. M. Miller
      Spectral Techniques in VLSI CAD
      Kluwer Academic Publisher, 2001

    2000

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, Bernd Becker
      Checking Equivalence for Partial Implementations
      , Nummer: 145, 2000
    • Christoph Scholl, Marc Herbstritt, Bernd Becker
      Exploiting Don't Cares to Minimize *BMDs
      , Nummer: 141, 2000
    • Rolf Drechsler
      Formal Verification of Circuits
      Kluwer Academic Publishers, 2000
    • Wolfgang Günther
      Speeding up Dynamic Minimization of Linearly Transformed BDDs
      , Nummer: 144, 2000

    1999

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, Bernd Becker, A. Brogle
      Solving the Multiple Variable Order Problem for Binary Decision Diagrams by Use of Dynamic Reordering Techniques
      , Nummer: 130, 1999
    • Andreas Hett, Christoph Scholl, Bernd Becker
      A.MORE - A Multi-Operand BDD Package
      University of Freiburg, 1999
    • Paul Molitor, Christoph Scholl
      Datenstrukturen und effiziente Algorithmen fuer die Logiksynthese kombinatorischer Schaltungen
      B.G. Teubner, 1999
    • Christoph Scholl, Bernd Becker, A. Brogle
      Solving the Multiple Variable Order Problem for Binary Decision Diagram by Use of Dynamic Reordering Techniques
      , Nummer: 130, 1999
    • Rolf Drechsler, Nicole Drechsler
      VLSI CAD and the Integration of Evolutionary Techniques
      CRC Press International Series on Computational Intelligence, 1999

    1998

    Icon: top nach oben zur Jahresübersicht
    • Martin Keim, Nicole Göckel, Rolf Drechsler, Bernd Becker
      Combining GAs and Symbolic Methods for High Quality Tests of Sequential Circuits
      , Nummer: 105/98, 1998
    • Rolf Drechsler, Bernd Becker
      Binary Decision Diagrams - Theory and Implementation
      Kluwer Academic Publishers, 1998
    • Rolf Drechsler
      Evolutionary Algorithms for VLSI CAD
      Kluwer Academic Publisher, 1998
    • Rolf Drechsler, Bernd Becker
      Graphenbasierte Funktionsdarstellung
      B.G. Teubner, 1998
    • Martin Keim, Bernd Becker
      Nearly Exact Signal Probabilities for Synchronous Sequential Circuits - An Experimental Analysis
      , Nummer: 106/98, 1998

    1997

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, D. Möller, Paul Molitor, Rolf Drechsler
      BDD Minimization Using Symmetries
      , 1997
    • Rolf Drechsler, Nicole Göckel, Wolfgang Günther
      Fast Exact Minimization of BDDs
      , 1997
    • Rolf Drechsler, Bernd Becker
      Graphenbasierte Funktionsdarstellung
      B.G. Teubner, 1997
    • Harry Hengster, Bernd Becker
      Synthesis of Fully Testable High Speed Circuits Derived from Decision Diagrams
      , 1997

    1996

    Icon: top nach oben zur Jahresübersicht
    • Rolf Drechsler, A. Zuzek
      Efficient Functional Diagnosis for Synchronous Sequential Circuits based on AND/OR Graphs
      , 1996
    • Andreas Hett, Rolf Drechsler, Bernd Becker
      MORE Optimization Techniques.
      , 1996
    • Rolf Drechsler, Bernd Becker
      OKFDDs - Algorithms, Applications and Extensions
      Kluwer Academic Publisher, Seiten: 163 - 190, 1996
    • Rolf Drechsler
      Pseudo Kronecker Expressions for Symmetric Functions
      , 1996
    • Andreas Hett, Rolf Drechsler, Bernd Becker
      The DD Package PUMA - An Online Documentation
      https://ira.informatik.uni-freiburg.de/software/puma/, 1996

    1995

    Icon: top nach oben zur Jahresübersicht
    • Rolf Drechsler, Bernd Becker, Nicole Göckel
      A Genetic Algorithm for Variable Ordering of OBDDs
      , Nummer: 5/95, 1995
    • Rolf Drechsler, Bernd Becker, S. Ruppertz
      Dynamic Minimization of K*BMDs
      , 1995
    • Rolf Drechsler, Bernd Becker
      Dynamic Minimization of OKFDDs
      , Nummer: 5/95, 1995
    • Bernd Becker, Rolf Drechsler, Reinhard Enders
      On the Computational Power of Bit-Level and Word-Level Decision Diagrams
      , 1995
    • Rolf Drechsler
      Ordered Kronecker Functional Decision Diagrams und ihre Anwendungen
      Modell Verlag, Ph.D. thesis at J.W. Goethe-Universität, 1995

    1994

    Icon: top nach oben zur Jahresübersicht
    • Rolf Drechsler, H. Esbensen, Bernd Becker
      Genetic Algorithms in Computer Aided Design of Integrated Circuits
      , Nummer: 17/94, 1994
    • Bernd Becker, Rolf Drechsler, M. Theobald
      Minimization of 2-level AND/XOR Expressions using Ordered Kronecker Functional Decision Diagrams
      , Nummer: 3/94, 1994
    • Rolf Drechsler, Bernd Becker, A. Jahnke
      On Variable Ordering and Decomposition Type Choice in OKFDDs
      , Nummer: 11/94, 1994
    • Bernd Becker, Rolf Drechsler, M. Theobald
      On Variable Ordering of Functional Decision Diagrams
      , Nummer: TR-94-006, 1994
    • Rolf Drechsler, A. Sarabi, M. Theobald, Bernd Becker, M. A. Perkowski
      On the Computational Power of Ordered Kronecker Functional Decision Diagrams
      , Nummer: 4/94, 1994
    • Bernd Becker, Rolf Drechsler
      Synthesis for Testability: Circuits Derived from Ordered Kronecker Functional Decision Diagrams
      , Nummer: 14/94, 1994

    1993

    Icon: top nach oben zur Jahresübersicht
    • Rolf Drechsler, A. Sarabi, M. Theobald, Bernd Becker, M. A. Perkowski
      Efficient Representation and Manipulation of Switching Functions Based on Ordered Kronecker Functional Decision Diagrams
      , Nummer: 14/93, 1993
    • Rolf Drechsler, M. Theobald, Bernd Becker
      Fast FDD based Minimization of Generalized Reed-Muller Forms
      , Nummer: 15/93, 1993
    • Bernd Becker, Rolf Drechsler, Harry Hengster
      Local Circuit Transformations Preserving Robust Path-Delay-Fault Testability
      , Nummer: 1/93, 1993
    • Bernd Becker, Rolf Drechsler, M. Theobald
      On Variable Ordering of Functional Decision Diagrams
      , 1993
    • Bernd Becker, Rolf Drechsler, R. Werchner
      On the Relation between BDDs and FDDs
      , Nummer: 12/93, 1993
    • Bernd Becker, Rolf Drechsler, Christoph Meinel
      On the Testability of Circuits Derived from Binary Decision Diagrams
      , Nummer: 9/93, 1993
    • Bernd Becker, Rolf Drechsler
      Testability of Circuits Derived from Functional Decision Diagrams
      , 1993
    • R. Krieger, Bernd Becker, Harry Hengster
      lgc++: Ein Werkzeug zur Implementierung von Logiken als abstrakte Datentypen in C++
      , 1993
    • R. Krieger, Ralf Hahn, Bernd Becker
      test_circ: Ein abstrakter Datentyp zur Repräsentation von hierarchischen Schaltkreisen
      , 1993

    1992

    Icon: top nach oben zur Jahresübersicht
    • Rolf Drechsler, Bernd Becker
      Rapid Prototyping of Robust Path-Delay-Fault Testable Circuits Derived from Binary Decision Diagrams
      , Nummer: TR-17/92, SFB 124, 1992