| 2006 |
|---|
| 8 | EE | Vasco Jerinic,
Jan Langer,
Ulrich Heinkel,
Dietmar Müller:
New methods and coverage metrics for functional verification.
DATE 2006: 1025-1030 |
| 7 | | Grygoriy Bunin,
Axel Schneider,
Christian Haubelt,
Jan Langer,
Ulrich Heinkel:
Automatic Test Case Generation with NuSMV.
GI Jahrestagung (2) 2006: 262-263 |
| 6 | EE | Axel Schneider,
Stephan Walter,
Jan Langer,
Ulrich Heinkel:
Automatic Visualization of Abstract System Specifications.
QSIC 2006: 167-174 |
| 5 | EE | Axel Schneider,
Thomas Bluhm,
Tobias Renner,
Ulrich Heinkel,
Joachim Knäblein,
Reynaldo Zavala:
Formal Verification of Abstract System and Protocol Specifications.
SEW 2006: 207-211 |
| 2005 |
|---|
| 4 | | Tudor Murgan,
Abdulfattah Mohammad Obeid,
Andre Guntoro,
Peter Zipf,
Manfred Glesner,
Ulrich Heinkel:
Design and Implementation of a Multi-Core Architecture for Overhead Processing in Optical Transport Networks.
ReCoSoC 2005: 151-156 |
| 2004 |
|---|
| 3 | EE | Tudor Murgan,
Mihail Petrov,
Mateusz Majer,
Peter Zipf,
Manfred Glesner,
Ulrich Heinkel,
Jörg Pleickhardt,
Bernd Bleisteiner:
Adaptive architectures for an OTN processor: reducing design costs through reconfigurability and multiprocessing.
Conf. Computing Frontiers 2004: 404-418 |
| 2 | EE | Ulrich Heinkel,
Claus Mayer,
Charles F. Webb,
Hans Sahm,
Werner Haas,
Stefan Gossens:
An Optimized Flow for Designing High-Speed, Large-Scale CMOS ASIC SoCs.
SAMOS 2004: 98-107 |
| 2002 |
|---|
| 1 | EE | Werner Haas,
Stefan Gossens,
Ulrich Heinkel:
Integration of Formal Specification into the Standard ASIC Design Flow.
HASE 2002: 189-194 |
