Skip to main content Skip to main navigation

Publications

Displaying results 1001 to 1010 of 15099.

  1. Chi Zhang; Janis Sprenger; Zhongjun Ni; Christian Berger

    Predicting Pedestrian Crossing Behavior in Germany and Japan: Insights into Model Transferability

    In: IEEE Transactions on Intelligent Vehicles (T-IV), Vol. 1, Pages 1-16, IEEE, 12/2024.

  2. Sana Hassan Imam; Christopher A. Metz; Lars Hornuf; Rolf Drechsler

    Determining the Effect of Feedback Quality on User Engagement on Online Idea Crowdsourcing Platforms Using an AI model | Proceedings of the ACM on Human-Computer Interaction

    In: Proceedings of the ACM on Human-Computer Interaction (PACMHCI), Vol. 8, ACM, 2024.

  3. Luis Octavio Arriaga Camargo; Jichen Guo; Rebecca Adam; Sebastian Houben; Frank Kirchner

    Bayesian Inverse Graphics for Few-Shot Concept Learning

    In: International Conference on Neural-Symbolic Learning and Reasoning 2024. International Conference on Neural-Symbolic Learning and Reasoning (NeSy-2024), Pages 141-165, Springer, 2024.

  4. Mario Klostermeier; Vassilios Yfantis; Achim Wagner; Martin Ruskowski

    A Numerical Study on the Parallelization of Dual Decomposition-based Distributed Mixed-Integer Programming

    In: 2024 European Control Conference (ECC). European Control Conference (ECC-2024), June 25-28, Stockholm, Sweden, Pages 2724-2729, IEEE, 2024.

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

  6. Christoph Lüth; Tim Güneysu; Pascal Sasdrich; Rolf Drechsler

    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.

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

  8. Aaron Rudkowski; Sallar Ahmadi-Pour; Rolf Drechsler

    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.

  9. Julio Daniel Guerra Hollstein; Shaoyi Huang; Rolf Drechsler; Bing Li; Yalin Zhang

    Late Breaking Results: Conversion of Neural Networks into Logic Flows for Edge Computing

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2026), April 20-22, Verona, Italy, 2026.

  10. Jan Kleinekathöfer; Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Late Breaking Results: Efficient Formal Verification of Highly Optimized MAC Units

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2026), April 20-22, Verona, Italy, 2026.

Year

More options