SMILE Goes Gaming: Gamification in a Classroom Response System for Academic Teaching. - Leonie Feldbusch; Felix Winterer; Johannes Gramsch; Linus Feiten; Bernd Becker 001 (CSEDU (2), 2019)

ICP and IC3. - Karsten Scheibler; Felix Winterer; Tobias Seufert; Tino Teige; Christoph Scholl 001; Bernd Becker 001 (DATE, 2021)

Benchmarking SMT Solvers on Automotive Code. - Lukas Mentel; Karsten Scheibler; Felix Winterer; Bernd Becker 001; Tino Teige (MBMV, 2021)

ICP and IC3 with Stronger Generalization. - Felix Winterer; Tobias Seufert; Karsten Scheibler; Tino Teige; Chritsoph Scholl; Bernd Becker 001 (MBMV, 2021)

Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR. - Tobias Seufert; Felix Winterer; Christoph Scholl 001; Karsten Scheibler; Tobias Paxian; Bernd Becker 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)