| Floating-Point Symbolic Execution: A Case Study in N-Version Programming D Liew, D Schemmel, C Cadar, AF Donaldson, R Zähl, K Wehrle Proceedings of the 32nd IEEE/ACM International Conference on Automated …, 2017 | 57 | 2017 |
| Multi-level Parallelism for Time- and Cost-efficient Parallel Discrete Event Simulation on GPUs G Kunz, D Schemmel, J Gross, K Wehrle Principles of Advanced and Distributed Simulation (PADS), 2012 ACM/IEEE/SCS …, 2012 | 29 | 2012 |
| SymPerf: Predicting Network Function Performance F Rath, J Krude, J Rüth, D Schemmel, O Hohlfeld, JÁ Bitsch, K Wehrle SIGCOMM Posters and Demos '17, 34-36, 2017 | 22 | 2017 |
| Symbolic Partial-Order Execution for Testing Multi-Threaded Programs D Schemmel, J Büning, C Rodríguez, D Laprell, K Wehrle International Conference on Computer Aided Verification, 376-400, 2020 | 21 | 2020 |
| Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution F Rath, D Schemmel, K Wehrle arXiv preprint arXiv:1811.12099, 2018 | 11 | 2018 |
| On Automated Memoization in the Field of Simulation Parameter Studies M Stoffers, D Schemmel, OS Dustmann, K Wehrle ACM Transactions on Modeling and Computer Simulation (TOMACS) 28 (4), 1-25, 2018 | 11 | 2018 |
| Automated Memoization for Parameter Studies Implemented in Impure Languages M Stoffers, D Schemmel, O Soria Dustmann, K Wehrle Proceedings of the 2016 ACM SIGSIM Conference on Principles of Advanced …, 2016 | 11 | 2016 |
| A Deterministic Memory Allocator for Dynamic Symbolic Execution D Schemmel, J Büning, F Busse, M Nowack, C Cadar 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022 | 7 | 2022 |
| Determination of Throughput Guarantees for Processor-based SmartNICs J Krude, J Rüth, D Schemmel, F Rath, IH Folbort, K Wehrle Proceedings of the 17th International Conference on emerging Networking …, 2021 | 6 | 2021 |
| Symbolic Liveness Analysis of Real-World Software D Schemmel, J Büning, O Soria Dustmann, T Noll, K Wehrle International Conference on Computer Aided Verification, 447-466, 2018 | 6 | 2018 |
| KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay D Schemmel, J Büning, F Busse, M Nowack, C Cadar Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023 | 2 | 2023 |
| Patch Specifications via Product Programs C Cadar, D Schemmel, A Sharma 2023 IEEE/ACM 11th International Conference on Formal Methods in Software …, 2023 | 2 | 2023 |
| A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact). D Schemmel, J Büning, F Busse, M Nowack, C Cadar Dagstuhl Artifacts Ser. 8 (2), 13:1-13:2, 2022 | | 2022 |
| Towards Benchmark Optimization by Automated Equivalence Detection D Schemmel, R Glebke, M Stoffers, K Wehrle 2018 IEEE Workshop on Benchmarking Cyber-Physical Networks and Systems …, 2018 | | 2018 |
Klaus WehrleProfessor at RWTH Aachen UniversityVerifisert e-postadresse på comsys.rwth-aachen.de