Skip to main content Skip to main navigation

Publications

Displaying results 1691 to 1700 of 15056.

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

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

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

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

  5. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Late Breaking Results: PolyRAD - Polynomial Formal Verification of Restoring Array Dividers

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

  6. Rolf Drechsler; Christina Plump; Bernhard Berger

    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.

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

  8. Daniel Lindenschmitt; Tobias Jung; Prudhvi Kumar Kakani; Torsten Reissland; Norman Franchi; Hans Dieter Schotten

    Analysis of an Architecture for Integrated Sensing and Communication in 5G OpenRAN

    In: 2025 IEEE Future Networks World Forum. IEEE Future Networks World Forum (FNWF-2025), November 10-12, Bangalore, India, IEEE, 2025.

  9. Amina Fellan; Hans Dieter Schotten

    Probing Electromagnetic Exposure Around LEO VSAT Terminals

    In: 2025 International Symposium on Antennas and Propagation. International Symposium on Antennas and Propagation (ISAP-2025), October 27-31, Fukuoka, Japan, IEICE Proceedings Series, IEICE, 2025.

  10. Ainur Daurembekova; Hans Dieter Schotten

    Waveform Candidates for 3D Network: A Comparative Study of OTFS, AFDM, ODDM and OFDM

    In: 2025 IEEE 102nd Vehicular Technology Conference (VTC2025-Fall). IEEE Vehicular Technology Conference (VTC-2025), October 19-22, Chengdu, China, IEEE, 2025.

Year

More options