WCET-aware reachability for verified simplex design: work-in-progress. - Ole Lübke; Sibylle Schupp (EMSOFT, 2021)

Computer Aided Design and Grading for an Electronic Functional Programming Exam. - Ole Lübke; Konrad Fuger; Fin Hendrik Bahnsen; Katrin Billerbeck; Sibylle Schupp (TFPIE, 2023)

Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy. - Lars Beckers; Stefan Gerlach; Ole Lübke; Alexander Schlaefer; Sibylle Schupp (MARS@ETAPS, 2024)

IGMaxHS - An Incremental MaxSAT Solver with Support for XOR Clauses. - Ole Lübke (CoRR, 2024)

SLS-Enhanced Core-Boosted Linear Search for Anytime Maximum Satisfiability. - Ole Lübke; Jeremias Berg (CP, 2025)