Felix Winterer

According to our database1, Felix Winterer authored at least 5 papers between 2019 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., April, 2023

2021
ICP and IC3 with Stronger Generalization.
Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2021

Benchmarking SMT Solvers on Automotive Code.
Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2021

ICP and IC3.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2019
SMILE Goes Gaming: Gamification in a Classroom Response System for Academic Teaching.
Proceedings of the 11th International Conference on Computer Supported Education, 2019


  Loading...