Ole Lübke


Research Assistant




TORE: https://tore.tuhh.de/cris/rp/rp10679/information.html
ORCID: https://orcid.org/0000-0001-5962-6583



Ole Lübke received his Bachelor's degree in Computer Science and Engineering from Hamburg University of Technology (TUHH) in 2017 through a dual study program with a company in the medical and safety technology domain. Inspired by this environment he specialized in the area of safety-critical real-time systems and wrote his Bachelor's Thesis about a platform for embedded real-time processing of respiratory signals.
Continuing his studies he received the Master of Science degree from TUHH in 2020 after finishing his thesis on quantitative runtime verification with unobservable state transitions applied to networks of IEEE 11073 SDC capable medical devices.
In the same year, he joined the Institute for Software Systems where he is now researching on formal methods in real-time environments.

Research Interests

  • Real-Time Systems
  • Formal Methods (Runtime Verification, Online Model Checking)
  • Maximum Satisfiability


  • Functional Programming
  • Compiler Construction


  • Ole Lübke, Konrad Fuger, Fin Hendrik Bahnsen, Katrin Billerback and Sibylle Schupp. 2023. Computer Aided Design and Grading for an Electronic Functional Programming Exam. In Proceedings Twelfth International Workshop on Trends in Functional Programming in Education (EPTCS 382)
    Available from: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?TFPIE2023.2
  • Ole Lübke and Sibylle Schupp. 2022. noSAT-MaxSAT. In MaxSAT Evaluation 2022: Solver and Benchmark Descriptions (Department of Computer Science Series of Publications B), Department of Computer Science, University of Helsinki, pp. 29–30. Available from http://hdl.handle.net/10138/347396
  • Ole Lübke and Sibylle Schupp. 2021. Work-in-Progress: WCET-Aware Reachability Analysis for Verified Simplex Design.
    In 2021 International Conference on Embedded Software Companion (EMSOFT'21 Companion), October 8-15, 2021, Virtual Event, USA. ACM, New York, NY, USA, 2 pages. https://dl.acm.org/doi/10.1145/3477244.3477613?cid=99659889939


Video presentation
Work-in-Progress: WCET-Aware Reachability Analysis for Verified Simplex Design