| 2008 |
|---|
| 11 | EE | Uwe Proß,
Erik Markert,
Jan Langer,
Andreas Richter,
Chris Drechsler,
Ulrich Heinkel:
A Platform for Requirement Based Formal Specification.
FDL 2008: 237-238 |
| 10 | EE | Erik Markert,
Uwe Proß,
Ulrich Heinkel:
SpecScribe Analog - A Specification Tool Extension for Heterogeneous Systems.
FDL 2008: 243-244 |
| 2006 |
|---|
| 9 | EE | Vasco Jerinic,
Jan Langer,
Ulrich Heinkel,
Dietmar Müller:
New methods and coverage metrics for functional verification.
DATE 2006: 1025-1030 |
| 8 | | Grygoriy Bunin,
Axel Schneider,
Christian Haubelt,
Jan Langer,
Ulrich Heinkel:
Automatic Test Case Generation with NuSMV.
GI Jahrestagung (2) 2006: 262-263 |
| 7 | EE | Axel Schneider,
Stephan Walter,
Jan Langer,
Ulrich Heinkel:
Automatic Visualization of Abstract System Specifications.
QSIC 2006: 167-174 |
| 6 | 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 |
|---|
| 5 | | 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 |
|---|
| 4 | 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 |
| 3 | 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 |
| 2003 |
|---|
| 2 | EE | Werner Haas,
T. Bürner,
Stefan Gossens,
Ulrich Heinkel:
Formal Specification of a 40GBit/s Sonet/SDH ASIC.
FDL 2003: 426-435 |
| 2002 |
|---|
| 1 | EE | Werner Haas,
Stefan Gossens,
Ulrich Heinkel:
Integration of Formal Specification into the Standard ASIC Design Flow.
HASE 2002: 189-194 |
