DSIbin: identifying dynamic data structures in C/C++ binaries. - Thomas Rupprecht; Xi Chen 038; David H. White 001; Jan H. Boockmann; Gerald Lüttgen; Herbert Bos (ASE, 2017)

Generating Inductive Shape Predicates for Runtime Checking and Formal Verification. - Jan H. Boockmann; Gerald Lüttgen; Jan Tobias Mühlberg (ISoLA (2), 2018)

Fast Pathfinding in Knowledge Graphs Using Word Embeddings. - Leon Martin; Jan H. Boockmann; Andreas Henrich (KI, 2020)

Learning Data Structure Shapes from Memory Graphs. - Jan H. Boockmann; Gerald Lüttgen (LPAR, 2020)

Towards the Evaluation of Action Reversibility in STRIPS Using Domain Generators. - Tobias Schwartz 002; Jan H. Boockmann; Leon Martin (FoIKS, 2022)

Shape-analysis driven memory graph visualization. - Jan H. Boockmann; Gerald Lüttgen (ICPC, 2022)

Throw Away Student Software At Semester End? Better Not! - Jan H. Boockmann; Kerstin Jacob; Gerald Lüttgen (SEUH, 2022)

Heap Patterns for Memory Graph Visualization. - Jan H. Boockmann; Gerald Lüttgen (VISSOFT, 2022)

Model-driven Engineering for Dynamic Data Structures. - Jan H. Boockmann; Kerstin Jacob; Gerald Lüttgen (Softwaretechnik-Trends, 2022)

Comprehending Object State via Dynamic Class Invariant Learning. - Jan H. Boockmann; Gerald Lüttgen (FASE, 2024)

On the Hunt for Invalid Objects: Exploring the Object State Space with Program Mutants. - Jan H. Boockmann; Gerald Lüttgen (SANER, 2024)