@inproceedings{GalkePflanzVierhaus, author = {Galke, Christian and Pflanz, Matthias and Vierhaus, Heinrich Theodor}, title = {Detection and Compensation of Transient Errors in Processor Structures}, language = {en} } @misc{VierhausPflanzMohaupt, author = {Vierhaus, Heinrich Theodor and Pflanz, Matthias and Mohaupt, Thomas}, title = {Design and Architecture of Dependable Computer-Based Systems}, language = {en} } @inproceedings{PflanzGalkeVierhaus, author = {Pflanz, Matthias and Galke, Christian and Vierhaus, Heinrich Theodor}, title = {A New Method for On-Line State Machine Observation for Embedded Microprocessors}, language = {en} } @inproceedings{KrautzPflanzVierhausetal., author = {Krautz, U. and Pflanz, Matthias and Vierhaus, Heinrich Theodor and Jacobi, C. and Tast, H. W.}, title = {Evaluating Coverage of Error Detection Logic for Soft Errors using Formal Methods}, series = {Design, automation and test in Europe, Munich, Germany, March 6 - 10, 2006, proceedings, vol. 1}, booktitle = {Design, automation and test in Europe, Munich, Germany, March 6 - 10, 2006, proceedings, vol. 1}, publisher = {IEEE}, address = {Piscataway, NJ}, isbn = {3-9810801-1-4}, pages = {176 -- 181}, language = {en} } @inproceedings{PflanzVierhaus, author = {Pflanz, Matthias and Vierhaus, Heinrich Theodor}, title = {Control Signal Protection - A New Challenge for High Performance Processors}, series = {Proceedings, 9th IEEE International On-Line Testing Symposium, IOLTS 2003, 7 - 9 July 2003, Kos International Convention Center, Kos Island, Greece}, booktitle = {Proceedings, 9th IEEE International On-Line Testing Symposium, IOLTS 2003, 7 - 9 July 2003, Kos International Convention Center, Kos Island, Greece}, publisher = {IEEE Computer Society}, address = {Los Alamitos, Calif. [u.a.]}, isbn = {0-7695-1968-7}, pages = {173 -- 177}, language = {en} }