Items where Author is "Geier, Gideon"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item (A Paper) | Article
Number of items: 3.

Conference or Workshop Item (A Paper)

Finkbeiner, Bernd and Geier, Gideon and Passing, Noemi
(2021) Specification Decomposition for Reactive Synthesis.
In: 13th NASA Formal Methods Symposium, NFM 2021.
Conference: NFM NASA Formal Methods Symposium
(In Press)

Geier, Gideon and Heim, Philippe and Klein, Felix and Finkbeiner, Bernd
(2019) Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications.
In: Formal Methods in Computer Aided Design, FMCAD.
Conference: FMCAD Formal Methods in Computer-Aided Design

Article

Finkbeiner, Bernd and Geier, Gideon and Passing, Noemi
(2022) Specification decomposition for reactive synthesis.
Innovations in Systems and Software Engineering.

This list was generated on Tue Jul 2 07:09:09 2024 CEST.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.