Position:
Research Assistant

Phone:
4243

Room:
4.059

E-Mail:
ole.luebke@tuhh.de

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

Biography

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

 
Teaching

• Functional Programming
• Compiler Construction

 
Publications

• Ole Lübke. 2024. IGMaxHS -- An Incremental MaxSAT Solver with Support for XOR Clauses. doi:10.48550/arXiv.2410.15897
• Ole Lübke. 2024. noSAT-MaxSATv3. In MaxSAT Evaluation 2024: Solver and Benchmark Descriptions (Department of Computer Science Series of Publications B), Department of Computer Science, University of Helsinki, pp. 19-20. Available from http://hdl.handle.net/10138/584878
• Lars Beckers, Stefan Gerlach, Ole Lübke, Alexander Schlaefer, and Sibylle Schupp. 2024. Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy. In Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems (EPTCS 399), pp. 193–209. doi: 10.4204/EPTCS.399.9.
• Ole Lübke, Konrad Fuger, Fin Hendrik Bahnsen, Katrin Billerbeck 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. 2023. noSAT-MaxSATv2. In MaxSAT Evaluation 2023: Solver and Benchmark Descriptions (Department of Computer Science Series of Publications B), Department of Computer Science, University of Helsinki, pp. 27–28. Available from http://hdl.handle.net/10138/564026
• 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