Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Search narrowed by:

Year: 2023
Remove all filters
Displaying results 121 to 130 of 739.

  1. Julia Mayer; Martin Memmel

    Mit Metadaten durch den urbanen Datendschungel - Verwaltung und Nutzung kommunaler Daten im Forschungsprojekt "Ageing Smart - Räume intelligent gestalten"

    In: vhw Verbandszeitschrift, Vol. 2023, No. 1, Pages 5-8, vhw - Bundesverband für Wohnen und Stadtentwicklung e.V. 2/2023.

  2. Kemal Çağlar Coşkun; Muhammad Hassan; Rolf Drechsler

    New Directions for Equivalence Checking of System-Level and SPICE-Level Models of Linear Circuits

    In: 35. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von …

  3. Lennart Weingarten; Alireza Mahzoon; Mehran Goli; Rolf Drechsler

    Polynomial Formal Verification of a Processor: A RISC-V Case Study

    In: International Symposium on Quality Electronic Design (ISQED'23). International Symposium on Quality Electronic Design (ISQED-2023), April 5-7, San …

  4. Ece Nur Demirhan Coskun; Muhammad Hassan; Mehran Goli; Rolf Drechsler

    VAST: Validation of VP-based Heterogeneous Systems against Availability Security Properties using Static Information Flow Tracking

    In: International Symposium on Quality Electronic Design (ISQED'23). International Symposium on Quality Electronic Design (ISQED-2023), April 5-7, San …

  5. Marcel Merten; Sebastian Huhn; Rolf Drechsler

    Increasing SAT-Resilience of Logic Locking Mechanisms using Formal Methods

    In: 28th IEEE European Test Symposium 2023. IEEE European Test Symposium (ETS-2023), May 22-26, Venice, Italy, 2023.

  6. Nils Reinosch; Alexander Muenzberg; Daniel Martini; Alexander Niehus; Liv Seuring; Christian Troost; Rajiv Srivastava Kumar; Thomas Berger; Thilo Streck; Ansgar Bernardi

    SIMLEARN - Betriebliche Entscheidungsunterstützung durch ontologiegestützte Integration von Simulationsmodellen, Systemen für maschinelles Lernen und Planungsdaten

    In: Christa Hoffmann; Anthony Stein; Arno Ruckelshausen; Henning Müller; Thilo Steckel; Helga Floto (Hrsg.). Referate der 43. GIL-Jahrestagung. …

  7. Daniel Eberz-Eder; Franz Kuntke; Gerwin Brill; Ansgar Bernardi; Christian Reuter; Christia Wied; Philippe Nuderscher

    Erste Prototypische Entwicklungen zur Umsetzung des Resilient Smart Farming (RSF) mittels Edge Computing

    In: Christa Hoffmann; Anthony Stein; Arno Ruckelshausen; Henning Müller; Thilo Steckel; Helga Floto (Hrsg.). Referate der 43. GIL-Jahrestagung. …

  8. Payam Habiby; Natalia Lylina; Chih-Hao Wang; Hans-Joachim Wunderlich; Sebastian Huhn; Rolf Drechsler

    Synthesis of IJTAG Networks for Multi-Power Domain Systems on Chips

    In: 28th IEEE European Test Symposium 2023. IEEE European Test Symposium (ETS-2023), May 22-26, Venice, Italy, 2023.

  9. László Kopácsi; Michael Barz; Omair Shahzad Bhatti; Daniel Sonntag

    IMETA: An Interactive Mobile Eye Tracking Annotation Method for Semi-Automatic Fixation-to-AOI Mapping

    In: Companion Proceedings of the 28th International Conference on Intelligent User Interfaces. International Conference on Intelligent User Interfaces …

  10. Michael Barz; Omair Shahzad Bhatti; Hasan Md Tusfiqur Alam; Ho Minh Duy Nguyen; Daniel Sonntag

    Interactive Fixation-to-AOI Mapping for Mobile Eye Tracking Data Based on Few-Shot Image Classification

    In: Companion Proceedings of the 28th International Conference on Intelligent User Interfaces. International Conference on Intelligent User Interfaces …

Year