Search the dblp DataBase

Publications of Author

1. U. Krautz, Matthias Pflanz, Christian Jacobi 0002, H. W. Tast, Kai Weber, Heinrich Theodor Vierhaus
   Evaluating coverage of error detection logic for soft errors using formal methods. [Citation Graph (0, 0)][DBLP]
   DATE, 2006, pp:176-181 [Conf]
   
2. C. Rousselle, Matthias Pflanz, A. Behling, T. Mohaupt, Heinrich Theodor Vierhaus
   A register-transfer-level fault simulator for permanent and transient faults in embedded processors. [Citation Graph (0, 0)][DBLP]
   DATE, 2001, pp:811- [Conf]
   
3. Christian Galke, Matthias Pflanz, Heinrich Theodor Vierhaus
   A Test Processor Concept for Systems-on-a-Chip. [Citation Graph (0, 0)][DBLP]
   ICCD, 2002, pp:210-0 [Conf]
   
4. Christian Galke, Matthias Pflanz, Heinrich Theodor Vierhaus
   On-line Detection and Compensation of Transient Errors in Processor Pipeline-Structures. [Citation Graph (0, 0)][DBLP]
   IOLTW, 2002, pp:178- [Conf]
   
5. Matthias Pflanz, Heinrich Theodor Vierhaus
   Control Signal Protection For High Performance Processors. [Citation Graph (0, 0)][DBLP]
   IOLTS, 2003, pp:173-0 [Conf]
   
6. Matthias Pflanz, K. Walther, Christian Galke, Heinrich Theodor Vierhaus
   On-Line Error Detection and Correction in Storage Elements with Cross-Parity Check. [Citation Graph (0, 0)][DBLP]
   IOLTW, 2002, pp:69-73 [Conf]
   
7. Matthias Pflanz, K. Walther, Heinrich Theodor Vierhaus
   On-line Error Detection Techniques for Dependable Embedded Processors with High Complexity. [Citation Graph (0, 0)][DBLP]
   IOLTW, 2001, pp:51-53 [Conf]
   
8. Matthias Pflanz, Heinrich Theodor Vierhaus, F. Pompsch
   An efficient on-line-test and back-up scheme for embedded processors. [Citation Graph (0, 0)][DBLP]
   ITC, 1999, pp:964-972 [Conf]
   
9. Matthias Pflanz
   Online Fehler-Erkennung und schnelle Wiederherstellungs-Techniken für zuverlässige eingebettete Prozessoren (Online Error Detection and Fast Recover Techniques for Dependable Embedded Processors). [Citation Graph (0, 0)][DBLP]
   it - Information Technology, 2004, v:46, n:1, pp:51-53 [Journal]
   
10. Matthias Pflanz, Heinrich Theodor Vierhaus
    Online Check and Recovery Techniques for Dependable Embedded Processors. [Citation Graph (0, 0)][DBLP]
    IEEE Micro, 2001, v:21, n:5, pp:24-40 [Journal]
    
11. 
    Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof. [Citation Graph (, )][DBLP]