You are here: Home › Team › Frank Schüssele

Frank Schüssele

 

Research Interests

Concurrent Programs, Software Verification

Publications & Talks

DBLP

  • The Ghosts of Empires: Extracting Modularity from Interleaving-Based Proofs, in POPL 2026, together with Matthias Zumkeller, Miriam Lagunes-Rochin and Dominik Klumpp [doi] [extended version] [slides]
  • (Talk) Witness-guided verification in trace abstraction, at AVM 2025 [slides]
  • Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts, in VMCAI 2025, together with Julian Erhard, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Simmo Saan, Michael Schwarz, Helmut Seidl, Sarah Tilscher and Vesal Vojdani. [doi] [extended version] [slides from VeWit 2025]
  • Ultimate Automizer and the Abstraction of Bitwise Operations, in TACAS 2024 (SV-COMP'24), together with Manuel Bentele, Daniel Dietsch, Matthias Heizmann, Xinyu Jiang, Dominik Klumpp and Andreas Podelski. [doi] [slides]
  • Petrification: Software Model Checking for Programs with Dynamic Thread Management, in VMCAI 2024, together with Matthias Heizmann, Dominik Klumpp and Lars Nitzke. [doi] [extended version] [slides]
  • (Talk) Concurrency Correctness Witnesses with Ghosts, at VeWit 2023 [slides]
  • Ultimate Taipan and Race Detection in Ultimate, in TACAS 2023 (SV-COMP'23), together with Daniel Dietsch, Matthias Heizmann, Dominik Klumpp and Andreas Podelski. [doi] [slides]

Teaching

I used to co-organise the following lectures and lab course:

  • Cyber-Physical Systems: Discrete Models (in the winter semester 2020/21 and 2021/22)
  • Cyber-Physical Systems: Program Verification (in the summer semesters 2022 and 2024)
  • Software Lab Course (in the winter semester 2021/22, 2022/23, 2023/24, 2024/25 and 2025/26)
  • Theoretical Computer Science (in the summer semester 2025)

I supervised students in the BSc Proseminar/Seminar "Automata Theory" (2021 and 2022/23) and the MSc Seminar "Advanced Topics in Program Analysis" (2020/21).

Consultation Hours

Please send me an e-mail to make an appointment.