Frank Schüssele

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 9

Top Topics

Abstract Interpretation

Top Venues

Publications

Frank Schüssele, Manuel Bentele, Daniel Dietsch, Matthias Heizmann, Xinyu Jiang, Dominik Klumpp, Andreas Podelski
Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution). TACAS (3) (2024)
Matthias Heizmann, Dominik Klumpp, Lars Nitzke, Frank Schüssele
Petrification: Software Model Checking for Programs with Dynamic Thread Management. VMCAI (2) (2024)
Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Lars Nitzke
Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version). CoRR (2023)
Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Andreas Podelski
Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution). TACAS (2) (2023)
Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schüssele, Andreas Podelski
Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution). TACAS (2) (2023)
Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schüssele, Marcel Ebbinghaus, Azadeh Farzan, Andreas Podelski
Ultimate GemCutter and the Axes of Generalization - (Competition Contribution). TACAS (2) (2022)
Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Frank Schüssele
Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution). TACAS (2) (2020)
Matthias Heizmann, Yu-Wen Chen, Daniel Dietsch, Marius Greitschus, Alexander Nutz, Betim Musa, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski
Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution). TACAS (2) (2017)
Marius Greitschus, Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski
Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution). TACAS (2) (2017)