Skip to main content Skip to main navigation

Publications

Displaying results 1901 to 1910 of 15123.

  1. Ruidi Qiu; Grace Li Zhang; Rolf Drechsler; Ulf Schlichtmann; Bing Li

    CorrectBench: Automatic Testbench Generation with Functional Self-Correction using LLMs for HDL Design

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), March 31 - April 2, Lyon, France, 2025.

  2. Rune Krauss; Jan Zielasko; Rolf Drechsler

    FrEDDY: Modular and Efficient Framework to Engineer Decision Diagrams Yourself

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), March 31 - April 2, Lyon, France, 2025.

  3. Chandan Kumar Jha; Khushboo Qayyum; Muhammad Hassan; Rolf Drechsler

    Correct and Verify - CAV: Exploiting Binary Decision Diagrams to Enable Formal Verification of Approximate Adders with Correct Carry Bits

    In: IEEE Transactions on Circuits and Systems I: Regular Papers, IEEE, 2024.

  4. Chandan Kumar Jha; Khushboo Qayyum; Muhammad Hassan; Rolf Drechsler

    Extend and Reduce Methodology to Enable Formal Verification of Truncated Adders

    In: IT - information technology (IT), Degruyter, 2024.

  5. Sajjad Parvin; Sallar Ahmadi-Pour; Chandan Kumar Jha; Frank Sill Torres; Rolf Drechsler

    Lower the RISC: Designing optical-probing-attack-resistant cores

    In: Microprocessors and Microsystems (MICPRO), Vol. 111, Elsevier, 2024.

  6. Lars Krupp; Steffen Steinert; Maximilian Kiefer-Emmanouilidis; Karina E. Avila; Paul Lukowicz; Jochen Kuhn; Stefan Küchemann; Jakob Karolus

    Challenges and Opportunities of Moderating Usage of Large Language Models in Education

    In: Proceedings of the International Conference on Mobile and Ubiquitous Multimedia. International Conference on Mobile and Ubiquitous Multimedia (MUM-2024), December 1-4, Stockholm, Sweden, MUM '24, ISBN 9798400712838, Association for Computing Machinery, 2024.

  7. Leonhard Kunz; Manuel Reif; Teresa Petzsche; Anne Schmallenbach; Christiane Plociennik; Martin Ruskowski

    Realizing Closed-Loop Supply Chain Networks based on Dataspaces and Manufacturing Marketplaces

    In: IFAC-PapersOnLine. IFAC Symposium on Information Control Problems in Manufacturing (INCOM-2024), Pages 235-240, Vol. 58, Elsevier, 1/2024.

  8. Ahmed Tawfik Aboukhadra; Nadia Robertini; Jameel Malik; Ahmed Elhayek; Gerd Reis; Didier Stricker

    SurgeoNet: Realtime 3D Pose Estimation of Articulated Surgical Instruments from Stereo Images using a Synthetically-trained Network

    In: Pattern Recognition - 46th DAGM German Conference, DAGM GCPR 2024, Proceedings. German Conference on Pattern Recognition (GCPR-2024), September 10-13, Munich, Germany, Lecture Notes in Computer Science, Vol. 15297, Springer Nature, 2024.

  9. Desiree Heim; Christian Jilek; Adrian Ulges; Andreas Dengel

    Towards Synthesizing E-Mail Conversations as Part of Knowledge Work Datasets with Large Language Models

    In: Joint Proceedings of Posters, Demos, Workshops, and Tutorials of the 24th International Conference on Knowledge Engineering and Knowledge Management (EKAW-PDWT 2024). International Conference on Knowledge Engineering and Knowledge Management (EKAW-2024), 24th International Conference on Knowledge Engineering and Knowledge Management, November 26-28, Amsterdam, Netherlands, Vol. 3967, CEUR-WS.org, 5/2025.

  10. Bin Han; Ye Yuan; Hans Dieter Schotten

    VENENA: A Deceptive Visual Encryption Framework for Wireless Semantic Secrecy

    In: IEEE Open Journal of the Communications Society (OJCOMS), Vol. vol. 7, Pages 874-884, IEEE, 1/2026.

Year

More options