Publikationen

Sallar Ahmadi-Pour; Luca Müller; Rolf Drechsler

Exploring the Parameter Space for Constrained Random Verification of RISC-V CPUs

In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2026), September 9-11, Rom, Italy, 2026.

Fynn Meyer; Leon Frölje; Lennart Weingarten; Kamalika Datta; Abhoy Kole; Christoph Lüth; Rolf Drechsler

An Efficient Encoding for Subset Sum Problem Exploiting QFT-Based Arithmetic Operators

In: International Conference on Quantum Computing and Engineering (QCE). IEEE International Conference on Quantum Computing and Engineering (QCE), September 13-18, IEEE, 2026.

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.

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.

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.

Brian Moser; Shalini Sarode; Federico Raue; Stanislav Frolov; Krzysztof Adamkiewicz; Arundhati Shanbhag; Joachim Folz; Tobias Christian Nauen; Andreas Dengel

PRISM: Diversifying Dataset Distillation by Decoupling Architectural Priors

In: Transactions on Machine Learning Research (TMLR), Pages 1-17, Journal of Machine Learning Research, 1/2026.

Chantale Lauer; Peter Pfeiffer; Nijat Mehdiyev

Human-Centered Evaluation of an LLM-Based Process Modeling Copilot: A Mixed-Methods Study with Domain Experts

CHI 2026 Workshop on Human-centered Evaluation and Auditing of Language Models, 3/2026.

Daniel Sonntag; Martin Atzmueller; Frederic Theodor Stahl; Thiago Gouvea; Martin Günther; Christoph Manss; Lisa Dawel; Siting Liang; Felix Igelbrink

Amenable — Accessible AI in Sensor-Based Systems for Environment Monitoring

German Research Center for AI, DFKI Technical Report, 2026.

Siting Liang; Omar Adjali; Omair Shahzad Bhatti; Daniel Sonntag

A Scalable Cross-Domain Event Extraction System via a Unified Generative Training Framework

In: IJCAI. International Joint Conference on Artificial Intelligence (IJCAI-2026), The 35th International Joint Conference on Artificial Intelligence, located at IJCAI-2026, August 15-21, Bremen, Germany, IJCAI, 2026.

Siting Liang; Luca Rippe; Omar Adjali; Daniel Sonntag

Evaluating Explanation-Driven Vision–Language Reasoning via Generation Order Interventions

In: IJCAI-ECAI 2026 - Workshop on Explainable Artificial Intelligence (XAI) - Proceedings. IJCAI Workshop on Explainable Artificial Intelligence (XAI-2026), located at IJCAI-ECAI 2026, August 15-16, Bremen, Germany, Pages 203-209, IJCAI, 2026.