Claudia Blank

According to our database, Claudia Blank authored at least 4 papers between 2000 and 2007.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2007

Employment of Property Checking for Functional Hardware Verification in an Industrial Setting.

Claudia Blank

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007

2003

Property verification of mixed data and control intensive designs.

Claudia Blank

PhD thesis, 2003

2001

Symbolic simulation techniques-state-of-the-art and applications.

Claudia Blank, Hans Eveking, Jens Levihn, Gerd Ritter

Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, 2001

2000

Formale Verifikation der Register-Allokation.

Claudia Blank, Gerd Ritter, Holger Hinrichsen, Hans Eveking

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28, 2000