Ole Lübke

 

 

Position:
Research Assistant

Phone:
4243

Room:
4.059

E-Mail:
ole.luebke(at)tuhh.de


 

Research Interests

  • Formal verification of safety-critical cyber-physical systems
  • (Online) Model Checking
  • (Time-constrained) reachability analysis for hybrid systems

 

Publications

Ole Lübke and Sibylle Schupp. 2021. Work-in-Progress: WCET-Aware Reachability Analysis for Verified Simplex Design.
In 2021 International Conference on Emebedded Software Companion (EMSOFT'21 Companion), October 8-15, 2021, Virtual Event, USA. ACM, New York, NY, USA, 2 pages. https://doi.org/10.1145/3477244.3477613

 

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