Jan H. Boockmann

13 papers A* 1A 2B 4Misc 1Journal 2Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
On domain generators for the evaluation of action reversibility in STRIPS.
Ann. Math. Artif. Intell.
Tobias Schwartz, Jan H. Boockmann, Leon Martin
2025 B conf
On the Generation of Invalid Objects for Inferring More Precise Class Invariants.
SEFM
Jan H. Boockmann, Kerstin Jacob, Gerald Lüttgen
2024 B conf
Comprehending Object State via Dynamic Class Invariant Learning.
FASE
Jan H. Boockmann, Gerald Lüttgen
2024 A conf
On the Hunt for Invalid Objects: Exploring the Object State Space with Program Mutants.
SANER
Jan H. Boockmann, Gerald Lüttgen
2022 B conf
Heap Patterns for Memory Graph Visualization.
VISSOFT
Jan H. Boockmann, Gerald Lüttgen
2022 J jnl
Model-driven Engineering for Dynamic Data Structures.
Softwaretechnik-Trends
Jan H. Boockmann, Kerstin Jacob, Gerald Lüttgen
2022 A conf
Shape-analysis driven memory graph visualization.
ICPC
Jan H. Boockmann, Gerald Lüttgen
2022 — conf
Throw Away Student Software At Semester End? Better Not!
SEUH
Jan H. Boockmann, Kerstin Jacob, Gerald Lüttgen
2022 — conf
Towards the Evaluation of Action Reversibility in STRIPS Using Domain Generators.
FoIKS
Tobias Schwartz, Jan H. Boockmann, Leon Martin
2020 Misc conf
Fast Pathfinding in Knowledge Graphs Using Word Embeddings.
KI
Leon Martin, Jan H. Boockmann, Andreas Henrich
2020 B conf
Learning Data Structure Shapes from Memory Graphs.
LPAR
Jan H. Boockmann, Gerald Lüttgen
2018 — conf
Generating Inductive Shape Predicates for Runtime Checking and Formal Verification.
ISoLA (2)
Jan H. Boockmann, Gerald Lüttgen, Jan Tobias Mühlberg
2017 A* conf
DSIbin: identifying dynamic data structures in C/C++ binaries.
ASE
Thomas Rupprecht, Xi Chen, David H. White, Jan H. Boockmann, Gerald Lüttgen, Herbert Bos
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling