Anwendungen der Theorie unscharfer Mengen bei der Modellierung realer Systeme. - Bernd Straube (1984)

A Suggestion for Accelerating the Analog Fault Simulation. - Wolfgang Vermeiren; Bernd Straube; Günter Elst (EDAC-ETC-EUROASIC, 1994)

Applying Behavioural Level Test Generation to High-Level Design Validation. - Matthias Gulbins; Bernd Straube (ED&TC, 1996)

Defect-Oriented Experiments in Fault Modelling and Fault Simulation of Microsystem Components. - Wolfgang Vermeiren; Bernd Straube; Andreas Holubek (ED&TC, 1996)

Kontrollfluss-Verifikation von Algorithmen mittels Modellprüfung. - Ingo Schreiber; Jens Schönherr; Eva Fordran; Klaus Schneider 001; Bernd Straube (MBMV, 1998)

On the fault-injection-caused increase of the DAE-index in analogue fault simulation. - Bernd Straube; Kurt Reinschke; Wolfgang Vermeiren; Klaus Röbenack; Bert Müller; Christoph Clauß (ETW, 1999)

Hazard Checking in Pipelined Processor Designs Using Symbolic Model Checking. - Jens Schönherr; Ingo Schreiber; Eva Fordran; Bernd Straube (EUROMICRO, 1999)

Formal Verification for Microprocessors with Extendable Instruction Set. - Sergej Sawitzki; Rainer G. Spallek; Jens Schönherr; Bernd Straube (ASAP, 2000)

Automatic Equivalence Check of Circuit Descriptions at Clocked Algorithmic and Register Transfer Level. - Jens Schönherr; Bernd Straube (DATE, 2000)

Formal Verification of a Reconfigurable Microprocessor. - Sergej Sawitzki; Jens Schönherr; Rainer G. Spallek; Bernd Straube (FPL, 2000)

Induction based Equivalence Check at Register Transfer Level. - Jens Schönherr; Bernd Straube (MBMV, 2000)

Formale Verifikation auf höheren Entwurfsebenen mittels symbolischer Traversierung unendlicher Automaten. - Jens Schönherr; Bernd Straube (MBMV, 2000)

Process Deviations and Spot Defects: Two Aspects of Test and Test Development for Mixed-Signal Circuits. - Carsten Wegener; Michael Peter Kennedy; Bernd Straube (J. Electron. Test., 2001)

Fehlertoleranter Lenkwinkelgeber. - Elmar Dilger; Matthias Gulbins; Thomas Ohnesorge; Bernd Straube (GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit"), 2003)

On a Redundant Diversified Steering Angle. - Elmar Dilger; Matthias Gulbins; Thomas Ohnesorge; Bernd Straube (IOLTS, 2003)

Fault Tolerant Mechatronics. - Elmar Dilger; Roland Karrelmeyer; Bernd Straube (IOLTS, 2004)

Semi-formal Verification of the quasi-static behavior of Mixed-Signal Circuits by SAT-based Property Checking. - Martin Freibothe; Jens Schönherr; Bernd Straube; Jörg Bormann (ISoLA (Preliminary proceedings), 2004)

Formal Verification of the Quasi-Static Behavior of Mixed-Signal Circuits by Property Checking. - Martin Freibothe; Jens Schönherr; Bernd Straube (FAC, 2005)

Embedded Self Repair by Transistor and Gate Level Reconfiguration. - René Kothe; Heinrich Theodor Vierhaus; Torsten Coym; Wolfgang Vermeiren; Bernd Straube (DDECS, 2006)

Verification-Oriented Behavioral Modeling of Non-Linear Analog. - Martin Freibothe; Jens Döge; Torsten Coym; Stefan Ludwig; Bernd Straube; Ernst Kock (FDL, 2006)

Modellierung des dynamischen Verhaltens nichtlinearer analoger Komponenten für die semi-formale Mixed-Signal-Verifikation. - Martin Freibothe; Jens Döge; Torsten Coym; Stefan Ludwig; Bernd Straube; Ernst Kock (MBMV, 2006)

DFG-Projekt RealTest - Test und Zuverlässigkeit nanoelektronischer Systeme (DFG-Project - Test and Reliability of Nano-Electronic Systems). - Bernd Becker 001; Ilia Polian; Sybille Hellebrand; Bernd Straube; Hans-Joachim Wunderlich (it Inf. Technol., 2006)

A Refined Electrical Model for Particle Strikes and its Impact on SEU Prediction. - Sybille Hellebrand; Christian G. Zoellin; Hans-Joachim Wunderlich; Stefan Ludwig; Torsten Coym; Bernd Straube (DFT, 2007)

Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking. - Jens Schönherr; Martin Freibothe; Bernd Straube; Jörg Bormann (Theor. Comput. Sci., 2008)

Formal Verification of UML-modeled Machine Controls. - Thomas Klotz; Eva Fordran; Bernd Straube; Jürgen Haufe (ETFA, 2009)

Modellierung und Verifikation von Steuerungen in der Automatisierungstechnik. - Jürgen Haufe; Ulrich Donath; Eva Fordran; Thomas Klotz; Bernd Straube (MBMV, 2009)

Developing digital test sequences for through-silicon vias within 3D structures. - Matthias Gulbins; Fabian Hopsch; Peter Schneider; Bernd Straube; Wolfgang Vermeiren (3DIC, 2010)

Massive statistical process variations: A grand challenge for testing nanoelectronic circuits. - Bernd Becker 001; Sybille Hellebrand; Ilia Polian; Bernd Straube; Wolfgang Vermeiren; Hans-Joachim Wunderlich (DSN Workshops, 2010)

Characterization of digital cells for statistical test. - Fabian Hopsch; Michael Lindig; Bernd Straube; Wolfgang Vermeiren (DDECS, 2011)

An approach to the verification of material handling systems. - Thomas Klotz; Bernd Straube; Eva Fordran; Jürgen Haufe; Frank Schulze; Karsten Turek; Thorsten Schmidt (ETFA, 2011)

Variation-aware fault modeling. - Fabian Hopsch; Bernd Becker 001; Sybille Hellebrand; Ilia Polian; Bernd Straube; Wolfgang Vermeiren; Hans-Joachim Wunderlich (Sci. China Inf. Sci., 2011)

On the formal verification of routing in material handling systems. - Thomas Klotz; Norman Seßler; Bernd Straube; Eva Fordran; Karsten Turek; Jens Schönherr (CASE, 2012)

Compositional verification of material handling systems. - Thomas Klotz; Norman Seßler; Bernd Straube; Eva Fordran; Karsten Turek; Jens Schönherr (ETFA, 2012)

Ein Ansatz zur Verifikation von Materialflusssteuerungen. - Thomas Klotz; Bernd Straube; Eva Fordran; Norman Seßler; Jürgen Haufe; Frank Schulze (MBMV, 2012)

Automated Formal Verification of Routing in Material Handling Systems. - Thomas Klotz; Jens Schönherr; Norman Seßler; Bernd Straube; Karsten Turek (IEEE Trans Autom. Sci. Eng., 2013)