Tobias Welp

According to our database, Tobias Welp authored at least 10 papers between 2006 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Making PROGRESS in Property Directed Reachability.

Tobias Seufert, Christoph Scholl, Arun Chandrasekharan, Sven Reimer, Tobias Welp

Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2022

2014

Property directed invariant refinement for program verification.

Tobias Welp, Andreas Kuehlmann

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Property Directed Reachability for QF_BV with mixed type atomic reasoning units.

Tobias Welp, Andreas Kuehlmann

Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014

2013

Program Verification with Property Directed Reachability.

Tobias Welp

PhD thesis, 2013

QF BV model checking with property directed reachability.

Tobias Welp, Andreas Kuehlmann

Proceedings of the Design, Automation and Test in Europe, 2013

2012

Hardware Acceleration for Constraint Solving for Random Simulation.

Tobias Welp, Nathan Kitchen, Andreas Kuehlmann

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012

Generalized SAT-sweeping for post-mapping optimization.

Tobias Welp, Smita Krishnaswamy, Andreas Kuehlmann

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

2011

An approach for dynamic selection of synthesis transformations based on Markov Decision Processes.

Tobias Welp, Andreas Kuehlmann

Proceedings of the Design, Automation and Test in Europe, 2011

Are logic synthesis tools robust?

Alberto Puggelli, Tobias Welp, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 48th Design Automation Conference, 2011

2006

Anwendungsmöglichkeiten von Bounded Model Checking und affiner Arithmetik für die Verifikation von Analogschaltungen.

Andreas Ehrenfried, Daniel Scholz, Tobias Welp

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006