Jan H. Boockmann

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 11

Top Topics

Laplace Beltrami

Top Venues

Softwaretechnik-Trends

Publications

Jan H. Boockmann, Gerald Lüttgen
On the Hunt for Invalid Objects: Exploring the Object State Space with Program Mutants. SANER (2024)
Jan H. Boockmann, Gerald Lüttgen
Comprehending Object State via Dynamic Class Invariant Learning. FASE (2024)
Jan H. Boockmann, Gerald Lüttgen
Shape-analysis driven memory graph visualization. ICPC (2022)
Tobias Schwartz, Jan H. Boockmann, Leon Martin
Towards the Evaluation of Action Reversibility in STRIPS Using Domain Generators. FoIKS (2022)
Jan H. Boockmann, Kerstin Jacob, Gerald Lüttgen
Throw Away Student Software At Semester End? Better Not! SEUH (2022)
Jan H. Boockmann, Gerald Lüttgen
Heap Patterns for Memory Graph Visualization. VISSOFT (2022)
Jan H. Boockmann, Kerstin Jacob, Gerald Lüttgen
Model-driven Engineering for Dynamic Data Structures. Softwaretechnik-Trends 42 (4) (2022)
Leon Martin, Jan H. Boockmann, Andreas Henrich
Fast Pathfinding in Knowledge Graphs Using Word Embeddings. KI (2020)
Jan H. Boockmann, Gerald Lüttgen
Learning Data Structure Shapes from Memory Graphs. LPAR (2020)
Jan H. Boockmann, Gerald Lüttgen, Jan Tobias Mühlberg
Generating Inductive Shape Predicates for Runtime Checking and Formal Verification. ISoLA (2) (2018)
Thomas Rupprecht, Xi Chen, David H. White, Jan H. Boockmann, Gerald Lüttgen, Herbert Bos
DSIbin: identifying dynamic data structures in C/C++ binaries. ASE (2017)