Frank Schüssele

According to our database, Frank Schüssele authored at least 9 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Petrification: Software Model Checking for Programs with Dynamic Thread Management.

Matthias Heizmann, Dominik Klumpp, Lars Nitzke, Frank Schüssele

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution).

Frank Schüssele, Manuel Bentele, Daniel Dietsch, Matthias Heizmann, Xinyu Jiang, Dominik Klumpp, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version).

Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Lars Nitzke

CoRR, 2023

Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution).

Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schüssele, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution).

Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

Ultimate GemCutter and the Axes of Generalization - (Competition Contribution).

Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schüssele, Marcel Ebbinghaus, Azadeh Farzan, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2020

Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution).

Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Frank Schüssele

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2017

Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution).

Matthias Heizmann, Yu-Wen Chen, Daniel Dietsch, Marius Greitschus, Alexander Nutz, Betim Musa, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution).

Marius Greitschus, Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017