Florian Stögmüller

According to our database, Florian Stögmüller authored at least 3 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Using virtual prototypes and metamorphic testing to verify the hardware/software-stack of embedded graphics libraries.

Christoph Hazott, Florian Stögmüller, Daniel Große

Integr., 2025

2024

Verifying Embedded Graphics Libraries leveraging Virtual Prototypes and Metamorphic Testing.

Christoph Hazott, Florian Stögmüller, Daniel Große

Proceedings of the 29th Asia and South Pacific Design Automation Conference, 2024

2022

Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think.

Stefan Hillmich, Lukas Burgholzer, Florian Stögmüller, Robert Wille

Proceedings of the Reversible Computation - 14th International Conference, 2022