Tobias Seufert

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 10

Top Topics

Quality Assessment

Iterative Closest Point Algorithm

Top Venues

Publications

Christoph Scholl, Tobias Seufert, Fabian Siegwolf
Hierarchical Stochastic SAT and Quality Assessment of Logic Locking. SAT (2024)
Tobias Seufert, Felix Winterer, Christoph Scholl, Karsten Scheibler, Tobias Paxian, Bernd Becker
Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (4) (2023)
Tobias Seufert, Christoph Scholl, Arun Chandrasekharan, Sven Reimer, Tobias Welp
Making PROGRESS in Property Directed Reachability. MBMV (2022)
Tobias Seufert, Christoph Scholl, Arun Chandrasekharan, Sven Reimer, Tobias Welp
Making PROGRESS in Property Directed Reachability. VMCAI (2022)
Tobias Seufert, Felix Winterer, Christoph Scholl, Karsten Scheibler, Tobias Paxian, Bernd Becker
Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR. CoRR (2021)
Karsten Scheibler, Felix Winterer, Tobias Seufert, Tino Teige, Christoph Scholl, Bernd Becker
ICP and IC3. DATE (2021)
Felix Winterer, Tobias Seufert, Karsten Scheibler, Tino Teige, Chritsoph Scholl, Bernd Becker
ICP and IC3 with Stronger Generalization. MBMV (2021)
Tobias Seufert, Christoph Scholl
fbPDR: In-depth combination of forward and backward analysis in Property Directed Reachability. DATE (2019)
Tobias Seufert, Christoph Scholl
Combining PDR and reverse PDR for hardware model checking. DATE (2018)
Tobias Seufert, Christoph Scholl
Sequential Verification Using Reverse PDR. MBMV (2017)