Frank Schüssele

15 papers Journal 5Unranked 10
YearRankTypeTitle / Venue / Authors
2026 J jnl
The Ghosts of Empires: Extracting Modularity from Interleaving-Based Proofs.
Proc. ACM Program. Lang.
Frank Schüssele, Matthias Zumkeller, Miriam Lagunes-Rochin, Dominik Klumpp
2026 — conf
Ultimate Automizer with a One-Dimensional Memory Model - (Competition Contribution).
TACAS (2)
Manuel Bentele, Max Barth, Marcel Ebbinghaus, Jan Körner, Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Andreas Podelski
2025 — conf
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts.
VMCAI (1)
Julian Erhard, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Simmo Saan, Frank Schüssele, Michael Schwarz, Helmut Seidl, Sarah Tilscher, Vesal Vojdani
2025 J jnl
Correctness Witnesses with Function Contracts.
CoRR
Matthias Heizmann, Dominik Klumpp, Marian Lingsch Rosenfeld, Frank Schüssele
2025 J jnl
The Ghosts of Empires: Extracting Modularity from Interleaving-Based Proofs (Extended Version).
CoRR
Frank Schüssele, Matthias Zumkeller, Miriam Lagunes-Rochin, Dominik Klumpp
2024 J jnl
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version).
CoRR
Julian Erhard, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Simmo Saan, Frank Schüssele, Michael Schwarz, Helmut Seidl, Sarah Tilscher, Vesal Vojdani
2024 — conf
Petrification: Software Model Checking for Programs with Dynamic Thread Management.
VMCAI (2)
Matthias Heizmann, Dominik Klumpp, Lars Nitzke, Frank Schüssele
2024 — conf
Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution).
TACAS (3)
Frank Schüssele, Manuel Bentele, Daniel Dietsch, Matthias Heizmann, Xinyu Jiang, Dominik Klumpp, Andreas Podelski
2023 J jnl
Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version).
CoRR
Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Lars Nitzke
2023 — conf
Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution).
TACAS (2)
Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schüssele, Andreas Podelski
2023 — conf
Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution).
TACAS (2)
Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Andreas Podelski
2022 — conf
Ultimate GemCutter and the Axes of Generalization - (Competition Contribution).
TACAS (2)
Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schüssele, Marcel Ebbinghaus, Azadeh Farzan, Andreas Podelski
2020 — conf
Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution).
TACAS (2)
Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Frank Schüssele
2017 — conf
Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution).
TACAS (2)
Matthias Heizmann, Yu-Wen Chen, Daniel Dietsch, Marius Greitschus, Alexander Nutz, Betim Musa, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski
2017 — conf
Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution).
TACAS (2)
Marius Greitschus, Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski