Felix Klein

According to our database, Felix Klein authored at least 19 papers between 2015 and 2022.

Collaborative distances:

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

2022

Live synthesis.

Bernd Finkbeiner, Felix Klein, Niklas Metzger

Innov. Syst. Softw. Eng., 2022

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.

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

CoRR, 2022

2020

Synthesizing stream control.

Felix Klein

PhD thesis, 2020

2019

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results.

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

CoRR, 2019

Synthesizing functional reactive programs.

Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 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

Temporal Stream Logic: Synthesis Beyond the Bools.

Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Reactive Synthesis: Towards Output-Sensitive Algorithms.

Bernd Finkbeiner, Felix Klein

CoRR, 2018

Bounded Synthesis of Reactive Programs.

Carsten Gerstacker, Felix Klein, Bernd Finkbeiner

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Reactive Synthesis: Towards Output-Sensitive Algorithms.

Bernd Finkbeiner, Felix Klein

Proceedings of the Dependable Software Systems Engineering, 2017

The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results.

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

Proceedings of the Proceedings Sixth Workshop on Synthesis, 2017

Vehicle Platooning Simulations with Functional Reactive Programming.

Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito

Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles, 2017

2016

How Much Lookahead is Needed to Win Infinite Games?

Felix Klein, Martin Zimmermann

Log. Methods Comput. Sci., 2016

A High-Level LTL Synthesis Format: TLSF v1.0.

Swen Jacobs, Felix Klein

CoRR, 2016

The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results.

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

Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

A High-Level LTL Synthesis Format: TLSF v1.1.

Swen Jacobs, Felix Klein, Sebastian Schirmer

Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

Prompt Delay.

Felix Klein, Martin Zimmermann

Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016

Bounded Cycle Synthesis.

Bernd Finkbeiner, Felix Klein

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead.

Felix Klein, Martin Zimmermann

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015