Bernd Straube

According to our database, Bernd Straube authored at least 35 papers between 1984 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

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

2012

Ein Ansatz zur Verifikation von Materialflusssteuerungen.

Thomas Klotz, Bernd Straube, Eva Fordran, Norman Seßler, Jürgen Haufe, Frank Schulze

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2012

Compositional verification of material handling systems.

Thomas Klotz, Norman Seßler, Bernd Straube, Eva Fordran, Karsten Turek, Jens Schönherr

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

On the formal verification of routing in material handling systems.

Thomas Klotz, Norman Seßler, Bernd Straube, Eva Fordran, Karsten Turek, Jens Schönherr

Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

2011

Variation-aware fault modeling.

Fabian Hopsch, Bernd Becker, Sybille Hellebrand, Ilia Polian, Bernd Straube, Wolfgang Vermeiren, Hans-Joachim Wunderlich

Sci. China Inf. Sci., 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

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Characterization of digital cells for statistical test.

Fabian Hopsch, Michael Lindig, Bernd Straube, Wolfgang Vermeiren

Proceedings of the 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2011

2010

Massive statistical process variations: A grand challenge for testing nanoelectronic circuits.

Bernd Becker, Sybille Hellebrand, Ilia Polian, Bernd Straube, Wolfgang Vermeiren, Hans-Joachim Wunderlich

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2010), Chicago, Illinois, USA, June 28, 2010

Developing digital test sequences for through-silicon vias within 3D structures.

Matthias Gulbins, Fabian Hopsch, Peter Schneider, Bernd Straube, Wolfgang Vermeiren

Proceedings of the IEEE International Conference on 3D System Integration, 2010

2009

Modellierung und Verifikation von Steuerungen in der Automatisierungstechnik.

Jürgen Haufe, Ulrich Donath, Eva Fordran, Thomas Klotz, Bernd Straube

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2009

Formal Verification of UML-modeled Machine Controls.

Thomas Klotz, Eva Fordran, Bernd Straube, Jürgen Haufe

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

2008

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

2007

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

Proceedings of the 22nd IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2007), 2007

2006

DFG-Projekt RealTest - Test und Zuverlässigkeit nanoelektronischer Systeme (DFG-Project - Test and Reliability of Nano-Electronic Systems).

Bernd Becker, Ilia Polian, Sybille Hellebrand, Bernd Straube, Hans-Joachim Wunderlich

it Inf. Technol., 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

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

Verification-Oriented Behavioral Modeling of Non-Linear Analog.

Martin Freibothe, Jens Döge, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock

Proceedings of the Forum on specification and Design Languages, 2006

Embedded Self Repair by Transistor and Gate Level Reconfiguration.

René Kothe, Heinrich Theodor Vierhaus, Torsten Coym, Wolfgang Vermeiren, Bernd Straube

Proceedings of the 9th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2006), 2006

2005

Formal Verification of the Quasi-Static Behavior of Mixed-Signal Circuits by Property Checking.

Martin Freibothe, Jens Schönherr, Bernd Straube

Proceedings of the First Workshop on Formal Verification of Analog Circuits, 2005

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

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Fault Tolerant Mechatronics.

Elmar Dilger, Roland Karrelmeyer, Bernd Straube

Proceedings of the 10th IEEE International On-Line Testing Symposium (IOLTS 2004), 2004

2003

On a Redundant Diversified Steering Angle.

Elmar Dilger, Matthias Gulbins, Thomas Ohnesorge, Bernd Straube

Proceedings of the 9th IEEE International On-Line Testing Symposium (IOLTS 2003), 2003

Fehlertoleranter Lenkwinkelgeber.

Elmar Dilger, Matthias Gulbins, Thomas Ohnesorge, Bernd Straube

Proceedings of the 33. Jahrestagung der Gesellschaft für Informatik, Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit", INFORMATIK 2003 - Mit Sicherheit Informatik, Frankfurt am Main, Germany, September 29, 2003

2001

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

2000

Formale Verifikation auf höheren Entwurfsebenen mittels symbolischer Traversierung unendlicher Automaten.

Jens Schönherr, Bernd Straube

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28, 2000

Induction based Equivalence Check at Register Transfer Level.

Jens Schönherr, Bernd Straube

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28, 2000

Formal Verification of a Reconfigurable Microprocessor.

Sergej Sawitzki, Jens Schönherr, Rainer G. Spallek, Bernd Straube

Proceedings of the Field-Programmable Logic and Applications, 2000

Automatic Equivalence Check of Circuit Descriptions at Clocked Algorithmic and Register Transfer Level.

Jens Schönherr, Bernd Straube

Proceedings of the 2000 Design, 2000

Formal Verification for Microprocessors with Extendable Instruction Set.

Sergej Sawitzki, Rainer G. Spallek, Jens Schönherr, Bernd Straube

Proceedings of the 12th IEEE International Conference on Application-Specific Systems, 2000

1999

Hazard Checking in Pipelined Processor Designs Using Symbolic Model Checking.

Jens Schönherr, Ingo Schreiber, Eva Fordran, Bernd Straube

Proceedings of the 25th EUROMICRO '99 Conference, 1999

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ß

Proceedings of the 4th European Test Workshop, 1999

1998

Kontrollfluss-Verifikation von Algorithmen mittels Modellprüfung.

Ingo Schreiber, Jens Schönherr, Eva Fordran, Klaus Schneider, Bernd Straube

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1998

1996

Defect-Oriented Experiments in Fault Modelling and Fault Simulation of Microsystem Components.

Wolfgang Vermeiren, Bernd Straube, Andreas Holubek

Proceedings of the 1996 European Design and Test Conference, 1996

Applying Behavioural Level Test Generation to High-Level Design Validation.

Matthias Gulbins, Bernd Straube

Proceedings of the 1996 European Design and Test Conference, 1996

1994

A Suggestion for Accelerating the Analog Fault Simulation.

Wolfgang Vermeiren, Bernd Straube, Günter Elst

Proceedings of the EDAC - The European Conference on Design Automation, ETC - European Test Conference, EUROASIC - The European Event in ASIC Design, Proceedings, February 28, 1994

1984

Anwendungen der Theorie unscharfer Mengen bei der Modellierung realer Systeme.

Bernd Straube

PhD thesis, 1984