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: Autotuning Thread-Modular Abstract Interpretation - (Competition Contribution). - Simmo Saan; Michael Schwarz 007; Julian Erhard; Manuel Pietsch; Helmut Seidl; Sarah Tilscher; Vesal Vojdani (TACAS (2), 2023)

The Top-Down Solver - An Exercise in A2I. - Sarah Tilscher; Yannick Stade; Michael Schwarz 007; Ralf Vogler; Helmut Seidl (Challenges of Software Verification, 2023)

Correctness Witness Validation by Abstract Interpretation. - Simmo Saan; Michael Schwarz 007; Julian Erhard; Helmut Seidl; Sarah Tilscher; Vesal Vojdani (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)

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; Michael Schwarz 007; Julian Erhard; Helmut Seidl; Sarah Tilscher; Vesal Vojdani (Zenodo, 2023)

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

2-Pointer Logic. - Helmut Seidl; Julian Erhard; Michael Schwarz 007; Sarah Tilscher (Taming the Infinities of Concurrency, 2024)

The Top-Down Solver Verified: Building Confidence in Static Analyzers. - Yannick Stade; Sarah Tilscher; Helmut Seidl (CAV (1), 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)

Correctness Witness Validation by Abstract Interpretation. - Simmo Saan; Michael Schwarz 007; Julian Erhard; Helmut Seidl; Sarah Tilscher; Vesal Vojdani (VMCAI (1), 2024)

Partial Correctness of the Top-Down Solver. - Yannick Stade; Sarah Tilscher; Helmut Seidl (Arch. Formal Proofs, 2024)

LL(1) Parser Generator. - Sarah Tilscher; Simon Wimmer 001 (Arch. Formal Proofs, 2024)

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version). - Julian Erhard; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Simmo Saan; Frank Schüssele; Michael Schwarz 007; Helmut Seidl; Sarah Tilscher; Vesal Vojdani (CoRR, 2024)

Non-numerical weakly relational domains. - Helmut Seidl; Julian Erhard; Sarah Tilscher; Michael Schwarz 007 (Int. J. Softw. Tools Technol. Transf., 2024)

Artifact for the VMCAI'2025 Paper "Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts". - Julian Erhard; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Simmo Saan; Frank Schüssele; Michael Schwarz 007; Helmut Seidl; Sarah Tilscher; Vesal Vojdani (Zenodo, 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)

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts. - Julian Erhard; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Simmo Saan; Frank Schüssele; Michael Schwarz 007; Helmut Seidl; Sarah Tilscher; Vesal Vojdani (VMCAI (1), 2025)

Taking Out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses. - Fabian Stemmler; Michael Schwarz 007; Julian Erhard; Sarah Tilscher; Helmut Seidl (Proc. ACM Program. Lang., 2025)