Skip to main content Skip to main navigation

Publications

Displaying results 1771 to 1780 of 3902.

  1. Catalin Bogdan Ciobanu; Sallar Ahmadi-Pour; Rolf Drechsler; Ingo Feldner

    Forging Robust Building Blocks for Next-Gen RISC-V Chips: Virtual Repository and IP Card

    In: 29th Euromicro Conference Series on Digital System Design (DSD) 2026. Euromicro Conference on Digital System Design (DSD-2026), September 2-4, Krakau, Poland, 2026.

  2. Martha Schnieber; Rolf Drechsler

    Synthesis for testability and verifiability: Polynomial formal verification and test pattern generation for KFDD circuits

    In: Microprocessors and Microsystems (MICPRO), Vol. 124, Science Direct, 2026.

  3. Khushboo Qayyum; Qurrat Ul Ain; Muhammad Hassan; Asjad Afnan Asjad Afnan; Rolf Drechsler

    Towards Reliable LLM-Assisted Verification Artifact Generation in EDA

    In: IEEE International Conference on Omni-Layer Intelligent Systems (COINS). IEEE International Conference on Omni-layer Intelligent Systems (IEEE COINS), September 7-9, Bologna, Italy, IEEE, 2026.

  4. Matthias Tschöpe; Stefan Gerd Fritsch; David Kariem Habusch; Vitor Fortes Rey; Agnes Grünerbl; Paul Lukowicz

    Evaluating Deep Learning Models for Posture and Movement Recognition During the ABCDE Protocol in Nurse Education

    In: 2024 International Conference on Activity and Behavior Computing (ABC). International Conference on Activity and Behavior Computing (ABC-2024), 6th International Conference on Activity and Behavior Computing, May 28-31, Nakatsu, Japan, Pages 1-10, IEEE, 2024.

  5. Federico Cruciani; Stefan Gerd Fritsch; Ian Cleland; Vitor Fortes Rey; Chris Nugent; Paul Lukowicz

    Few-Shot Human Activity Recognition Using Lightweight Language Models

    In: 2025 International Conference on Activity and Behavior Computing (ABC). International Conference on Activity and Behavior Computing (ABC-2025), 7th International Conference on Activity and Behavior Computing, April 21-25, Abu Dhabi, United Arab Emirates, IEEE, 2025.

  6. Sabine Janzen; Prajvi Saxena; Cicy Kuriakose Agnes; Muhammad Ebad Ullah Khan; Amr Gomaa; Michael Feld; André Zenner; Pascal Lessel; Julian Wolter; Florian Daiber; Rafael Math; Niko Kleer; Tim Schwartz; Antonio Krüger; Wolfgang Maaß

    FEDWELL: Life-Long Federated User and Mental Modeling for Health and Well-being

    In: RPEatCAiSE25: Research Projects Exhibition at the International Conference on Advanced Information Systems Engineering, June 16-20, 2025, Vienna, Austria. International Conference on Advanced Information Systems Engineering (CAiSE-2025), 6/2025.

  7. Rolf Drechsler

    Preserving and Improving Verifiability of Circuits Based on Local Transformations

    In: 26th IEEE Latin American Test Symposium 2025. IEEE Latin American Test Symposium (LATS-2025), March 11-14, San Andres, Colombia, 2025.

  8. Sabine Janzen; Hannah Stein; Katharina Trinley; Cicy Kuriakose Agnes; Vaibhav Jain; Karan Rajeshkar; Nirav Shenoy; Anika Rusch; Sujatro Ghosh; Wolfgang Maaß

    ESCADE: Energy-efficient Artificial Intelligence for Cost-effective and Sustainable Data Centers

    In: RPEatCAiSE25: Research Projects Exhibition at the International Conference on Advanced Information Systems Engineering, June 16-20, 2025, Vienna, Austria. International Conference on Advanced Information Systems Engineering (CAiSE-2025), 6/2025.

  9. Jan Kleinekathöfer; Alireza Mahzoon; Rolf Drechsler

    Lower bound proof for the size of BDDs representing a shifted addition

    In: Information Processing Letters, Vol. 24, Pages 140-151, IEEE, 2025.

  10. Bernhard J. Berger; Christina Plump; Rolf Drechsler

    Why less is sometimes more: Using Boolean literals to solve 2048

    In: IT - information technology (IT), Vol. 66, Pages 4-5, De Gruyter Brill, 2025.

Year

More options