Daniel Schemmel

Daniel Schemmel

Imperial College London - London / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 5153218
person_outline Daniel Schemmel's MOST POPULAR ARTICLES
1-) Floating-Point Symbolic Execution: A Case Study in N-Version ProgrammingD Liew, D Schemmel, C Cadar, AF Donaldson, R Zähl, K WehrleProceedings of the 32nd IEEE/ACM International Conference on Automated …, 2017452017
2-) Multi-level Parallelism for Time- and Cost-efficient Parallel Discrete Event Simulation on GPUsG Kunz, D Schemmel, J Gross, K WehrlePrinciples of Advanced and Distributed Simulation (PADS), 2012 ACM/IEEE/SCS …, 2012282012
3-) SymPerf: Predicting Network Function PerformanceF Rath, J Krude, J Rüth, D Schemmel, O Hohlfeld, JÁ Bitsch, K WehrleSIGCOMM Posters and Demos \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'17, 34-36, 2017202017
4-) Symbolic Partial-Order Execution for Testing Multi-Threaded ProgramsD Schemmel, J Büning, C Rodríguez, D Laprell, K WehrleInternational Conference on Computer Aided Verification, 376-400, 2020192020
5-) Interoperability-Guided Testing of QUIC Implementations using Symbolic ExecutionF Rath, D Schemmel, K WehrlearXiv preprint arXiv:1811.12099, 2018112018