Multi-level Parallelism for Time- and Cost-Efficient Parallel Discrete Event Simulation on GPUs. - Georg Kunz; Daniel Schemmel; James Gross; Klaus Wehrle (PADS, 2012)

Automated Memoization for Parameter Studies Implemented in Impure Languages. - Mirko Stoffers; Daniel Schemmel; Oscar Soria Dustmann; Klaus Wehrle (SIGSIM-PADS, 2016)

Floating-point symbolic execution: a case study in n-version programming. - Daniel Liew; Daniel Schemmel; Cristian Cadar; Alastair F. Donaldson; Rafael Zähl; Klaus Wehrle (ASE, 2017)

SymPerf: Predicting Network Function Performance. - Felix Rath; Johannes Krude; Jan Rüth; Daniel Schemmel; Oliver Hohlfeld; Jó Ágila Bitsch; Klaus Wehrle (SIGCOMM Posters and Demos, 2017)

Symbolic Liveness Analysis of Real-World Software. - Daniel Schemmel; Julian Büning; Oscar Soria Dustmann; Thomas Noll 001; Klaus Wehrle (CAV (2), 2018)

Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution. - Felix Rath; Daniel Schemmel; Klaus Wehrle (EPIQ@CoNEXT, 2018)

Towards Benchmark Optimization by Automated Equivalence Detection. - Daniel Schemmel; René Glebke; Mirko Stoffers; Klaus Wehrle (Bench@CPSWeek, 2018)

On Automated Memoization in the Field of Simulation Parameter Studies. - Mirko Stoffers; Daniel Schemmel; Oscar Soria Dustmann; Klaus Wehrle (ACM Trans. Model. Comput. Simul., 2018)

Artifact for the CAV 2018 Paper: Symbolic Liveness Analysis of Real-World Software. - Daniel Schemmel; Julian Büning; Oscar Soria Dustmann; Thomas Noll 001; Klaus Wehrle (Zenodo, 2018)

Symbolic Partial-Order Execution for Testing Multi-Threaded Programs. - Daniel Schemmel; Julian Büning; César Rodríguez; David Laprell; Klaus Wehrle (CAV (1), 2020)

Artifact for the CAV 2020 Paper: Symbolic Partial-Order Execution for Testing Multi-Threaded Programs. - Daniel Schemmel; Julian Büning; César Rodríguez; David Laprell; Klaus Wehrle (Zenodo, 2020)

Determination of throughput guarantees for processor-based SmartNICs. - Johannes Krude; Jan Rüth; Daniel Schemmel; Felix Rath; Iohannes-Heorh Folbort; Klaus Wehrle (CoNEXT, 2021)

A Deterministic Memory Allocator for Dynamic Symbolic Execution. - Daniel Schemmel; Julian Büning; Frank Busse; Martin Nowack; Cristian Cadar (ECOOP, 2022)

A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact). - Daniel Schemmel; Julian Büning; Frank Busse; Martin Nowack; Cristian Cadar (Dagstuhl Artifacts Ser., 2022)

Design of High-Power High-Frequency Coreless Transformer Systems - Daniel Schemmel (2022)

Patch Specifications via Product Programs. - Cristian Cadar; Daniel Schemmel; Arindam Sharma (FormaliSE, 2023)

KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay. - Daniel Schemmel; Julian Büning; Frank Busse; Martin Nowack; Cristian Cadar (ISSTA, 2023)