DSIbin: Identifying dynamic data structures in C/C++ binaries T Rupprecht, X Chen, DH White, JH Boockmann, G Lüttgen, H Bos Proceedings of the 32nd IEEE/ACM International Conference on Automated …, 2017 | 14 | 2017 |
Generating Inductive Shape Predicates for Runtime Checking and Formal Verification JH Boockmann, G Lüttgen, JT Mühlberg Proceedings of the 8th International Symposium on Leveraging Applications of …, 2018 | 7 | 2018 |
Learning Data Structure Shapes from Memory Graphs. JH Boockmann, G Lüttgen LPAR 2020, 23rd, 2020 | 6 | 2020 |
Shape-analysis driven memory graph visualization JH Boockmann, G Lüttgen Proceedings of the 30th IEEE/ACM International Conference on Program …, 2022 | 3 | 2022 |
Fast Pathfinding in Knowledge Graphs Using Word Embeddings L Martin, JH Boockmann, A Henrich KI 2020: Advances in Artificial Intelligence: 43rd German Conference on AI …, 2020 | 3 | 2020 |
Heap patterns for memory graph visualization JH Boockmann, G Lüttgen 2022 Working Conference on Software Visualization (VISSOFT), 162-166, 2022 | 1 | 2022 |
Throw Away Student Software At Semester End?: Better Not! J Boockmann, K Jacob, G Lüttgen Otto-Friedrich-Universität, 2022 | 1 | 2022 |
Towards Robustness Testing of Functions Operating on Dynamic Data Structures JH Boockmann, K Jacob, G Lüttgen 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung, 5-19, 2021 | 1 | 2021 |
Shape Inference from Memory Graphs (Extended Abstract) JH Boockmann, G Lüttgen 20. Kolloquium Programmiersprachen und Grundlagen der Programmierung KPS …, 2019 | 1 | 2019 |
Comprehending Object State via Dynamic Class Invariant Learning JH Boockmann, G Lüttgen International Conference on Fundamental Approaches to Software Engineering …, 2024 | | 2024 |
Towards the Evaluation of Action Reversibility in STRIPS Using Domain Generators T Schwartz, JH Boockmann, L Martin International Symposium on Foundations of Information and Knowledge Systems …, 2022 | | 2022 |
Model-driven Engineering for Dynamic Data Structures JH Boockmann, K Jacob, G Lüttgen Gesellschaft für Informatik eV, 2022 | | 2022 |
DSI: Automated Detection of Dynamic Data Structures in C Programs and Binary Code T Rupprecht, JH Boockmann, DH White, G Lüttgen Jenaer Schriften zur Mathematik und Informatik, 134 - 147, 2017 | | 2017 |
Breaking Class Invariants Through Program Mutation-based Object State Space Exploration JH Boockmann, G Lüttgen 22. Kolloquium Programmiersprachen und Grundlagen der Programmierung, 3, 0 | | |
External Reviewers ICECCS 2020 JH Boockmann, GAA Prana, G Caltais, YS Chang, T Chen, Z Cheng, ... | | |
ICECCS 2019 L Bao, JP Bodeveix, JH Boockmann, J Brotherston, Q Chen, T Chen, ... | | |