Anwendungsmöglichkeiten von Bounded Model Checking und affiner Arithmetik für die Verifikation von Analogschaltungen. - Andreas Ehrenfried; Daniel Scholz; Tobias Welp (MBMV, 2006)

Are logic synthesis tools robust? - Alberto Puggelli; Tobias Welp; Andreas Kuehlmann; Alberto L. Sangiovanni-Vincentelli (DAC, 2011)

An approach for dynamic selection of synthesis transformations based on Markov Decision Processes. - Tobias Welp; Andreas Kuehlmann (DATE, 2011)

Generalized SAT-sweeping for post-mapping optimization. - Tobias Welp; Smita Krishnaswamy; Andreas Kuehlmann (DAC, 2012)

Hardware Acceleration for Constraint Solving for Random Simulation. - Tobias Welp; Nathan Kitchen; Andreas Kuehlmann (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012)

QF BV model checking with property directed reachability. - Tobias Welp; Andreas Kuehlmann (DATE, 2013)

Program Verification with Property Directed Reachability. - Tobias Welp (2013)

Property Directed Reachability for QF_BV with mixed type atomic reasoning units. - Tobias Welp; Andreas Kuehlmann (ASP-DAC, 2014)

Property directed invariant refinement for program verification. - Tobias Welp; Andreas Kuehlmann (DATE, 2014)

Making PROGRESS in Property Directed Reachability. - Tobias Seufert; Christoph Scholl 001; Arun Chandrasekharan; Sven Reimer; Tobias Welp (MBMV, 2022)

Natural Language Outlines for Code: Literate Programming in the LLM Era. - Kensen Shi; Deniz Altinbüken; Saswat Anand; Mihai Christodorescu; Katja Grünwedel; Alexa Koenings; Sai Naidu; Anurag Pathak; Marc Rasi; Fredde Ribeiro; Brandon Ruffin; Siddhant Sanyam; et al. (SIGSOFT FSE Companion, 2025)

10 Years Later: Revisiting How Developers Search for Code. - Kathryn T. Stolee; Tobias Welp; Caitlin Sadowski; Sebastian G. Elbaum (Proc. ACM Softw. Eng., 2025)