1. Visualizing software dynamicities with heat maps
2. Software Visualizations to Analyze Memory Consumption: A Literature Review
3. Jan H. Boockmann and Gerald Lüttgen. 2020. Learning Data Structure Shapes from Memory Graphs . In International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'2020) (EPiC Series in Computing , Vol. 73), Elvira Albert and Laura Kovács (Eds.). EasyChair, 151-- 168 . https://easychair.org/publications/paper/mkjl Jan H. Boockmann and Gerald Lüttgen. 2020. Learning Data Structure Shapes from Memory Graphs. In International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'2020) (EPiC Series in Computing, Vol. 73), Elvira Albert and Laura Kovács (Eds.). EasyChair, 151--168. https://easychair.org/publications/paper/mkjl
4. Program and Algorithm Visualization in Engineering and Physics
5. Moving Fast with Software Verification