Bernd Straube

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
17	EE	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): 293-307 (2008)
2007
16	EE	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: 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
13	EE	Martin Freibothe, Jens Doege, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock: Verification-Oriented Behavioral Modeling of Non-Linear Analog. FDL 2006: 53-60
12	EE	Martin 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)
11	EE	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 - Information Technology 48(5): 304- (2006)
2004
10	EE	Elmar 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
7	EE	Elmar Dilger, Matthias Gulbins, Thomas Ohnesorge, Bernd Straube: On a Redundant Diversified Steering Angle. IOLTS 2003: 191-196
2001
6	EE	Carsten 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
5	EE	Sergej Sawitzki, Rainer G. Spallek, Jens Schönherr, Bernd Straube: Formal Verification for Microprocessors with Extendable Instruction Set. ASAP 2000: 47-55
4	EE	Jens Schönherr, Bernd Straube: Automatic Equivalence Check of Circuit Descriptions at Clocked Algorithmic and Register Transfer Level. DATE 2000: 759
3	EE	Sergej Sawitzki, Jens Schönherr, Rainer G. Spallek, Bernd Straube: Formal Verification of a Reconfigurable Microprocessor. FPL 2000: 781-784
1999
2	EE	Jens 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

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

Colors in the list of coauthors