Gideon Geier

According to our database, Gideon Geier authored at least 4 papers between 2019 and 2025.

Collaborative distances:

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

2025

Coverage-Guided Pre-Silicon Fuzzing of Open-Source Processors based on Leakage Contracts.

Gideon Geier, Pariya Hajipour, Jan Reineke

CoRR, November, 2025

2021

Specification Decomposition for Reactive Synthesis (Full Version).

Bernd Finkbeiner, Gideon Geier, Noemi Passing

CoRR, 2021

Specification Decomposition for Reactive Synthesis.

Bernd Finkbeiner, Gideon Geier, Noemi Passing

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

2019

Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications.

Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019