Skip to main content Skip to main navigation

Publications

Displaying results 61 to 70 of 14699.
  1. 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.

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

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

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

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

  6. MujocoROS2Control: Seamless MuJoCo Integration with ROS 2 for Robot Simulation and Control

    In: Daniel S. Katz (Hrsg.). Journal of Open Source Software (JOSS), Vol. 10, No. 116, Pages *-*, Journal of Open Source Software, Online, 12/2025.

  7. Hassan Soliman; Hitesh Kotte; Milos Kravcik; Norbert Pengel; Nghia Duong-Trung

    Retrieval-Augmented Chatbots for Scalable Educational Support in Higher Education

    In: Lixiang Yan; Andy Nguyen; Ryan Baker; Mutlu Cukurova; Dragan Gasevic; Kaixun Yang; Yueqiao Jin; Linxuan Zhao; Yuheng Li (Hrsg.). Proceedings of the Second International Workshop on Generative AI for Learning Analytics co-located with the 15th International Conference on Learning Analytics and Knowledge (LAK 2025). International Workshop on Generative AI for Learning Analytics (GenAI-LA-2025), March 3, Dublin, Ireland, Pages 22-31, CEUR Workshop Proceedings (CEUR), Vol. 3994, CEUR-WS.org, 7/2025.

  8. Lukas Groß; Elie Mounzer; David M. Wawrzyniak; Josef M. Winter; Nikolaus A. Adams

    Tensor Network Fluid Simulations in Structured Domains Using the Lattice Boltzmann Method

    In: ArXiv e-prints (arxiv), Pages 1-24, arXiv, 12/2025.

  9. IMKD: Intensity-Aware Multi-Level Knowledge Distillation for Camera-Radar Fusion

    In: IEEE/CVF (Hrsg.). Proceedings of. IEEE Winter Conference on Applications of Computer Vision (WACV-2026), March 6-10, Tucson, Arizona, USA, IEEE, 2026.

  10. Nonlinear Power Amplifier-Resilient Cell-Free Massive MIMO: A Joint Optimization Approach

    In: IEEE Wireless Communications Letters, Vol. 2026, Pages 1-5, IEEE, 2026.