Skip to main content Skip to main navigation

Publications

Displaying results 1161 to 1170 of 14466.

  1. Mohamed Nadeem; Chandan Kumar Jha; Rolf Drechsler

    Polynomial Formal Verification of Sequential Circuits using Weighted-AIGs

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

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

  3. Christian Wolff; Patrick Steinheimer; Elke Warmerdam; Tim Dahmen; Philipp Slusallek; Christian Schlinkmann; Fei Chen; Marcel Orth; Tim Pohlemann; Bergita Ganse

    Effects of age, body height, body weight, body mass index and handgrip strength on the trajectory of the plantar pressure stance-phase curve of the gait cycle

    In: Frontiers in Bioengineering and Biotechnology, Vol. 11, Pages 0-0, Frontiers, 2023.

  4. Christian Wolff; Elke Warmerdam; Tim Dahmen; Tim Pohlemann; Philipp Slusallek; Bergita Ganse

    Novel ground reaction force-based parameters for monitoring rehabilitation in tibial fractures

    In: Gait & Posture, Vol. 113, Pages 256-257, Elsevier, 2024.

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

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

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

  8. Tristan Schneider; Matheus V. A. Pedrosa; Timo P. Gros; Verena Wolf; Kathrin Flaßkamp

    Motion Primitives as the Action Space of Deep Q-Learning for Planning in Autonomous Driving

    In: IEEE Transactions on Intelligent Transportation Systems, Vol. 25, No. 11, Pages 17852-17864, IEEE, 9/2024.

  9. Timo P. Gros; Nicola Müller; Daniel Höller; Verena Wolf

    Safe Reinforcement Learning Through Regret and State Restorations in Evaluation Stages

    In: Workshop on Reliable Data-Driven Planning and Scheduling. International Conference on Automated Planning and Scheduling (ICAPS-2024), Springer, 2024.

  10. Bernd Finkbeiner; Felix Jahn; Julian Siber

    Counterfactual Explanations for MITL Violations

    In: Siddharth Barman; Slawomir Lasota (Hrsg.). 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2024). IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS-2024), December 16-18, Pages 22:1-22:25, Leibniz International Proceedings in Informatics (LIPIcs), Vol. 323, ISBN 978-3-95977-355-3, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 12/2024.

Year

More options