Bernd Straube - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 36 from 36

2013

Automated Formal Verification of Routing in Material Handling SystemsThomas Klotz, Jens Schönherr, Norman Seßler, Bernd Straube, Karsten Turek. tase, 10(4):900-915, 2013. [doi]

2012

2011

2010

2009

Modellierung und Verifikation von Steuerungen in der AutomatisierungstechnikJürgen Haufe, Ulrich Donath, Eva Fordran, Thomas Klotz, Bernd Straube. mbmv 2009: 197-206

Formal Verification of UML-modeled Machine ControlsThomas Klotz, Eva Fordran, Bernd Straube, Jürgen Haufe. etfa 2009: 1-7 [doi]

2008

Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checkingJens Schönherr, Martin Freibothe, Bernd Straube, Jörg Bormann. TCS, 404(3):293-307, 2008. [doi]

2007

A Refined Electrical Model for Particle Strikes and its Impact on SEU PredictionSybille Hellebrand, Christian G. Zoellin, Hans-Joachim Wunderlich, Stefan Ludwig, Torsten Coym, Bernd Straube. dft 2007: 50-58 [doi]

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, 48(5):304, 2006. [doi]

Verification-Oriented Behavioral Modeling of Non-Linear AnalogMartin Freibothe, Jens Doege, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock. fdl 2006: 53-60 [doi]

Formal Verification of the Quasi-Static Behavior of Mixed-Signal Circuits by Property CheckingMartin Freibothe, Jens Schönherr, Bernd Straube. ENTCS, 153(3):23-35, 2006. [doi]

Modellierung des dynamischen Verhaltens nichtlinearer analoger Komponenten für die semi-formale Mixed-Signal-VerifikationMartin Freibothe, Jens Döge, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock. mbmv 2006: 95-105

Embedded Self Repair by Transistor and Gate Level ReconfigurationRené Kothe, Heinrich Theodor Vierhaus, Torsten Coym, Wolfgang Vermeiren, Bernd Straube. ddecs 2006: 210-215

2004

Fault Tolerant MechatronicsElmar Dilger, Roland Karrelmeyer, Bernd Straube. iolts 2004: 214-218 [doi]

Semi-formal Verification of the quasi-static behavior of Mixed-Signal Circuits by SAT-based Property CheckingMartin Freibothe, Jens Schönherr, Bernd Straube, Jörg Bormann. ISoLA 2004: 181-187

2003

Fehlertoleranter LenkwinkelgeberElmar Dilger, Matthias Gulbins, Thomas Ohnesorge, Bernd Straube. gi 2003: 139-150

On a Redundant Diversified Steering AngleElmar Dilger, Matthias Gulbins, Thomas Ohnesorge, Bernd Straube. iolts 2003: 191-196 [doi]

2001

Process Deviations and Spot Defects: Two Aspects of Test and Test Development for Mixed-Signal CircuitsCarsten Wegener, Michael Peter Kennedy, Bernd Straube. et, 17(5):409-416, 2001. [doi]

2000

1999

Hazard Checking in Pipelined Processor Designs Using Symbolic Model CheckingJens Schönherr, Ingo Schreiber, Eva Fordran, Bernd Straube. euromicro 1999: 1075 [doi]

On the fault-injection-caused increase of the DAE-index in analogue fault simulationBernd Straube, Kurt Reinschke, Wolfgang Vermeiren, Klaus Röbenack, Bert Müller, Christoph Clauß. ets 1999: 118-122 [doi]

1998

Kontrollfluss-Verifikation von Algorithmen mittels ModellprüfungIngo Schreiber, Jens Schönherr, Eva Fordran, Klaus Schneider, Bernd Straube. mbmv 1998: 114-123

1996

Applying Behavioural Level Test Generation to High-Level Design ValidationMatthias Gulbins, Bernd Straube. date 1996: 613 [doi]

Defect-Oriented Experiments in Fault Modelling and Fault Simulation of Microsystem ComponentsWolfgang Vermeiren, Bernd Straube, Andreas Holubek. date 1996: 522-527 [doi]

1994

A Suggestion for Accelerating the Analog Fault SimulationWolfgang Vermeiren, Bernd Straube, Günter Elst. eurodac 1994: 662

1984

Anwendungen der Theorie unscharfer Mengen bei der Modellierung realer SystemeBernd Straube. PhD thesis, Akademie der Wissenschaften der DDR, Berlin, Germany, 1984. [doi]

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Bernd Straube'

Viewing Publication 1 - 36 from 36

2013

2012

2011

2010

2009

2008

2007

2006

2004

2003

2001

2000

1999

1998

1996

1994

1984

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Bernd Straube'

Viewing Publication 1 - 36 from 36

2013

2012

2011

2010

2009

2008

2007

2006

2004

2003

2001

2000

1999

1998

1996

1994

1984

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1