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 91 to 100 of 732.

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

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

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

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

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

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

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

  8. Freddy Sikouonmeu; Martin Atzmueller

    Active-Learning-Driven Deep Interactive Segmentation for Cost-Effective Labeling of Crop-Weed Image Data

    In: Konferenzband der 43. GIL-Jahrestagung. GIL-Jahrestagung (GIL-2023) Resiliente Agri-Food-Systeme: Herausforderungen und Lösungsansätze. …

  9. Sogo Pierre Sanon; Rekha Reddy; Christoph Lipps; Hans D. Schotten

    Secure Federated Learning: An Evaluation of Homomorphic Encrypted Network Traffic Prediction

    In: 5TH SECURITY TRUST PRIVACY FOR CYBER-PHYSICAL SYSTEMS (STP-CPS'23). IEEE Consumer Communications and Networking Conference (CCNC-2023), January 8, …

  10. Hamed Tabrizchi; Jafar Razmara; Amirhosein Mosavi

    Thermal prediction for energy management of clouds using a hybrid model based on CNN and stacking multi-layer bi-directional LSTM

    In: Energy Reports, Vol. 9, Pages 2253-2268, Elsevier, 12/2023.

Year