Felix Winterer

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR.

Tobias Seufert, Felix Winterer, Christoph Scholl, Karsten Scheibler, Tobias Paxian, Bernd Becker

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., April, 2023

2021

ICP and IC3 with Stronger Generalization.

Felix Winterer, Tobias Seufert, Karsten Scheibler, Tino Teige, Chritsoph Scholl, Bernd Becker

Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2021

Benchmarking SMT Solvers on Automotive Code.

Lukas Mentel, Karsten Scheibler, Felix Winterer, Bernd Becker, Tino Teige

Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2021

ICP and IC3.

Karsten Scheibler, Felix Winterer, Tobias Seufert, Tino Teige, Christoph Scholl, Bernd Becker

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2019

SMILE Goes Gaming: Gamification in a Classroom Response System for Academic Teaching.

Leonie Feldbusch, Felix Winterer, Johannes Gramsch, Linus Feiten, Bernd Becker

Proceedings of the 11th International Conference on Computer Supported Education, 2019