Frank Schüssele
Orcid: 0000-0002-5656-306X
According to our database1,
Frank Schüssele
authored at least 50 papers
between 2017 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2017
2018
2019
2020
2021
2022
2023
2024
2025
0
5
10
15
20
25
30
35
40
2
2
2
33
5
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025
2024
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version).
CoRR, 2024
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024
Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution).
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).
CoRR, 2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
2022
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
2021
2020
Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution).
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).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017