A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis. - Helmut Seidl; Vesal Vojdani; Varmo Vene (FM, 2009)

Region Analysis for Race Detection. - Helmut Seidl; Vesal Vojdani (SAS, 2009)

Shape Analysis of Low-Level C with Overlapping Structures. - Jörg Kreiker; Helmut Seidl; Vesal Vojdani (VMCAI, 2010)

Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol. - Martin D. Schwarz; Helmut Seidl; Vesal Vojdani; Peter Lammich; Markus Müller-Olm (POPL, 2011)

Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis. - Kalmer Apinis; Helmut Seidl; Vesal Vojdani (APLAS, 2012)

How to combine widening and narrowing for non-monotonic systems of equations. - Kalmer Apinis; Helmut Seidl; Vesal Vojdani (PLDI, 2013)

Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs. - Martin D. Schwarz; Helmut Seidl; Vesal Vojdani; Kalmer Apinis (VMCAI, 2014)

Frameworks for Interprocedural Analysis of Concurrent Programs. - Helmut Seidl; Kalmer Apinis; Vesal Vojdani (Software Systems Safety, 2014)

Enhancing Top-Down Solving with Widening and Narrowing. - Kalmer Apinis; Helmut Seidl; Vesal Vojdani (Semantics, Logics, and Calculi, 2016)

Trufflereloader: a low-overhead language-neutral reloader. - Tõnis Pool; Allan Raundahl Gregersen; Vesal Vojdani (ICOOOLPS@ECOOP, 2016)

Static race detection for device drivers: the Goblint approach. - Vesal Vojdani; Kalmer Apinis; Vootele Rõtov; Helmut Seidl; Varmo Vene; Ralf Vogler (ASE, 2016)

Efficiently intertwining widening and narrowing. - Gianluca Amato; Francesca Scozzari; Helmut Seidl; Kalmer Apinis; Vesal Vojdani (Sci. Comput. Program., 2016)

Demand-driven interprocedural analysis for map-based abstract domains. - Kalmer Apinis; Varmo Vene; Vesal Vojdani (J. Log. Algebraic Methods Program., 2018)

Improving Thread-Modular Abstract Interpretation. - Michael Schwarz 007; Simmo Saan; Helmut Seidl; Kalmer Apinis; Julian Erhard; Vesal Vojdani (SAS, 2021)

Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution). - Simmo Saan; Michael Schwarz 007; Kalmer Apinis; Julian Erhard; Helmut Seidl; Ralf Vogler; Vesal Vojdani (TACAS (2), 2021)

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)

Clustered Relational Thread-Modular Abstract Interpretation with Local Traces. - Michael Schwarz 007; Simmo Saan; Helmut Seidl; Julian Erhard; Vesal Vojdani (ESOP, 2023)

When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C. - Michael Schwarz 007; Julian Erhard; Vesal Vojdani; Simmo Saan; Helmut Seidl (SOAP@PLDI, 2023)

Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis. - Kalmer Apinis; Vesal Vojdani (TACAS (2), 2023)

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)

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)

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)

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

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)

When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C. - Julian Erhard; Michael Schwarz 007; Vesal Vojdani; Simmo Saan; Helmut Seidl (Int. J. Softw. Tools Technol. Transf., 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)