| 2026 | AST | Separating Valid from Invalid Inputs for a Digital Aircraft Design Tool. | Malte Christian Struck, Alexander Weinert, Andreas Schuster, Michael Felderer |
| 2025 | ICST | Automated Testing of the GUI of a Real-Life Engineering Software using Large Language Models. | Tim Rosenbach, David Heidrich, Alexander Weinert |
| 2022 | ICCS | Automated and Manual Testing in the Development of the Research Software RCE. | Robert Mischke, Kathrin Schaffert, Dominik Schneider, Alexander Weinert |
| 2022 | RV | Towards Specificationless Monitoring of Provenance-Emitting Systems. | Martin Stoffers, Alexander Weinert |
| 2021 | MODELS | Towards Automated Semantic Grouping in Workflows for Multi-Disciplinary Analysis. | Dominik Schneider, Alexander Weinert |
| 2018 | CSL | Synthesizing Optimally Resilient Controllers. | Daniel Neider, Alexander Weinert, Martin Zimmermann |
| 2018 | CSL | Parity Games with Weights. | Sven Schewe, Alexander Weinert, Martin Zimmermann |
| 2016 | CSL | Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs. | Alexander Weinert, Martin Zimmermann |