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

Ulrich Heinkel (Selection)

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

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


27Electronic 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
26Electronic 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
12Electronic 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
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAxel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knäblein, Reynaldo Zavala: Formale Spezifikation und Verifikation abstrakter Beschreibungen von Telekommunikationsprotokollen. MBMV 2006: 339-348
10Electronic 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
9Electronic 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

Selection of 6 from 27 records - Ulrich Heinkel has 55 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page