Ulrich Heinkel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
6
Active years
1996–2025
Best venue rank
C
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | IPIN | Device-Free Human Presence Detection in Public Transport Using UWB Radar and Nave Bayes. | Zhicheng Zhao, Francesco Blangiardi, Raul Beltrn Beltrn, Reinhard Streiter, Marko Rler, Jan Langer, Harald Kuhn, Ulrich Heinkel |
| 2021 | ITC | Automatic Verification of Mixed-Signal ATE Test Programs using Device Variation. | Franziska Mayer, Christian Schott, Enrico Billich, Saeid Yazdani, Ulrich Heinkel, Georg Daler, Bernhard Ruf, Ricardo Pannuzzo, Wolfgang Dickenscheid |
| 2017 | GI | Hardwaregesttze Positionsschtzung mit Bayes'schen Filtern auf Basis 3-dimensionaler Umgebungsmodelle fr den Innenbereich. | Christian Schott, Daniel Fro, Marko Rler, Ulrich Heinkel |
| 2013 | FDL | Optimal component selection for energy-efficient systems. | Matthias Sauppe, Thomas Horn, Erik Markert, Ulrich Heinkel, Hans-Werner Sahm, Klaus-Holger Otto |
| 2010 | DATE | Demonstration of an in-band reconfiguration data distribution and network node reconfiguration. | Uwe Pro, Sebastian Goller, Erik Markert, Michael Jttner, Jan Langer, Ulrich Heinkel, Joachim Knblein, Axel Schneider |
| 2010 | IPIN | Hardware implementation of a Particle Filter for location estimation. | Daniel Fro, Jan Langer, Andr Fro, Marko Rler, Ulrich Heinkel |
| 2009 | FDL | High level synthesis using operation properties. | Jan Langer, Ulrich Heinkel |
| 2009 | FDL | Rapid prototyping of a DVB-SH turbo decoder using high-level-synthesis. | Marko Rler, Hailu Wang, Ulrich Heinkel, Nur Engin, Wolfram Drescher |
| 2008 | FDL | SpecScribe Analog - A Specification Tool Extension for Heterogeneous Systems. | Erik Markert, Uwe Pro, Ulrich Heinkel |
| 2008 | FDL | A Platform for Requirement Based Formal Specification. | Uwe Pro, Erik Markert, Jan Langer, Andreas Richter, Chris Drechsler, Ulrich Heinkel |
| 2006 | DATE | New methods and coverage metrics for functional verification. | Vasco Jerinic, Jan Langer, Ulrich Heinkel, Dietmar Mller |
| 2006 | GI | Automatic Test Case Generation with NuSMV. | Grygoriy Bunin, Axel Schneider, Christian Haubelt, Jan Langer, Ulrich Heinkel |
| 2006 | SEW | Formal Verification of Abstract System and Protocol Specifications. | Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knblein, Reynaldo Zavala |
| 2003 | FDL | Formal Specification of a 40GBit/s Sonet/SDH ASIC. | Werner Haas, T. Brner, Stefan Gossens, Ulrich Heinkel |
| 1996 | DATE | An Approach for a Dynamic Generation/Validation System for the Functional Simulation Considering Timing Constraints. | Ulrich Heinkel, Wolfram Glauert |