Matthias Pflanz

According to our database1, Matthias Pflanz authored at least 19 papers between 1998 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Characterization and Exploration of Latch Checkers for Efficient RAS Protection.
Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2021

SERMiner : A Framework for Early-stage Reliability Estimation for IBM Processors.
Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

2008
Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof.
Proceedings of the 13th Asia South Pacific Design Automation Conference, 2008

2006
Evaluating coverage of error detection logic for soft errors using formal methods.
Proceedings of the Conference on Design, Automation and Test in Europe, 2006

2004
Online Fehler-Erkennung und schnelle Wiederherstellungs-Techniken für zuverlässige eingebettete Prozessoren (Online Error Detection and Fast Recover Techniques for Dependable Embedded Processors).
it Inf. Technol., 2004

2003
On-Line Techniques for Error Detection and Correction in Processor Registers with Cross-Parity Check.
J. Electron. Test., 2003

Control Signal Protection For High Performance Processors.
Proceedings of the 9th IEEE International On-Line Testing Symposium (IOLTS 2003), 2003

2002
On-Line Error Detection and Correction in Storage Elements with Cross-Parity Check.
Proceedings of the 8th IEEE International On-Line Testing Workshop (IOLTW 2002), 2002

On-line Detection and Compensation of Transient Errors in Processor Pipeline-Structures.
Proceedings of the 8th IEEE International On-Line Testing Workshop (IOLTW 2002), 2002

A Test Processor Concept for Systems-on-a-Chip.
Proceedings of the 20th International Conference on Computer Design (ICCD 2002), 2002

On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors
Lecture Notes in Computer Science 2270, Springer, ISBN: 3-540-43318-X, 2002

2001
Online Check and Recovery Techniques for Dependable Embedded Processors.
IEEE Micro, 2001

On-line Error Detection Techniques for Dependable Embedded Processors with High Complexity.
Proceedings of the 7th IEEE International On-Line Testing Workshop (IOLTW 2001), 2001

On-line fehler-erkennung und schnelle wiederherstellungs-techniken für zuverlässige eingebettete prozessoren.
Proceedings of the Ausgezeichnete Informatikdissertationen 2001, 2001

A register-transfer-level fault simulator for permanent and transient faults in embedded processors.
Proceedings of the Conference on Design, Automation and Test in Europe, 2001

2000
A new method for on-line state machine observation for embedded microprocessors.
Proceedings of the IEEE International High-Level Design Validation and Test Workshop 2000, 2000

1999
An efficient on-line-test and back-up scheme for embedded processors.
Proceedings of the Proceedings IEEE International Test Conference 1999, 1999

1998
Generating reliable embedded processors.
IEEE Micro, 1998


  Loading...