Skip to main content Skip to main navigation

Publikationen

 

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

Zeige Ergebnisse 51 bis 60 von 802
  1. Mehran Goli; Rolf Drechsler

    Simulation-based Verification of SystemC-based VPs at the ESL

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und …

  2. Niklas Bruns; Vladimir Herdt; Eyck Jentzsch; Rolf Drechsler

    RISC-V Processor Verification with Coverage-guided Aging

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und …

  3. Marcel Merten; Sebastian Huhn; Rolf Drechsler

    Quality Assessment of RFET-based Logic Locking Protection Mechanisms using Formal Methods

    In: IEEE European Test Symposium (ETS). IEEE European Test Symposium (ETS-27), May 23-27, Barcelona, Spain, 2022.

  4. Choosing the right technique for the right restriction - a domain-specific approach for enforcing search-space restrictions in evolutionary algorithms

    In: International Conference on Dynamics in Logistics. International Conference on Dynamics in Logistics (LDIC-2022), February 23-25, Bremen, Germany, …

  5. Alexander Schäfer; Gerd Reis; Didier Stricker

    AnyGesture: Arbitrary One-Handed Gestures for Augmented, Virtual, and Mixed Reality Applications

    In: Applied Sciences, Vol. 12, No. 4, Pages 1-21, MDPI, Switzerland, 2/2022.

  6. Nonlinear Optimization of Light Field Point Cloud

    In: Academic Editor Denis Laurendeau (Hrsg.). Sensors - Open Access Journal (Sensors), Vol. 22(3), Pages 814-829, MDPI, 1/2022.

  7. Time to Focus: A Comprehensive Benchmark Using Time Series Attribution Methods

    In: INSTICC (Hrsg.). Proceedings of the 14th International Conference on Agents and Artificial Intelligence. International Conference on Agents and …

  8. Shrinidhi Kanchi; Alain Pagani; Hamam Mokayed; Marcus Liwicki; Didier Stricker; Muhammad Zeshan Afzal

    EmmDocClassifier: Efficient Multimodal Document Image Classifier for Scarce Data

    In: Applied Sciences, Vol. 12, No. 3, Pages 1-18, MDPI, 1/2022.

  9. Philipp Fukas; Lukas Menzel; Oliver Thomas

    Augmenting Data with Generative Adversarial Networks to Improve Machine Learning-Based Fraud Detection

    In: Wirtschaftsinformatik Proceedings (2022). Internationale Tagung Wirtschaftsinformatik (WI-2022), February 21-23, Erlangen-Nürnberg, Germany, …