Follow
Daniel Schemmel
Title
Cited by
Cited by
Year
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
492017
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
282012
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
202017
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
162020
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
92018
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
92016
Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution
F Rath, D Schemmel, K Wehrle
arXiv preprint arXiv:1811.12099, 2018
82018
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
62018
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
52022
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
52021
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
2023
Patch Specifications via Product Programs
C Cadar, D Schemmel, A Sharma
2023 IEEE/ACM 11th International Conference on Formal Methods in Software …, 2023
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
The system can't perform the operation now. Try again later.
Articles 1–14