Publikationen

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Aktive Filter:

Zeige Ergebnisse 71 bis 80 von 737

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

Jahr

Aktive Filter:

Jahr