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 FinkbeinerAccepted at Formal Methods in Computer-Aided Design, FMCAD 2019
Synthesizing Functional Reactive Programs
with Bernd Finkbeiner, Ruzica Piskac, and Mark SantolucitoHaskell Symposium, Haskell 2019
Temporal Stream Logic: Synthesis beyond the Bools
with Bernd Finkbeiner, Ruzica Piskac, and Mark Santolucito31th International Conference on Computer Aided Verification, CAV 2019
Bounded Synthesis of Reactive Programs
with Bernd Finkbeiner and Carsten GerstackerInternational 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 Tentrup6th Workshop on Synthesis, SYNT 2017
Reactive Synthesis: Towards Output-Sensitive Algorithms
with Bernd FinkbeinerDependable Software Systems Engineering, IOS Press
Vehicle Platooning Simulations with Functional Reactive Programming
with Bernd Finkbeiner, Ruzica Piskac and Mark Santolucito1st International Workshop on Safe Control of Connected and Autonomous Vehicles, SCAV 2017
Prompt Delay
with Martin Zimmermann36th 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 ZimmermannLogical 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 Walker5th Workshop on Synthesis, SYNT 2016
A High-Level LTL Synthesis Format: TLSF v1.1
with Swen Jacobs and Sebastian Schirmer5th Workshop on Synthesis, SYNT 2016
Bounded Cycle Synthesis
with Bernd Finkbeiner28th International Conference on Computer Aided Verification, CAV 2016
What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead
with Martin Zimmermann24th EACSL Annual Conference on Computer Science Logic, CSL 2015
How much lookahead is needed to win infinite games?
with Martin Zimmermann42nd 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 |