Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1421 bis 1430 von 15212.
  1. Daniel Weimer; André Meyer-Vitali; Anne Sielemann; Jens Ziehn; Jingxing Zhou; Yunus Bulut; Michael Graf; Sebastian Krauß

    DIN SPEC 91527:2025-12, Goals, Methods and Metrics for Automated/Semi-Automated Runtime Monitoring of AI Systems for Non-Adversarial Performance Degradations

    DIN Media GmbH, 12/2025.

  2. Rebecca Keilhauer; Michael Lorenz; Carlo Dindorf; Stefan Ernst; Chen-Yu Wang; Paul Messer; Didier Stricker

    Exploring Large Language Models for Automated Gait Analysis

    In: Proceedings of 2nd International Conference of AIxHMC 2025. International Conference on Artificial Intelligence for Medicine, Health, and Care (AIxMHC-2025), October 13-15, Taichung, Taiwan, Province of China, IEEE Xplore, 2025.

  3. Quantum-Assisted Correlation Clustering

    In: 2025 IEEE International Conference on Quantum Artificial Intelligence. IEEE International Conference on Quantum Artificial Intelligence (IEEE QAI-2025), November 2-5, University of Naples Federico II, Via Partenope 36, Naples, Italy, Institute of Electrical and Electronics Engineers (IEEE), 9/2025.

  4. Sajjad Parvin; Frank Sill Torres; Rolf Drechsler

    Securing Circuits Against Optical Probing Attack

    In: University Fair Workshop on Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), Lyon, France, 2025.

  5. EMBOSOM | Emigrating Embedded Software Security into Modern Emerging Hardware Paradigms

    In: Workshop on Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE), Lyon, France, 2025.

  6. Caroline Dominik; Rolf Drechsler

    Embedding Modulo Counter Circuits for their Polynomial Formal Verification

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2026), March 11-12, Rostock, Germany, 2025.

  7. Symbolic Execution of Unmodified SystemC Peripherals

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV), March 11-12, Rostock, Germany, 2025.

  8. Explanation in Bio-inspired Computing: Towards Understanding of AI Systems

    In: Proceedings of the 1st International Conference on Artificial Intelligence for Computing, Astronomy, and Renewable Energy (AICARE). International Conference on Artificial Intelligence for Computing, Astronomy, and Renewable Energy (AICARE-2025), November 21-22, Kolkata, India, IEEE Xplore, 2025.

  9. Ruidi Qiu; Yalin Zhang; Rolf Drechsler; Tsungyi Ho; Ulf Schlichtmann; Bing Li

    ConfiBench: Automatic Testbench Generation with Confidence-Based Scenario Mask and Testbench Ensemble using LLMs for HDL Design

    In: ACM Transactions on Design Automation of Electronic Systems (TODAES), ACM, 2025.

  10. Natalia Piaseczna; Rafal Doniec; Konrad Duraj; Szymon Sieciński; Marek Jędrychowski; Ewaryst Tkacz; Marcin Grzegorzek

    Distinguishing Drivers with Smart Glasses Data and Deep Neural Network

    In: Ireneusz Czarnowski; Marek Jasiński (Hrsg.). IEEE EUROCON 2025 - 21st International Conference on Smart Technologies. IEEE International Conference on Smart Technologies (EUROCON-2025), June 4-6, Gdynia, Poland, Pages 1-6, Institute of Electrical and Electronics Engineers, 6/2025.