Felix Klein

Felix Klein

About Me

I was a Ph.D. student in the Reactive Systems Group at the Computer Science Department at Saarland University. I defended my thesis Synthesizing Stream Control on September 8th 2020. I am currently an entrepreneur at CISPA – Helmholtz Center for Information Security.

Contact

eMail: fklein at cs.uni-saarland.de

Publications

Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications

with Gideon Geier, Philippe Heim, and Bernd Finkbeiner
Accepted at Formal Methods in Computer-Aided Design, FMCAD 2019

Synthesizing Functional Reactive Programs

with Bernd Finkbeiner, Ruzica Piskac, and Mark Santolucito
Haskell Symposium, Haskell 2019

Temporal Stream Logic: Synthesis beyond the Bools

with Bernd Finkbeiner, Ruzica Piskac, and Mark Santolucito
31th International Conference on Computer Aided Verification, CAV 2019

Bounded Synthesis of Reactive Programs

with Bernd Finkbeiner and Carsten Gerstacker
International Symposium on Automated Technology for Verification and Analysis, ATVA 2018

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

with Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Thibaud Michaud, Guillermo A. Perez, Jean-Francois Raskin, Ocan Sankur, Leander Tentrup
6th Workshop on Synthesis, SYNT 2017

Reactive Synthesis: Towards Output-Sensitive Algorithms

with Bernd Finkbeiner
Dependable Software Systems Engineering, IOS Press

Vehicle Platooning Simulations with Functional Reactive Programming

with Bernd Finkbeiner, Ruzica Piskac and Mark Santolucito
1st International Workshop on Safe Control of Connected and Autonomous Vehicles, SCAV 2017

Prompt Delay

with Martin Zimmermann
36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016

How much lookahead is needed to win infinite games?

with Martin Zimmermann
Logical Methods in Computer Science, Volume 12, Issue 3, LMCS

The Third Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants and Results

with Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Perez, Jean-Francois Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup and Adam Walker
5th Workshop on Synthesis, SYNT 2016

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

with Swen Jacobs and Sebastian Schirmer
5th Workshop on Synthesis, SYNT 2016

Bounded Cycle Synthesis

with Bernd Finkbeiner
28th International Conference on Computer Aided Verification, CAV 2016

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

with Martin Zimmermann
24th EACSL Annual Conference on Computer Science Logic, CSL 2015

How much lookahead is needed to win infinite games?

with Martin Zimmermann
42nd International Colloquium on Automata, Languages, and Programming, ICALP 2015

Student Projects

Live Synthesis Niklas Metzger, Master Thesis
Bounded Synthesis for Past LTL Peter Wita, Master Thesis, 2018
Bounded Synthesis of Reactive Programs Carsten Gerstacker, Bachelor Thesis, 2017
From Knowledge- to Belief-Based Programming for Mobile Ad-Hoc Networks Maximilian Köhl, Bachelor Thesis, 2017
Provable State-Space Minimization of Büchi Automata arising from LTL Specifications Peter Wita, Bachelor Thesis, 2016

Teaching

Winter 2018 / 2019 Assistant for the advanced lecture Automata, Games and Verification
Summer 2018 Tutor for the core lecture Embedded Systems
Summer 2016 Tutor for the core lecture Embedded Systems
Summer 2015 Assistant for the advanced lecture Automata, Games and Verification
Summer 2014 Assistant for the core lecture Embedded Systems
Summer 2014 Advisor for the seminar Advanced Topics in Infinite Games
Winter 2013 / 2014 Assistant for the advanced lecture Infinite Games
Winter 2013 / 2014 Assistant for the lecture Einführung in eingebettete Systeme
Winter 2013 / 2014 Advisor for the proseminar The Time Machine
Summer 2013 Tutor for the core lecture Verification
Winter 2012 / 2013 Tutor for the advanced lecture Automata, Games and Verification
Summer 2012 Tutor for the lecture Concurrent Programming at the Dependable Systems Chair
Winter 2011 / 2012 Supervision Tutor for the lecture Programming 1 at the Dependable Systems Chair
Winter 2011 / 2012 Tutor for the core lecture Compiler Construction at the Compiler Design Lab
Summer 2011 Tutor for the lecture Concurrent Programming at the Dependable Systems Chair
Winter 2010 / 2011 Tutor for the lecture Programming 1 at the Programming Systems Lab