Florian Stögmüller

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 2

Top Topics

Quantum Computing

Compressed Data

Decision Diagrams

Top Venues

Publications

Christoph Hazott, Florian Stögmüller, Daniel Große
Verifying Embedded Graphics Libraries leveraging Virtual Prototypes and Metamorphic Testing. ASPDAC (2024)
Stefan Hillmich, Lukas Burgholzer, Florian Stögmüller, Robert Wille
Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think. RC (2022)