dblp.uni-trier.dewww.uni-trier.de

Bernd Straube Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
18 Bernd Straube, Milos Drutarovský, Michel Renovell, Peter Gramata, Mária Fischerová: Proceedings of the 11th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2008), Bratislava, Slovakia, April 16-18, 2008 IEEE Computer Society 2008
17EEJens 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): 293-307 (2008)
2007
16EESybille 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: 50-58
2006
15 Matteo Sonza Reorda, Ondrej Novák, Bernd Straube, Hana Kubatova, Zdenek Kotásek, Pavel Kubalík, Raimund Ubar, Jiri Bucek: Proceedings of the 9th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2006), Prague, Czech Republic, April 18-21, 2006 IEEE Computer Society 2006
14 René Kothe, Heinrich Theodor Vierhaus, Torsten Coym, Wolfgang Vermeiren, Bernd Straube: Embedded Self Repair by Transistor and Gate Level Reconfiguration. DDECS 2006: 210-215
13EEMartin Freibothe, Jens Doege, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock: Verification-Oriented Behavioral Modeling of Non-Linear Analog. FDL 2006: 53-60
12EEMartin Freibothe, Jens Schönherr, Bernd Straube: Formal Verification of the Quasi-Static Behavior of Mixed-Signal Circuits by Property Checking. Electr. Notes Theor. Comput. Sci. 153(3): 23-35 (2006)
11EEBernd 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 - Information Technology 48(5): 304- (2006)
2004
10EEElmar Dilger, Roland Karrelmeyer, Bernd Straube: Fault Tolerant Mechatronics. IOLTS 2004: 214-218
9 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: 181-187
2003
8 Elmar Dilger, Matthias Gulbins, Thomas Ohnesorge, Bernd Straube: Fehlertoleranter Lenkwinkelgeber. GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit") 2003: 139-150
7EEElmar Dilger, Matthias Gulbins, Thomas Ohnesorge, Bernd Straube: On a Redundant Diversified Steering Angle. IOLTS 2003: 191-196
2001
6EECarsten Wegener, Michael Peter Kennedy, Bernd Straube: Process Deviations and Spot Defects: Two Aspects of Test and Test Development for Mixed-Signal Circuits. J. Electronic Testing 17(5): 409-416 (2001)
2000
5EESergej Sawitzki, Rainer G. Spallek, Jens Schönherr, Bernd Straube: Formal Verification for Microprocessors with Extendable Instruction Set. ASAP 2000: 47-55
4EEJens Schönherr, Bernd Straube: Automatic Equivalence Check of Circuit Descriptions at Clocked Algorithmic and Register Transfer Level. DATE 2000: 759
3EESergej Sawitzki, Jens Schönherr, Rainer G. Spallek, Bernd Straube: Formal Verification of a Reconfigurable Microprocessor. FPL 2000: 781-784
1999
2EEJens Schönherr, Ingo Schreiber, Eva Fordran, Bernd Straube: Hazard Checking in Pipelined Processor Designs Using Symbolic Model Checking. EUROMICRO 1999: 1075-
1994
1 Wolfgang Vermeiren, Bernd Straube, Günter Elst: A Suggestion for Accelerating the Analog Fault Simulation. EDAC-ETC-EUROASIC 1994: 662

Coauthor Index

1Bernd Becker [11]
2Jörg Bormann [9] [17]
3Jiri Bucek [15]
4Torsten Coym [13] [14] [16]
5Elmar Dilger [7] [8] [10]
6Jens Doege [13]
7Milos Drutarovský [18]
8Günter Elst [1]
9Mária Fischerová [18]
10Eva Fordran [2]
11Martin Freibothe [9] [12] [13] [17]
12Peter Gramata [18]
13Matthias Gulbins [7] [8]
14Sybille Hellebrand [11] [16]
15Roland Karrelmeyer [10]
16Michael Peter Kennedy [6]
17Ernst Kock [13]
18Zdenek Kotásek [15]
19René Kothe [14]
20Pavel Kubalík [15]
21Hana Kubatova [15]
22Stefan Ludwig [13] [16]
23Ondrej Novák [15]
24Thomas Ohnesorge [7] [8]
25Ilia Polian [11]
26Michel Renovell [18]
27Matteo Sonza Reorda [15]
28Sergej Sawitzki [3] [5]
29Jens Schönherr [2] [3] [4] [5] [9] [12] [17]
30Ingo Schreiber [2]
31Rainer G. Spallek [3] [5]
32Raimund Ubar [15]
33Wolfgang Vermeiren [1] [14]
34Heinrich Theodor Vierhaus [14]
35Carsten Wegener [6]
36Hans-Joachim Wunderlich [11] [16]
37Christian G. Zoellin [16]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)