Sign in
Ole Lübke
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Solid Models
Functional Programming
Cad Model
Computer Aided
Top Venues
CoRR
EMSOFT
</>
Publications
</>
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)