Philipp Dominik Schubert
Philipp Dominik Schubert
Research Assistant, Heinz Nixdorf Institute, Paderborn University
Verified email at
TitleCited byYear
PhASAR: An Inter-procedural Static Analysis Framework for C/C++
PD Schubert, B Hermann, E Bodden
International Conference on Tools and Algorithms for the Construction and†…, 2019
Know your analysis: how instrumentation aids understanding static analysis
PD Schubert, R Leer, B Hermann, E Bodden
Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the†…, 2019
The system can't perform the operation now. Try again later.
Articles 1–2