Jan H. Boockmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2018–2025
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SEFM | On the Generation of Invalid Objects for Inferring More Precise Class Invariants. | Jan H. Boockmann, Kerstin Jacob, Gerald Lttgen |
| 2024 | FASE | Comprehending Object State via Dynamic Class Invariant Learning. | Jan H. Boockmann, Gerald Lttgen |
| 2022 | VISSOFT | Heap Patterns for Memory Graph Visualization. | Jan H. Boockmann, Gerald Lttgen |
| 2020 | KI | Fast Pathfinding in Knowledge Graphs Using Word Embeddings. | Leon Martin, Jan H. Boockmann, Andreas Henrich |
| 2020 | LPAR | Learning Data Structure Shapes from Memory Graphs. | Jan H. Boockmann, Gerald Lttgen |
| 2018 | ISoLA | Generating Inductive Shape Predicates for Runtime Checking and Formal Verification. | Jan H. Boockmann, Gerald Lttgen, Jan Tobias Mhlberg |