![]() | ![]() |
| 2010 | ||
|---|---|---|
| 17 | Erik Markert, Enrico Billich, Claudia Tischendorf, Uwe Proß, Thilo Leibelt, Ulrich Heinkel, Joachim Knäblein, Axel Schneider: An in-band reconfigurable network node based on a heterogeneous platform. DASIP 2010: 15-20 | |
| 16 | Uwe Proß, Sebastian Goller, Erik Markert, Michael Jüttner, Jan Langer, Ulrich Heinkel, Joachim Knäblein, Axel Schneider: Demonstration of an in-band reconfiguration data distribution and network node reconfiguration. DATE 2010: 614-617 | |
| 15 | Daniel Kriesten, Volker Pankalla, Ulrich Heinkel: An Application Example of a Run-Time Reconfigurable Embedded System. ReConFig 2010: 97-102 | |
| 14 | Christian Roßberg, André Froß, Daniel Froß, Ulrich Heinkel: Beacon frame based network simulation using TrueTime network simulator. SimuTools 2010: 47 | |
| 2009 | ||
| 13 | Jan Langer, Ulrich Heinkel: High level synthesis using operation properties. FDL 2009: 1-6 | |
| 12 | Marko Rossler, Hailu Wang, Ulrich Heinkel, Nur Engin, Wolfram Drescher: Rapid prototyping of a DVB-SH turbo decoder using high-level-synthesis. FDL 2009: 1-6 | |
| 2008 | ||
| 11 | Uwe Proß, Erik Markert, Jan Langer, Andreas Richter, Chris Drechsler, Ulrich Heinkel: A Platform for Requirement Based Formal Specification. FDL 2008: 237-238 | |
| 10 | Erik Markert, Uwe Proß, Ulrich Heinkel: SpecScribe Analog - A Specification Tool Extension for Heterogeneous Systems. FDL 2008: 243-244 | |
| 2006 | ||
| 9 | 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 | Axel Schneider, Stephan Walter, Jan Langer, Ulrich Heinkel: Automatic Visualization of Abstract System Specifications. QSIC 2006: 167-174 | |
| 6 | 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 | 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 | 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 | Werner Haas, T. Bürner, Stefan Gossens, Ulrich Heinkel: Formal Specification of a 40GBit/s Sonet/SDH ASIC. FDL 2003: 426-435 | |
| 2002 | ||
| 1 | Werner Haas, Stefan Gossens, Ulrich Heinkel: Integration of Formal Specification into the Standard ASIC Design Flow. HASE 2002: 189-194 | |
Colors in the list of coauthors
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page