Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2023
Remove all filters
Displaying results 31 to 40 of 716.

  1. 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 …

  2. 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 …

  3. 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.

  4. 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. …

  5. 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. …

  6. 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.

  7. Pervaiz Iqbal Khan; Andreas Dengel; Sheraz Ahmed

    Randout-KD: Finetuning Foundation Models for Text Classification via Random Noise and Knowledge Distillation

    In: ICAART. International Conference on Agents and Artificial Intelligence (ICAART-2023), February 22-24, Lisbon, Portugal, SCITEPRESS, 2023.

  8. Fatemeh Azimi; Federico Raue; Joern Hees; Andreas Dengel

    Rethinking RNN-Based Video Object Segmentation

    In: Computer Vision, Imaging and Computer Graphics Theory and Applications: 16th International Joint Conference, VISIGRAPP 2021. International Joint …

  9. Brian Moser; Federico Raue; Stanislav Frolov; Sebastian Palacio; Jörn Hees; Andreas Dengel

    Hitchhiker's Guide to Super-Resolution: Introduction and Recent Advances

    In: IEEE Transactions on Pattern Analysis and Machine Intelligence (PAMI), Pages 1-21, IEEE, 2/2023.

  10. Jan Christoph Krause; Jaron Martinez; Henry Gennet; Martin Urban; Jens Herbers; Stefan Menke; Sebastian Röttgermann; Joachim Hertzberg; Arno Ruckelshausen

    Konzeption und Realisierung einer feldbasiertenlandwirtschaftlichen Versuchsumgebung zur dynamischenUmgebungswahrnehmung

    In: Referate der 43. GIL-Jahrestagung. Gesellschaft für Informatik in der Land-, Forst- und Ernährungswirtschaft (GIL-2023), February 13-14, …

Year