Tobias Seufert
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2018–2024
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SAT | Hierarchical Stochastic SAT and Quality Assessment of Logic Locking. | Christoph Scholl, Tobias Seufert, Fabian Siegwolf |
| 2022 | VMCAI | Making PROGRESS in Property Directed Reachability. | Tobias Seufert, Christoph Scholl, Arun Chandrasekharan, Sven Reimer, Tobias Welp |
| 2021 | DATE | ICP and IC3. | Karsten Scheibler, Felix Winterer, Tobias Seufert, Tino Teige, Christoph Scholl, Bernd Becker |
| 2019 | DATE | fbPDR: In-depth combination of forward and backward analysis in Property Directed Reachability. | Tobias Seufert, Christoph Scholl |
| 2018 | DATE | Combining PDR and reverse PDR for hardware model checking. | Tobias Seufert, Christoph Scholl |