Skip to main content Skip to main navigation

Publications

Displaying results 91 to 100 of 15061.

  1. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Linear Formal Verification of Sequential Circuits using Weighted-AIGs

    In: ACM Transactions on Design Automation of Electronic Systems (TODAES), ACM, 2026.

  2. Felix Fellhauer; Mehdi Abad; Shubhangi Bhadauria; David Ginthör; Sandra Hoppe; Claus Keuker; Bahare M Khorsandi; Sachinkumar B Mallikarjun; Jan-Lukas Menne; Stefan Neumann; Neda Petreska; Sohail Shah; Stephanie Strassner; Hans Dieter Schotten

    6G Sub-Networks: From Use Cases and Requirements to Concept and Architecture

    In: IEEE Access (IEEE), Vol. 14, Pages 8215-8237, IEEE, 2025.

  3. Danish Mehmood Mughal; Daniyal Munir; Qazi Arbab Ahmed; Hans Dieter Schotten; Thorsten Jungeblut

    MALRIS: Malicious Hardware in RIS-Assisted Wireless Communications

    In: 2025 IEEE Conference on Standards for Communications and Networking. IEEE Conference on Standards for Communications and Networking (IEEE CSCN-2025), September 15-17, Bologna, Italy, IEEE, 2025.

  4. Prudhvi Kumar Kakani; Mohammad Asif Habibi; Manjunath Reddy Chavva Balannagari; Xavier Costa-Pérez; Hans Dieter Schotten

    Mitigating ML-Driven Adversarial Attacks on xApps Using Dynamic Defense Mechanisms

    In: IEEE Open Journal of the Communications Society (OJCOMS), Vol. 6, Pages 6912-6929, IEEE, 2025.

  5. Sophie Haas; Moritz-André Weiher; Malte Högemann; Oliver Thomas

    Navigating the XAI Forest: Designing a Tree-Based Decision Support Tool for Context-Aware Method Recommendations

    In: Jan vom Brocke; Leona Chandra Kruse; Alan Hevner; Michael Rosemann; Monica Chiarini Tremblay; Robert Winter (Hrsg.). Design for Better Futures: Beyond the Science of the Artificial. Completed Research. International Conference on Design Science Research in Information Systems and Technology (DESRIST-2026), 21st International Conference on Design Science Research in Information Systems and Technology, located at DESRIST 2026, June 8-10, Münster, Germany, Lecture Notes in Computer Science (LNCS), Vol. 16605, ISBN 978-3-032-28316-0, Springer Cham, 2026.

  6. Qiuheng Zhou; Sergiy Melnyk; Hans Dieter Schotten; Robert Vilter; Nick Stuckert (Hrsg.)

    Empowering AI Towards 6G: Realistic UAV Channel Data Acquisition Using Open-Source Solutions

    IEEE Vehicular Technology Conference (VTC-2026), 103rd Vehicular Technology Conference, located at VTC Spring-2026, June 9-12, Nice, France, IEEE, 2026.

  7. Laleh Akbari; Rolf Drechsler

    On the Origins of Self-Explainability in Cyber-Physical Systems: Model-Based and Data-Driven Approaches

    In: 29. Workshop zu 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 17-18, 2026.

  8. Luca Müller; Chandan Jha; Benjamin Arlt; Muhammad Hassan; Rolf Drechsler

    Modular End-to-End Pipeline for Formal Property Verification using Large Language Models

    In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2026), July 7-10, 2026.

  9. Chandrajit Pal; Lennart Weingarten; Klaus D. McDonald-Maier; Rolf Drechsler; Sangeet Saha; Kamalika Datta

    On Analysis of Applications using MAGIC-based In-Memory Computing

    In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2026), July 7-10, Kolkata, India, 2026.

  10. Shaoxiang Wang; Yaxu Xie; Chun-Peng Chang; Christen Millerdurai; Alain Pagani; Didier Stricker

    Uni-SLAM: Uncertainty-Aware Neural Implicit SLAM for Real-Time Dense Indoor Scene Reconstruction

    In: Proc. of. IEEE Winter Conference on Applications of Computer Vision (WACV-2025), IEEE/CVF, 2025.

Year

More options