Tobias Welp, Ph.D.
Affiliations: | 2013 | Electrical Engineering & Computer Sciences | University of California, Berkeley, Berkeley, CA, United States |
Area:
Design, Modeling and Analysis (DMA)Google:
"Tobias Welp"Parents
Sign in to add mentor| Andreas Kuehlmann | grad student | 2013 | UC Berkeley | |
| (Program verification with property directed reachability.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Welp T, Kuehlmann A. (2014) Property directed invariant refinement for program verification Proceedings -Design, Automation and Test in Europe, Date |
| Welp T, Kuehlmann A. (2014) Property Directed Reachability for QF-BV with mixed type atomic reasoning units Proceedings of the Asia and South Pacific Design Automation Conference, Asp-Dac. 738-743 |
| Welp T, Kuehlmann A. (2013) QF-BV model checking with property directed reachability Proceedings -Design, Automation and Test in Europe, Date. 791-796 |
| Welp T, Krishnaswamy S, Kuehlmann A. (2012) Generalized SAT-sweeping for post-mapping optimization Proceedings - Design Automation Conference. 814-819 |
| Welp T, Kitchen N, Kuehlmann A. (2012) Hardware acceleration for constraint solving for random simulation Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 31: 779-789 |
| Puggelli A, Welp T, Kuehlmann A, et al. (2011) Are logic synthesis tools robust? Proceedings - Design Automation Conference. 633-638 |
| Welp T, Kuehlmann A. (2011) An approach for dynamic selection of synthesis transformations based on Markov decision processes Proceedings -Design, Automation and Test in Europe, Date. 1533-1536 |