Gideon Geier

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 5

Top Topics

Functional Decomposition

Reactive Systems

Formal Verification

Top Venues

Innov. Syst. Softw. Eng.

Publications

Bernd Finkbeiner, Gideon Geier, Noemi Passing
Specification decomposition for reactive synthesis. Innov. Syst. Softw. Eng. 19 (4) (2023)
Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications. CoRR (2021)
Bernd Finkbeiner, Gideon Geier, Noemi Passing
Specification Decomposition for Reactive Synthesis (Full Version). CoRR (2021)
Bernd Finkbeiner, Gideon Geier, Noemi Passing
Specification Decomposition for Reactive Synthesis. NFM (2021)
Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications. FMCAD (2019)