| noSAT-MaxSAT O Lübke, S Schupp MaxSAT Evaluation 2022, 28-29, 2022 | 1 | 2022 |
| Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy L Beckers, S Gerlach, O Lübke, A Schlaefer, S Schupp arXiv preprint arXiv:2403.18918, 2024 | | 2024 |
| Computer aided design and grading for an electronic functional programming exam O Lübke, K Fuger, FH Bahnsen, K Billerbeck, S Schupp arXiv preprint arXiv:2308.07938, 2023 | | 2023 |
| How to Derive an Electronic Functional Programming Exam from a Paper Exam with Proofs and Programming Tasks O Lübke, K Fuger, FH Bahnsen, K Billerbeck, S Schupp | | 2023 |
| noSAT-MaxSATv2 O Lübke, S Schupp 18th MaxSAT Evaluation, MSE 2023, 27-28, 2023 | | 2023 |
| WCET-aware reachability for verified simplex design: work-in-progress O Lübke, S Schupp Proceedings of the 2021 International Conference on Embedded Software, 27-28, 2021 | | 2021 |
