Professorship Circuit and System Design
Staff
Professorship Circuit and System Design 

Staff

Professors

Head of Chair
Porträt von Prof. Dr.-Ing. Ulrich Heinkel
  • E-Mail:
  • Telefon:
    +49 (0)371 531-24310
  • Anschrift:

    Prof. Dr.-Ing. Ulrich Heinkel

    Technische Universität Chemnitz
    Fakultät für Elektrotechnik und Informationstechnik
    Institut für Informationstechnik
    Professur Schaltkreis- und Systementwurf
    09107 Chemnitz
    Deutschland

  • Raum:
    C25.429
Sprechzeiten

By arrangement - please register via email

Publikationen
  1. Mayer, Franziska; Schott, Christian; Chellappa, Davis John; Markert, Erik; Heinkel, Ulrich. Erfassung und Austausch prozessspezifischer Anforderungen entlang der Wertschöpfungskette, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen MBMV 2025, 11. – 12.03.2025, Rostock, S. 98-104
  2. Ghazavi, Sanaz; Abdulrazzaq, Ali Kareem; Mayer, Franziska; Schott, Christian; Markert, Erik; Heinkel, Ulrich. Towards Model-Driven Circuit Test Development: SysMLv2-Based Test Modeling and Assisted Workflow, Smart Systems Integration Conference and Exhibition (SSI), 08.-10.04.2025, Prague, Czech Republic, 1-7. - IEEE, 2025
  3. Zuchna, Anna; Alnaser, Yousef; Schott, Christian; Winkler, Georg; Langer, Jan; Markert, Erik; Heinkel, Ulrich. Towards Fast Gaussian Process Regression Models: An FPGA-based Implementation of the RBF Kernel Matrix Computation, 2025 Smart Systems Integration Conference and Exhibition (SSI), 8-10 April 2025, Prague, Czech Republic. - IEEE, 2025
  4. Sauppe, Matthias; Manns, Daniel; Heinkel, Ulrich. Towards Semantic Abstraction of Test Programs, 28. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2025, 11.-12.03.2025, Rostock, S. 13-19. - Berlin : VDE VERLAG GMBH, 2025. - 28. Workshop
  5. Zhao, Zhicheng; Doering, Holger; Blangiardi, Francesco; Gottschall, Nicole; Schwarzenberg, Simeon; Beltrán Beltrán, Raul; Doering, André; Maier, Diana; Streiter, Reinhard; Langer, Jan; Heinkel, Ulrich; Kuhn, Harald. SenMooVe: A Platform for Sensor-based Air Quality Monitoring in Public Transport Vehicles, 2025 Smart Systems Integration Conference and Exhibition (SSI), 8-10 April 2025, Prague, Czech Republic, pp. 1-6. - IEEE, 2025
  6. Kaden, Janik; Hilger, Maximilian; Schreiter, Tim; Schaab, Marius; Graichen, Thomas; Rudenko, Andrey; Heinkel, Ulrich; Lilienthal, Achim J.. Collecting Human Motion Data in Large and Occlusion-Prone Environments using Ultra-Wideband Localization, In: 7th Workshop on Long-term Human Motion Prediction (LHMP) at International Conference on Robotics and Automation (ICRA) 2025. - arXiv. 2025
  7. Apitzsch, René; Thomas, Robin; Heinkel, Ulrich. Offene Daten für barrierefreie Mobilität und inklusive Reiseketten im ÖPV, FOSSGIS Anwenderkonferenz für Freie und Open Source Software für Geoinformationssysteme 2025: Münster, 26.-29. März 2025, S. 204-206. - Zenodo, 2025
  8. Al Faisal, Muhammad Abdullah; Nagar, Jaimini; Dworzak, Thorsten; Simon, Sebastian; Heinkel, Ulrich; Lettnin, Djones. Securing Silicon: A Scalable, Platform-independent Hardware Security Verification Methodology, DVCon Europe 2024; Design and Verification Conference and Exhibition Europe; 15-16 October 2024; Munich, 2024
  9. Nagar, Jaimini; Dworzak, Thorsten; Simon, Sebastian; Heinkel, Ulrich; Lettnin, Djones. Exploring the Role of the Portable Stimulus Standard in Enhancing Security Property Verification, 2024 IFIP/IEEE 32nd International Conference on Very Large Scale Integration (VLSI-SoC), 6.-9.10.2024, Tanger, Marokko, 2024
  10. Blangiardi, Francesco; Beltrán Beltrán, Raul; Zhao, Zhicheng; Streiter, Reinhard; Rößler , Marko; Langer, Jan; Heinkel, Ulrich; Kuhn, Harald. Exploring Data Fusion for AI-based People Counting in a Static Public Transport Vehicle using Multiple IR-UWB Transceivers, 2024 Sensor Data Fusion: Trends, Solutions, Applications (SDF), Bonn, Germany, 25 November 2024 – 27 November 2024, pp. 1-8
  11. Kaden, Janik; Markert, Erik; Heinkel, Ulrich. Performance Investigation for IEEE 802.15.4z-compliant SiP-assisted Ranging, 2024 IEEE 37th International System-on-Chip Conference (SOCC), 09-2024, Dresden, Seiten 1-6. - IEEE, 2024
  12. Mayer, Franziska; Schott, Christian; Markert, Erik; Heinkel, Ulrich. Automatisierte Ausführungsemulation von Testprogrammen für Sensorsysteme, 36. ITG/ GMM/GI-Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ 2024), 25.02. - 27.02.2024, Darmstadt, Tagungsband S. 61 - 63
  13. Nagar, Jaimini; Dworzak, Thorsten; Simon, Sebastian; Heinkel, Ulrich; Lettnin, Djones. MetaPSS: An Automation Framework for Generation of Portable Stimulus Model, DVCon Europe 2023; Design and Verification Conference and Exhibition Europe. 14-15 November 2023, München. - IEEE, 2023
  14. Meinel, Katja; Schott, Christian; Mayer, Franziska; Gupta, Dhruv; Mittag, Sebastian; Hahn, Susann; Weidlich, Sebastian; Bülz, Daniel; Forke, Roman; Hiller, Karla; Heinkel, Ulrich; Kuhn, Harald. MEMS-Based Fingerprinting Architecture for Trustworthy Electronics, 2023 Smart Systems Integration Conference and Exhibition (SSI), 2023 March 28-30, Brugge (Belgium). - IEEE Xplore, 2023
  15. Beltrán Beltrán, Raul; Richter, Julia; Köstermeyer, Guido; Heinkel, Ulrich. Climbing Technique Evaluation by Means of Skeleton Video Stream Analysis, In: Sensors. - MDPI. - 23. 2023, 19, 8216
  16. Richter, Julia; Raul Beltrán, B.; Köstermeyer, Guido; Heinkel, Ulrich. Climbing with Virtual Mentor by Means of Video-Based Motion Analysis, Proceedings of the 3rd International Conference on Image Processing and Vision Engineering - IMPROVE - Vol. 1, 21.-23.04.2023, Prague, S. 126-133
  17. Schott, Christian; Meinel, Katja; Mayer, Franziska; Gupta, Dhruv Padam; Mittag, Sebastian; Hahn, Susann; Weidlich, Sebastian; Bülz, Daniel; Forke, Roman; Hiller, Karla; Kuhn, Harald; Heinkel, Ulrich. MEMS-basierte Fingerprint-Architektur für Vertrauenswürdige Elektronik, 15. Chemnitzer Fachtagung Mikromechanik & Mikroelektronik, 2022 Nov 9-10, Chemnitz (Germany), 2022
  18. Yazdani, Saeid; Wolz, Werner; Schott, Christian; Mayer, Franziska; Billich, Enrico; Heinkel, Ulrich. An Approach to Verification of ATE Power Supplyand Signal Integrity using Virtual-DUT, 34. Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, 27 February - 01 March 2022, Bremerhaven, P.P. 69-70. - Berlin, Offenbach : VDE VERLAG GMBH, 2022
  19. Richter, Julia; Thomas, Robin; Lange, David; Graichen, Thomas; Heinkel, Ulrich. Development of a Platform-independent Renderer for the Rendering of OpenStreetMap Indoor Maps in Flutter, Proceedings of the 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - GRAPP, 6.-8. Feb. 2022, online streaming, pp. 147-154
  20. Beltrán Beltrán, Raul; Richter, Julia; Heinkel, Ulrich. Automated Human Movement Segmentation by Means of Human Pose Estimation in RGB-D Videos for Climbing Motion Analysis, Proceedings of the 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - Volume 5: VISAPP, 6.-8. Feb. 2022, online streaming, pp. 366-373
  21. Schott, Christian; Mayer, Franziska; Billich, Enrico; Yazdani, Saeid; Sauppe, Matthias; Wolz, Werner; Heinkel, Ulrich. Closed-Loop Approach on Formal Specification for Semiconductor Test, MikroSystemTechnik Congress 2021, 8.-10. Nov. 2021, Stuttgart-Ludwigsburg, Germany
  22. Mayer, Franziska; Schott, Christian; Billich, Enrico; Yazdani, Saeid; Heinkel, Ulrich; Daler, Georg; Ruf, Bernhard; Pannuzzo, Ricardo; Dickenscheid, Wolfgang. Automatic Verification of Mixed-Signal ATE Test Programs using Device Variation, 2021 IEEE International Test Conference (ITC), 10-15 Okt. 2021, Anaheim, CA, USA, S. 374-379. - IEEE, 2021
  23. Yazdani, Saeid; Wolz, Werner; Engelhardt, Rainer; Schott, Christian; Heinkel, Ulrich; Kriesten, Daniel. An Approach to Online Wear Out Monitoring of PCB Interconnects in Safety-Critical Systems, SMACD / PRIME 2021, 19 - 22 July 2021, Online Event, p. 284 - 287. - Berlin, Offenbach : VDE VERLAG GMBH, 2021
  24. Graichen, Thomas; Richter, Julia; Schmidt, Rebecca; Heinkel, Ulrich. Improved Indoor Positioning by Means of Occupancy Grid Maps Automatically Generated from OSM Indoor Data, In: ISPRS International Journal of Geo-Information. - MDPI AG. - 10. 2021, 4, 216
  25. Yazdani, Saeid; Wolz, Werner; Engelhardt, Rainer; Steinbach, Helmut; Heinkel, Ulrich. Time-variant digital control for safe and reliable analog systems, ANALOG 2020, 17th ITG/GMM-Symposium, 28.-30. September 2020. - online : VDE, 2020
  26. Richter, Julia; Beltrán Beltrán, Raul; Heinkel, Ulrich. Camera-based climbing analysis for a therapeutic training system, In: Current Directions in Biomedical Engineering. - Berlin/Boston : De Gruyter. - 6. 2020, 2. - 7th European Conference on Technically Assisted Rehabilitation (TAR), 28.-29. Oktober 2020, virtuelle Konferenz
  27. Richter, Julia; Lorenz, Jeanine; Costantino, Maria; Traubinger, Verena; Tauchmann, Nico; Graichen, Thomas; Heinkel, Ulrich. Dynamic indoor navigation and orientation system for people with impairments, Mensch und Computer 2020, 6.-9. Sep. 2020, Magdeburg, digitale Konferenz, S. 473-477
  28. Schott, Christian; Rößler, Marko; Froß, Daniel; Putsche, Marcel; Heinkel, Ulrich. PAFUSI: Particle Filter Fusion ASIC for Indoor Positioning, Design, Automation and Test in Europe Conference (DATE), 21.04.-30.06.2020, virtual conference/Grenoble, 2020
  29. Graichen, Thomas; Schmidt, Rebecca; Richter, Julia; Heinkel, Ulrich. Occupancy Grid Map Generation from OSM Indoor Data for Indoor Positioning Applications, 6th International Conference on Geographical Information Systems Theory, Applications and Management (online). - Volume 1: GISTAM, VISAPP, 7.-9. Mai 2020, pp. 168-174
  30. Richter, Julia; Beltrán Beltrán, Raul; Köstermeyer, Guido; Heinkel, Ulrich. Human Climbing and Bouldering Motion Analysis: A Survey on Sensors, Motion Capture, Analysis Algorithms, Recent Advances and Applications, 15th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - Volume 5: VISAPP, 27.-29. Feb. 2020, Valletta, Malta, pp. 751-758
  31. Kilian, Wolfgang; Tautkus, Jessica; Tautenhahn, Kevin; Kanoun, Olfa; Heinkel, Ulrich. Development of a scalable switching matrix for nanocomposite sensors, MikroSystemTechnik Kongress 2019 - Mikroelektronik MEMS-MOEMS Systemintegration, Berlin; Deutschland, S. 714-717. - Berlin : VDE VERLAG GMBH, 2019
  32. Freitag, Markus; Sauppe, Matthias; Auerswald, Christian; Kriebel, David; Schmidt, Henry; Voigt, Sebastian; Arnold, Benjamin; Markert, Erik; Hahn, Susann; Hiller, Karla; Heinkel, Ulrich; Mehner, Jan. Design, Modeling, Fabrication, and Verification of New Multifunctional MEMS/NEMS Components, In: physica status solidi (a). - Wiley Online Library, WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim. - 216. 2019, 19, S. 1800831
  33. Richter, Julia; Wiede, Christian; Heinkel, Ulrich; Hirtz, Gangolf. 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, 14th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - Volume 4: VISAPP, Prague, 25.02.19-27.02.19, pp. 497-504
  34. Julia Richter, Christian Wiede, Ulrich Heinkel, Gangolf Hirtz. 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, Proceedings of the 14th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - Volume 4: VISAPP, 2019, pages 497-504, INSTICC, SciTePress, ISBN 978-989-758-354-4, DOI 10.5220/0007260904970504, BibTeX
  35. Lutz, Josef; Kolkmann-Lutz, Dagmar; Heinkel, Ulrich; Kratzert, Sebastian. Modulares Elektrofahrzeug, B62K 13/00
  36. Schott, Christian; Padmanabha, Murali; Rößler, Marko; Froß, Daniel; Heinkel, Ulrich. Position estimation with Bayesian filters by using 3-dimensional environment models, IEEE 14th Workshop on Positioning, Navigating and Communications (WPNC), 25.-26.10.2017, Bremen, 2017
  37. Schott, Christian; Padmanabha, Murali; Rößler, Marko; Heinkel, Ulrich. FLEXPORT: Flexible Platform for Object Recognition & Tracking to enhance Indoor Localization and Mapping, Design, Automation & Test in Europe Conference & Exhibition (DATE) 2017, 27.-31.3.2017, Lausanne, Switzerland, x|viii. - Research Publishing Services, 2017
  38. Schott, Christian; Froß, Daniel; Rößler, Marko; Heinkel, Ulrich. Hardwaregestütze Positionsschätzung mit Bayes’schen Filtern auf Basis 3- dimensionaler Umgebungsmodelle für den Innenbereich, Informatik 2017, 47. Jahrestagung der Gesellsschaft für Informatik e.V. (GI); 25. - 29.9.2017, Chemnitz, S. 503 - 514. - Bonn : Köllen Druck+Verlag GmbH, 2017
  39. Graichen, Thomas; Gruschka, Erik; Heinkel, Ulrich. A Map Framework Using Crowd-Sourced Data for Indoor Positioning and Navigation, IEEE International Workshop on Measurements and Networking 2017, 27.9. - 29.9.2017, Neapel, S. 217-222. - IEEE, 2017
  40. Padmanabha, Murali; Kriesten, Daniel; Heinkel, Ulrich. System Design of a Modern Embedded Linux for In-Car Applications, embedded world Conference 2017, 14.-16.3.2017, Nürnberg
  41. Gudivada, Amrutansh; Kriesten, Daniel; Heinkel, Ulrich; Röllig, René; Lenk, Matthias. OpenCL - Design Flow for High Level Synthesis and Cross-Platform Portability, 20. Workshop 'Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen', 02/2017, Aachen, p. 43-50. - Shaker Verlag, 2017
  42. Padmanabha, Murali; Schott, Christian; Rößler, Marko; Kriesten, Daniel; Heinkel, Ulrich. ZYNQ flexible platform for object recognition & tracking, 13th Workshop on Positioning, Navigation and Communications (WPNC), 19. bis 20. Oktober 2016, Bremen
  43. Sauppe, Matthias; Markert, Erik; Heinkel, Ulrich. Online Verification of AMS Properties, ANALOG 2016, 15. ITG/GMM-Symposium, 12.-14. September 2016, Bremen, S. 87 - 92. - 1 CD-ROM. - ITG-Fachbericht ; 266
  44. Wolf, Peter; Heinkel, Ulrich; Herrmann, Göran; Dienel, Marco; Meyhöfer, Tobias. Sensorik für die Überwachung von Faserkunststoffverbunden, 13. Chemnitzer Fachtagung Mikromechanik & Mikroelektronik, 25./26.10.2016, Chemnitz, S. 63-64
  45. Roßberg, Christian; Froß, Daniel; Pätz, Christian; Heinkel, Ulrich. Multiprotocol analysis with software defined radio for short range devices, Wireless Congress 2016: Systems & Applications, 9. - 10. November 2016 in Munich, Germany, S. 157-162
  46. Born, Björn; Günther, Madlen; Jähn, Benjamin; Müller, Sebastian; Scherer, Svenja; Teuscher, Jens; Temmler, Aniko; Götze, Uwe; Heinkel, Ulrich; Krems, Josef; Schufft, Wolfgang; Wanielik, Gerd. Connected Electromobility - Between CO2 optimized energy management, user-centered design and cost effectiveness, 5th Conference on Future Automotive Technology - Focus Electromobility, 03./04.05.2016, Fürstenfeldbruck. - 2016. - 5
  47. Born, Björn; Günther, Madlen; Jähn, Benjamin; Müller, Sebastian; Scherer, Svenja; Teuscher, Jens; Temmler, Aniko; Götze, Uwe; Heinkel, Ulrich; Krems, Josef; Schufft, Wolfgang; Wanielik, Gerd. Connected Electromobility - Between CO2 optimized energy management, user-centered design and cost effectiveness, 5th Conference on Future Automotive Technology - Focus Electromobility, 03./04.05.2016, Fürstenfeldbruck, 2016
  48. Kriesten, Daniel; Kilian, Wolfgang; Pätz, Christian; Heinkel, Ulrich. iUSB-Plug - Ein intelligenter USB-Zwischenstecker zum Steuern und Messen, 13. Chemnitzer Fachtagung Mikrosystemtechnik, 25./26.10.2016, S. 123 - 127
  49. Kilian, Wolfgang; Roßberg, Christian; Lentz, Ulrich; Drechsler, Chris; Pätz, Christian; Heinkel, Ulrich. Entwurf teilautonomer Messspitzen für den autarken Oszilloskop-Modulträger 'OsziCat', 13. Chemnitzer Fachtagung Mikrosystemtechnik, 25./26.10.2016, S. 116 - 122
  50. Müller-Blumhagen, Sebastian; Drechsler, Chris; Heinkel, Ulrich; Herold, Christian. Nichtinvasive Überwachung von Leistungselektronik mittels Schallemissionsanalyse, 13. Chemnitzer Fachtagung Mikrosystemtechnik, 25./26.10.2016, S. 82 - 86
  51. Drechsler, Chris; Sauppe, Matthias; Pätz, Christian; Heinkel, Ulrich. Teamorientiertes Anforderungsmanagement mit SpecScribe, 13. Chemnitzer Fachtagung Mikrosystemtechnik, 25./26.10.2016, S. 26 - 33
  52. Schott, Christian; Rößler, Marko; Heinkel, Ulrich. Entwicklungen bei Assertion basierter Verifikation in der High-Level-Synthese, DASS 2016, 10. und 11. Mai 2016, Cottbus, S.85-88. - Fraunhofer Verlag, 2016
  53. Kilian, Wolfgang; Roßberg, Christian; Lentz, Ulrich; Pätz, Christian; Heinkel, Ulrich. Modulares autarkes Stiftoszilloskop, DASS 2016, 10. und 11. Mai 2016, Cottbus, S.17-20. - Fraunhofer Verlag, 2016
  54. Müller, Sebastian; Drechsler, Chris; Heinkel, Ulrich; Herold, Christian. Acoustic Emission for State-of-Health Determination in Power Modules, 13th International Multi-Conference on Systems, Signals & Devices, Leipzig, 21.-24.03.2016, S. 468 - 471
  55. Rößler, Marko; Heinkel, Ulrich; Froß, Daniel; Al-Assaad, Ahmad. 6CH-SDR-Plattform: 6 channel prototyping platform for vehicle self-localization, DATE 16 - Design, Automation and Test in Europe, 14.-18. März 2016, Dresden
  56. Wegner, Marten; Froß, Daniel; Rößler, Marko; Drechsler, Chris; Pätz, Christian; Heinkel, Ulrich. Relative localisation of passive UHF-tags by phase tracking, 13th International Multi-Conference on Systems, Signals & Devices, Leipzig, 21.-24.03.2016, S. 503 - 506
  57. Heinkel, Ulrich; Kriesten, Daniel; Rößler, Marko. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : MBMV 2015 - Tagungsband, Chemnitz, 03. - 04. März 2015, Chemnitz : online, 2015. - 182 S.
  58. Roßberg, Christian; Pätz, Christian; Heinkel, Ulrich. Analyzing tool for communication in SRD spectrum, Wireless Congress, 17.-18.11.15, München, 2015
  59. Graichen, Thomas; Quinger, Sven; Heinkel, Ulrich; Strassenburg-Kleciak, Marek. Development of Indoor Environments with a Novel Indoor MappingApproach for OpenStreetMap, Geomatics Workbooks 12 - July 2015. - Como : Laboratorio di Geomatica, 2015, S. 401 - 404
  60. Graichen, Thomas; Quinger, Sven; Heinkel, Ulrich; Strassenburg-Kleciak, Marek. A Novel, User-Friendly Indoor Mapping Approach for OpenStreetMap, Free and Open Source Software for Geospatial Europe 2015, Como/Italien, 2015
  61. Yang, Lei; Markert, Erik; Heinkel, Ulrich. A new Mapping Method from Fuzzy Logic System into Fuzzy Automaton, 03. - 04. März 2015 MBMV, Chemnitz, S. 135 - 144
  62. Manns, Daniel; Graichen, Thomas; Quinger, Sven; Heinkel, Ulrich. Predicting demand of energy consumption in EV charging facilities, 4th International Conference on Energy Effi cient Vehicles (ICEEV 2015), 16. - 27. Juni 2015, Dresden. - Dresden : TUDpress, 2015, S. 123 - 129
  63. Kilian, Wolfgang; Pätz, Christian; Heinkel, Ulrich. Automatisierte Erstellung von Blackbox-Tests am Beispiel von Stromverteilerleisten, 27. Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, 2015
  64. Graichen, Thomas; Manns, Daniel; Quinger, Sven; Heinkel, Ulrich. OpenStreetMap-basierte Indoor-Navigation für Elektrofahrzeuge, Entscheidungen beim Übergang in die Elektromobilität. - 1. - Wiesbaden : Springer Fachmedien, 2015, S. 585 - 598
  65. Weichold, Steffen; Kriesten, Daniel; Kilian, Wolfgang; Heinkel, Ulrich. Energieoptimierung und Verbesserung der Reichweitenvorhersage für Pedelecs, Entscheidungen beim Übergang in die Elektromobilität; Technische und betriebswirtschaftliche Aspekte. - Wiesbaden : Springer Fachmedien, 2015, S. 479 - 492
  66. Drechsler, Chris; Sauppe, Matthias; Pätz, Christian; Heinkel, Ulrich. SpecScribe - ein pragmatisch einsetzbares Werkzeug zum Anforderungsmanagement, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2015, 3. bis 4. März 2015, Chemnitz, S. 41-49
  67. Schott, Christian; Rößler, Marko; Heinkel, Ulrich. Verfahren zur Assertion basierten Verifikation bei der High-Level-Synthese, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2015, 3. bis 4. März 2015, Chemnitz, S. 5-13
  68. Wegener, Marten; Froß, Daniel; Rößler, Marko; Pätz, Christian; Heinkel, Ulrich. Localization of UHF-tags through phase tracking and parameter estimation, RFID IEEE 2015, 15.-17.04.2015, San Diego, USA, 2015, S. 114-115
  69. Kriesten, Daniel; Heinkel, Ulrich. A feature based specification framework for embedded linux systems, embedded world Conference 2015, 24-26.02.2015, Nürnberg, Deutschland. - Haar : WEKA FACHMEDIEN GmbH, 2015
  70. Quinger, Sven; Graichen, Thomas; Manns, Daniel; Heinkel, Ulrich. OpenStreetMap-basierte Indoor-Navigation für Elektrofahrzeuge, In: Zeitschrift für die gesamte Wertschöpfungskette Automobilwirtschaft. 2014, 04, S. 21 - 30
  71. Billich, Enrico; Rößler, Marko; Heinkel, Ulrich. Explorative mehrdimensionale Prozessdatenanalyse einer hochindustrialisierten Fertigungslinie für automotiv Sensoren, 12. Chemnitzer Fachtagung Mikrosystemtechnik MST 2014, 21.-22. Oktober 2014, Chemnitz. - Chemnitz : Fraunhofer Verlag, 2014
  72. Yang, Lei; Sauppe, Matthias; Markert, Erik; Heinkel, Ulrich; Otto, Klaus-Holger. Testbench Translation Tool from Matlab to VHDL, Chemnitzer Fachtagung Mikromechanik & Mikroelektronik <12, 2014, Chemnitz>, SectionNr. S4.2 S. 64 - 69
  73. Yang, Lei; Markert, Erik; Heinkel, Ulrich. Fuzzy logic based energy management algorithm of a hybrid electric vehicle with range-extender, International Multi-Conference on Systems, Signals & Devices (SSD), 2014 11th
  74. Wegener, Marten; Froß, Daniel; Rößler, Marko; Heinkel, Ulrich; Adler, Matthias. Localisation of Objects using Passive RFID Technology, SSD 11th International Multiconference on Systems, Signals & Devices, 10. - 14. Febr. 2014, Barcelona. - IEEE, 2014
  75. Sauppe, Matthias; Horn, Thomas; Markert, Erik; Heinkel, Ulrich; Otto, Klaus-Holger. Automated Implementation of Operand Isolation on Netlists, 2014 Electronic System Level Synthesis Conference (ESLsyn), May 31 - June 1, 2014, San Francisco, USA
  76. Sauppe, Matthias; Horn, Thomas; Markert, Erik; Heinkel, Ulrich; Sahm, Hans-Werner; Otto, Klaus-Holger. Optimal Component Selection for Energy-Efficient Systems, Languages, Design Methods, and Tools for Electronic System Design - Selected contributions from FDL 2013. - Heidelberg, New York, Dordrecht, London : Springer-Verlag, 2014, p. 3-20
  77. Rößler, Marko; Langer, Jan; Heinkel, Ulrich. Finding an Optimal Set of Break point Locations in a Control Flow Graph, In: Transactions on Systems, Signals & Devices. - Vol. 9. 2014, Nr. 3, S. 1 - 17
  78. Buder, Jens; Heinkel, Ulrich; Kriesten, Daniel; Odenwald, Stephan; Wolf, Peter. Kurbelarm, Kurbelgarnitur und Leistungsmesseinrichtung für ein zumindest teilweise muskelgetriebenes Fahrzeug oder Trainingsgerät mit Kurbelantrieb, G01L 3/10
  79. Wegener, Marten; Froß, Daniel; Rößler, Marko; Heinkel, Ulrich. Einsatz industrieller RFID-Reader zur Lokalisierung von Objekten, Dresdner Arbeitstagung Schaltungs- und Systementwurf DASS, 29. bis 30. April 2014, Dresden, pp 98 - 102. - Fraunhofer Verlag, 2014
  80. Kriesten, Daniel; Lentz, Ulrich; Kilian, Wolfgang; Weichold, Steffen; Heinkel, Ulrich. Der Raspberry Pi als Datenlogger für E-Bikes — ein Fallbeispiel, Dresdner Arbeitstagung Schaltungs- und Systementwurf DASS, 29. bis 30. April 2014, Dresden, pp 92- 97. - Fraunhofer Verlag, 2014
  81. Roßberg, Christian; Lutnyk, Luis; Pätz, Christian; Heinkel, Ulrich. Werkzeug für die Messung der Leistungsaufnahme leistungsarmer Geräte, Dresdner Arbeitstagung Schaltungs- und Systementwurf DASS, 29. bis 30. April 2014, Dresden, pp 44-494 . - Dresden : Fraunhofer Verlag, 2014
  82. Kolchuzhin, Vladimir; Mehner, Jan; Markert, Erik; Heinkel, Ulrich; Wagner, Christian; Schuster, Jörg; Gessner, Thomas. System-level-model development of an SWCNT based piezoresistive sensor in VHDL-AMS, Proceedings of the 15th International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems, EuroSimE 2014, 2014 Apr 7-9, Ghent (Belgium), S. 1 - 6. - Astefo, 2014
  83. Kolchuzhin, Vladimir; Mehner, Jan; Shende, Milind Ashok; Markert, Erik; Heinkel, Ulrich; Wagner, Christian; Gessner, Thomas. System Level Modeling of Piezoresistive Effect of Carbon Nanotubes for Sensor Application, Der 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014), 10. - 12. März 2014, Böblingen, pp. 205-208. - Göttingen : Cuvillier Verlag Göttingen, 2014
  84. Matthias Sauppe, Thomas Horn, Erik Markert, Ulrich Heinkel, Hans-Werner Sahm, Klaus-Holger Otto. Optimal Component Selection for Energy-Efficient Systems, Languages, Design Methods, and Tools for Electronic System Design - Selected contributions from FDL 2013, 2014, Eds.: Marie-Minerve Louërat and Torsten Maehne, Springer Verlag, ISBN 978-3-319-06316-4, BibTeX
  85. Voros, Nikolaos S.; Hübner, Michael; Becker, Jürgen; Kühnle, Matthias; Thoma, Florian; Grasset, Arnaud; Brelet, Paul; Bonnot, Philippe; Campi, Fabio; Schüler, Eberhard; Sahlbach, Henning; Whitty, Sean; Ernst, Rolf; Billich, Enrico; Tischendorf, Claudia; Heinkel, Ulrich; Ieromnimon, Frank; Kritharidis, Dimitrios; Schneider, Axel; Knäblein, Joachim; Putzke-Röming, Wolfram. MORPHEUS: A heterogeneous dynamically reconfigurable platform for designing highly complex embedded systems, In: ACM Transactions on Embedded Computing Systems (TECS). - Volume 12. 2013, 3, 70/1 - 70/33
  86. Sahm, Hans; Sauppe, Matthias; Markert, Erik; Horn, Thomas; Heinkel, Ulrich; Otto, Klaus-Holger. Optimized ASIC/FPGA Design Flow for Energy Efficient Network Nodes, In: Bell Labs Technical Journal. - Volume 18. 2013, Issue 3, S. 195 - 209
  87. Heinkel, Ulrich; Langer, Jan. Schaltung, Eigenschaftsgraph und Verfahren zum Erzeugen einer Schaltung, G06F 17/50
  88. Sahm, Hans; Sauppe, Matthias; Markert, Erik; Horn, Thomas; Heinkel, Ulrich; Otto, Klaus-Holger. Optimized ASIC/FPGA Design Flow for Energy Efficient Network Nodes, In: Bell Labs Technical Journal . - Vol. 18 , 2013 , Issue 3 , S. 195 - 209
  89. Lutz, Josef; Heinkel, Ulrich; Kratzert, Sebastian; Kolkmann-Lutz, Dagmar. Modulares Elektrofahrzeug, B62K 13/00
  90. Rößler, Marko; Langer, Jan; Heinkel, Ulrich. Synchronisation von Schleifenkörpern zur dynamischen Ablaufplanung, Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen ; 16 <2013, Rostock>, 12. - 14. März 2013, Warnemünde, 2013. S. 219 - 228
  91. Heymann, Sandra; Rößler, Marko; Pätz, Christian; Heinkel, Ulrich; Maichen, Wolfgang; Kuhn, Harald. Zuverlässigkeit von Relais bei der Qualifizierung von Halbleiterbauelementen, 7. ITG/GI/GMM-Fachtagung, 24. - 26. September 2013, Dresden. - VDE, 2013
  92. Trenkel, Kristian; Heinkel, Ulrich. Absicherung der Buskommunikation – Bussystemübergreifende Wiederverwendbarkeit von Testfällen, GMM-Fachtagung „Automotive meets Electronics“, 19. - 20.2. 2013, Dortmund, S. 89 - 94. - VDE, 2013
  93. Trenkel, Kristian; Heinkel, Ulrich. Further Development of Test Automation - Combination of Practical Experience and Academic Research, Belgium Testing Days, 28.02. - 1.3. 2013, Brüssel. - VDE, 2013. - Gesellschaft Mikroelektronik, Mikrosystem- und Feinwerktechnik: GMM-Fachbericht ; 75
  94. Pätz, Christian; Froß, Daniel; Rößler, Marko; Kriesten, Daniel; Heinkel, Ulrich. Reliability Evaluation of Heterogenous Systems, Design, Automation and Test in Europe (DATE), 18. - 22- März 2013, Grenoble, 2013
  95. Froß, Daniel; Rößler, Marko; Pätz, Christian; Heinkel, Ulrich. PDU Test Lab - Reliability Evaluation of Power Distribution Units, International Conference of Power Engineering, Energy and Electrical Drives (POWERENG), Istanbul, 13. - 17. Mai 2013. - S. 1312 - 1315
  96. Markert, Erik; Shende, Milind; Sauppe, Matthias; Horn, Thomas; Quinger, Sven; Heinkel, Ulrich. A Specification tool for Nanosystems, Smart Systems Integration, 13. - 14. März 2013, Amsternam, 2013
  97. Horn, Thomas; Sauppe, Matthias; Markert, Erik; Heinkel, Ulrich; Rössel, Wolfgang; Sahm, Hans. Einsatz formaler Methoden zur Energieeinsparung, MBMV, 12. - 14. März 2013, Warnemünde, 2013
  98. Sauppe, Matthias; Horn, Thomas; Markert, Erik; Heinkel, Ulrich; Sahm, Hans-Werner; Otto, Klaus-Holger. Optimal Component Selection for Energy-Efficient System, Forum on Specification & Design Languages FDL, 24-26 Sept. 2013, Paris. - S. 14 - 21. - IEEE Xplore Compliant Files
  99. Sauppe, Matthias; Horn, Thomas; Markert, Erik; Heinkel, Ulrich; Lorenz, Daniel; Grüttner, Kim; Sahm, Hans-Werner; Otto, Klaus-Holger. A Database for the Integration of Power Data on System Level, EuroCon 2013, 01. - 04.07.2013, Zagreb Kroatien. - IEEE, 2013
  100. Rößler, Marko; Heinkel, Ulrich; Langer, Jan. Efficient Preemption of Loops for dynamic HW/SW partitioning on Configurable Systems on Chip, Electronic System Level Synthesis Conference ElSyn 2013, 31.05. - 01.06.2013, Austin Texas. - IEEE, 2013
  101. Kriesten, Daniel; Kilian, Wolfgang; Froß, Daniel; Pätz, Christian; Heinkel, Ulrich. Thermografie zur Zuverlässigkeitsanalyse unbekannter Schaltungen, DASS, 25. - 26. April 2013, Dresden. - www.verlag.fraunhofer.de, 2013, S. 126 - 129
  102. Trenkel, Kristian; Heinkel, Ulrich; Tremmel, Jörg; Spiteller, Florian. Modular Test Framework – From Component Test to Production Test, ETS2013, 18th IEEE European Test Symposium, 27.05. bis 31.05.2013, Avignon. - IEEE, 2013
  103. Yang, Lei; Rauh, Nadine; Markert, Erik; Heinkel, Ulrich. Specification for Electromobility, DASS, 25. - 26. April 2013, Dresden, 2013
  104. Kolchuzhin, Vladimir; Mehner, Jan; Shende, Milind Ashok; Markert, Erik; Heinkel, Ulrich; Wagner, Christian; Gessner, Thomas. Integration of MEMS/NEMS models at the system level using VHDL-AMS, smartsystems integration 2013 : Amsterdam, The Netherlands, 13 - 14 March 2013. 7th European Conference & Exhibition on Integration Issues of Miniaturized Systems – MEMS, MOEMS, ICs and Electronic Components. - Berlin; Offenbach : VDE VERLAG GMBH, 2013
  105. Kriesten, Daniel; Windisch, Katrin; Kratzert, Sebastian; Odenwald, Stephan; Heinkel, Ulrich. Vorhersage- und Optimierungsmethoden für die Reichweite von Elektromobilen am Beispiel eines E-Bikes, Dresdner Arbeitstagung Schaltungs- und Systementwurf, 03. und 04. Mai, pp. 118
  106. Sauppe, Matthias; Markert, Erik; Horn, Thomas; Heinkel, Ulrich; Sahm, Hans-Werner; Otto, Klaus-Holger. Ganzheitliche Entwurfsmethodik für energiesparende Systeme, 11. Chemnitzer Fachtagung Mikrosystemtechnik, 23. bis 24, Okt. 2012, S. 85 - 87
  107. Kriesten, Daniel; Heinkel, Ulrich. Patchstrategien im Embedded Software Design, 11. Chemnitzer Fachtagung Mikrosystemtechnik, 23. und 24. Oktober 2012, S. 145 - 146
  108. Kolchuzhin, Vladimir; Mehner, Jan; Shende, Milind Ashok; Markert, Erik; Heinkel, Ulrich; Wagner, Christian; Gessner, Thomas. System level modelling of CNT based mechanical sensor, 11. Chemnitzer Fachtagung Mikrosystemtechnik, 23./24.10.2012, Chemnitz, 2012
  109. Langer, Jan; Rößler, Marko; Heinkel, Ulrich. Finding an Optimal Set of Breakpoint Locations in a Control Flow Graph, IEEE Multi-Conference on Systems, Signals and Devices 2012, Conference on Communication and Signal Processing, 20.-23. März 2012, Chemnitz, 2012
  110. Markert, Erik; Shende, Milind; Horn, Thomas; Wolf, Peter; Heinkel, Ulrich. Tool-supported Specification of a wind turbine, IEEE Multi-Conference on Systems, Signals and Devices 2012, Conference on Communication and Signal Processing, 20.-23. März 2012, Chemnitz, 2012
  111. Johansson, Per Anders; Rossberg, Christian; Heinkel, Ulrich. Centralized Spring-Based Localization Algorithm for Large Scale Wireless Sensor Networks, IEEE Multi-Conference on Systems, Signals and Devices 2012, Conference on Communication and Signal Processing, 20.-23.3. 2012, Chemnitz, 2012
  112. Paulo, Robert; Johansson, Per Andersson; Kriesten, Daniel; Heinkel, Ulrich. Expedient Usage of Wakeup Receivers in Wireless Network Applications, Ninth Workshop on Intelligent Solutions in Embedded Systems, WISES 2011, 7. - 8. Juli 2011, Regensburg, pp 27-31
  113. Paulo, Robert; Johansson, Per Andersson; Kriesten, Daniel; Heinkel, Ulrich. Wakeup vs. Duty Cycle wie können diese beiden Netzwerke hinsichtlich Energieeffizienz verglichen werden, 21st International Scientific Conference Mittweida, Nr.3, Drahtlose Kommunikationssysteme, IWKM 2011, 26. - 27. Oktober 2011, Mittweida, pp 44-47
  114. Langer, Jan; Froß, Daniel; Billich, Enrico; Rößler, Marko; Heinkel, Ulrich. Multi-Level Synthesis on the Example of a Particle Filter : 2011 VII Designer Forum (DF), Proceedings of the 2011 VII Designer Forum, Córdoba, Argentina April 13 – 15, 2011, S. 13
  115. Langer, Jan; Horn, Thomas; Heinkel, Ulrich. Enabling the Synthesis of Very Long Operation Properties, ESLsyn, 5.-6.6.2011, San Diego, 2011
  116. Kriesten, Daniel; Pankalla, Volker; Heinkel, Ulrich. Entwurf eines FPGA-basierten heterogenen rekonfigurierbaren eingebetteten Systems, Dresdner Arbeitstagung Schaltungs- und Systementwurf 2011, 3.-4.5.11, Dresden, pp. 102. - Dresden : Fraunhofer Verlag, 2011
  117. Kriesten, Daniel; Kratzert, Sebastian; Heinkel, Ulrich. Embedded Linux Distributionen - Das Ende der schwarzen Magie?, CLT Chemnitzer Linuxtage 2011, 19. - 20.3.11. - Universitätsverlag der TU Chemnitz, pp 21-28
  118. Shende, Milind Ashok; Wolf, Peter; Markert, Erik; Roßberg, Christian; Herrmann, Göran; Heinkel, Ulrich. Modeling of Aerodynamic Effects of Wind Turbine for Development of a Strain Gauge Sensor using VHDL-AMS, 8. GMM/ITG/GI-Workshop Cyber-Physical Systems – Enabling Multi-Nature Systems, 23. - 24.2.11, Bremen, pp 65 - 70. - Bremen, 2011
  119. Markert, Erik; Billich, Enrico; Tischendorf, Claudia; Proß, Uwe; Leibelt, Thilo; Knäblein, Joachim; Schneider, Axel; Heinkel, Ulrich. An In-band Reconfigurable Network Node based on a heterogeneous Platform, Conference on Design and Architectures for Signal and Image Processing - DASIP, 26. - 28.10.2010, Edingburgh, Scotland, pp 15-20. - IEEE, 2011
  120. Kriesten, Daniel; Pankalla, Volker; Heinkel, Ulrich. An Application Example of a Run-time Reconfigurable Embedded System, ReConFig 2010 International Conference on Reconfigurable Computing and FPGAs, 13. - 15.12.10, Cancun, Mexico, 2010
  121. Roßberg, Christian; Froß, André; Froß,Daniel; Heinkel, Ulrich. Modellierung und Simulation zeitschlitzbasierter Netzwerke mit TrueTime, DASS 2010 Dresdner Arbeitstagung Schaltungs- und Systementwurf, 18.-19.5.2010, Dresden, S. 55 - 59
  122. Kriesten, Daniel; Schneider, Jörg; Heinkel, Ulrich. Integration von Konfigurationsmechanismen für Xilinx-FPGA in das Linux OS, 13. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 23.2.2010, Dresden, pp 237. - Fraunhofer Verlag, 2010
  123. Froß, Daniel; Langer, Jan; Froß, André; Rößler, Marko; Heinkel, Ulrich. Hardware Implementation of a Particle Filter for Location Estimation, IPIN 2010 International Conference on Indoor Positioning and Indoor Navigation, 15. - 17.9.2010, Zurich, Switzerland, pp 1-6. - ieeeexplore, 2010
  124. Shende, Milind Ashok; Wolf, Peter; Markert, Erik; Herrmann, Göran; Heinkel, Ulrich. Modeling of electrical resistance strain gauge using VHDL-AMS for the realtime structural heath monitoring of wind turbines, 10. Chemnitzer Fachtagung Mikrosystemtechnik - Mikromechanik & Mikroelektronik, 20.-21.10.10, Chemnitz. - Chemnitz : TU Chemnitz, 2010
  125. Wolf, Peter; Herrmann, Göran; Heinkel, Ulrich. Anzeige- und Monitoringsystem für praxistaugliche Messaufgaben, 10. Chemnitzer Fachtagung Mikrosystemtechnik - Mikromechanik & Mikroelektronik, Chemnitz, 20.-21.10.10. - Chemnitz : TU Chemnitz, 2010
  126. Froß, Daniel; Langer, Jan; Froß, André; Heinkel, Ulrich. Hardware-Implementierung eines Partikelfilters zur Positionsbestimmung, DASS 2010 Dresdner Arbeitstagung Schaltungs- und Systementwurf, 2010
  127. Knäblein, Joachim; Tischendorf, Claudia; Markert, Erik; Heinkel, Ulrich. Technology Independent, Embedded Logic Cores Utilizing synthesizable embedded FPGA-cores for ASIC design validation, Reconfigurable Communication-centric Systems on Chip - ReCoSoC 2010, May 17 - 19 2010, Karlsruhe, Germany, pp. 161 - 168. - Karlsruhe. - KIT scientific reports ; 7551
  128. Roßberg, Christian; Froß, André; Froß, Daniel; Heinkel, Ulrich. Beacon Frame based Network Simulation using TrueTime Network Simulator, SIMUTools 2010, 15. - 19.3.2010, Torremolinos, Malaga, Spanien. - ICST.org, 2010
  129. Proß, Uwe; Goller, Sebastian; Markert, Erik; Jüttner, Michael; Langer, Jan; Knäblein, Joachim; Schneider, Axel; Heinkel, Ulrich. Demonstration of an in-band reconfiguration data distribution and network node reconfiguration, Proceedings DATE conference 2010, Dresden, Germany, March 8.-12.2010, DVD, 2010
  130. Langer, Jan; Pepelyashev, Dimo; Heinkel, Ulrich. Determinierung von Automaten bei der High-Level-Synthese von Operationseigenschaften, 13. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 23.2.2010, Dresden, pp. 31-40, 2010
  131. Billich, Enrico; Rößler, Marko; Heinkel, Ulrich. Effiziente Auslastung der heterogenen Ressourcen eines Systems durch domainübergreifendes Multithreading, 13. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 23.2.2010, Dresden, pp. 127-136. - Fraunhofer Verlag, 2010
  132. Proß, Uwe; Kröber, Karl; Heinkel, Ulrich. Abhängigkeitsanalyse und Parameterberechnung auf Spezifikationsebene, 13. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 23.2.10, Dresden, pp. 197. - Fraunhofer Verlag, 2010
  133. Wang, Hailu; Rößler, Marko; Engin, Nur; Drescher, Wolfram; Heinkel, Ulrich. Rapid Prototyping of a DVB-SH turbo decoder using High-Level-Synthesis, Specification & Design Languages, 2009. FDL 2009, 22.9. - 24.9.2009, Sophia Antipolis, France, pp. 1 - 6. - IEEE Xplore, 2009
  134. Langer, Jan; Heinkel, Ulrich. High Level Synthesis Using Operation Properties, Specification & Design Languages, 2009. FDL 2009, 22.9. - 24.9.2009, Sophia Antipolis, France, pp. 1 - 6. - IEEE Xplore, 2009
  135. Froß, Daniel; Froß, André; Roßberg, Christian; Rößler, Marko; Heinkel, Ulrich. IEEE 802.15.4a basiertes Sensor- und Lokalisierungsnetz, 9. Chemnitzer Fachtagung Mikromechanik & Mikroelektronik, 5. - 6. Nov. 2009, Chemnitz, S. 131 - 135. - Chemnitz : Technische Universität Chemnitz, 2009
  136. Shende, Milind Ashok; Roßberg, Christian; Markert, Erik; Herrmann, Göran; Heinkel, Ulrich. Modeling and Simulation of a micro-gyroscope using Matlab/Simulink and VHDL-AMS, 9. Chemnitzer Fachtagung Mikromechanik & Mikroelektronik, 5. - 6. Nov. 2009, Chemnitz, S. 108 - 114. - Chemnitz : Technische Universität Chemnitz, 2009
  137. Wolf, Peter; Heinrich, Michael; Herrmann, Göran; Heinkel, Ulrich. Impedanzanalysesystem zur Überwachung feuchtigkeitsbeanspruchter Schichtholzbauelemente, 9. Chemnitzer Fachtagung Mikromechanik & Mikroelektronik MST, 5. - 6. Nov. 2009, Chemnitz, S. 45 - 50. - Chemnitz : Technische Universität Chemnitz, 2009
  138. Schneider, J.; Kriesten, Daniel; Heinkel, Ulrich. Fehlertolerante Firmware-Updates FPGA-basierter Funkprototypensysteme mit Linux-OS, 9. Chemnitzer Fachtagung Mikromechanik & Mikroelektronik MST, 5. - 6. Nov. 2009, Chemnitz, S. 45 - 50. - Chemnitz : Technische Universität Chemnitz, 2009
  139. Rößler, Marko; Billich, Enrico; Heinkel, Ulrich. Hybride Architekturen und Rekonfigurationsmechanismen für paralleles Hard- und Software-Threading, 9. Chemnitzer Fachtagung Mikromechanik & Mikroelektronik MST, 5.-6. Nov. 2009, Chemnitz, S. 124 - 127. - Chemnitz : Technische Universität Chemnitz, 2009
  140. Billich, Enrico; Rößler, Marko; Heinkel, Ulrich. HW/SW-übergreifendes Multithreading auf einem Configurable System on Chip mit dem High-Level C-Synthese Werkzeug "CoDeveloper", 9. Chemnitzer Fachtagung Mikromechanik & Mikroelektronik, 5.-6. Nov. 2009, S. 39 - 44. - Chemnitz : Technische Universität Chemnitz, 2009
  141. Masoumi, Mohammad; Markert, Erik; Heinkel, Ulrich; Gielen, G.. Ultra Low Power Flash ADC for UWB Transceiver Applications., European Conference on Circuit Theory and Design ECCTD, 23. - 27.8.2009, Antalya, Türkei. - IEEE, 2009. - S. 41-44
  142. Markert, Erik; Goller, Sebastian; Proß, Uwe; Schneider, Axel; Knäblein, Joachim; Heinkel, Ulrich. Ethernet Based In-Service Reconfiguration of SoCs in Telecommunication Networks, Dynamic System Reconfiguration in Heterogeneous Platforms - The MORPHEUS Approach. - Deutschland : Springer Verlag, 2009, S. 195 - 203
  143. Markert, Erik; Proß, Uwe; Richter, Andreas; Heinkel, Ulrich. A specification environment for MEMS, Smart Systems Integration 2009, 10. - 11. März 2009, Brüssel. - Heidelberg : AKA Verlag, 2009. - S. 484-487
  144. Froß, André; Froß, Daniel; Heinkel, Ulrich. Communication Network with Self-Sufficient and Sub-Meter Localization Capabilities, Smart Systems Integration 2009, 10. - 11. März 2009, Brüssel. - Heidelberg : AKA Verlag, 2009, pp. 456-459
  145. Proß, Uwe; Adam, Christian; Berger, Benjamin; Heinkel, Ulrich. Modellierung dynamisch partieller Rekonfiguration mit VPRS, 12. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", 2. - 4. März 2009, Berlin. - Technische Universität Berlin, 2009
  146. Roßberg, Christian; Markert, Erik; Herrmann, Göran; Heinkel, Ulrich. Simulation und Modellierung eines Gyroskopes, Treffen der ASIM/GI-Fachgruppen STS und GMMS, 5.-6. März 2009, Dresden. - Fraunhofer IRB Verlag, 2009, S. 181 - 186
  147. Rößler, Marko; Heinkel, Ulrich. Preemptive HW/SW-Threading by combining ESL methodology and coarse grained reconfiguration, ReCoSoC '08: Proceedings of the International Conference on Reconfigurable Communication-centric SoCs
  148. Froß, Daniel; Langer, Jan; Rößler, Marko; Heinkel, Ulrich. Tracking of Mobile Nodes in Sensor Networks, Novel Algorithms and Techniques In Telecommunications, Automation and Industrial Electronics. - Netherlands : Springer Netherlands, 2008, S. 438 - 443
  149. Tischendorf, Claudia; Langer, Jan; Proß, Uwe; Heinkel, Ulrich. Generierung von VHDL-Modellen aus PSL-Eigenschaften, Dresdner Arbeitstagung Schaltkreis- und Systementwurf DASS, Special Session URANOS, Dresden, 15.-16. Mai 2008. - Dresden : Fraunhofer Institut für integrierte Schaltungen, 2008, S. 37-42
  150. Billich, Enrico; Rößler, Marko; Heinkel, Ulrich. Optimale HW/SW-Partitionierung einer MPEG-Codierung mit dem High-Level ESL-Werkzeug CoDeveloper, Dresdner Arbeitstagung Schaltkreis- und Systementwurf DASS, Dresden, 15.-16. Mai 2008. - Dresden : Fraunhofer Institut für integrierte Schaltungen, 2008, S. 79 - 84
  151. Markert, Erik; Proß, Uwe; Heinkel, Ulrich. SpecScribe Analog : A Specification Tool Extension for Heterogeneous Systems, Forum on Specification & Design Languages (FDL '08), Stuttgart, 23.-25. September 2008. - S. 243-244
  152. Proß, Uwe; Markert, Erik; Langer, Jan; Richter, Andreas; Drechsler, Chris; Heinkel, Ulrich. A Platform for Requirement Based Formal Specification, Forum on Specification & Design Languages (FDL '08), Stuttgart, 23.-25. September 2008. - S. 237 - 238
  153. Markert, Erik; Kühn, Sandro; Langer, Jan; Herrmann, Göran; Heinkel, Ulrich. Ein SystemC-AMS nach VHDL-AMS Konverter, 10. GI/ITG/GMM-Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“, Erlangen, 5.-7. März 2007. - Aachen : Shaker Verlag, 2007, S. 151 - 160
  154. Markert, Erik; Proß, Uwe; Herrmann, Göran; Heinkel, Ulrich. A top-down methodology for MEMS design, Smart Systems Integration 2007, Paris, France, March 27.-28, 2007. - Berlin : VDE-Verlag, 2007, S. 545 - 548
  155. Schneider, Axel; Knäblein, Joachim; Müller, Bernd; Putsche, Marcel; Goller, Sebastian; Proß, Uwe; Heinkel, Ulrich. Ethernet based in-service reconfiguration of SoCs in telecommunication networks, Architecture of Computing Systems (ARCS‘07), Swiss Federal Institute of Technology (ETH) Zurich, Switzerland, March 12-15, 2007. - Berlin : VDE-Verlag, 2007, S. 169 - 173
  156. Markert, Erik; Wang, Hailu; Herrmann, Göran; Heinkel, Ulrich. Kostenmodellierung mit SystemC/SystemC-AMS, Dresdner Arbeitstagung Schaltungs- und Systementwurf DASS, Dresden, 8.-9. Mai 2007. - Dresden : TUD press, 2007, S. 49 - 54
  157. Langer, Jan; Heinkel, Ulrich; Jerinic, Vasco; Müller, Dietmar. Analyse von Corner Cases und funktionaler Abdeckung auf Basis von Entscheidungsdiagrammen, Dresdner Arbeitstagung Schaltungs- und Systementwurf DASS, Dresden, 8.-9. Mai 2007. - Dresden : TUD press, 2007, S. 23 - 28
  158. Markert, Erik; Dienel, Marco; Herrmann, Göran; Heinkel, Ulrich. SystemC-AMS assisted design of an Inertial Navigation System, In: IEEE Sensors Journal - Special Issue on Intelligent Sensors, May 2007. - 7. 2007, 5, S. 770 - 770
  159. Markert, Erik; Herrmann, Göran; Heinkel, Ulrich. Hybride Automaten zum Systementwurf von Mikrosystemen, 8. Chemnitzer Fachtagung Mikrosystemtechnik Mikromechanik & Mikroelektronik, Chemnitz, 14.-15. November 2007. - Chemnitz : Technische Universität Chemnitz, 2007, S. 73 - 78
  160. Wang, Hailu; Markert, Erik; Herrmann, Göran; Heinkel, Ulrich. Ein Korrekturverfahren für die Inertialnavigation einer Gehmaschine, 8. Chemnitzer Fachtagung Mikrosystemtechnik Mikromechanik & Mikroelektronik, Chemnitz, 14.-15. November 2007. - Chemnitz : Technische Universität Chemnitz, 2007, S. 87 - 90
  161. Wolf, Peter; Markert, Erik; Herrmann, Göran; Heinkel, Ulrich. Eine generische Plattform zur Sensorsignalauswertung, 8. Chemnitzer Fachtagung Mikrosystemtechnik Mikromechanik & Mikroelektronik, Chemnitz, 14.-15. November 2007. - Chemnitz : Technische Universität Chemnitz, 2007, S. 123 - 124
  162. Proß, Uwe; Richter, Andreas; Heinkel, Ulrich. Plattform zur formalisierten Spezifikationserfassung, 8. Chemnitzer Fachtagung Mikrosystemtechnik Mikromechanik & Mikroelektronik, Chemnitz, 14.-15. November 2007. - Chemnitz : Technische Universität Chemnitz, 2007, S. 152 - 153
  163. Rößler, Marko; Froß, André; Heinkel, Ulrich. Car2Roadside Kommunikation auf Basis von 802.15.4a, Wireless-Technologies-Kongress 2007: von der Technologie zur Anwendung, Tagungsband : wireless technologies, 9. Kongress, 18. - 19. September 2007, Stuttgart . - Berlin : Aka, 2007, S. 247 - 255
  164. Froß, Daniel; Rößler, Marko; Heinkel, Ulrich. Entwurf eines Systems zur Positonsbestimmung auf Basis von Entfernungsmessungen zu Referenzpunkten, Dresdner Arbeitstagung Schaltungs- und Systementwurf (DASS'07), Dresden, 8.-9. Mai 2007, Tagungsband. - Dresden : TUDpress, Verl. der Wissenschaften, 2007, S. 5 - 10
  165. Daniel Froß, Marko Rößler, Ulrich Heinkel. Entwurf eines Systems zur Positonsbestimmung auf Basis von Entfernungsmessungen zu Referenzpunkten, Dresdner Arbeitstagung Schaltungs- und Systementwurf DASS, 8 to 9. May 2007, Dresden, pages 5-10, ISBN 978-3-940046-28-4, Link, BibTeX
  166. Daniel Froß, Jan Langer, Marko Rößler, Ulrich Heinkel. Tracking of mobile nodes in sensor networks, Konferenz: International Conference on Telecommunications and Networking (TeNe07), E-Conference, 3 to 12. December 2007, Bridgeport, USA, BibTeX
  167. Jan Langer, Ulrich Heinkel, Vasco Jerinic, D. Müller. Analyse von Corner Cases und funktionaler Abdeckung auf Basis von Entscheidungsdiagrammen, Dresdner Arbeitstagung Schaltungs- und Systementwurf DASS, 8 to 9. May 2007, Dresden, pages 23-28, ISBN 978-3-940046-28-4, Link, BibTeX
  168. Jan Langer, Vasco Jerinic, Ulrich Heinkel, F. Dresig. SpiritEd: A Register Specification System integrating IP-XACT and Adobe FrameMaker, IP '07, IP Based Electronic System Conference, 5 to 6. December 2007, Grenoble, BibTeX
  169. Erik Markert, Hailu Wang, Göran Herrmann, Ulrich Heinkel. Kostenmodellierung mit SystemC/SystemC-AMS, Dresdner Arbeitstagung Schaltungs- und Systementwurf DASS, 8 to 9. May 2007, Dresden, pages 49-54, ISBN 978-3-940046-28-4, Link, BibTeX
  170. Erik Markert, S. Kühn, Jan Langer, Göran Herrmann, Ulrich Heinkel. Ein SystemC-AMS nach VHDL-AMS Konverter, 10. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 5 to 7. March 2007, Erlangen, pages 151-160, ISBN 978-3-8322-5956-3, BibTeX
  171. Erik Markert, Göran Herrmann, Ulrich Heinkel. Hybride Automaten zum Systementwurf von Mikrosystemen, 8. Chemnitzer Fachtagung Mikrosystemtechnik Mikromechanik \& Mikroelektronik, 14 to 15. November 2007, Chemnitz, pages 73-78, ISBN 978-3-00-022168-2, BibTeX
  172. Erik Markert, M. Dienel, Göran Herrmann, Ulrich Heinkel. SystemC-AMS assisted design of an Inertial Navigation System, IEEE Sensors Journal - Special Issue on Intelligent Sensors, vol. 7, no. 5, May 2007, pages 770, ISSN 1530-437X, Link, BibTeX
  173. Erik Markert, Uwe Proß, Göran Herrmann, Ulrich Heinkel. A top-down methodology for MEMS design, Smart Systems Integration 2007, 27 to 28. March 2007, Paris, France, pages 545-548, VDE Verlag Berlin, ISBN 978-3-8007-3009-4, PDF, BibTeX
  174. Uwe Proß, Sebastian Goller, Ulrich Heinkel, J. Knäblein, A. Schneider. Prototype of a dynamically reconfigurable network node, AMWAS'07 Workshop, 10 to 11. October 2007, Paris, BibTeX
  175. Uwe Proß, Sebastian Goller, Marcel Putsche, Ulrich Heinkel, A. Schneider, J. Knäblein, B. Müller. Ethernet-basierte dynamisch partielle Rekonfiguration in Netzwerken, Dresdner Arbeitstagung Schaltungs- und Systementwurf DASS, 8 to 9. May 2007, Dresden, pages 23-28, ISBN 978-3-940046-28-4, Link, BibTeX
  176. Uwe Proß, A. Richter, Ulrich Heinkel. Plattform zur formalisierten Spezifikationserfassung, 8. Chemnitzer Fachtagung Mikrosystemtechnik Mikromechanik \& Mikroelektronik, 14 to 15. November 2007, Chemnitz, pages 152-153, ISBN 978-3-00-022168-2, BibTeX
  177. Marko Rößler, André Froß, Ulrich Heinkel. Car2Roadside Kommunikation auf Basis von 802.15.4a, Wireless Technology Kongress 2007, 18 to 19. September 2007, Stuttgart, pages 247-255, ISBN 978-3-89838-084-3, BibTeX
  178. A. Schneider, J. Knäblein, B. Müller, Marcel Putsche, Sebastian Goller, Uwe Proß, Ulrich Heinkel. Ethernet based in-service reconfiguration of SoCs in telecommunication networks, Architecture of Computing Systems (ARCS'07), 12 to 15. March 2007, Swiss Federal Institute of Technology (ETH) Zurich, Switzerland, pages 169-173, ISBN 978-3-8007-3015-5, BibTeX
  179. H. Wang, Erik Markert, Göran Herrmann, Ulrich Heinkel. Ein Korrekturverfahren für die Inertialnavigation einer Gehmaschine, 8. Chemnitzer Fachtagung Mikrosystemtechnik Mikromechanik \& Mikroelektronik, 14 to 15. November 2007, Chemnitz, pages 87-90, ISBN 978-3-00-022168-2, BibTeX
  180. Peter Wolf, Erik Markert, Göran Herrmann, Ulrich Heinkel. Eine generische Plattform zur Sensorsignalauswertung, 8. Chemnitzer Fachtagung Mikrosystemtechnik Mikromechanik \& Mikroelektronik, 14 to 15. November 2007, Chemnitz, pages 123-124, ISBN 978-3-00-022168-2, BibTeX
  181. G. Bunin, A. Schneider, C. Haubelt, Jan Langer, Ulrich Heinkel. Automatic Test Case Generation with Model Checker NuSMV, Workshop Modellbasiertes Testen (MOTES'06), in: Informatik 2006: Informatik für Menschen, Band 2, 2 to 10. October 2006, Dresden, pages 262-263, ISBN 978-3-88579-188-1, BibTeX
  182. André Froß, Erik Markert, R. Lange, Ulrich Heinkel. Entwicklung einer generischen FPGA-Implementierung Neuronaler Netze, Dresdner Arbeitstagung Schaltungs- und Systementwurf DASS'06, 10 to 11. May 2006, Dresden, pages 47-52, PDF, BibTeX
  183. Daniel Froß, Vasco Jerinic, Jan Langer, Ulrich Heinkel, F. Dresig. XML-basierter integrierter Spezifikationsflow mit Modellgenerierung, Workshop Anwendungsrobuster Entwurf nanoelektronischer Systeme, 1. Öffentlicher Workshop des Ekompass-Projektes URANOS, 26. October 2006, Hannover, BibTeX
  184. Vasco Jerinic, Jan Langer, Ulrich Heinkel, D. Müller. New Methods and Coverage Metrics for Functional Verification, Design Automation and Test in Europe (DATE), 6 to 10. March 2006, Munich (Germany), ISBN of CD 3-9810801-0-6, BibTeX
  185. Daniel Kriesten, Marko Rößler, Benjamin Berger, André Froß, Daniel Froß, Sebastian Goller, Thilo Leibelt, Ulrich Heinkel. Generalised Platform for Sensor Data Processing, ASK-IT: Mobility for All - The Use of Ambient Intelligence in Addressing the Mobility Needs of People with Impairments, 26 to 27. October 2006, Nice, BibTeX
  186. Daniel Kriesten, Marko Rößler, Benjamin Berger, André Froß, Daniel Froß, Sebastian Goller, Thilo Leibelt, Jan Langer, Ulrich Heinkel. Generalisierte Plattform zur Sensordatenverarbeitung, Dresdner Arbeitstagung Schaltungs- und Systementwurf DASS'06, 10 to 11. May 2006, Dresden, pages 79-84, BibTeX
  187. Jan Langer, Vasco Jerinic, Ulrich Heinkel, D. Müller. Improved Coverage Driven Verification and Corner Case Analysis Using Decision Diagrams, International Symposium on Communications and Information Technologies 2006 (ISCIT'06), 18 to 20. October 2006, Bangkok, Thailand, ISBN 0-7803-9741-X, BibTeX
  188. Erik Markert, H. Zeun, Göran Herrmann, D. Müller, Ulrich Heinkel. SystemC-AMS-Modell eines DeltaC-U-Wandlers für ein Inertialnavigationssystem, 9. ITG/GMM-Fachtagung Analog'06 Entwicklung von Analogschaltungen mit CAE-Methoden, 27 to 29. September 2006, Dresden, pages 243-248, ISBN 3-8007-2988-1, PDF, BibTeX
  189. Erik Markert, M. Dienel, Göran Herrmann, D. Müller, Ulrich Heinkel. Modeling of a new 2D Acceleration Sensor Array using SystemC-AMS, International MEMS Conference 2006 (iMEMS 2006), published: Journal of Physics: Conference Series, vol. 34, 2006, ISSN 1742-6596 (online), ISSN 1742-6588 (print), 9 to 12. May 2006, Biopolis, Singapore, Link, BibTeX
  190. D. Müller, Daniel Kriesten, Marko Rößler, Ulrich Heinkel. Generalisierte Plattform zur Sensordatenverarbeitung (GPS), Technologietag Mitteldeutschland: Automobiltechnik im Kompetenzdreieck Berlin/Brandenburg, Sachsen, Thüringen, 8. November 2006, Dresden, BibTeX
  191. Uwe Proß, Benjamin Berger, Ulrich Heinkel, D. Müller. Virtueller Prototyp für dynamisch partiell rekonfigurierbare Systeme, Dresdner Arbeitstagung Schaltungs- und Systementwurf DASS'06, 10 to 11. May 2006, Dresden, pages 91-96, BibTeX
  192. T. Renner, T. Bluhm, A. Schneider, J. Knaeblein, R. Zavala, Ulrich Heinkel. Formale Spezifikation und Verifikation abstrakter Beschreibungen von Telekommunikationsprotokollen, 9. GI/ITG/GMM Workshop Methoden und Beschreibungssprachen, February 2006, Dresden, ISBN 3-9810287-1-6, BibTeX
  193. T. Renner, T. Bluhm, A. Schneider, J. Knaeblein, R. Zavala, Ulrich Heinkel. Formal Verification of Abstract System and Protocol Specifications, Software Engineering Workshop, 2006. SEW '06. 30th Annual IEEE/NASA, May 2006, pages 207-211, BibTeX
  194. Marko Rößler, Ulrich Heinkel. Konzept für die dynamische Verteilung von Prozessen auf Hardware/Software-Systemen, Dresdner Arbeitstagung Schaltungs- und Systementwurf DASS'06, 10 to 11. May 2006, Dresden, pages 97-101, PDF, BibTeX
  195. A. Schneider, S. Walter, Jan Langer, Ulrich Heinkel. Concept for Automatic Visualization of Abstract System Specifications, Sixth International Conference on Quality Software (QSIC'06), 27 to 28. October 2006, Beijing, China, pages 167-174, ISBN 0-7695-2718-3, BibTeX
  196. Sebastian Goller, Erik Markert, Göran Herrmann, D. Müller, Ulrich Heinkel. Implementierung von Transformations- und Integrationsalgorithmen für eine 3D-inertiale Messeinheit, 17. Internationale Wissenschaftliche Konferenz Mittweida, Teilband Robotik, 3 to 4. November 2005, Mittweida, pages 26-29, ISSN 1473-7624, BibTeX
  197. Erik Markert, Göran Herrmann, D. Müller, Ulrich Heinkel. High-level model of an acceleration sensor with feedback as part of an inertial navigation system, 1st International Conference on Sensing Technology (ICST2005), 21 to 23. November 2005, Palmerston North, New Zealand, pages 191-195, ISBN 0-473-10504-7, BibTeX
  198. 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, 2005, pages 151-156, BibTeX
  199. Uwe Proß, Benjamin Berger, M. Orgis, Ulrich Heinkel, D. Müller. Beschleunigung von Bildverarbeitungsalgorithmen durch dynamisch partielle Rekonfiguration, 7. Chemnitzer Fachtagung Mikrosystemtechnik - Mikromechanik \& Mikroelektronik, 26 to 27. October 2005, Chemnitz, pages 26-31, ISBN 3-00-016889-3, BibTeX

Basics of test and test-friendly design
  • Anschrift:

    Prof. Dr.-Ing. Werner Wolz

    Technische Universität Chemnitz
    Fakultät für Elektrotechnik und Informationstechnik
    Institut für Informationstechnik
    Professur Schaltkreis- und Systementwurf
    09107 Chemnitz
    Deutschland

Publikationen
  1. Yazdani, Saeid; Wolz, Werner; Schott, Christian; Mayer, Franziska; Billich, Enrico; Heinkel, Ulrich. An Approach to Verification of ATE Power Supplyand Signal Integrity using Virtual-DUT, 34. Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, 27 February - 01 March 2022, Bremerhaven, P.P. 69-70. - Berlin, Offenbach : VDE VERLAG GMBH, 2022
  2. Schott, Christian; Mayer, Franziska; Billich, Enrico; Yazdani, Saeid; Sauppe, Matthias; Wolz, Werner; Heinkel, Ulrich. Closed-Loop Approach on Formal Specification for Semiconductor Test, MikroSystemTechnik Congress 2021, 8.-10. Nov. 2021, Stuttgart-Ludwigsburg, Germany
  3. Yazdani, Saeid; Wolz, Werner; Engelhardt, Rainer; Schott, Christian; Heinkel, Ulrich; Kriesten, Daniel. An Approach to Online Wear Out Monitoring of PCB Interconnects in Safety-Critical Systems, SMACD / PRIME 2021, 19 - 22 July 2021, Online Event, p. 284 - 287. - Berlin, Offenbach : VDE VERLAG GMBH, 2021

Secretary's office

Porträt von Frau Silvia Eppendorfer
  • E-Mail:
  • Telefon:
    +49 (0)371 531-24310
  • Anschrift:

    Silvia Eppendorfer

    Technische Universität Chemnitz
    Fakultät für Elektrotechnik und Informationstechnik
    Institut für Informationstechnik
    Professur Schaltkreis- und Systementwurf
    09107 Chemnitz
    Deutschland

  • Raum:
    C25.428

Teaching and Administration

Administration Computer Network
Porträt von Dipl.-Ing. Jan Pauliuk
  • E-Mail:
  • Telefon:
    +49 (0)371 531-35144
  • Anschrift:

    Jan Pauliuk

    Technische Universität Chemnitz
    Fakultät für Elektrotechnik und Informationstechnik
    Institut für Informationstechnik
    Professur Schaltkreis- und Systementwurf
    09107 Chemnitz
    Deutschland

  • Raum:
    C25.432

Heterogeneous systems, formal methods
Porträt von Dr.-Ing. Erik Markert
  • E-Mail:
  • Telefon:
    +49 (0)371 531-35049
  • Anschrift:

    Erik Markert

    Technische Universität Chemnitz
    Fakultät für Elektrotechnik und Informationstechnik
    Institut für Informationstechnik
    Professur Schaltkreis- und Systementwurf
    09107 Chemnitz
    Deutschland

  • Raum:
    C25.427
Sprechzeiten

By arrangement - please register via email

Publikationen
  1. Mayer, Franziska; Schott, Christian; Chellappa, Davis John; Markert, Erik; Heinkel, Ulrich. Erfassung und Austausch prozessspezifischer Anforderungen entlang der Wertschöpfungskette, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen MBMV 2025, 11. – 12.03.2025, Rostock, S. 98-104
  2. Ghazavi, Sanaz; Abdulrazzaq, Ali Kareem; Mayer, Franziska; Schott, Christian; Markert, Erik; Heinkel, Ulrich. Towards Model-Driven Circuit Test Development: SysMLv2-Based Test Modeling and Assisted Workflow, Smart Systems Integration Conference and Exhibition (SSI), 08.-10.04.2025, Prague, Czech Republic, 1-7. - IEEE, 2025
  3. Zuchna, Anna; Alnaser, Yousef; Schott, Christian; Winkler, Georg; Langer, Jan; Markert, Erik; Heinkel, Ulrich. Towards Fast Gaussian Process Regression Models: An FPGA-based Implementation of the RBF Kernel Matrix Computation, 2025 Smart Systems Integration Conference and Exhibition (SSI), 8-10 April 2025, Prague, Czech Republic. - IEEE, 2025
  4. Kaden, Janik; Markert, Erik; Heinkel, Ulrich. Performance Investigation for IEEE 802.15.4z-compliant SiP-assisted Ranging, 2024 IEEE 37th International System-on-Chip Conference (SOCC), 09-2024, Dresden, Seiten 1-6. - IEEE, 2024
  5. Mayer, Franziska; Schott, Christian; Markert, Erik; Heinkel, Ulrich. Automatisierte Ausführungsemulation von Testprogrammen für Sensorsysteme, 36. ITG/ GMM/GI-Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ 2024), 25.02. - 27.02.2024, Darmstadt, Tagungsband S. 61 - 63
  6. Gupta, Dhruv Padam; Mittag, Sebastian; Markert, Erik. A flexible FPGA-based Teaching Platform for Processor Architectures, 15. Chemnitzer Fachtagung Mikromechanik & Mikroelektronik, 09.11.22-10.11.22, Dorint Kongress Hotel Chemnitz. - Chemnitz, 2022
  7. Freitag, Markus; Sauppe, Matthias; Auerswald, Christian; Kriebel, David; Schmidt, Henry; Voigt, Sebastian; Arnold, Benjamin; Markert, Erik; Hahn, Susann; Hiller, Karla; Heinkel, Ulrich; Mehner, Jan. Design, Modeling, Fabrication, and Verification of New Multifunctional MEMS/NEMS Components, In: physica status solidi (a). - Wiley Online Library, WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim. - 216. 2019, 19, S. 1800831
  8. Sauppe, Matthias; Markert, Erik; Heinkel, Ulrich. Online Verification of AMS Properties, ANALOG 2016, 15. ITG/GMM-Symposium, 12.-14. September 2016, Bremen, S. 87 - 92. - 1 CD-ROM. - ITG-Fachbericht ; 266
  9. Yang, Lei; Markert, Erik; Heinkel, Ulrich. A new Mapping Method from Fuzzy Logic System into Fuzzy Automaton, 03. - 04. März 2015 MBMV, Chemnitz, S. 135 - 144
  10. Kolchuzhin, Vladimir; Markert, Erik; Wagner, Christian. Piezoresistance of Single Walled Carbon Nanotube in VHDL-AMS, Zenodo. - 2015, S. 1 - 13
  11. Yang, Lei; Sauppe, Matthias; Markert, Erik; Heinkel, Ulrich; Otto, Klaus-Holger. Testbench Translation Tool from Matlab to VHDL, Chemnitzer Fachtagung Mikromechanik & Mikroelektronik <12, 2014, Chemnitz>, SectionNr. S4.2 S. 64 - 69
  12. Yang, Lei; Markert, Erik; Heinkel, Ulrich. Fuzzy logic based energy management algorithm of a hybrid electric vehicle with range-extender, International Multi-Conference on Systems, Signals & Devices (SSD), 2014 11th
  13. Sauppe, Matthias; Horn, Thomas; Markert, Erik; Heinkel, Ulrich; Otto, Klaus-Holger. Automated Implementation of Operand Isolation on Netlists, 2014 Electronic System Level Synthesis Conference (ESLsyn), May 31 - June 1, 2014, San Francisco, USA
  14. Sauppe, Matthias; Horn, Thomas; Markert, Erik; Heinkel, Ulrich; Sahm, Hans-Werner; Otto, Klaus-Holger. Optimal Component Selection for Energy-Efficient Systems, Languages, Design Methods, and Tools for Electronic System Design - Selected contributions from FDL 2013. - Heidelberg, New York, Dordrecht, London : Springer-Verlag, 2014, p. 3-20
  15. Kolchuzhin, Vladimir; Mehner, Jan; Markert, Erik; Heinkel, Ulrich; Wagner, Christian; Schuster, Jörg; Gessner, Thomas. System-level-model development of an SWCNT based piezoresistive sensor in VHDL-AMS, Proceedings of the 15th International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems, EuroSimE 2014, 2014 Apr 7-9, Ghent (Belgium), S. 1 - 6. - Astefo, 2014
  16. Kolchuzhin, Vladimir; Mehner, Jan; Shende, Milind Ashok; Markert, Erik; Heinkel, Ulrich; Wagner, Christian; Gessner, Thomas. System Level Modeling of Piezoresistive Effect of Carbon Nanotubes for Sensor Application, Der 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014), 10. - 12. März 2014, Böblingen, pp. 205-208. - Göttingen : Cuvillier Verlag Göttingen, 2014
  17. Matthias Sauppe, Thomas Horn, Erik Markert, Ulrich Heinkel, Hans-Werner Sahm, Klaus-Holger Otto. Optimal Component Selection for Energy-Efficient Systems, Languages, Design Methods, and Tools for Electronic System Design - Selected contributions from FDL 2013, 2014, Eds.: Marie-Minerve Louërat and Torsten Maehne, Springer Verlag, ISBN 978-3-319-06316-4, BibTeX
  18. Sahm, Hans; Sauppe, Matthias; Markert, Erik; Horn, Thomas; Heinkel, Ulrich; Otto, Klaus-Holger. Optimized ASIC/FPGA Design Flow for Energy Efficient Network Nodes, In: Bell Labs Technical Journal. - Volume 18. 2013, Issue 3, S. 195 - 209
  19. Sahm, Hans; Sauppe, Matthias; Markert, Erik; Horn, Thomas; Heinkel, Ulrich; Otto, Klaus-Holger. Optimized ASIC/FPGA Design Flow for Energy Efficient Network Nodes, In: Bell Labs Technical Journal . - Vol. 18 , 2013 , Issue 3 , S. 195 - 209
  20. Markert, Erik; Shende, Milind; Sauppe, Matthias; Horn, Thomas; Quinger, Sven; Heinkel, Ulrich. A Specification tool for Nanosystems, Smart Systems Integration, 13. - 14. März 2013, Amsternam, 2013
  21. Horn, Thomas; Sauppe, Matthias; Markert, Erik; Heinkel, Ulrich; Rössel, Wolfgang; Sahm, Hans. Einsatz formaler Methoden zur Energieeinsparung, MBMV, 12. - 14. März 2013, Warnemünde, 2013
  22. Sauppe, Matthias; Horn, Thomas; Markert, Erik; Heinkel, Ulrich; Sahm, Hans-Werner; Otto, Klaus-Holger. Optimal Component Selection for Energy-Efficient System, Forum on Specification & Design Languages FDL, 24-26 Sept. 2013, Paris. - S. 14 - 21. - IEEE Xplore Compliant Files
  23. Sauppe, Matthias; Horn, Thomas; Markert, Erik; Heinkel, Ulrich; Lorenz, Daniel; Grüttner, Kim; Sahm, Hans-Werner; Otto, Klaus-Holger. A Database for the Integration of Power Data on System Level, EuroCon 2013, 01. - 04.07.2013, Zagreb Kroatien. - IEEE, 2013
  24. Yang, Lei; Rauh, Nadine; Markert, Erik; Heinkel, Ulrich. Specification for Electromobility, DASS, 25. - 26. April 2013, Dresden, 2013
  25. Kolchuzhin, Vladimir; Mehner, Jan; Shende, Milind Ashok; Markert, Erik; Heinkel, Ulrich; Wagner, Christian; Gessner, Thomas. Integration of MEMS/NEMS models at the system level using VHDL-AMS, smartsystems integration 2013 : Amsterdam, The Netherlands, 13 - 14 March 2013. 7th European Conference & Exhibition on Integration Issues of Miniaturized Systems – MEMS, MOEMS, ICs and Electronic Components. - Berlin; Offenbach : VDE VERLAG GMBH, 2013
  26. Sauppe, Matthias; Markert, Erik; Horn, Thomas; Heinkel, Ulrich; Sahm, Hans-Werner; Otto, Klaus-Holger. Ganzheitliche Entwurfsmethodik für energiesparende Systeme, 11. Chemnitzer Fachtagung Mikrosystemtechnik, 23. bis 24, Okt. 2012, S. 85 - 87
  27. Kolchuzhin, Vladimir; Mehner, Jan; Shende, Milind Ashok; Markert, Erik; Heinkel, Ulrich; Wagner, Christian; Gessner, Thomas. System level modelling of CNT based mechanical sensor, 11. Chemnitzer Fachtagung Mikrosystemtechnik, 23./24.10.2012, Chemnitz, 2012
  28. Markert, Erik; Shende, Milind; Horn, Thomas; Wolf, Peter; Heinkel, Ulrich. Tool-supported Specification of a wind turbine, IEEE Multi-Conference on Systems, Signals and Devices 2012, Conference on Communication and Signal Processing, 20.-23. März 2012, Chemnitz, 2012
  29. Lämmermann, S.; Markert, Erik; Braun, A.; Ruf, J.; Kropf, T.; Rosenstiel, W.. Eigenschaftsbasierte Verifikation von MEMS, 8. GMM/ITG/GI-Workshop Cyber-Physical Systems – Enabling Multi-Nature Systems, 23. - 24.2.11, Bremen. - S. 33-38
  30. Shende, Milind Ashok; Wolf, Peter; Markert, Erik; Roßberg, Christian; Herrmann, Göran; Heinkel, Ulrich. Modeling of Aerodynamic Effects of Wind Turbine for Development of a Strain Gauge Sensor using VHDL-AMS, 8. GMM/ITG/GI-Workshop Cyber-Physical Systems – Enabling Multi-Nature Systems, 23. - 24.2.11, Bremen, pp 65 - 70. - Bremen, 2011
  31. Markert, Erik; Billich, Enrico; Tischendorf, Claudia; Proß, Uwe; Leibelt, Thilo; Knäblein, Joachim; Schneider, Axel; Heinkel, Ulrich. An In-band Reconfigurable Network Node based on a heterogeneous Platform, Conference on Design and Architectures for Signal and Image Processing - DASIP, 26. - 28.10.2010, Edingburgh, Scotland, pp 15-20. - IEEE, 2011
  32. Shende, Milind Ashok; Wolf, Peter; Markert, Erik; Herrmann, Göran; Heinkel, Ulrich. Modeling of electrical resistance strain gauge using VHDL-AMS for the realtime structural heath monitoring of wind turbines, 10. Chemnitzer Fachtagung Mikrosystemtechnik - Mikromechanik & Mikroelektronik, 20.-21.10.10, Chemnitz. - Chemnitz : TU Chemnitz, 2010
  33. Knäblein, Joachim; Tischendorf, Claudia; Markert, Erik; Heinkel, Ulrich. Technology Independent, Embedded Logic Cores Utilizing synthesizable embedded FPGA-cores for ASIC design validation, Reconfigurable Communication-centric Systems on Chip - ReCoSoC 2010, May 17 - 19 2010, Karlsruhe, Germany, pp. 161 - 168. - Karlsruhe. - KIT scientific reports ; 7551
  34. Proß, Uwe; Goller, Sebastian; Markert, Erik; Jüttner, Michael; Langer, Jan; Knäblein, Joachim; Schneider, Axel; Heinkel, Ulrich. Demonstration of an in-band reconfiguration data distribution and network node reconfiguration, Proceedings DATE conference 2010, Dresden, Germany, March 8.-12.2010, DVD, 2010
  35. Markert, Erik. High-Level-Entwurf von Mikrosystemen, Chemnitz : Universitätsverlag, 2010. - 142 S.
  36. Shende, Milind Ashok; Roßberg, Christian; Markert, Erik; Herrmann, Göran; Heinkel, Ulrich. Modeling and Simulation of a micro-gyroscope using Matlab/Simulink and VHDL-AMS, 9. Chemnitzer Fachtagung Mikromechanik & Mikroelektronik, 5. - 6. Nov. 2009, Chemnitz, S. 108 - 114. - Chemnitz : Technische Universität Chemnitz, 2009
  37. Masoumi, Mohammad; Markert, Erik; Heinkel, Ulrich; Gielen, G.. Ultra Low Power Flash ADC for UWB Transceiver Applications., European Conference on Circuit Theory and Design ECCTD, 23. - 27.8.2009, Antalya, Türkei. - IEEE, 2009. - S. 41-44
  38. Markert, Erik; Goller, Sebastian; Proß, Uwe; Schneider, Axel; Knäblein, Joachim; Heinkel, Ulrich. Ethernet Based In-Service Reconfiguration of SoCs in Telecommunication Networks, Dynamic System Reconfiguration in Heterogeneous Platforms - The MORPHEUS Approach. - Deutschland : Springer Verlag, 2009, S. 195 - 203
  39. Markert, Erik; Proß, Uwe; Richter, Andreas; Heinkel, Ulrich. A specification environment for MEMS, Smart Systems Integration 2009, 10. - 11. März 2009, Brüssel. - Heidelberg : AKA Verlag, 2009. - S. 484-487
  40. Roßberg, Christian; Markert, Erik; Herrmann, Göran; Heinkel, Ulrich. Simulation und Modellierung eines Gyroskopes, Treffen der ASIM/GI-Fachgruppen STS und GMMS, 5.-6. März 2009, Dresden. - Fraunhofer IRB Verlag, 2009, S. 181 - 186
  41. Markert, Erik; Proß, Uwe; Heinkel, Ulrich. SpecScribe Analog : A Specification Tool Extension for Heterogeneous Systems, Forum on Specification & Design Languages (FDL '08), Stuttgart, 23.-25. September 2008. - S. 243-244
  42. Proß, Uwe; Markert, Erik; Langer, Jan; Richter, Andreas; Drechsler, Chris; Heinkel, Ulrich. A Platform for Requirement Based Formal Specification, Forum on Specification & Design Languages (FDL '08), Stuttgart, 23.-25. September 2008. - S. 237 - 238
  43. Markert, Erik; Kühn, Sandro; Langer, Jan; Herrmann, Göran; Heinkel, Ulrich. Ein SystemC-AMS nach VHDL-AMS Konverter, 10. GI/ITG/GMM-Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“, Erlangen, 5.-7. März 2007. - Aachen : Shaker Verlag, 2007, S. 151 - 160
  44. Markert, Erik; Proß, Uwe; Herrmann, Göran; Heinkel, Ulrich. A top-down methodology for MEMS design, Smart Systems Integration 2007, Paris, France, March 27.-28, 2007. - Berlin : VDE-Verlag, 2007, S. 545 - 548
  45. Markert, Erik; Wang, Hailu; Herrmann, Göran; Heinkel, Ulrich. Kostenmodellierung mit SystemC/SystemC-AMS, Dresdner Arbeitstagung Schaltungs- und Systementwurf DASS, Dresden, 8.-9. Mai 2007. - Dresden : TUD press, 2007, S. 49 - 54
  46. Markert, Erik; Dienel, Marco; Herrmann, Göran; Heinkel, Ulrich. SystemC-AMS assisted design of an Inertial Navigation System, In: IEEE Sensors Journal - Special Issue on Intelligent Sensors, May 2007. - 7. 2007, 5, S. 770 - 770
  47. Markert, Erik; Herrmann, Göran; Heinkel, Ulrich. Hybride Automaten zum Systementwurf von Mikrosystemen, 8. Chemnitzer Fachtagung Mikrosystemtechnik Mikromechanik & Mikroelektronik, Chemnitz, 14.-15. November 2007. - Chemnitz : Technische Universität Chemnitz, 2007, S. 73 - 78
  48. Wang, Hailu; Markert, Erik; Herrmann, Göran; Heinkel, Ulrich. Ein Korrekturverfahren für die Inertialnavigation einer Gehmaschine, 8. Chemnitzer Fachtagung Mikrosystemtechnik Mikromechanik & Mikroelektronik, Chemnitz, 14.-15. November 2007. - Chemnitz : Technische Universität Chemnitz, 2007, S. 87 - 90
  49. Wolf, Peter; Markert, Erik; Herrmann, Göran; Heinkel, Ulrich. Eine generische Plattform zur Sensorsignalauswertung, 8. Chemnitzer Fachtagung Mikrosystemtechnik Mikromechanik & Mikroelektronik, Chemnitz, 14.-15. November 2007. - Chemnitz : Technische Universität Chemnitz, 2007, S. 123 - 124
  50. Erik Markert. Design of Microsystems using SystemC-AMS, Vortrag beim Workshop C/C++-Based Modelliung of Embedded Mixed-Signal Systems, June 2007, Dresden, pages 141-154, PDF, BibTeX
  51. Erik Markert, Hailu Wang, Göran Herrmann, Ulrich Heinkel. Kostenmodellierung mit SystemC/SystemC-AMS, Dresdner Arbeitstagung Schaltungs- und Systementwurf DASS, 8 to 9. May 2007, Dresden, pages 49-54, ISBN 978-3-940046-28-4, Link, BibTeX
  52. Erik Markert, S. Kühn, Jan Langer, Göran Herrmann, Ulrich Heinkel. Ein SystemC-AMS nach VHDL-AMS Konverter, 10. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 5 to 7. March 2007, Erlangen, pages 151-160, ISBN 978-3-8322-5956-3, BibTeX
  53. Erik Markert, Göran Herrmann, Ulrich Heinkel. Hybride Automaten zum Systementwurf von Mikrosystemen, 8. Chemnitzer Fachtagung Mikrosystemtechnik Mikromechanik \& Mikroelektronik, 14 to 15. November 2007, Chemnitz, pages 73-78, ISBN 978-3-00-022168-2, BibTeX
  54. Erik Markert, M. Dienel, Göran Herrmann, Ulrich Heinkel. SystemC-AMS assisted design of an Inertial Navigation System, IEEE Sensors Journal - Special Issue on Intelligent Sensors, vol. 7, no. 5, May 2007, pages 770, ISSN 1530-437X, Link, BibTeX
  55. Erik Markert, Uwe Proß, Göran Herrmann, Ulrich Heinkel. A top-down methodology for MEMS design, Smart Systems Integration 2007, 27 to 28. March 2007, Paris, France, pages 545-548, VDE Verlag Berlin, ISBN 978-3-8007-3009-4, PDF, BibTeX
  56. H. Wang, Erik Markert, Göran Herrmann, Ulrich Heinkel. Ein Korrekturverfahren für die Inertialnavigation einer Gehmaschine, 8. Chemnitzer Fachtagung Mikrosystemtechnik Mikromechanik \& Mikroelektronik, 14 to 15. November 2007, Chemnitz, pages 87-90, ISBN 978-3-00-022168-2, BibTeX
  57. Peter Wolf, Erik Markert, Göran Herrmann, Ulrich Heinkel. Eine generische Plattform zur Sensorsignalauswertung, 8. Chemnitzer Fachtagung Mikrosystemtechnik Mikromechanik \& Mikroelektronik, 14 to 15. November 2007, Chemnitz, pages 123-124, ISBN 978-3-00-022168-2, BibTeX
  58. André Froß, Erik Markert, R. Lange, Ulrich Heinkel. Entwicklung einer generischen FPGA-Implementierung Neuronaler Netze, Dresdner Arbeitstagung Schaltungs- und Systementwurf DASS'06, 10 to 11. May 2006, Dresden, pages 47-52, PDF, BibTeX
  59. Erik Markert, H. Zeun, Göran Herrmann, D. Müller, Ulrich Heinkel. SystemC-AMS-Modell eines DeltaC-U-Wandlers für ein Inertialnavigationssystem, 9. ITG/GMM-Fachtagung Analog'06 Entwicklung von Analogschaltungen mit CAE-Methoden, 27 to 29. September 2006, Dresden, pages 243-248, ISBN 3-8007-2988-1, PDF, BibTeX
  60. Erik Markert, M. Dienel, Göran Herrmann, D. Müller, Ulrich Heinkel. Modeling of a new 2D Acceleration Sensor Array using SystemC-AMS, International MEMS Conference 2006 (iMEMS 2006), published: Journal of Physics: Conference Series, vol. 34, 2006, ISSN 1742-6596 (online), ISSN 1742-6588 (print), 9 to 12. May 2006, Biopolis, Singapore, Link, BibTeX
  61. Sebastian Goller, Erik Markert, Göran Herrmann, D. Müller, Ulrich Heinkel. Implementierung von Transformations- und Integrationsalgorithmen für eine 3D-inertiale Messeinheit, 17. Internationale Wissenschaftliche Konferenz Mittweida, Teilband Robotik, 3 to 4. November 2005, Mittweida, pages 26-29, ISSN 1473-7624, BibTeX
  62. Erik Markert, M. Dienel, H. Zeun. Entwicklung eines Universellen Bewegungsanalysesystems auf Basis inertialer Messwerte, 7. Chemnitzer Fachtagung Mikrosystemtechnik - Mikromechanik \& Mikroelektronik, 26 to 27. October 2005, Chemnitz, pages 199-200, ISBN 3-00-016889-3, PDF, BibTeX
  63. Erik Markert, Göran Herrmann, D. Müller. System Model of ab Inertial Navigation System using SystemC-AMS (short paper), Forum on Specification and Design Languages (FDL) 2005, 27 to 30. September 2005, Lausanne, pages 73-76, PDF, BibTeX
  64. Erik Markert, M. Schlegel, M. Michel, Göran Herrmann, D. Müller. Untersuchung der Anwendbarkeit von SystemC-AMS bei der Beschreibung von MEMS, 5. GMM/ITG/GI-Workshop Multi-Nature-Systems: Optoelektronische, mechatronische und andere gemischte Systeme, 18. February 2005, Dresden, pages 13 ff., PDF, Link, BibTeX
  65. Erik Markert, Göran Herrmann, D. Müller, Ulrich Heinkel. High-level model of an acceleration sensor with feedback as part of an inertial navigation system, 1st International Conference on Sensing Technology (ICST2005), 21 to 23. November 2005, Palmerston North, New Zealand, pages 191-195, ISBN 0-473-10504-7, BibTeX
  66. Erik Markert, Göran Herrmann, D. Müller. SystemC-AMS-Modell eines rückgekoppelten Beschleunigungssensors als Teil eines Inertialnavigationssystems, 7. Chemnitzer Fachtagung Mikrosystemtechnik - Mikromechanik \& Mikroelektronik, 26 to 27. October 2005, Chemnitz, pages 137-142, ISBN 3-00-016889-3, PDF, BibTeX
  67. Erik Markert, M. Schlegel, M. Dienel, Göran Herrmann, D. Müller. Modeling of a new acceleration sensor as part of a 2D Sensor Array in VHDL-AMS, 2005 NSTI Nanotechnology Conference \& Trade Show, Vol.3, 8 to 12. May 2005, Anaheim CA, USA, pages 399-402, ISBN 0-9767985-4-9, Link, BibTeX
  68. Erik Markert, M. Schlegel, Göran Herrmann, D. Müller. Beschreibung von mechatronischen Systemen mit SystemC-AMS, 10. GMM-Workshop Methoden und Werkzeuge für den Entwurf von Mikrosystemen, 20 to 22. October 2004, Cottbus, pages 59 ff., ISSN 0947-1413, PDF, Link, BibTeX

Practice session
Porträt von Dipl.-Ing. Joachim Uhlig
  • E-Mail:
  • Telefon:
    +49 (0)371 531-33163
  • Anschrift:

    Joachim Uhlig

    Technische Universität Chemnitz
    Fakultät für Elektrotechnik und Informationstechnik
    Institut für Informationstechnik
    Professur Schaltkreis- und Systementwurf
    09107 Chemnitz
    Deutschland

  • Raum:
    C25.465
Sprechzeiten

By arrangement - please register via email

Seminars, Practice session, FPGA
Porträt von M.Sc. Dhruv Padam Gupta
  • E-Mail:
  • Telefon:
    +49 (0)371 531-33295
  • Anschrift:

    Dhruv Padam Gupta

    Technische Universität Chemnitz
    Fakultät für Elektrotechnik und Informationstechnik
    Institut für Informationstechnik
    Professur Schaltkreis- und Systementwurf
    09107 Chemnitz
    Deutschland

  • Raum:
    C25.437
Publikationen
  1. Gupta, Dhruv Padam; Mittag, Sebastian; Markert, Erik. A flexible FPGA-based Teaching Platform for Processor Architectures, 15. Chemnitzer Fachtagung Mikromechanik & Mikroelektronik, 09.11.22-10.11.22, Dorint Kongress Hotel Chemnitz. - Chemnitz, 2022
  2. Schott, Christian; Meinel, Katja; Mayer, Franziska; Gupta, Dhruv Padam; Mittag, Sebastian; Hahn, Susann; Weidlich, Sebastian; Bülz, Daniel; Forke, Roman; Hiller, Karla; Kuhn, Harald; Heinkel, Ulrich. MEMS-basierte Fingerprint-Architektur für Vertrauenswürdige Elektronik, 15. Chemnitzer Fachtagung Mikromechanik & Mikroelektronik, 2022 Nov 9-10, Chemnitz (Germany), 2022

Research Assistants

Formal languages, applications for data acquisition and distribution
Porträt von M.Sc. Tobias Allrich
  • E-Mail:
  • Telefon:
    +49 (0)371 531-34767
  • Anschrift:

    Tobias Allrich

    Technische Universität Chemnitz
    Fakultät für Elektrotechnik und Informationstechnik
    Institut für Informationstechnik
    Professur Schaltkreis- und Systementwurf
    09107 Chemnitz
    Deutschland

  • Raum:
    C25.463

Localization, Mapping
Porträt von Dipl.-Ing. René Apitzsch
  • E-Mail:
  • Telefon:
    +49 (0)371 531-33845
  • Anschrift:

    René Apitzsch

    Technische Universität Chemnitz
    Fakultät für Elektrotechnik und Informationstechnik
    Institut für Informationstechnik
    Professur Schaltkreis- und Systementwurf
    09107 Chemnitz
    Deutschland

  • Raum:
    C25.438
Publikationen
  1. Apitzsch, René; Thomas, Robin; Heinkel, Ulrich. Offene Daten für barrierefreie Mobilität und inklusive Reiseketten im ÖPV, FOSSGIS Anwenderkonferenz für Freie und Open Source Software für Geoinformationssysteme 2025: Münster, 26.-29. März 2025, S. 204-206. - Zenodo, 2025
  2. Franzen, Jörg; Apitzsch, René; Thomas, Robin. Verbesserung der Barrierefreiheit im Öffentlichen Verkehr durch Datenintegration von Open Street Map, In: Der Nahverkehr. - DVV Media Group GmbH. 2024, 4, S. 18 - 20
  3. Apitzsch, René; Thomas, Robin. OPENER next - Per Crowd-Sourcing zu Barrieredaten im ÖPNV, FOSSGIS Anwenderkonferenz für Freie und Open Source Software für Geoinformationssysteme 2022: Online - Marburg, 09.-12. März 2022, S. 115-118

UWB, Radar
Porträt von M.Sc. Raul Beltrán Beltrán
  • E-Mail:
  • Telefon:
    +49 (0)371 531-36537
  • Anschrift:

    Raul Beltrán Beltrán

    Technische Universität Chemnitz
    Fakultät für Elektrotechnik und Informationstechnik
    Institut für Informationstechnik
    Professur Schaltkreis- und Systementwurf
    09107 Chemnitz
    Deutschland

  • Raum:
    C25.463

Formal languages, formal specification, IC test
Porträt von M.Sc. Davis John Chellappa
  • E-Mail:
  • Telefon:
    +49 (0)371 531-32521
  • Anschrift:

    Davis John Chellappa

    Technische Universität Chemnitz
    Fakultät für Elektrotechnik und Informationstechnik
    Institut für Informationstechnik
    Professur Schaltkreis- und Systementwurf
    09107 Chemnitz
    Deutschland

  • Raum:
    C25.463
Publikationen
  1. Mayer, Franziska; Schott, Christian; Chellappa, Davis John; Markert, Erik; Heinkel, Ulrich. Erfassung und Austausch prozessspezifischer Anforderungen entlang der Wertschöpfungskette, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen MBMV 2025, 11. – 12.03.2025, Rostock, S. 98-104

IC test, model-based methods
Porträt von M.Sc. Sanaz Ghazavi
  • E-Mail:
  • Telefon:
    +49 (0)371 531-35321
  • Anschrift:

    Sanaz Ghazavi

    Technische Universität Chemnitz
    Fakultät für Elektrotechnik und Informationstechnik
    Institut für Informationstechnik
    Professur Schaltkreis- und Systementwurf
    09107 Chemnitz
    Deutschland

  • Raum:
    C25.463
Publikationen
  1. Ghazavi, Sanaz; Abdulrazzaq, Ali Kareem; Mayer, Franziska; Schott, Christian; Markert, Erik; Heinkel, Ulrich. Towards Model-Driven Circuit Test Development: SysMLv2-Based Test Modeling and Assisted Workflow, Smart Systems Integration Conference and Exhibition (SSI), 08.-10.04.2025, Prague, Czech Republic, 1-7. - IEEE, 2025

Indoor navigation and positioning
Porträt von M.Sc. Janik Kaden
  • E-Mail:
  • Telefon:
    +49 (0)371 531-34097
  • Anschrift:

    Janik Kaden

    Technische Universität Chemnitz
    Fakultät für Elektrotechnik und Informationstechnik
    Institut für Informationstechnik
    Professur Schaltkreis- und Systementwurf
    09107 Chemnitz
    Deutschland

  • Raum:
    C25.438
Publikationen
  1. Kaden, Janik; Hilger, Maximilian; Schreiter, Tim; Schaab, Marius; Graichen, Thomas; Rudenko, Andrey; Heinkel, Ulrich; Lilienthal, Achim J.. Collecting Human Motion Data in Large and Occlusion-Prone Environments using Ultra-Wideband Localization, In: 7th Workshop on Long-term Human Motion Prediction (LHMP) at International Conference on Robotics and Automation (ICRA) 2025. - arXiv. 2025
  2. Kaden, Janik; Markert, Erik; Heinkel, Ulrich. Performance Investigation for IEEE 802.15.4z-compliant SiP-assisted Ranging, 2024 IEEE 37th International System-on-Chip Conference (SOCC), 09-2024, Dresden, Seiten 1-6. - IEEE, 2024

Formal specification, circuit test
Porträt von M.Sc. Franziska Mayer
  • E-Mail:
  • Telefon:
    +49 (0)371 531-33348
  • Anschrift:

    Franziska Mayer

    Technische Universität Chemnitz
    Fakultät für Elektrotechnik und Informationstechnik
    Institut für Informationstechnik
    Professur Schaltkreis- und Systementwurf
    09107 Chemnitz
    Deutschland

  • Raum:
    C25.436
Publikationen
  1. Mayer, Franziska; Schott, Christian; Chellappa, Davis John; Markert, Erik; Heinkel, Ulrich. Erfassung und Austausch prozessspezifischer Anforderungen entlang der Wertschöpfungskette, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen MBMV 2025, 11. – 12.03.2025, Rostock, S. 98-104
  2. Ghazavi, Sanaz; Abdulrazzaq, Ali Kareem; Mayer, Franziska; Schott, Christian; Markert, Erik; Heinkel, Ulrich. Towards Model-Driven Circuit Test Development: SysMLv2-Based Test Modeling and Assisted Workflow, Smart Systems Integration Conference and Exhibition (SSI), 08.-10.04.2025, Prague, Czech Republic, 1-7. - IEEE, 2025
  3. Mayer, Franziska; Schott, Christian; Markert, Erik; Heinkel, Ulrich. Automatisierte Ausführungsemulation von Testprogrammen für Sensorsysteme, 36. ITG/ GMM/GI-Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ 2024), 25.02. - 27.02.2024, Darmstadt, Tagungsband S. 61 - 63
  4. Meinel, Katja; Schott, Christian; Mayer, Franziska; Gupta, Dhruv; Mittag, Sebastian; Hahn, Susann; Weidlich, Sebastian; Bülz, Daniel; Forke, Roman; Hiller, Karla; Heinkel, Ulrich; Kuhn, Harald. MEMS-Based Fingerprinting Architecture for Trustworthy Electronics, 2023 Smart Systems Integration Conference and Exhibition (SSI), 2023 March 28-30, Brugge (Belgium). - IEEE Xplore, 2023
  5. Schott, Christian; Meinel, Katja; Mayer, Franziska; Gupta, Dhruv Padam; Mittag, Sebastian; Hahn, Susann; Weidlich, Sebastian; Bülz, Daniel; Forke, Roman; Hiller, Karla; Kuhn, Harald; Heinkel, Ulrich. MEMS-basierte Fingerprint-Architektur für Vertrauenswürdige Elektronik, 15. Chemnitzer Fachtagung Mikromechanik & Mikroelektronik, 2022 Nov 9-10, Chemnitz (Germany), 2022
  6. Yazdani, Saeid; Wolz, Werner; Schott, Christian; Mayer, Franziska; Billich, Enrico; Heinkel, Ulrich. An Approach to Verification of ATE Power Supplyand Signal Integrity using Virtual-DUT, 34. Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, 27 February - 01 March 2022, Bremerhaven, P.P. 69-70. - Berlin, Offenbach : VDE VERLAG GMBH, 2022
  7. Schott, Christian; Mayer, Franziska; Billich, Enrico; Yazdani, Saeid; Sauppe, Matthias; Wolz, Werner; Heinkel, Ulrich. Closed-Loop Approach on Formal Specification for Semiconductor Test, MikroSystemTechnik Congress 2021, 8.-10. Nov. 2021, Stuttgart-Ludwigsburg, Germany
  8. Mayer, Franziska; Schott, Christian; Billich, Enrico; Yazdani, Saeid; Heinkel, Ulrich; Daler, Georg; Ruf, Bernhard; Pannuzzo, Ricardo; Dickenscheid, Wolfgang. Automatic Verification of Mixed-Signal ATE Test Programs using Device Variation, 2021 IEEE International Test Conference (ITC), 10-15 Okt. 2021, Anaheim, CA, USA, S. 374-379. - IEEE, 2021

Discrete Design, Teaching
Porträt von M.Sc. Sebastian Mittag
  • E-Mail:
  • Telefon:
    +49 (0)371 531-37080
  • Anschrift:

    Sebastian Mittag

    Technische Universität Chemnitz
    Fakultät für Elektrotechnik und Informationstechnik
    Institut für Informationstechnik
    Professur Schaltkreis- und Systementwurf
    09107 Chemnitz
    Deutschland

  • Raum:
    C25.437
Publikationen
  1. Meinel, Katja; Schott, Christian; Mayer, Franziska; Gupta, Dhruv; Mittag, Sebastian; Hahn, Susann; Weidlich, Sebastian; Bülz, Daniel; Forke, Roman; Hiller, Karla; Heinkel, Ulrich; Kuhn, Harald. MEMS-Based Fingerprinting Architecture for Trustworthy Electronics, 2023 Smart Systems Integration Conference and Exhibition (SSI), 2023 March 28-30, Brugge (Belgium). - IEEE Xplore, 2023
  2. Gupta, Dhruv Padam; Mittag, Sebastian; Markert, Erik. A flexible FPGA-based Teaching Platform for Processor Architectures, 15. Chemnitzer Fachtagung Mikromechanik & Mikroelektronik, 09.11.22-10.11.22, Dorint Kongress Hotel Chemnitz. - Chemnitz, 2022
  3. Schott, Christian; Meinel, Katja; Mayer, Franziska; Gupta, Dhruv Padam; Mittag, Sebastian; Hahn, Susann; Weidlich, Sebastian; Bülz, Daniel; Forke, Roman; Hiller, Karla; Kuhn, Harald; Heinkel, Ulrich. MEMS-basierte Fingerprint-Architektur für Vertrauenswürdige Elektronik, 15. Chemnitzer Fachtagung Mikromechanik & Mikroelektronik, 2022 Nov 9-10, Chemnitz (Germany), 2022

Wireless humidity detection
Porträt von M.Sc. Sridhar Nagarajan
  • E-Mail:
  • Telefon:
    +49 (0)371 531-39054
  • Anschrift:

    Sridhar Nagarajan

    Technische Universität Chemnitz
    Fakultät für Elektrotechnik und Informationstechnik
    Institut für Informationstechnik
    Professur Schaltkreis- und Systementwurf
    09107 Chemnitz
    Deutschland

HW/SW Codesign, High-Level Synthesis
Porträt von Dr.-Ing. Marko Rößler
  • E-Mail:
  • Telefon:
    +49 (0)371 531-33590
  • Anschrift:

    Marko Rößler

    Technische Universität Chemnitz
    Fakultät für Elektrotechnik und Informationstechnik
    Institut für Informationstechnik
    Professur Schaltkreis- und Systementwurf
    09107 Chemnitz
    Deutschland

  • Raum:
    C25.431
  • Homepage:
    Link
Publikationen
  1. Schott, Christian; Rößler, Marko; Froß, Daniel; Putsche, Marcel; Heinkel, Ulrich. PAFUSI: Particle Filter Fusion ASIC for Indoor Positioning, Design, Automation and Test in Europe Conference (DATE), 21.04.-30.06.2020, virtual conference/Grenoble, 2020
  2. Schott, Christian; Padmanabha, Murali; Rößler, Marko; Froß, Daniel; Heinkel, Ulrich. Position estimation with Bayesian filters by using 3-dimensional environment models, IEEE 14th Workshop on Positioning, Navigating and Communications (WPNC), 25.-26.10.2017, Bremen, 2017
  3. Schott, Christian; Padmanabha, Murali; Rößler, Marko; Heinkel, Ulrich. FLEXPORT: Flexible Platform for Object Recognition & Tracking to enhance Indoor Localization and Mapping, Design, Automation & Test in Europe Conference & Exhibition (DATE) 2017, 27.-31.3.2017, Lausanne, Switzerland, x|viii. - Research Publishing Services, 2017
  4. Schott, Christian; Froß, Daniel; Rößler, Marko; Heinkel, Ulrich. Hardwaregestütze Positionsschätzung mit Bayes’schen Filtern auf Basis 3- dimensionaler Umgebungsmodelle für den Innenbereich, Informatik 2017, 47. Jahrestagung der Gesellsschaft für Informatik e.V. (GI); 25. - 29.9.2017, Chemnitz, S. 503 - 514. - Bonn : Köllen Druck+Verlag GmbH, 2017
  5. Padmanabha, Murali; Schott, Christian; Rößler, Marko; Kriesten, Daniel; Heinkel, Ulrich. ZYNQ flexible platform for object recognition & tracking, 13th Workshop on Positioning, Navigation and Communications (WPNC), 19. bis 20. Oktober 2016, Bremen
  6. Schott, Christian; Rößler, Marko; Heinkel, Ulrich. Entwicklungen bei Assertion basierter Verifikation in der High-Level-Synthese, DASS 2016, 10. und 11. Mai 2016, Cottbus, S.85-88. - Fraunhofer Verlag, 2016
  7. Rößler, Marko; Heinkel, Ulrich; Froß, Daniel; Al-Assaad, Ahmad. 6CH-SDR-Plattform: 6 channel prototyping platform for vehicle self-localization, DATE 16 - Design, Automation and Test in Europe, 14.-18. März 2016, Dresden
  8. Wegner, Marten; Froß, Daniel; Rößler, Marko; Drechsler, Chris; Pätz, Christian; Heinkel, Ulrich. Relative localisation of passive UHF-tags by phase tracking, 13th International Multi-Conference on Systems, Signals & Devices, Leipzig, 21.-24.03.2016, S. 503 - 506
  9. Heinkel, Ulrich; Kriesten, Daniel; Rößler, Marko. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : MBMV 2015 - Tagungsband, Chemnitz, 03. - 04. März 2015, Chemnitz : online, 2015. - 182 S.
  10. Schott, Christian; Rößler, Marko; Heinkel, Ulrich. Verfahren zur Assertion basierten Verifikation bei der High-Level-Synthese, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2015, 3. bis 4. März 2015, Chemnitz, S. 5-13
  11. Wegener, Marten; Froß, Daniel; Rößler, Marko; Pätz, Christian; Heinkel, Ulrich. Localization of UHF-tags through phase tracking and parameter estimation, RFID IEEE 2015, 15.-17.04.2015, San Diego, USA, 2015, S. 114-115
  12. Billich, Enrico; Rößler, Marko; Heinkel, Ulrich. Explorative mehrdimensionale Prozessdatenanalyse einer hochindustrialisierten Fertigungslinie für automotiv Sensoren, 12. Chemnitzer Fachtagung Mikrosystemtechnik MST 2014, 21.-22. Oktober 2014, Chemnitz. - Chemnitz : Fraunhofer Verlag, 2014
  13. Wegener, Marten; Froß, Daniel; Rößler, Marko; Heinkel, Ulrich; Adler, Matthias. Localisation of Objects using Passive RFID Technology, SSD 11th International Multiconference on Systems, Signals & Devices, 10. - 14. Febr. 2014, Barcelona. - IEEE, 2014
  14. Rößler, Marko; Langer, Jan; Heinkel, Ulrich. Finding an Optimal Set of Break point Locations in a Control Flow Graph, In: Transactions on Systems, Signals & Devices. - Vol. 9. 2014, Nr. 3, S. 1 - 17
  15. Rößler, Marko. Dynamische Anwendungspartitionierung für heterogene adaptive Computersysteme, Chemnitz : Universitätsverlag der Technischen Universität Chemnitz, 2014. - 208 S.
  16. Wegener, Marten; Froß, Daniel; Rößler, Marko; Heinkel, Ulrich. Einsatz industrieller RFID-Reader zur Lokalisierung von Objekten, Dresdner Arbeitstagung Schaltungs- und Systementwurf DASS, 29. bis 30. April 2014, Dresden, pp 98 - 102. - Fraunhofer Verlag, 2014
  17. Rößler, Marko; Langer, Jan; Heinkel, Ulrich. Synchronisation von Schleifenkörpern zur dynamischen Ablaufplanung, Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen ; 16 <2013, Rostock>, 12. - 14. März 2013, Warnemünde, 2013. S. 219 - 228
  18. Heymann, Sandra; Rößler, Marko; Pätz, Christian; Heinkel, Ulrich; Maichen, Wolfgang; Kuhn, Harald. Zuverlässigkeit von Relais bei der Qualifizierung von Halbleiterbauelementen, 7. ITG/GI/GMM-Fachtagung, 24. - 26. September 2013, Dresden. - VDE, 2013
  19. Pätz, Christian; Froß, Daniel; Rößler, Marko; Kriesten, Daniel; Heinkel, Ulrich. Reliability Evaluation of Heterogenous Systems, Design, Automation and Test in Europe (DATE), 18. - 22- März 2013, Grenoble, 2013
  20. Froß, Daniel; Rößler, Marko; Pätz, Christian; Heinkel, Ulrich. PDU Test Lab - Reliability Evaluation of Power Distribution Units, International Conference of Power Engineering, Energy and Electrical Drives (POWERENG), Istanbul, 13. - 17. Mai 2013. - S. 1312 - 1315
  21. Rößler, Marko; Heinkel, Ulrich; Langer, Jan. Efficient Preemption of Loops for dynamic HW/SW partitioning on Configurable Systems on Chip, Electronic System Level Synthesis Conference ElSyn 2013, 31.05. - 01.06.2013, Austin Texas. - IEEE, 2013
  22. Langer, Jan; Rößler, Marko; Heinkel, Ulrich. Finding an Optimal Set of Breakpoint Locations in a Control Flow Graph, IEEE Multi-Conference on Systems, Signals and Devices 2012, Conference on Communication and Signal Processing, 20.-23. März 2012, Chemnitz, 2012
  23. Langer, Jan; Froß, Daniel; Billich, Enrico; Rößler, Marko; Heinkel, Ulrich. Multi-Level Synthesis on the Example of a Particle Filter : 2011 VII Designer Forum (DF), Proceedings of the 2011 VII Designer Forum, Córdoba, Argentina April 13 – 15, 2011, S. 13
  24. Froß, Daniel; Langer, Jan; Froß, André; Rößler, Marko; Heinkel, Ulrich. Hardware Implementation of a Particle Filter for Location Estimation, IPIN 2010 International Conference on Indoor Positioning and Indoor Navigation, 15. - 17.9.2010, Zurich, Switzerland, pp 1-6. - ieeeexplore, 2010
  25. Billich, Enrico; Rößler, Marko; Heinkel, Ulrich. Effiziente Auslastung der heterogenen Ressourcen eines Systems durch domainübergreifendes Multithreading, 13. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 23.2.2010, Dresden, pp. 127-136. - Fraunhofer Verlag, 2010
  26. Rößler, Marko. Parallel Hardware- and Software Threads in a Dynamically Reconfigurable System on a Programmable Chip, Design, Automation and Test in Europe (DATE), Apr 20 - Apr 24, Nice, France, 2009
  27. Wang, Hailu; Rößler, Marko; Engin, Nur; Drescher, Wolfram; Heinkel, Ulrich. Rapid Prototyping of a DVB-SH turbo decoder using High-Level-Synthesis, Specification & Design Languages, 2009. FDL 2009, 22.9. - 24.9.2009, Sophia Antipolis, France, pp. 1 - 6. - IEEE Xplore, 2009
  28. Froß, Daniel; Froß, André; Roßberg, Christian; Rößler, Marko; Heinkel, Ulrich. IEEE 802.15.4a basiertes Sensor- und Lokalisierungsnetz, 9. Chemnitzer Fachtagung Mikromechanik & Mikroelektronik, 5. - 6. Nov. 2009, Chemnitz, S. 131 - 135. - Chemnitz : Technische Universität Chemnitz, 2009
  29. Rößler, Marko; Billich, Enrico; Heinkel, Ulrich. Hybride Architekturen und Rekonfigurationsmechanismen für paralleles Hard- und Software-Threading, 9. Chemnitzer Fachtagung Mikromechanik & Mikroelektronik MST, 5.-6. Nov. 2009, Chemnitz, S. 124 - 127. - Chemnitz : Technische Universität Chemnitz, 2009
  30. Billich, Enrico; Rößler, Marko; Heinkel, Ulrich. HW/SW-übergreifendes Multithreading auf einem Configurable System on Chip mit dem High-Level C-Synthese Werkzeug "CoDeveloper", 9. Chemnitzer Fachtagung Mikromechanik & Mikroelektronik, 5.-6. Nov. 2009, S. 39 - 44. - Chemnitz : Technische Universität Chemnitz, 2009
  31. Rößler, Marko; Heinkel, Ulrich. Preemptive HW/SW-Threading by combining ESL methodology and coarse grained reconfiguration, ReCoSoC '08: Proceedings of the International Conference on Reconfigurable Communication-centric SoCs
  32. Froß, Daniel; Langer, Jan; Rößler, Marko; Heinkel, Ulrich. Tracking of Mobile Nodes in Sensor Networks, Novel Algorithms and Techniques In Telecommunications, Automation and Industrial Electronics. - Netherlands : Springer Netherlands, 2008, S. 438 - 443
  33. Billich, Enrico; Rößler, Marko; Heinkel, Ulrich. Optimale HW/SW-Partitionierung einer MPEG-Codierung mit dem High-Level ESL-Werkzeug CoDeveloper, Dresdner Arbeitstagung Schaltkreis- und Systementwurf DASS, Dresden, 15.-16. Mai 2008. - Dresden : Fraunhofer Institut für integrierte Schaltungen, 2008, S. 79 - 84
  34. Rößler, Marko; Froß, André; Heinkel, Ulrich. Car2Roadside Kommunikation auf Basis von 802.15.4a, Wireless-Technologies-Kongress 2007: von der Technologie zur Anwendung, Tagungsband : wireless technologies, 9. Kongress, 18. - 19. September 2007, Stuttgart . - Berlin : Aka, 2007, S. 247 - 255
  35. Froß, Daniel; Rößler, Marko; Heinkel, Ulrich. Entwurf eines Systems zur Positonsbestimmung auf Basis von Entfernungsmessungen zu Referenzpunkten, Dresdner Arbeitstagung Schaltungs- und Systementwurf (DASS'07), Dresden, 8.-9. Mai 2007, Tagungsband. - Dresden : TUDpress, Verl. der Wissenschaften, 2007, S. 5 - 10
  36. Daniel Froß, Marko Rößler, Ulrich Heinkel. Entwurf eines Systems zur Positonsbestimmung auf Basis von Entfernungsmessungen zu Referenzpunkten, Dresdner Arbeitstagung Schaltungs- und Systementwurf DASS, 8 to 9. May 2007, Dresden, pages 5-10, ISBN 978-3-940046-28-4, Link, BibTeX
  37. Daniel Froß, Jan Langer, Marko Rößler, Ulrich Heinkel. Tracking of mobile nodes in sensor networks, Konferenz: International Conference on Telecommunications and Networking (TeNe07), E-Conference, 3 to 12. December 2007, Bridgeport, USA, BibTeX
  38. Marko Rößler, André Froß, Ulrich Heinkel. Car2Roadside Kommunikation auf Basis von 802.15.4a, Wireless Technology Kongress 2007, 18 to 19. September 2007, Stuttgart, pages 247-255, ISBN 978-3-89838-084-3, BibTeX
  39. Daniel Kriesten, Marko Rößler, Benjamin Berger, André Froß, Daniel Froß, Sebastian Goller, Thilo Leibelt, Ulrich Heinkel. Generalised Platform for Sensor Data Processing, ASK-IT: Mobility for All - The Use of Ambient Intelligence in Addressing the Mobility Needs of People with Impairments, 26 to 27. October 2006, Nice, BibTeX
  40. Daniel Kriesten, Marko Rößler, Benjamin Berger, André Froß, Daniel Froß, Sebastian Goller, Thilo Leibelt, Jan Langer, Ulrich Heinkel. Generalisierte Plattform zur Sensordatenverarbeitung, Dresdner Arbeitstagung Schaltungs- und Systementwurf DASS'06, 10 to 11. May 2006, Dresden, pages 79-84, BibTeX
  41. D. Müller, Daniel Kriesten, Marko Rößler, Ulrich Heinkel. Generalisierte Plattform zur Sensordatenverarbeitung (GPS), Technologietag Mitteldeutschland: Automobiltechnik im Kompetenzdreieck Berlin/Brandenburg, Sachsen, Thüringen, 8. November 2006, Dresden, BibTeX
  42. Marko Rößler, Ulrich Heinkel. Konzept für die dynamische Verteilung von Prozessen auf Hardware/Software-Systemen, Dresdner Arbeitstagung Schaltungs- und Systementwurf DASS'06, 10 to 11. May 2006, Dresden, pages 97-101, PDF, BibTeX
  43. Marko Rößler, C. Kretzschmar, D. Müller. Kodierverfahren zur Optimierung der Schaltaktivität auf Systembussen im Deep-Submicron-Bereich, Dresdner Arbeitstagung Schaltungs- und Systementwurf DASS'05, 13 to 14. April 2005, Dresden, pages 109-114, BibTeX
  44. Marko Rößler, C. Kretzschmar, D. Müller. Low Power Buskodierverfahren für Verlustleistungsreduktion in DSM-Technologien, INFORMATIK 2005 - Informatik LIVE! Band 1, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), LNI 67 GI 2005, 19 to 22. September 2005, Bonn, Eds.: A.B. Cremers and R. Manthey and P. Martini and V. Steinhage, ISBN 3-88579-396-2, BibTeX

Formale Methods, Verification
Porträt von Dipl.-Inf. Matthias Sauppe
  • E-Mail:
  • Telefon:
    +49 (0)371 531-39791
  • Anschrift:

    Matthias Sauppe

    Technische Universität Chemnitz
    Fakultät für Elektrotechnik und Informationstechnik
    Institut für Informationstechnik
    Professur Schaltkreis- und Systementwurf
    09107 Chemnitz
    Deutschland

  • Raum:
    C25.430
Sprechzeiten

By arrangement - please register via email

Publikationen
  1. Sauppe, Matthias; Manns, Daniel; Heinkel, Ulrich. Towards Semantic Abstraction of Test Programs, 28. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2025, 11.-12.03.2025, Rostock, S. 13-19. - Berlin : VDE VERLAG GMBH, 2025. - 28. Workshop
  2. Schott, Christian; Mayer, Franziska; Billich, Enrico; Yazdani, Saeid; Sauppe, Matthias; Wolz, Werner; Heinkel, Ulrich. Closed-Loop Approach on Formal Specification for Semiconductor Test, MikroSystemTechnik Congress 2021, 8.-10. Nov. 2021, Stuttgart-Ludwigsburg, Germany
  3. Freitag, Markus; Sauppe, Matthias; Auerswald, Christian; Kriebel, David; Schmidt, Henry; Voigt, Sebastian; Arnold, Benjamin; Markert, Erik; Hahn, Susann; Hiller, Karla; Heinkel, Ulrich; Mehner, Jan. Design, Modeling, Fabrication, and Verification of New Multifunctional MEMS/NEMS Components, In: physica status solidi (a). - Wiley Online Library, WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim. - 216. 2019, 19, S. 1800831
  4. Muhammad Haque Khan, Matthias Sauppe, Göran Herrmann. Requirement Driven Synthesis of UVM Testbench Components (Poster), Proceedings of the 54th Annual Design Automation Conference 2017 (DAC), 18 to 22. June 2017, Austin, TX, USA, ISBN 978-1-4503-4927-7, BibTeX
  5. Sauppe, Matthias; Markert, Erik; Heinkel, Ulrich. Online Verification of AMS Properties, ANALOG 2016, 15. ITG/GMM-Symposium, 12.-14. September 2016, Bremen, S. 87 - 92. - 1 CD-ROM. - ITG-Fachbericht ; 266
  6. Drechsler, Chris; Sauppe, Matthias; Pätz, Christian; Heinkel, Ulrich. Teamorientiertes Anforderungsmanagement mit SpecScribe, 13. Chemnitzer Fachtagung Mikrosystemtechnik, 25./26.10.2016, S. 26 - 33
  7. Drechsler, Chris; Sauppe, Matthias; Pätz, Christian; Heinkel, Ulrich. SpecScribe - ein pragmatisch einsetzbares Werkzeug zum Anforderungsmanagement, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2015, 3. bis 4. März 2015, Chemnitz, S. 41-49
  8. Yang, Lei; Sauppe, Matthias; Markert, Erik; Heinkel, Ulrich; Otto, Klaus-Holger. Testbench Translation Tool from Matlab to VHDL, Chemnitzer Fachtagung Mikromechanik & Mikroelektronik <12, 2014, Chemnitz>, SectionNr. S4.2 S. 64 - 69
  9. Sauppe, Matthias; Horn, Thomas; Markert, Erik; Heinkel, Ulrich; Otto, Klaus-Holger. Automated Implementation of Operand Isolation on Netlists, 2014 Electronic System Level Synthesis Conference (ESLsyn), May 31 - June 1, 2014, San Francisco, USA
  10. Sauppe, Matthias; Horn, Thomas; Markert, Erik; Heinkel, Ulrich; Sahm, Hans-Werner; Otto, Klaus-Holger. Optimal Component Selection for Energy-Efficient Systems, Languages, Design Methods, and Tools for Electronic System Design - Selected contributions from FDL 2013. - Heidelberg, New York, Dordrecht, London : Springer-Verlag, 2014, p. 3-20
  11. Matthias Sauppe, Thomas Horn, Erik Markert, Ulrich Heinkel, Hans-Werner Sahm, Klaus-Holger Otto. Optimal Component Selection for Energy-Efficient Systems, Languages, Design Methods, and Tools for Electronic System Design - Selected contributions from FDL 2013, 2014, Eds.: Marie-Minerve Louërat and Torsten Maehne, Springer Verlag, ISBN 978-3-319-06316-4, BibTeX
  12. Sahm, Hans; Sauppe, Matthias; Markert, Erik; Horn, Thomas; Heinkel, Ulrich; Otto, Klaus-Holger. Optimized ASIC/FPGA Design Flow for Energy Efficient Network Nodes, In: Bell Labs Technical Journal. - Volume 18. 2013, Issue 3, S. 195 - 209
  13. Sahm, Hans; Sauppe, Matthias; Markert, Erik; Horn, Thomas; Heinkel, Ulrich; Otto, Klaus-Holger. Optimized ASIC/FPGA Design Flow for Energy Efficient Network Nodes, In: Bell Labs Technical Journal . - Vol. 18 , 2013 , Issue 3 , S. 195 - 209
  14. Markert, Erik; Shende, Milind; Sauppe, Matthias; Horn, Thomas; Quinger, Sven; Heinkel, Ulrich. A Specification tool for Nanosystems, Smart Systems Integration, 13. - 14. März 2013, Amsternam, 2013
  15. Horn, Thomas; Sauppe, Matthias; Markert, Erik; Heinkel, Ulrich; Rössel, Wolfgang; Sahm, Hans. Einsatz formaler Methoden zur Energieeinsparung, MBMV, 12. - 14. März 2013, Warnemünde, 2013
  16. Sauppe, Matthias; Horn, Thomas; Markert, Erik; Heinkel, Ulrich; Sahm, Hans-Werner; Otto, Klaus-Holger. Optimal Component Selection for Energy-Efficient System, Forum on Specification & Design Languages FDL, 24-26 Sept. 2013, Paris. - S. 14 - 21. - IEEE Xplore Compliant Files
  17. Sauppe, Matthias; Horn, Thomas; Markert, Erik; Heinkel, Ulrich; Lorenz, Daniel; Grüttner, Kim; Sahm, Hans-Werner; Otto, Klaus-Holger. A Database for the Integration of Power Data on System Level, EuroCon 2013, 01. - 04.07.2013, Zagreb Kroatien. - IEEE, 2013
  18. Sauppe, Matthias; Markert, Erik; Horn, Thomas; Heinkel, Ulrich; Sahm, Hans-Werner; Otto, Klaus-Holger. Ganzheitliche Entwurfsmethodik für energiesparende Systeme, 11. Chemnitzer Fachtagung Mikrosystemtechnik, 23. bis 24, Okt. 2012, S. 85 - 87

FPGAs, machine learning
Porträt von M.Sc. Christian Schott
  • E-Mail:
  • Telefon:
    +49 (0)371 531-35989
  • Anschrift:

    Christian Schott

    Technische Universität Chemnitz
    Fakultät für Elektrotechnik und Informationstechnik
    Institut für Informationstechnik
    Professur Schaltkreis- und Systementwurf
    09107 Chemnitz
    Deutschland

  • Raum:
    C25.436
Publikationen
  1. Mayer, Franziska; Schott, Christian; Chellappa, Davis John; Markert, Erik; Heinkel, Ulrich. Erfassung und Austausch prozessspezifischer Anforderungen entlang der Wertschöpfungskette, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen MBMV 2025, 11. – 12.03.2025, Rostock, S. 98-104
  2. Ghazavi, Sanaz; Abdulrazzaq, Ali Kareem; Mayer, Franziska; Schott, Christian; Markert, Erik; Heinkel, Ulrich. Towards Model-Driven Circuit Test Development: SysMLv2-Based Test Modeling and Assisted Workflow, Smart Systems Integration Conference and Exhibition (SSI), 08.-10.04.2025, Prague, Czech Republic, 1-7. - IEEE, 2025
  3. Zuchna, Anna; Alnaser, Yousef; Schott, Christian; Winkler, Georg; Langer, Jan; Markert, Erik; Heinkel, Ulrich. Towards Fast Gaussian Process Regression Models: An FPGA-based Implementation of the RBF Kernel Matrix Computation, 2025 Smart Systems Integration Conference and Exhibition (SSI), 8-10 April 2025, Prague, Czech Republic. - IEEE, 2025
  4. Mayer, Franziska; Schott, Christian; Markert, Erik; Heinkel, Ulrich. Automatisierte Ausführungsemulation von Testprogrammen für Sensorsysteme, 36. ITG/ GMM/GI-Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ 2024), 25.02. - 27.02.2024, Darmstadt, Tagungsband S. 61 - 63
  5. Meinel, Katja; Schott, Christian; Mayer, Franziska; Gupta, Dhruv; Mittag, Sebastian; Hahn, Susann; Weidlich, Sebastian; Bülz, Daniel; Forke, Roman; Hiller, Karla; Heinkel, Ulrich; Kuhn, Harald. MEMS-Based Fingerprinting Architecture for Trustworthy Electronics, 2023 Smart Systems Integration Conference and Exhibition (SSI), 2023 March 28-30, Brugge (Belgium). - IEEE Xplore, 2023
  6. Schott, Christian; Meinel, Katja; Mayer, Franziska; Gupta, Dhruv Padam; Mittag, Sebastian; Hahn, Susann; Weidlich, Sebastian; Bülz, Daniel; Forke, Roman; Hiller, Karla; Kuhn, Harald; Heinkel, Ulrich. MEMS-basierte Fingerprint-Architektur für Vertrauenswürdige Elektronik, 15. Chemnitzer Fachtagung Mikromechanik & Mikroelektronik, 2022 Nov 9-10, Chemnitz (Germany), 2022
  7. Yazdani, Saeid; Wolz, Werner; Schott, Christian; Mayer, Franziska; Billich, Enrico; Heinkel, Ulrich. An Approach to Verification of ATE Power Supplyand Signal Integrity using Virtual-DUT, 34. Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, 27 February - 01 March 2022, Bremerhaven, P.P. 69-70. - Berlin, Offenbach : VDE VERLAG GMBH, 2022
  8. Schott, Christian; Mayer, Franziska; Billich, Enrico; Yazdani, Saeid; Sauppe, Matthias; Wolz, Werner; Heinkel, Ulrich. Closed-Loop Approach on Formal Specification for Semiconductor Test, MikroSystemTechnik Congress 2021, 8.-10. Nov. 2021, Stuttgart-Ludwigsburg, Germany
  9. Mayer, Franziska; Schott, Christian; Billich, Enrico; Yazdani, Saeid; Heinkel, Ulrich; Daler, Georg; Ruf, Bernhard; Pannuzzo, Ricardo; Dickenscheid, Wolfgang. Automatic Verification of Mixed-Signal ATE Test Programs using Device Variation, 2021 IEEE International Test Conference (ITC), 10-15 Okt. 2021, Anaheim, CA, USA, S. 374-379. - IEEE, 2021
  10. Yazdani, Saeid; Wolz, Werner; Engelhardt, Rainer; Schott, Christian; Heinkel, Ulrich; Kriesten, Daniel. An Approach to Online Wear Out Monitoring of PCB Interconnects in Safety-Critical Systems, SMACD / PRIME 2021, 19 - 22 July 2021, Online Event, p. 284 - 287. - Berlin, Offenbach : VDE VERLAG GMBH, 2021
  11. Schott, Christian; Rößler, Marko; Froß, Daniel; Putsche, Marcel; Heinkel, Ulrich. PAFUSI: Particle Filter Fusion ASIC for Indoor Positioning, Design, Automation and Test in Europe Conference (DATE), 21.04.-30.06.2020, virtual conference/Grenoble, 2020
  12. Schott, Christian; Padmanabha, Murali; Rößler, Marko; Froß, Daniel; Heinkel, Ulrich. Position estimation with Bayesian filters by using 3-dimensional environment models, IEEE 14th Workshop on Positioning, Navigating and Communications (WPNC), 25.-26.10.2017, Bremen, 2017
  13. Schott, Christian; Padmanabha, Murali; Rößler, Marko; Heinkel, Ulrich. FLEXPORT: Flexible Platform for Object Recognition & Tracking to enhance Indoor Localization and Mapping, Design, Automation & Test in Europe Conference & Exhibition (DATE) 2017, 27.-31.3.2017, Lausanne, Switzerland, x|viii. - Research Publishing Services, 2017
  14. Schott, Christian; Froß, Daniel; Rößler, Marko; Heinkel, Ulrich. Hardwaregestütze Positionsschätzung mit Bayes’schen Filtern auf Basis 3- dimensionaler Umgebungsmodelle für den Innenbereich, Informatik 2017, 47. Jahrestagung der Gesellsschaft für Informatik e.V. (GI); 25. - 29.9.2017, Chemnitz, S. 503 - 514. - Bonn : Köllen Druck+Verlag GmbH, 2017
  15. Padmanabha, Murali; Schott, Christian; Rößler, Marko; Kriesten, Daniel; Heinkel, Ulrich. ZYNQ flexible platform for object recognition & tracking, 13th Workshop on Positioning, Navigation and Communications (WPNC), 19. bis 20. Oktober 2016, Bremen
  16. Schott, Christian; Rößler, Marko; Heinkel, Ulrich. Entwicklungen bei Assertion basierter Verifikation in der High-Level-Synthese, DASS 2016, 10. und 11. Mai 2016, Cottbus, S.85-88. - Fraunhofer Verlag, 2016
  17. Schott, Christian; Rößler, Marko; Heinkel, Ulrich. Verfahren zur Assertion basierten Verifikation bei der High-Level-Synthese, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2015, 3. bis 4. März 2015, Chemnitz, S. 5-13

OpenStreetMap, Rendering, GIS Application Development
Porträt von M.Sc. Robin Thomas
  • E-Mail:
  • Telefon:
    +49 (0)371 531-36600
  • Anschrift:

    Robin Thomas

    Technische Universität Chemnitz
    Fakultät für Elektrotechnik und Informationstechnik
    Institut für Informationstechnik
    Professur Schaltkreis- und Systementwurf
    09107 Chemnitz
    Deutschland

Publikationen
  1. Apitzsch, René; Thomas, Robin; Heinkel, Ulrich. Offene Daten für barrierefreie Mobilität und inklusive Reiseketten im ÖPV, FOSSGIS Anwenderkonferenz für Freie und Open Source Software für Geoinformationssysteme 2025: Münster, 26.-29. März 2025, S. 204-206. - Zenodo, 2025
  2. Franzen, Jörg; Apitzsch, René; Thomas, Robin. Verbesserung der Barrierefreiheit im Öffentlichen Verkehr durch Datenintegration von Open Street Map, In: Der Nahverkehr. - DVV Media Group GmbH. 2024, 4, S. 18 - 20
  3. Apitzsch, René; Thomas, Robin. OPENER next - Per Crowd-Sourcing zu Barrieredaten im ÖPNV, FOSSGIS Anwenderkonferenz für Freie und Open Source Software für Geoinformationssysteme 2022: Online - Marburg, 09.-12. März 2022, S. 115-118
  4. Richter, Julia; Thomas, Robin; Lange, David; Graichen, Thomas; Heinkel, Ulrich. Development of a Platform-independent Renderer for the Rendering of OpenStreetMap Indoor Maps in Flutter, Proceedings of the 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - GRAPP, 6.-8. Feb. 2022, online streaming, pp. 147-154

UWB, Radar, detection of physical presence
Porträt von M.Sc. Zhicheng Zhao
  • E-Mail:
  • Telefon:
    +49 (0)371 531-35335
  • Anschrift:

    Zhicheng Zhao

    Technische Universität Chemnitz
    Fakultät für Elektrotechnik und Informationstechnik
    Institut für Informationstechnik
    Professur Schaltkreis- und Systementwurf
    09107 Chemnitz
    Deutschland

  • Raum:
    C25.460
Publikationen
  1. Zhao, Zhicheng; Doering, Holger; Blangiardi, Francesco; Gottschall, Nicole; Schwarzenberg, Simeon; Beltrán Beltrán, Raul; Doering, André; Maier, Diana; Streiter, Reinhard; Langer, Jan; Heinkel, Ulrich; Kuhn, Harald. SenMooVe: A Platform for Sensor-based Air Quality Monitoring in Public Transport Vehicles, 2025 Smart Systems Integration Conference and Exhibition (SSI), 8-10 April 2025, Prague, Czech Republic, pp. 1-6. - IEEE, 2025
  2. Blangiardi, Francesco; Beltrán Beltrán, Raul; Zhao, Zhicheng; Streiter, Reinhard; Rößler , Marko; Langer, Jan; Heinkel, Ulrich; Kuhn, Harald. Exploring Data Fusion for AI-based People Counting in a Static Public Transport Vehicle using Multiple IR-UWB Transceivers, 2024 Sensor Data Fusion: Trends, Solutions, Applications (SDF), Bonn, Germany, 25 November 2024 – 27 November 2024, pp. 1-8

FPGAs, machine learning
Porträt von M.Sc. Anna Zuchna
  • E-Mail:
  • Telefon:
    +49 (0)371 531-37722
  • Anschrift:

    Anna Zuchna

    Technische Universität Chemnitz
    Fakultät für Elektrotechnik und Informationstechnik
    Institut für Informationstechnik
    Professur Schaltkreis- und Systementwurf
    09107 Chemnitz
    Deutschland

  • Raum:
    C25.460
Publikationen
  1. Zuchna, Anna; Alnaser, Yousef; Schott, Christian; Winkler, Georg; Langer, Jan; Markert, Erik; Heinkel, Ulrich. Towards Fast Gaussian Process Regression Models: An FPGA-based Implementation of the RBF Kernel Matrix Computation, 2025 Smart Systems Integration Conference and Exhibition (SSI), 8-10 April 2025, Prague, Czech Republic. - IEEE, 2025

Research Assistants

Student Assistants

Dhamsania, Kavan Development and maintenance of SW/HW interface for UWB sensors
Dhanani, Darshan Further development of an existing web application for content and data acquisition
Höfner, Christian Design and development of the mechanical components of a self-sufficient listening station
Kahangi, Arya Development of a PCB platform for data acquisition for UWB sensors
Riedel, Lukas Design and development of the electronic components of a self-sufficient listening station
Rindock, Marcus Hardware circuit and PCB design for data exchange
Satodiya, Nishit Implementation and testing of the IKMSens application in the entire infrastructure for displaying IKM measurement data

University News

Social Media

Connect with Us: