Send email Copy Email Address
Placeholder
person_details_employeetype_other

Felix Klein

Email

Address

Am Halberg 3
66121 Saarbrücken (Germany)

Publications by Felix Klein

Year 2019

Conference / Medium

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

Conference / Medium

CAV
Computer Aided Verification - 31th International Conference, CAV

Conference / Medium

Formal Methods in Computer Aided Design, FMCAD

Year 2018

Conference / Medium

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

Year 2017

Conference / Medium

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

Conference / Medium

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

Year 2016

Conference / Medium

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

Article

CoRR