Publikationen

Sana Hassan Imam; Christopher A. Metz; Lars Hornuf; Rolf Drechsler

Determining the Effect of Feedback Quality on User Engagement on Online Idea Crowdsourcing Platforms Using an AI model | Proceedings of the ACM on Human-Computer Interaction

In: Proceedings of the ACM on Human-Computer Interaction (PACMHCI), Vol. 8, ACM, 2024.

Luis Octavio Arriaga Camargo; Jichen Guo; Rebecca Adam; Sebastian Houben; Frank Kirchner

Bayesian Inverse Graphics for Few-Shot Concept Learning

In: International Conference on Neural-Symbolic Learning and Reasoning 2024. International Conference on Neural-Symbolic Learning and Reasoning (NeSy-2024), Pages 141-165, Springer, 2024.

Mario Klostermeier; Vassilios Yfantis; Achim Wagner; Martin Ruskowski

A Numerical Study on the Parallelization of Dual Decomposition-based Distributed Mixed-Integer Programming

In: 2024 European Control Conference (ECC). European Control Conference (ECC-2024), June 25-28, Stockholm, Sweden, Pages 2724-2729, IEEE, 2024.

Paul Flammarion; Sajjad Parvin; Frank Sill Torres; Rolf Drechsler

Auto-OPS: A Framework For Automated Optical Probing Simulation on GDS-II

In: IEEE Embedded Systems Letters (ESL), IEEE, 2024.

Sallar Ahmadi-Pour; Rolf Drechsler

MicroRV32, A RISC-V Platform for Education and Research

In: 1st Soft RISC-V Systems Workshop (SRvS Workshop). Soft RISC-V Systems Workshop (SRvS-2025), November 7-8, Online, 2024.

Fatemeh Shirinzadeh; Kamalika Datta; Saeideh Shirinzadeh; Abhoy Kole; Rolf Drechsler

Towards Formal Verification for MAC-based In-Memory Computing

In: 33th IEEE Asian Test Symposium (ATS 2024). Asian Test Symposium (ATS-2025), December 17-20, Ahmedabad, India, 2024.

Dev Narayan Yadav; Phrangboklang Lyngton Thangkhiew; F Lalchhandama; Kamalika Datta; Rolf Drechsler; Indranil Sengupta

Improving Self-Fault-Tolerance Capability of Memristor Crossbar Using a Weight-Sharing Approach

In: 33th IEEE Asian Test Symposium (ATS 2024). Asian Test Symposium (ATS-2024), December 17-20, Ahmedabad, India, 2024.

Yousef Koka

Learn2Clean Event Data

Mastersthesis, German University in Cairo, 8/2024.

Rolf Drechsler; Christina Plump; Martha Schnieber

The Future is Hybrid: Next Generation Data Structures for Formal Verification

In: Rolf Drechsler; Christina Plump; Martha Schnieber (Hrsg.). 33th IEEE Asian Test Symposium (ATS 2024). Asian Test Symposium (ATS-2025), December 17-20, Ahmedabad, India, 2024.

Sabine Blaschke; Harald Dormann; Rajan Somasundaram; Christoph Dodt; Ingo Graeff; Hans-Jörg Busch; Bernadett Erdmann; Marc Wieckenberg; Christoph Haedicke; Katrin Esslinger; Elisabeth Nyoungui; Tim Friede; Felix Walcher; Julia Talamo; Julia K. Wolff; OPTINOFA Study Group; Wilhelm Behringer; Ulrich Heida; Thomas Ruhnke; Christian Günster; Patrik Dröge; Michael Schmucker; Martin Haag; Michael Dietrich; Wiebke Schirrmeister; Felix Greiner; Paul Ludolph; Hans-Dieter Nolting; Kerstin Pischek-Koch; Stefanie Wache; Irina Chaplinskaya-Sobol; Dagmar Krefting; Kai Antweiler; Eva Hummers; Marina Karg; Jennifer Lenz; Kathrein Munski; Andreas Brockmann; Wiebke Boehne; Heike Teupe

Strukturierte Ersteinschätzung in der Notaufnahme mittels des intelligenten Assistenzdienstes OPTINOFA

In: Medizinische Klinik - Intensivmedizin und Notfallmedizin, Vol. 119, No. 9, Pages 751-762, SPRINGER NATURE, 12/2024.