| 2023 | ISSTA | KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay. | Daniel Schemmel, Julian Bning, Frank Busse, Martin Nowack, Cristian Cadar |
| 2022 | ECOOP | A Deterministic Memory Allocator for Dynamic Symbolic Execution. | Daniel Schemmel, Julian Bning, Frank Busse, Martin Nowack, Cristian Cadar |
| 2021 | CoNEXT | Determination of throughput guarantees for processor-based SmartNICs. | Johannes Krude, Jan Rth, Daniel Schemmel, Felix Rath, Iohannes-Heorh Folbort, Klaus Wehrle |
| 2020 | CAV | Symbolic Partial-Order Execution for Testing Multi-Threaded Programs. | Daniel Schemmel, Julian Bning, Csar Rodrguez, David Laprell, Klaus Wehrle |
| 2018 | CAV | Symbolic Liveness Analysis of Real-World Software. | Daniel Schemmel, Julian Bning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle |
| 2018 | CoNEXT | Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution. | Felix Rath, Daniel Schemmel, Klaus Wehrle |
| 2017 | SIGCOMM | SymPerf: Predicting Network Function Performance. | Felix Rath, Johannes Krude, Jan Rth, Daniel Schemmel, Oliver Hohlfeld, J gila Bitsch, Klaus Wehrle |
| 2016 | PADS | Automated Memoization for Parameter Studies Implemented in Impure Languages. | Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, Klaus Wehrle |
| 2012 | PADS | Multi-level Parallelism for Time- and Cost-Efficient Parallel Discrete Event Simulation on GPUs. | Georg Kunz, Daniel Schemmel, James Gross, Klaus Wehrle |