Felix Klein

31 papers B 4Journal 16Unranked 9
YearRankTypeTitle / Venue / Authors
2024 J jnl
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
Int. J. Softw. Tools Technol. Transf.
Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker
2022 J jnl
Live synthesis.
Innov. Syst. Softw. Eng.
Bernd Finkbeiner, Felix Klein, Niklas Metzger
2022 J jnl
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
CoRR
Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker
2021 B conf
Live Synthesis.
ATVA
Bernd Finkbeiner, Felix Klein, Niklas Metzger
2021 J jnl
Live Synthesis.
CoRR
Bernd Finkbeiner, Felix Klein, Niklas Metzger
2021 J jnl
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications.
CoRR
Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner
2020 — —
Synthesizing stream control.
Felix Klein
2019 J jnl
Synthesizing Functional Reactive Programs.
CoRR
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
2019 — conf
Synthesizing functional reactive programs.
Haskell@ICFP
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
2019 B conf
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications.
FMCAD
Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner
2019 — conf
Temporal Stream Logic: Synthesis Beyond the Bools.
CAV (1)
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
2019 J jnl
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results.
CoRR
Swen Jacobs, Roderick Bloem, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Philipp J. Meyer, Thibaud Michaud, Mouhammad Sakr, Salomon Sickert, Leander Tentrup, Adam Walker
2018 B conf
Bounded Synthesis of Reactive Programs.
ATVA
Carsten Gerstacker, Felix Klein, Bernd Finkbeiner
2018 J jnl
Bounded Synthesis of Reactive Programs.
CoRR
Carsten Gerstacker, Felix Klein, Bernd Finkbeiner
2018 J jnl
Reactive Synthesis: Towards Output-Sensitive Algorithms.
CoRR
Bernd Finkbeiner, Felix Klein
2018 J jnl
Vehicle Platooning Simulations with Functional Reactive Programming.
CoRR
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
2017 — ch.
Reactive Synthesis: Towards Output-Sensitive Algorithms.
Dependable Software Systems Engineering
Bernd Finkbeiner, Felix Klein
2017 J jnl
Temporal Stream Logic: Synthesis beyond the Bools.
CoRR
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
2017 — conf
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results.
SYNT@CAV
Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Thibaud Michaud, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur, Leander Tentrup
2017 — conf
Vehicle Platooning Simulations with Functional Reactive Programming.
SCAV@CPSWeek
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
2016 J jnl
A High-Level LTL Synthesis Format: TLSF v1.0.
CoRR
Swen Jacobs, Felix Klein
2016 — conf
A High-Level LTL Synthesis Format: TLSF v1.1.
SYNT@CAV
Swen Jacobs, Felix Klein, Sebastian Schirmer
2016 — conf
Bounded Cycle Synthesis.
CAV (1)
Bernd Finkbeiner, Felix Klein
2016 J jnl
Bounded Cycle Synthesis.
CoRR
Bernd Finkbeiner, Felix Klein
2016 J jnl
How Much Lookahead is Needed to Win Infinite Games?
Log. Methods Comput. Sci.
Felix Klein, Martin Zimmermann
2016 — conf
Prompt Delay.
FSTTCS
Felix Klein, Martin Zimmermann
2016 J jnl
Prompt Delay.
CoRR
Felix Klein, Martin Zimmermann
2016 — conf
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results.
SYNT@CAV
Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
2015 — conf
How Much Lookahead is Needed to Win Infinite Games?
ICALP (2)
Felix Klein, Martin Zimmermann
2015 B conf
What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead.
CSL
Felix Klein, Martin Zimmermann
2015 J jnl
What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead.
CoRR
Felix Klein, Martin Zimmermann