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.
- Real-Time Systems
- Formal Methods (Runtime Verification, Online Model Checking)
- Maximum Satisfiability
- Functional Programming
- Compiler Construction
- 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
Work-in-Progress: WCET-Aware Reachability Analysis for Verified Simplex Design