Ulrich Heinkel

73 papers A 3C 10Misc 1Journal 5Unranked 52

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Collecting Human Motion Data in Large and Occlusion-Prone Environments using Ultra-Wideband Localization. CoRR Janik Kaden, Maximilian Hilger, Tim Schreiter, Marius Schaab, Thomas Graichen, Andrey Rudenko, Ulrich Heinkel, Achim J. Lilienthal
2025	C	`conf`	Device-Free Human Presence Detection in Public Transport Using UWB Radar and Naïve Bayes. IPIN Zhicheng Zhao, Francesco Blangiardi, Raul Beltrán Beltrán, Reinhard Streiter, Marko Rößler, Jan Langer, Harald Kuhn, Ulrich Heinkel
2025	—	`conf`	One Model, Multiple Verifications: A Framework for Holistic Security Assurance. SOCC Jaimini Nagar, Thorsten Dworzak, Sebastian Simon, Ulrich Heinkel, Djones Lettnin
2024	—	`conf`	Exploring Data Fusion for AI-Based People Counting in a Static Public Transport Vehicle Using Multiple IR-UWB Transceivers. SDF Francesco Blangiardi, Raul Beltrán Beltrán, Zhicheng Zhao, Reinhard Streiter, Marko Rößler, Jan Langer, Ulrich Heinkel, Harald Kuhn
2024	C	`conf`	Exploring the Role of the Portable Stimulus Standard in Enhancing Security Property Verification. VLSI-SoC Jaimini Nagar, Thorsten Dworzak, Sebastian Simon, Ulrich Heinkel, Djones Lettnin
2024	—	`conf`	Performance Investigation for IEEE 802.15.4z-compliant SiP-assisted Ranging. SOCC Janik Kaden, Erik Markert, Ulrich Heinkel
2023	J	`jnl`	Climbing Technique Evaluation by Means of Skeleton Video Stream Analysis. Sensors Raul Beltrán Beltrán, Julia Richter, Guido Köstermeyer, Ulrich Heinkel
2023	—	`conf`	Climbing with Virtual Mentor by Means of Video-Based Motion Analysis. IMPROVE Julia Richter, Raul Beltrán Beltrán, Guido Köstermeyer, Ulrich Heinkel
2022	—	`conf`	Automated Human Movement Segmentation by Means of Human Pose Estimation in RGB-D Videos for Climbing Motion Analysis. VISIGRAPP (5: VISAPP) Raul Beltrán Beltrán, Julia Richter, Ulrich Heinkel
2022	—	`conf`	Development of a Platform-independent Renderer for the Rendering of OpenStreetMap Indoor Maps in Flutter. VISIGRAPP (1: GRAPP) Julia Richter, Robin Thomas, David Lange, Thomas Graichen, Ulrich Heinkel
2021	A	`conf`	Automatic Verification of Mixed-Signal ATE Test Programs using Device Variation. ITC Franziska Mayer, Christian Schott, Enrico Billich, Saeid Yazdani, Ulrich Heinkel, Georg Daler, Bernhard Ruf, Ricardo Pannuzzo, Wolfgang Dickenscheid
2021	J	`jnl`	Improved Indoor Positioning by Means of Occupancy Grid Maps Automatically Generated from OSM Indoor Data. ISPRS Int. J. Geo Inf. Thomas Graichen, Julia Richter, Rebecca Schmidt, Ulrich Heinkel
2020	Misc	`conf`	Dynamic indoor navigation and orientation system for people with impairments. MuC Julia Richter, Jeanine Lorenz, Maria Costantino, Verena Traubinger, Nico Tauchmann, Thomas Graichen, Ulrich Heinkel
2020	—	`conf`	Human Climbing and Bouldering Motion Analysis: A Survey on Sensors, Motion Capture, Analysis Algorithms, Recent Advances and Applications. VISIGRAPP (5: VISAPP) Julia Richter, Raul Beltrán Beltrán, Guido Köstermeyer, Ulrich Heinkel
2020	—	`conf`	Occupancy Grid Map Generation from OSM Indoor Data for Indoor Positioning Applications. GISTAM Thomas Graichen, Rebecca Schmidt, Julia Richter, Ulrich Heinkel
2019	—	`conf`	Motion Evaluation of Therapy Exercises by Means of Skeleton Normalisation, Incremental Dynamic Time Warping and Machine Learning: A Comparison of a Rule-Based and a Machine-Learning-Based Approach. VISIGRAPP (4: VISAPP) Julia Richter, Christian Wiede, Ulrich Heinkel, Gangolf Hirtz
2017	—	`conf`	A map framework using crowd-sourced data for indoor positioning and navigation. M&N Thomas Graichen, Erik Gruschka, Ulrich Heinkel
2017	—	`conf`	Hardwaregestütze Positionsschätzung mit Bayes'schen Filtern auf Basis 3-dimensionaler Umgebungsmodelle für den Innenbereich. GI-Jahrestagung Christian Schott, Daniel Froß, Marko Rößler, Ulrich Heinkel
2017	—	`conf`	OpenCL- Design Flow for High Level Synthesis and Cross-Platform Portability. MBMV Amrutansh Gudivada, Daniel Kriesten, Ulrich Heinkel, Rene Röllig, Matthias Lenk
2017	—	`conf`	Position estimation with Bayesian filters by using 3-dimensional environment models. WPNC Christian Schott, Murali Padmanabha, Marko Rößler, Daniel Froß, Ulrich Heinkel
2016	—	`conf`	Acoustic emission for state-of-health determination in power modules. SSD Sebastian Müller, Chris Drechsler, Ulrich Heinkel, Christian Herold
2016	—	`conf`	Relative localisation of passive UHF-tags by phase tracking. SSD Marten Wegener, Daniel Froß, Marko Rößler, Chris Drechsler, Christian Pätz, Ulrich Heinkel
2016	—	`conf`	ZYNQ flexible platform for object recognition & tracking. WPNC Murali Padmanabha, Christian Schott, Marko Rößler, Daniel Kriesten, Ulrich Heinkel
2015	—	`conf`	A new Mapping Method from Fuzzy Logic System into Fuzzy Automaton. MBMV Lei Yang, Erik Markert, Ulrich Heinkel
2015	—	`ed.`	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2015, Chemnitz, Germany, March 3-4, 2015. MBMV Ulrich Heinkel, Daniel Kriesten, Marko Rößler
2015	—	`conf`	SpecScribe - ein pragmatisch einsetzbares Werkzeug zum Anforderungsmanagement. MBMV Chris Drechsler, Matthias Sauppe, Christian Pätz, Ulrich Heinkel
2015	—	`conf`	Verfahren zur Assertion basierten Verifikation bei der High-Level-Synthese. MBMV Christian Schott, Marko Rößler, Ulrich Heinkel
2014	—	`conf`	Fuzzy logic based energy management algorithm of a hybrid electric vehicle with range-extender. SSD Lei Yang, Erik Markert, Ulrich Heinkel
2014	—	`conf`	Localization of objects using passive RFID technology. SSD Marten Wegener, Daniel Froß, Marko Rößler, Ulrich Heinkel, Matthias Adler
2014	—	`conf`	System Level Modeling of Piezoresistive Effect of Carbon Nanotubes for Sensor Application. MBMV Vladimir Kolchuzhin, Jan Mehner, Milind Shende, Erik Markert, Ulrich Heinkel, Christian Wagner, Thomas Gessner
2013	—	`conf`	A database for the integration of power data on system level. EUROCON Matthias Sauppe, Thomas Horn, Erik Markert, Ulrich Heinkel, Daniel Lorenz, Kim Grüttner, Hans-Werner Sahm, Klaus-Holger Otto
2013	—	`conf`	Einsatz formaler Methoden zur Energieeinsparung. MBMV Thomas Horn, Matthias Sauppe, Erik Markert, Ulrich Heinkel, Wolfgang Rössel, Hans-Werner Sahm
2013	J	`jnl`	MORPHEUS: A heterogeneous dynamically reconfigurable platform for designing highly complex embedded systems. ACM Trans. Embed. Comput. Syst. Nikolaos S. Voros, Michael Hübner, Jürgen Becker, Matthias Kühnle, Florian Thoma, Arnaud Grasset, Paul Brelet, Philippe Bonnot, Fabio Campi, Eberhard Schüler, Henning Sahlbach, Sean Whitty, Rolf Ernst, Enrico Billich, Claudia Tischendorf, Ulrich Heinkel, Frank Ieromnimon, Dimitrios Kritharidis, Axel Schneider, Joachim Knäblein, Wolfram Putzke-Röming
2013	C	`conf`	Optimal component selection for energy-efficient systems. FDL Matthias Sauppe, Thomas Horn, Erik Markert, Ulrich Heinkel, Hans-Werner Sahm, Klaus-Holger Otto
2013	J	`jnl`	Optimized ASIC/FPGA Design Flow for Energy Efficient Network Nodes. Bell Labs Tech. J. Hans Sahm, Matthias Sauppe, Erik Markert, Thomas Horn, Ulrich Heinkel, Klaus-Holger Otto
2013	—	`conf`	Synchronisation von Schleifenkörpern zur dynamischen Ablaufplanung über die HW/SW-Grenze eines Configurable System on Chip (CSoC). MBMV Marko Rößler, Jan Langer, Ulrich Heinkel
2012	—	`conf`	Centralized spring-based localization algorithm for large scale wireless sensor networks. SSD Per Anders Johansson, Christian Roßberg, Ulrich Heinkel
2012	—	`conf`	Finding an optimal set of breakpoint locations in a control flow graph. SSD Jan Langer, Marko Rößler, Ulrich Heinkel
2012	—	`conf`	Tool-supported specification of a wind turbine. SSD Erik Markert, Milind Shende, Thomas Horn, Peter Wolf, Ulrich Heinkel
2011	—	`conf`	Expedient usage of wakeup receivers in wireless network applications. WISES Robert Paulo, Per Anders Johansson, Daniel Kriesten, Ulrich Heinkel
2010	—	`conf`	Abhängigkeitsanalyse und Parameterberechnung auf Spezifikationsebene. MBMV Uwe Proß, Karl Kröber, Ulrich Heinkel
2010	—	`conf`	An Application Example of a Run-Time Reconfigurable Embedded System. ReConFig Daniel Kriesten, Volker Pankalla, Ulrich Heinkel
2010	—	`conf`	An in-band reconfigurable network node based on a heterogeneous platform. DASIP Erik Markert, Enrico Billich, Claudia Tischendorf, Uwe Proß, Thilo Leibelt, Ulrich Heinkel, Joachim Knäblein, Axel Schneider
2010	—	`conf`	Beacon frame based network simulation using TrueTime network simulator. SimuTools Christian Roßberg, André Froß, Daniel Froß, Ulrich Heinkel
2010	A	`conf`	Demonstration of an in-band reconfiguration data distribution and network node reconfiguration. DATE Uwe Proß, Sebastian Goller, Erik Markert, Michael Jüttner, Jan Langer, Ulrich Heinkel, Joachim Knäblein, Axel Schneider
2010	—	`conf`	Determinierung von Automaten bei der High-Level-Synthese von Operationseigenschaften. MBMV Jan Langer, Dimo Pepelyashev, Ulrich Heinkel
2010	—	`conf`	Effiziente Auslastung der heterogenen Ressourcen eines Systems durch domain-übergreifendes Multithreading. MBMV Enrico Billich, Marko Rößler, Ulrich Heinkel
2010	C	`conf`	Hardware implementation of a Particle Filter for location estimation. IPIN Daniel Froß, Jan Langer, André Froß, Marko Rößler, Ulrich Heinkel
2010	—	`conf`	Integration von Konfigurationsmechanismen für Xilinx-FPGA in das Linux-OS. MBMV Daniel Kriesten, Ulrich Heinkel, Jörg Schneider
2010	—	`conf`	Technology Independent, Embedded Logic Cores Utilizing synthesizable embedded FPGA-cores for ASIC design validation. ReCoSoC Joachim Knäblein, Claudia Tischendorf, Erik Markert, Ulrich Heinkel
2009	C	`conf`	High level synthesis using operation properties. FDL Jan Langer, Ulrich Heinkel
2009	—	`conf`	Modellierung dynamisch partieller Rekonfiguration mit VPRS. MBMV Uwe Proß, Christian Adam, Benjamin Berger, Ulrich Heinkel
2009	C	`conf`	Rapid prototyping of a DVB-SH turbo decoder using high-level-synthesis. FDL Marko Rößler, Hailu Wang, Ulrich Heinkel, Nur Engin, Wolfram Drescher
2009	—	`conf`	Ultra low power flash ADC for UWB transceiver applications. ECCTD Mohammad Masoumi, Erik Markert, Ulrich Heinkel, Georges G. E. Gielen
2008	C	`conf`	A Platform for Requirement Based Formal Specification. FDL Uwe Proß, Erik Markert, Jan Langer, Andreas Richter, Chris Drechsler, Ulrich Heinkel
2008	C	`conf`	SpecScribe Analog - A Specification Tool Extension for Heterogeneous Systems. FDL Erik Markert, Uwe Proß, Ulrich Heinkel
2007	—	`conf`	Ein SystemC-AMS nach VHDL-AMS Konverter. MBMV Erik Markert, Sven Kühn, Jan Langer, Göran Herrmann, Ulrich Heinkel
2006	—	`conf`	Automatic Test Case Generation with NuSMV. GI Jahrestagung (2) Grygoriy Bunin, Axel Schneider, Christian Haubelt, Jan Langer, Ulrich Heinkel
2006	—	`conf`	Automatic Visualization of Abstract System Specifications. QSIC Axel Schneider, Stephan Walter, Jan Langer, Ulrich Heinkel
2006	C	`conf`	Formal Verification of Abstract System and Protocol Specifications. SEW Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knäblein, Reynaldo Zavala
2006	—	`conf`	Formale Spezifikation und Verifikation abstrakter Beschreibungen von Telekommunikationsprotokollen. MBMV Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knäblein, Reynaldo Zavala
2006	A	`conf`	New methods and coverage metrics for functional verification. DATE Vasco Jerinic, Jan Langer, Ulrich Heinkel, Dietmar Müller
2005	—	`conf`	Design and Implementation of a Multi-Core Architecture for Overhead Processing in Optical Transport Networks. ReCoSoC Tudor Murgan, Abdulfattah Mohammad Obeid, Andre Guntoro, Peter Zipf, Manfred Glesner, Ulrich Heinkel
2004	—	`conf`	Adaptive architectures for an OTN processor: reducing design costs through reconfigurability and multiprocessing. Conf. Computing Frontiers Tudor Murgan, Mihail Petrov, Mateusz Majer, Peter Zipf, Manfred Glesner, Ulrich Heinkel, Jörg Pleickhardt, Bernd Bleisteiner
2004	—	`conf`	An Optimized Flow for Designing High-Speed, Large-Scale CMOS ASIC SoCs. SAMOS Ulrich Heinkel, Claus Mayer, Charles F. Webb, Hans Sahm, Werner Haas, Stefan Gossens
2004	—	`conf`	Flexible Overhead Processing Architectures for G.709 Optical Transport Networks. MBMV Tudor Murgan, Mihail Petrov, Mateusz Majer, Peter Zipf, Manfred Glesner, Ulrich Heinkel
2004	—	`conf`	Formale Verifikation eines Sonet/SDH Framers. MBMV Alexander Thomas, Jürgen Becker, Ulrich Heinkel, Klaus Winkelmann, Jörg Bormann
2003	C	`conf`	Formal Specification of a 40GBit/s Sonet/SDH ASIC. FDL Werner Haas, T. Bürner, Stefan Gossens, Ulrich Heinkel
2002	—	`conf`	Behavioural Specification for Advanced Design and Verification of ASICs (ADeVA). MBMV Werner Haas, Stefan Gossens, Ulrich Heinkel
2002	—	`conf`	Integration of Formal Specification into the Standard ASIC Design Flow. HASE Werner Haas, Stefan Gossens, Ulrich Heinkel
1999	—	`—`	Formale Spezifikation und Validierung digitaler Schaltungsbeschreibungen mit Zeitdiagrammen. Ulrich Heinkel
1997	—	`conf`	Introducing multimedia in teaching of digital system design. MSE Peter Conradi, Ulrich Heinkel, Michael G. Wahl
1996	—	`conf`	An Approach for a Dynamic Generation/Validation System for the Functional Simulation Considering Timing Constraints. ED&TC Ulrich Heinkel, Wolfram Glauert