Claudia Blank

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2007
Employment of Property Checking for Functional Hardware Verification in an Industrial Setting.
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.
PhD thesis, 2003

2001
Symbolic simulation techniques-state-of-the-art and applications.
Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, 2001

2000
Formale Verifikation der Register-Allokation.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28, 2000


  Loading...