Skip to main content Skip to main navigation

Publications

Displaying results 1701 to 1710 of 14478.

  1. Christoph Tieben; Benjamin Kisliuk; Muhammad Moiz Sakha; Naeem Iqbal; Florian Daiber; Matthias Enders; Antonio Krüger; Joachim Hertzberg

    PORTAL - Plant breeding using robotics and AI for advanced data analysis and decision-making in virtual space

    44. GIL-Jahrestagung, Gesellschaft für Informatik in der Land-, Forst- und Ernährungswirtschaft (GIL-2024), 2/2024.

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

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

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

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

  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.

Year

More options