Katharina Ruep, MSc

Portrait of Katharina Ruep, MSc

Katharina Ruep, MSc

Science Park 4, 3rd floor, room 0321
katharina.ruep@jku.at
+43 732 2468 4562

Publications

Conferences

[1] Katharina Ruep, Manfred Schlägl, and Daniel Große. Late breaking results: Float fight – verifying floating-point behavior in RISC-V simulators. In Design, Automation and Test in Europe Conference (DATE), 2026. [ bib ]
[2] Katharina Ruep and Daniel Große. Improving design understanding of processors leveraging datapath clustering. In Design, Automation and Test in Europe Conference (DATE), pages 1–2, 2023. [ bib | DOI | .pdf ]
[3] Katharina Ruep and Daniel Große. SpinalFuzz: Coverage-guided fuzzing for SpinalHDL designs. In IEEE European Test Symposium (ETS), pages 1–4, 2022. [ bib | DOI | sourcecode | .pdf ]

Workshops

[4] Katharina Ruep and Daniel Große. Fuzz-testing of SpinalHDL designs. In ITG/GI/GMM-Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” (MBMV), 2023. [ bib | .pdf ]