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 five.

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

CoRR, 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