Skip to main content Skip to main navigation

Publications

 

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

Displaying results 931 to 940 of 13153.

  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. Lukas Groß; Lasse Jenning Shala; Shivesh Kumar; Frank Kirchner; Christoph Lüth

    Analytic Estimation of Region of Attraction of an LQR Controller for Torque Limited Simple Pendulum

    In: 61st IEEE Conference on Decision and Control. IEEE Conference on Decision and Control (CDC-2022), Conference on Decision and Control, December …

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

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

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

Year

More options