Daniel Schemmel
Daniel Schemmel
RWTH Aachen University
Bestätigte E-Mail-Adresse bei comsys.rwth-aachen.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
252017
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
232012
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
132017
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
Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution
F Rath, D Schemmel, K Wehrle
arXiv preprint arXiv:1811.12099, 2018
52018
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
12020
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–9