Know your analysis: how instrumentation aids understanding static analysis. - Philipp Dominik Schubert; Richard Leer; Ben Hermann; Eric Bodden (SOAP@PLDI, 2019)

PhASAR: An Inter-procedural Static Analysis Framework for C/C++. - Philipp Dominik Schubert; Ben Hermann; Eric Bodden (TACAS (2), 2019)

Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis. - Philipp Dominik Schubert; Ben Hermann; Eric Bodden (ECOOP, 2021)

Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++. - Philipp Dominik Schubert; Richard Leer; Ben Hermann; Eric Bodden (SCAM, 2021)

Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++. - Philipp Dominik Schubert; Florian Sattler; Fabian Schiebel; Ben Hermann; Eric Bodden (SCAM, 2021)

Static data-flow analysis for software product lines in C. - Philipp Dominik Schubert; Paul Gazzillo; Zach Patterson; Julian Braha; Fabian Schiebel; Ben Hermann; Shiyi Wei; Eric Bodden (Autom. Softw. Eng., 2022)

slash: A Technique for Static Configuration-Logic Identification. - Mohannad Alhanahnah; Philipp Dominik Schubert; Thomas W. Reps; Somesh Jha; Eric Bodden (CoRR, 2023)

Supplementary web page for the paper "SEAL: Integrating Program Analysis and Repository Mining". - Florian Sattler; Sebastian Böhm; Philipp Dominik Schubert; Norbert Siegmund; Sven Apel (Zenodo, 2023)

SEAL: Integrating Program Analysis and Repository Mining. - Florian Sattler; Sebastian Böhm; Philipp Dominik Schubert; Norbert Siegmund; Sven Apel (ACM Trans. Softw. Eng. Methodol., 2023)

Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report. - Fabian Schiebel; Florian Sattler; Philipp Dominik Schubert; Sven Apel; Eric Bodden (ECOOP, 2024)

Supplementary Material for the paper: "Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report". - Fabian Schiebel; Florian Sattler; Philipp Dominik Schubert; Sven Apel; Eric Bodden (Zenodo, 2024)