Bernd Straube

Publication Activity (10 Years)

Years Active: 1994-2013
Publications (10 Years): 0

Top Venues

IEEE Trans Autom. Sci. Eng.

MBMV

ETFA

CASE

Akademie der Wissenschaften der DDR, Berlin, Germany (PHD)

Education History

Akademie der Wissenschaften der DDR, Berlin, Germany

PHD

Publications

Thomas Klotz, Jens Schönherr, Norman Seßler, Bernd Straube, Karsten Turek
Automated Formal Verification of Routing in Material Handling Systems. IEEE Trans Autom. Sci. Eng. 10 (4) (2013)
Thomas Klotz, Norman Seßler, Bernd Straube, Eva Fordran, Karsten Turek, Jens Schönherr
Compositional verification of material handling systems. ETFA (2012)
Thomas Klotz, Norman Seßler, Bernd Straube, Eva Fordran, Karsten Turek, Jens Schönherr
On the formal verification of routing in material handling systems. CASE (2012)
Thomas Klotz, Bernd Straube, Eva Fordran, Norman Seßler, Jürgen Haufe, Frank Schulze
Ein Ansatz zur Verifikation von Materialflusssteuerungen. MBMV (2012)
Fabian Hopsch, Michael Lindig, Bernd Straube, Wolfgang Vermeiren
Characterization of digital cells for statistical test. DDECS (2011)
Fabian Hopsch, Bernd Becker, Sybille Hellebrand, Ilia Polian, Bernd Straube, Wolfgang Vermeiren, Hans-Joachim Wunderlich
Variation-aware fault modeling. Sci. China Inf. Sci. 54 (9) (2011)
Thomas Klotz, Bernd Straube, Eva Fordran, Jürgen Haufe, Frank Schulze, Karsten Turek, Thorsten Schmidt
An approach to the verification of material handling systems. ETFA (2011)
Matthias Gulbins, Fabian Hopsch, Peter Schneider, Bernd Straube, Wolfgang Vermeiren
Developing digital test sequences for through-silicon vias within 3D structures. 3DIC (2010)
Bernd Becker, Sybille Hellebrand, Ilia Polian, Bernd Straube, Wolfgang Vermeiren, Hans-Joachim Wunderlich
Massive statistical process variations: A grand challenge for testing nanoelectronic circuits. DSN Workshops (2010)
Fabian Hopsch, Bernd Becker, Sybille Hellebrand, Ilia Polian, Bernd Straube, Wolfgang Vermeiren, Hans-Joachim Wunderlich
Variation-Aware Fault Modeling. Asian Test Symposium (2010)
Thomas Klotz, Eva Fordran, Bernd Straube, Jürgen Haufe
Formal Verification of UML-modeled Machine Controls. ETFA (2009)
Jürgen Haufe, Ulrich Donath, Eva Fordran, Thomas Klotz, Bernd Straube
Modellierung und Verifikation von Steuerungen in der Automatisierungstechnik. MBMV (2009)
Jens Schönherr, Martin Freibothe, Bernd Straube, Jörg Bormann
Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking. Theor. Comput. Sci. 404 (3) (2008)
Sybille Hellebrand, Christian G. Zoellin, Hans-Joachim Wunderlich, Stefan Ludwig, Torsten Coym, Bernd Straube
A Refined Electrical Model for Particle Strikes and its Impact on SEU Prediction. DFT (2007)
Martin Freibothe, Jens Döge, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock
Verification-Oriented Behavioral Modeling of Non-Linear Analog. FDL (2006)
Martin Freibothe, Jens Döge, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock
Modellierung des dynamischen Verhaltens nichtlinearer analoger Komponenten für die semi-formale Mixed-Signal-Verifikation. MBMV (2006)
Martin Freibothe, Jens Schönherr, Bernd Straube
Formal Verification of the Quasi-Static Behavior of Mixed-Signal Circuits by Property Checking. Electron. Notes Theor. Comput. Sci. 153 (3) (2006)
René Kothe, Heinrich Theodor Vierhaus, Torsten Coym, Wolfgang Vermeiren, Bernd Straube
Embedded Self Repair by Transistor and Gate Level Reconfiguration. DDECS (2006)
Bernd Becker, Ilia Polian, Sybille Hellebrand, Bernd Straube, Hans-Joachim Wunderlich
DFG-Projekt RealTest - Test und Zuverlässigkeit nanoelektronischer Systeme (DFG-Project - Test and Reliability of Nano-Electronic Systems). it Inf. Technol. 48 (5) (2006)
Martin Freibothe, Jens Schönherr, Bernd Straube, Jörg Bormann
Semi-formal Verification of the quasi-static behavior of Mixed-Signal Circuits by SAT-based Property Checking. ISoLA (Preliminary proceedings) (2004)
Elmar Dilger, Roland Karrelmeyer, Bernd Straube
Fault Tolerant Mechatronics. IOLTS (2004)
Elmar Dilger, Matthias Gulbins, Thomas Ohnesorge, Bernd Straube
On a Redundant Diversified Steering Angle. IOLTS (2003)
Elmar Dilger, Matthias Gulbins, Thomas Ohnesorge, Bernd Straube
Fehlertoleranter Lenkwinkelgeber. GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit") (2003)
Carsten Wegener, Michael Peter Kennedy, Bernd Straube
Process Deviations and Spot Defects: Two Aspects of Test and Test Development for Mixed-Signal Circuits. J. Electron. Test. 17 (5) (2001)
Jens Schönherr, Bernd Straube
Induction based Equivalence Check at Register Transfer Level. MBMV (2000)
Jens Schönherr, Bernd Straube
Automatic Equivalence Check of Circuit Descriptions at Clocked Algorithmic and Register Transfer Level. DATE (2000)
Sergej Sawitzki, Jens Schönherr, Rainer G. Spallek, Bernd Straube
Formal Verification of a Reconfigurable Microprocessor. FPL (2000)
Sergej Sawitzki, Rainer G. Spallek, Jens Schönherr, Bernd Straube
Formal Verification for Microprocessors with Extendable Instruction Set. ASAP (2000)
Jens Schönherr, Bernd Straube
Formale Verifikation auf höheren Entwurfsebenen mittels symbolischer Traversierung unendlicher Automaten. MBMV (2000)
Bernd Straube, Kurt Reinschke, Wolfgang Vermeiren, Klaus Röbenack, Bert Müller, Christoph Clauß
On the fault-injection-caused increase of the DAE-index in analogue fault simulation. ETW (1999)
Jens Schönherr, Ingo Schreiber, Eva Fordran, Bernd Straube
Hazard Checking in Pipelined Processor Designs Using Symbolic Model Checking. EUROMICRO (1999)
Ingo Schreiber, Jens Schönherr, Eva Fordran, Klaus Schneider, Bernd Straube
Kontrollfluss-Verifikation von Algorithmen mittels Modellprüfung. MBMV (1998)
Matthias Gulbins, Bernd Straube
Applying Behavioural Level Test Generation to High-Level Design Validation. ED&TC (1996)
Wolfgang Vermeiren, Bernd Straube, Andreas Holubek
Defect-Oriented Experiments in Fault Modelling and Fault Simulation of Microsystem Components. ED&TC (1996)
Wolfgang Vermeiren, Bernd Straube, Günter Elst
A Suggestion for Accelerating the Analog Fault Simulation. EDAC-ETC-EUROASIC (1994)

Bernd Straube.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bernd Straube