Sequential Verification Using Reverse PDR. - Tobias Seufert; Christoph Scholl 001 (MBMV, 2017)

Combining PDR and reverse PDR for hardware model checking. - Tobias Seufert; Christoph Scholl 001 (DATE, 2018)

fbPDR: In-depth combination of forward and backward analysis in Property Directed Reachability. - Tobias Seufert; Christoph Scholl 001 (DATE, 2019)

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

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

Making PROGRESS in Property Directed Reachability. - Tobias Seufert; Christoph Scholl 001; Arun Chandrasekharan; Sven Reimer; Tobias Welp (MBMV, 2022)

On safety verification using PDR and Reverse PDR. - Tobias Seufert (2023)

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)

Hierarchical Stochastic SAT and Quality Assessment of Logic Locking. - Christoph Scholl 001; Tobias Seufert; Fabian Siegwolf (SAT, 2024)