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:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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
Other 

Links

Online presence:

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

Petrification: Software Model Checking for Programs with Dynamic Thread Management.
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


Ultimate Automizer SV-COMP 2024.
Dataset, November, 2023

Ultimate GemCutter SV-COMP 2024.
Dataset, November, 2023



Ultimate Automizer SV-COMP 2024.
Dataset, November, 2023

Ultimate GemCutter SV-COMP 2024.
Dataset, November, 2023



Ultimate Automizer SV-COMP 2024.
Dataset, November, 2023

Ultimate GemCutter SV-COMP 2024.
Dataset, November, 2023



Ultimate Automizer SV-COMP 2024.
Dataset, November, 2023

Ultimate GemCutter SV-COMP 2024.
Dataset, November, 2023



Ultimate Automizer SV-COMP 2024.
Dataset, November, 2023

Ultimate GemCutter SV-COMP 2024.
Dataset, November, 2023



Ultimate Automizer SV-COMP 2024.
Dataset, November, 2023

Ultimate GemCutter SV-COMP 2024.
Dataset, November, 2023


Ultimate Automizer SV-COMP 2024.
Dataset, November, 2023

Ultimate GemCutter SV-COMP 2024.
Dataset, November, 2023



Ultimate Automizer SV-COMP 2024.
Dataset, November, 2023

Ultimate GemCutter SV-COMP 2024.
Dataset, November, 2023


Ultimate Automizer SV-COMP 2024.
Dataset, November, 2023

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

Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022
Ultimate Kojak SV-COMP 2023 Competition Contribution.
Dataset, December, 2022

Ultimate GemCutter SV-COMP 2023 Competition Contribution.
Dataset, December, 2022

Ultimate Automizer SV-COMP 2023 Competition Contribution.
Dataset, December, 2022

Ultimate Taipan SV-COMP 2023 Competition Contribution.
Dataset, December, 2022


Ultimate GemCutter and the Axes of Generalization - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021
Ultimate GemCutter SV-COMP 2022 Competition Contribution.
Dataset, November, 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


  Loading...