Skip to main content Skip to main navigation

Publications

Displaying results 501 to 510 of 13862.
  1. Martha Schnieber; Rolf Drechsler

    Synthesis for Testability: Polynomial Test Pattern Generation for KFDD Circuits

    In: 28th Euromicro Conference Series on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2025), September 10-12, Salerno, Italy, 2025.

  2. Siphesihle Sithungu; Christoph Lipps

    Critical Infrastructure Security and the Role of AI: An Overview

    In: Proceedings of the 24th European Conference on Cyber Warfare and Security. European Conference on Cyber Warfare and Security (ECCWS-2025), Kaiserslautern, Rheinland-Pfalz, Germany, Academic Conferences International, 6/2025.

  3. Clemens Möllenhoff; Bharat Agarwal; Jan Herbst; Matthias Rüb; Thomas Petzold; Tobias Pabst; Ralf Irmer; Christoph Lipps; Hans Dieter Schotten; Thomas Neumuth; Max Rockstroh

    Towards 6G-connected Healthcare: Perspectives, Risks and Real-World Applications for Smart Hospitals

    In: Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC-2025), July 14-17, Copenhagen, Denmark, IEEE, 7/2025.

  4. Yilong Zang; Lingfei Ren; Yue Li; Zhikang Wang; David Antony Selby; Zheng Wang; Sebastian Vollmer; Hongzhi Yin; Jiangning Song; Junhang Wu

    Rethinking Cancer Gene Identification through Graph Anomaly Analysis

    In: The 39th Annual AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence (AAAI-2025), 39th, February 25 - March 4, Philadelphia, PA, USA, Association for the Advancement of Artificial Intelligence, 2025.

  5. Had enough of experts? Elicitation and evaluation of Bayesian priors from large language models

    In: NeurIPS 2024 Workshop on Bayesian Decision-making and Uncertainty. Neural Information Processing Systems (NeurIPS-2024), Workshop on Bayesian Decision-making and Uncertainty, located at NeuIPS-2024, December 14, Vancouver, BC, Canada, NeurIps Foundation, 2024.

  6. AIDEN: Automatic Speaker Notes Creation and Navigation for Enhancing Online Learning Experience.

    In: Recent Advanced in Natural Language Processing. International Conference on Recent Advances in Natural Language Processing (RANLP-2025), September 8-10, Varna, Bulgaria, Association for Computational Linguistics, 9/2025.

  7. Do LLMs fail in bridging generation?

    In: Ngoc Duyen Tanja Tu; Annelen Brunner; Christian Lang (Hrsg.). Journal for Language Technology and Computational Linguistics (JLCL), Vol. 38, No. 2, Pages 77-95, ACL Anthology, 7/2025.

  8. Khushboo Qayyum; Chandan Jha; Sallar Ahmadi-Pour; Muhammad Hassan; Rolf Drechsler

    LLM-assisted Bug Identification and Correction for Verilog HDL

    In: o.A. (Hrsg.). ACM Transactions on Design Automation of Electronic Systems (TODAES), ACM, 2025.

  9. Chandan Jha; Simranjeet Singh; Khushboo Qayyum; Ankit Bende; Muhammad Hassan; Vikas Rana; Farhad Merchant; Rolf Drechsler

    veriSiM: Formal Verification of Spice Netlists for MAGIC-Based Logic-in-Memory

    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (Hrsg.). IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Pages 1-1, IEEE, 2025.

  10. Chandan Jha; Simranjeet Singh; Khushboo Qayyum; Ankit Bende; Muhammad Hassan; Vikas Rana; Farhad Merchant; Rolf Drechsler

    veriSiM: Formal Verification of Spice Netlists for MAGIC-Based Logic-in-Memory

    In: 34th International Workshop on Logic & Synthesis (IWLS). International Workshop on Logic & Synthesis (IWLS-2025), June 12-13, Verona, Italy, 2025.