dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Ulrich Heinkel Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErik 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
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Kriesten, Volker Pankalla, Ulrich Heinkel: An Application Example of a Run-Time Reconfigurable Embedded System. ReConFig 2010: 97-102
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Roßberg, André Froß, Daniel Froß, Ulrich Heinkel: Beacon frame based network simulation using TrueTime network simulator. SimuTools 2010: 47
2009
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Langer, Ulrich Heinkel: High level synthesis using operation properties. FDL 2009: 1-6
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarko 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Proß, Erik Markert, Jan Langer, Andreas Richter, Chris Drechsler, Ulrich Heinkel: A Platform for Requirement Based Formal Specification. FDL 2008: 237-238
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErik Markert, Uwe Proß, Ulrich Heinkel: SpecScribe Analog - A Specification Tool Extension for Heterogeneous Systems. FDL 2008: 243-244
2006
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVasco Jerinic, Jan Langer, Ulrich Heinkel, Dietmar Müller: New methods and coverage metrics for functional verification. DATE 2006: 1025-1030
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrygoriy Bunin, Axel Schneider, Christian Haubelt, Jan Langer, Ulrich Heinkel: Automatic Test Case Generation with NuSMV. GI Jahrestagung (2) 2006: 262-263
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAxel Schneider, Stephan Walter, Jan Langer, Ulrich Heinkel: Automatic Visualization of Abstract System Specifications. QSIC 2006: 167-174
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAxel 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
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTudor 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTudor 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
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner Haas, T. Bürner, Stefan Gossens, Ulrich Heinkel: Formal Specification of a 40GBit/s Sonet/SDH ASIC. FDL 2003: 426-435
2002
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner Haas, Stefan Gossens, Ulrich Heinkel: Integration of Formal Specification into the Standard ASIC Design Flow. HASE 2002: 189-194

Coauthor Index

1Enrico Billich [17]
2Bernd Bleisteiner [4]
3Thomas Bluhm [6]
4Grygoriy Bunin [8]
5T. Bürner [2]
6Chris Drechsler [11]
7Wolfram Drescher [12]
8Nur Engin [12]
9André Froß [14]
10Daniel Froß [14]
11Manfred Glesner [4] [5]
12Sebastian Goller [16]
13Stefan Gossens [1] [2] [3]
14Andre Guntoro [5]
15Werner Haas [1] [2] [3]
16Christian Haubelt [8]
17Vasco Jerinic [9]
18Michael Jüttner [16]
19Joachim Knäblein [6] [16] [17]
20Daniel Kriesten [15]
21Jan Langer [7] [8] [9] [11] [13] [16]
22Thilo Leibelt [17]
23Mateusz Majer [4]
24Erik Markert [10] [11] [16] [17]
25Claus Mayer [3]
26Dietmar Müller [9]
27Tudor Murgan [4] [5]
28Abdulfattah Mohammad Obeid [5]
29Volker Pankalla [15]
30Mihail Petrov [4]
31Jörg Pleickhardt [4]
32Uwe Proß [10] [11] [16] [17]
33Tobias Renner [6]
34Andreas Richter [11]
35Christian Roßberg [14]
36Marko Rossler [12]
37Hans Sahm [3]
38Axel Schneider [6] [7] [8] [16] [17]
39Claudia Tischendorf [17]
40Stephan Walter [7]
41Hailu Wang [12]
42Charles F. Webb [3]
43Reynaldo Zavala [6]
44Peter Zipf [4] [5]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page