Bernd Straube
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
10
Active years
1996–2012
Best venue rank
C
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ETFA | Compositional verification of material handling systems. | Thomas Klotz, Norman Seler, Bernd Straube, Eva Fordran, Karsten Turek, Jens Schnherr |
| 2011 | DDECS | Characterization of digital cells for statistical test. | Fabian Hopsch, Michael Lindig, Bernd Straube, Wolfgang Vermeiren |
| 2011 | ETFA | An approach to the verification of material handling systems. | Thomas Klotz, Bernd Straube, Eva Fordran, Jrgen Haufe, Frank Schulze, Karsten Turek, Thorsten Schmidt |
| 2010 | DSN | Massive statistical process variations: A grand challenge for testing nanoelectronic circuits. | Bernd Becker, Sybille Hellebrand, Ilia Polian, Bernd Straube, Wolfgang Vermeiren, Hans-Joachim Wunderlich |
| 2009 | ETFA | Formal Verification of UML-modeled Machine Controls. | Thomas Klotz, Eva Fordran, Bernd Straube, Jrgen Haufe |
| 2006 | DDECS | Embedded Self Repair by Transistor and Gate Level Reconfiguration. | Ren Kothe, Heinrich Theodor Vierhaus, Torsten Coym, Wolfgang Vermeiren, Bernd Straube |
| 2006 | FDL | Verification-Oriented Behavioral Modeling of Non-Linear Analog. | Martin Freibothe, Jens Dge, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock |
| 2004 | IOLTS | Fault Tolerant Mechatronics. | Elmar Dilger, Roland Karrelmeyer, Bernd Straube |
| 2004 | ISoLA | Semi-formal Verification of the quasi-static behavior of Mixed-Signal Circuits by SAT-based Property Checking. | Martin Freibothe, Jens Schnherr, Bernd Straube, Jrg Bormann |
| 2003 | GI | Fehlertoleranter Lenkwinkelgeber. | Elmar Dilger, Matthias Gulbins, Thomas Ohnesorge, Bernd Straube |
| 2003 | IOLTS | On a Redundant Diversified Steering Angle. | Elmar Dilger, Matthias Gulbins, Thomas Ohnesorge, Bernd Straube |
| 2000 | DATE | Automatic Equivalence Check of Circuit Descriptions at Clocked Algorithmic and Register Transfer Level. | Jens Schnherr, Bernd Straube |
| 2000 | FPL | Formal Verification of a Reconfigurable Microprocessor. | Sergej Sawitzki, Jens Schnherr, Rainer G. Spallek, Bernd Straube |
| 1999 | ETS | On the fault-injection-caused increase of the DAE-index in analogue fault simulation. | Bernd Straube, Kurt Reinschke, Wolfgang Vermeiren, Klaus Rbenack, Bert Mller, Christoph Clau |
| 1996 | DATE | Applying Behavioural Level Test Generation to High-Level Design Validation. | Matthias Gulbins, Bernd Straube |
| 1996 | DATE | Defect-Oriented Experiments in Fault Modelling and Fault Simulation of Microsystem Components. | Wolfgang Vermeiren, Bernd Straube, Andreas Holubek |