Jan H. Boockmann

Orcid: 0000-0001-6816-8393

According to our database1, Jan H. Boockmann authored at least 11 papers between 2017 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
On the Hunt for Invalid Objects: Exploring the Object State Space with Program Mutants.
Proceedings of the IEEE International Conference on Software Analysis, 2024

Comprehending Object State via Dynamic Class Invariant Learning.
Proceedings of the Fundamental Approaches to Software Engineering, 2024

2022
Model-driven Engineering for Dynamic Data Structures.
Softwaretechnik-Trends, 2022

Heap Patterns for Memory Graph Visualization.
Proceedings of the Working Conference on Software Visualization, 2022

Throw Away Student Software At Semester End? Better Not!
Proceedings of the Software Engineering im Unterricht der Hochschulen, 2022

Shape-analysis driven memory graph visualization.
Proceedings of the 30th IEEE/ACM International Conference on Program Comprehension, 2022

Towards the Evaluation of Action Reversibility in STRIPS Using Domain Generators.
Proceedings of the Foundations of Information and Knowledge Systems, 2022

2020
Learning Data Structure Shapes from Memory Graphs.
Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

Fast Pathfinding in Knowledge Graphs Using Word Embeddings.
Proceedings of the KI 2020: Advances in Artificial Intelligence, 2020

2018
Generating Inductive Shape Predicates for Runtime Checking and Formal Verification.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

2017
DSIbin: identifying dynamic data structures in C/C++ binaries.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017


  Loading...