Publications

Alonso Palomino; Andreas Fischer; Jakub Kuzilek; Jarek Nitsch; Niels Pinkwart; Benjamin Paaßen

In: Kai-Wei Changi; Annie Lee; Nazneen Rajani (Hrsg.). Proceedings of the 2024 Conference of the North American Chapter of the Association for …

Sallar Ahmadi-Pour; Muhammad Hassan; Rolf Drechsler

In: RISC-V Summit Europe. RISC-V Summit Europe, June 24-28, München, Germany, 2024.

Jan Zielasko; Rune Krauss; Marcel Merten; Rolf Drechsler

In: RISC-V Summit Europe. RISC-V Summit Europe, June 24-28, München, Germany, 2024.

Abhoy Kole; Kamalika Datta; Rolf Drechsler

In: International Workshop on Quantum Computing: Circuits Systems Automation and Applications. IEEE Computer Society Annual Symposium on VLSI …

Christina Plump; Daniel C. Hoinkiss; Jörn Huber; Bernhard J. Berger; Matthias Günther; Christoph Lüth; Rolf Drechsler

In: The IEEE World Congress on Computational Intelligence. IEEE World Congress on Computational Intelligence (WCCI-2024), June 30 - July 5, Yokohama, …

Bernhard J. Berger; Christina Plump; Lauren Paul; Rolf Drechsler

In: The Genetic and Evolutionary Computation Conference (GECCO). Genetic and Evolutionary Computation Conference (GECCO-2024), July 14-18, Melbourne, …

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

In: Proceedings of the First IEEE International Workshop on LLM-Aided Design (LAD'24). IEEE International Workshop on LLM-Aided Design (LAD-24), June …

Petra Beenken; Luise-Sophie Bleckmann; Benny Björn Briesemeister; Marc Ebel; Susanne Fittkau; Caroline Grauel; Maik Günther; Doris Hanway; Claudia Heß; Heiko Holz; Isabel Hörmann; Kurt Jeschke; Tobias Kesting; Sonja Klose; Ralf Kneuper; Ralf T. Kreutzer; Nicolai Krüger; Sibylle Kunz; Visieu Lac; Christina Lagodka; Alexander Lawall; Damian Leschik; Vera Lenz-Kesekamp; Nikolaj Lunze; Jan-Paul Lüdtke; Elisabeth L' Orange; Sebastian Mertens; Manuel Muth; Gerd Nufer; Miriam O'Shea; Ban Pahlawan; Florian Perst; Marc Peter; Jan Pieper; Lavinia Celina Rahmawati; Katharina-Maria Rehfeld; Marie Salkowski; Philipp Schmid; Annkristin Schürhaus; Freddy Sikouonmeu; Neal Wessling; Klaus Wildhirt; Atilla Wohllebe; Cansu Rosa Yildirim; Tanja Marlen Zweigle; Thomas Bolz; Gabriele Schuster (Hrsg.)

ISBN 978-3-658-45131-8, Springer Fachmedien Wiesbaden, Wiesbaden, 2024.

Sören Tempel; Tobias Brandt; Christoph Lüth; Rolf Drechsler

In: 4th International KLEE Workshop on Symbolic Execution. KLEE Workshop on Symbolic Execution, April 14-16, Lisbon, Portugal, 2024.

Bernhard J. Berger; Christina Plump; Rolf Drechsler

In: 16th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-2024), September 19-20, Bremen, …