Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 121 bis 130 von 14764.
  1. Jan Kleinekathöfer; Muhammad Hassan; Rolf Drechsler

    Secure Open-Source Chip Design: Logic Locking and Attack Analysis within the OpenLane Flow

    In: GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-2026), February 22-24, Potsdam, Germany, 2026.

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

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

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

  5. A Heterogeneous Massive MIMO Technique for Uniform Service in Cellular Networks

    In: Proceedings of the IEEE International Conference on Communications. IEEE International Conference on Communications (ICC-2026), May 24-28, Glasgow, United Kingdom, IEEE, 5/2026.

  6. Donald Pfaffmann; Matthias Klusch; Marcel Steinmetz

    HyPlan: Hybrid Learning-Assisted Planning Under Uncertainty for Safe Autonomous Driving

    In: Proceedings of the 37th IEEE Intelligent Vehicles Symposium. IEEE Intelligent Vehicles Symposium (IV-2026), Detroit, MI, USA, IEEE, 2026.

  7. Hacane Hechehouche; André Antakli; Matthias Klusch

    LLM-Assisted Modeling of Semantic Web-Enabled Multi-Agents Systems with AJAN

    In: Proc. 18th International Conference on Agents and Artificial Intelligence. International Conference on Agents and Artificial Intelligence (ICAART-2026), Scitepress, 2026.

  8. Leonard Frank Neis; André Antakli; Matthias Klusch

    CARJAN: Agent-Based Generation and Simulation of Traffic Scenarios with AJAN

    In: Proc. 18th International Conference on Agents and Artificial Intelligence. International Conference on Agents and Artificial Intelligence (ICAART-2026), Scitepress, 2026.

  9. Identifying Hardware Optimizations for Neural Network Inference using Virtual Prototypes

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

  10. Anna Bernasconi; Valentina Ciriani; Gianmarco Cuciniello; Caroline Dominik; Rolf Drechsler

    Polynomial Verification of 2-Affine Spaces

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