Items where Author is "Klein, Felix"

Group by: Item Type | No Grouping

Jump to: Conference or Workshop Item (A Paper) | Article | Book Section

Number of items: 17.

Conference or Workshop Item (A Paper)

Finkbeiner, Bernd and Klein, Felix and Metzger, Niklas

(2021) Live Synthesis.

In: 19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021), 18 - 22 October 2021, Golden Coast, Australia.

Conference: ATVA International Symposium on Automated Technology for Verification and Analysis

Finkbeiner, Bernd and Klein, Felix and Piskac, Ruzica and Santolucito, Mark

(2019) Synthesizing functional reactive programs.

In: Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP.

Conference: HASKELL Haskell Workshop

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

Finkbeiner, Bernd and Klein, Felix and Piskac, Ruzica and Santolucito, Mark

(2019) Temporal Stream Logic: Synthesis beyond the Bools.

In: Computer Aided Verification - 31th International Conference, CAV.

Conference: CAV Computer Aided Verification

Gerstacker, Carsten and Klein, Felix and Finkbeiner, Bernd

(2018) Bounded Synthesis of Reactive Programs.

In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings.

Conference: ATVA International Symposium on Automated Technology for Verification and Analysis

Jacobs, Swen and Basset, Nicolas and Bloem, Roderick and Brenguier, Romain and Colange, Maximilien and Faymonville, Peter and Finkbeiner, Bernd and Khalimov, Ayrat and Klein, Felix and Michaud, Thibaud and Perez, Guillermo A. and Raskin, Jean-Francois and Sankur, Ocan and Tentrup, Leander

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

In: Proceedings Sixth Workshop on Synthesis, SYNT 2017, Heidelberg, Germany, 22nd July 2017..

Finkbeiner, Bernd and Klein, Felix and Piskac, Ruzica and Santolucito, Mark

(2017) Vehicle Platooning Simulations with Functional Reactive Programming.

In: Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles, SCAV@CPSWeek 2017, Pittsburgh, PA, USA, April 21, 2017.

Jacobs, Swen and Bloem, Roderick and Brenguier, Romain and Khalimov, Ayrat and Klein, Felix and Könighofer, Robert and Kreber, Jens and Legg, Alexander and Narodytska, Nina and Perez, Guillermo A. and Raskin, Jean-Francois and Ryzhyk, Leonid and Sankur, Ocan and Seidl, Martina and Tentrup, Leander and Walker, Adam

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

In: Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016..

Finkbeiner, Bernd and Klein, Felix

(2016) Bounded Cycle Synthesis.

In: Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I.

Conference: CAV Computer Aided Verification

Jacobs, Swen and Klein, Felix and Schirmer, Sebastian

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

In: Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016..

Sons, Kristian and Klein, Felix and Sutter, Jan and Slusallek, Philipp

(2015) The XML3D architecture.

In: Special Interest Group on Computer Graphics and Interactive Techniques Conference, SIGGRAPH '15, Los Angeles, CA, USA, August 9-13, 2015, Posters Proceedings.

Conference: SIGGRAPH ACM SIG International Conference on Computer Graphics and Interactive Techniques

Klein, Felix and Spieldenner, Torsten and Sons, Kristian and Slusallek, Philipp

(2014) Configurable instances of 3D models for declarative 3D in the web.

In: The 19th International Conference on Web3D Technology, Web3D '14, Vancouver, BC, Canada, August 8-10, 2014.