Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap. - Julian Erhard; Simmo Saan; Sarah Tilscher; Michael Schwarz 007; Karoliine Holter; Vesal Vojdani; Helmut Seidl (CoRR, 2022)

Goblint at SV-COMP 2024. - Simmo Saan; Julian Erhard; Michael Schwarz 007; Stanimir Bozhilov; Karoliine Holter; Sarah Tilscher; Vesal Vojdani; Helmut Seidl (Zenodo, 2023)

Goblint at SV-COMP 2024. - Simmo Saan; Julian Erhard; Michael Schwarz 007; Stanimir Bozhilov; Karoliine Holter; Sarah Tilscher; Vesal Vojdani; Helmut Seidl (Zenodo, 2023)

Goblint at SV-COMP 2024. - Simmo Saan; Julian Erhard; Michael Schwarz 007; Stanimir Bozhilov; Karoliine Holter; Sarah Tilscher; Vesal Vojdani; Helmut Seidl (Zenodo, 2023)

Goblint at SV-COMP 2024. - Simmo Saan; Julian Erhard; Michael Schwarz 007; Stanimir Bozhilov; Karoliine Holter; Sarah Tilscher; Vesal Vojdani; Helmut Seidl (Zenodo, 2023)

Abstract Debugging with GobPie. - Karoliine Holter; Juhan Oskar Hennoste; Simmo Saan; Patrick Lam 001; Vesal Vojdani (DEBT@ISSTA, 2024)

Abstract Debuggers: Exploring Program Behaviors using Static Analysis Results. - Karoliine Holter; Juhan Oskar Hennoste; Patrick Lam 001; Simmo Saan; Vesal Vojdani (Onward!, 2024)

Goblint Validator: Correctness Witness Validation by Abstract Interpretation - (Competition Contribution). - Simmo Saan; Julian Erhard; Michael Schwarz 007; Stanimir Bozhilov; Karoliine Holter; Sarah Tilscher; Vesal Vojdani; Helmut Seidl (TACAS (3), 2024)

Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution). - Simmo Saan; Julian Erhard; Michael Schwarz 007; Stanimir Bozhilov; Karoliine Holter; Sarah Tilscher; Vesal Vojdani; Helmut Seidl (TACAS (3), 2024)

Goblint at SV-COMP 2025. - Simmo Saan; Karoliine Holter; Julian Erhard; Michael Schwarz 007; Sarah Tilscher; Vesal Vojdani; Helmut Seidl (Zenodo, 2024)

Goblint at SV-COMP 2025. - Simmo Saan; Karoliine Holter; Julian Erhard; Michael Schwarz 007; Sarah Tilscher; Vesal Vojdani; Helmut Seidl (Zenodo, 2024)

Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap. - Julian Erhard; Simmo Saan; Sarah Tilscher; Michael Schwarz 007; Karoliine Holter; Vesal Vojdani; Helmut Seidl (Int. J. Softw. Tools Technol. Transf., 2024)