Tobias Welp
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2011–2022
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | VMCAI | Making PROGRESS in Property Directed Reachability. | Tobias Seufert, Christoph Scholl, Arun Chandrasekharan, Sven Reimer, Tobias Welp |
| 2014 | ASPDAC | Property Directed Reachability for QF_BV with mixed type atomic reasoning units. | Tobias Welp, Andreas Kuehlmann |
| 2014 | DATE | Property directed invariant refinement for program verification. | Tobias Welp, Andreas Kuehlmann |
| 2013 | DATE | QF BV model checking with property directed reachability. | Tobias Welp, Andreas Kuehlmann |
| 2012 | DAC | Generalized SAT-sweeping for post-mapping optimization. | Tobias Welp, Smita Krishnaswamy, Andreas Kuehlmann |
| 2011 | DAC | Are logic synthesis tools robust? | Alberto Puggelli, Tobias Welp, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli |
| 2011 | DATE | An approach for dynamic selection of synthesis transformations based on Markov Decision Processes. | Tobias Welp, Andreas Kuehlmann |