Ole Lübke

According to our database, Ole Lübke authored at least 3 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

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

Proceedings of the Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems, 2024

2023

Computer Aided Design and Grading for an Electronic Functional Programming Exam.

Ole Lübke, Konrad Fuger, Fin Hendrik Bahnsen, Katrin Billerbeck, Sibylle Schupp

Proceedings of the Proceedings Twelfth International Workshop on Trends in Functional Programming in Education, 2023

2021

WCET-aware reachability for verified simplex design: work-in-progress.

Ole Lübke, Sibylle Schupp

Proceedings of the EMSOFT '21: Proceedings of the 2021 International Conference on Embedded Software, Virtual Event, October 8, 2021