We stand with Ukraine  

Werner Haas

Affiliations:
  • University of Erlangen-Nuremberg, Germany


According to our database1, Werner Haas authored at least 4 papers between 2002 and 2004.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2004
An Optimized Flow for Designing High-Speed, Large-Scale CMOS ASIC SoCs.
[BibTeX]
[DOI]
Ulrich Heinkel
,
Claus Mayer
,
Charles F. Webb
,
Hans Sahm
,
Werner Haas
,
Stefan Gossens
Proceedings of the Computer Systems: Architectures, 2004

2003
Formal Specification of a 40GBit/s Sonet/SDH ASIC.
[BibTeX]
[DOI]
Werner Haas
,
T. Bürner
,
Stefan Gossens
,
Ulrich Heinkel
Proceedings of the Forum on specification and Design Languages, 2003

2002
Behavioural Specification for Advanced Design and Verification of ASICs (ADeVA).
[BibTeX]
Werner Haas
,
Stefan Gossens
,
Ulrich Heinkel
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2002

Integration of Formal Specification into the Standard ASIC Design Flow.
[BibTeX]
[DOI]
Werner Haas
,
Stefan Gossens
,
Ulrich Heinkel
Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002


  Loading...