Login / Signup
Ole Lübke
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 3
Top Topics
Cad Cam
Functional Programming
Computer Aided
Timed Automata
Top Venues
CoRR
MARS@ETAPS
EMSOFT
</>
Publications
</>
Lars Beckers
,
Stefan Gerlach
,
Ole Lübke
,
Alexander Schlaefer
,
Sibylle Schupp
Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy.
MARS@ETAPS
(2024)
Ole Lübke
,
Konrad Fuger
,
Fin Hendrik Bahnsen
,
Katrin Billerbeck
,
Sibylle Schupp
Computer Aided Design and Grading for an Electronic Functional Programming Exam.
CoRR
(2023)
Ole Lübke
,
Sibylle Schupp
WCET-aware reachability for verified simplex design: work-in-progress.
EMSOFT
(2021)