Daniel Schemmel
Título
Citado por
Citado por
Ano
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
302017
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
242012
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
152017
Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution
F Rath, D Schemmel, K Wehrle
arXiv preprint arXiv:1811.12099, 2018
72018
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
72016
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
32018
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
32018
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
22020
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
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–9