Daniel Schemmel, M.Sc.

Communication and Distributed Systems
RWTH Aachen University
Ahornstr. 55
52074 Aachen, Germany

E-Mail: daniel.schemmel@comsys.rwth-aachen.de
Phone: +49 241 80-21420

Office: Building E3, Room 9015

I am currently employed as a researcher and head of Systems Analysis at the the Chair of Communication and Distributed Systems at RWTH Aachen University, where I research the testability of distributed systems. My specific focus is on the applicability of Symbolic Execution to event-driven systems of all kinds. My work here began in April 2015, shortly after receiving my M.Sc. in Computer Science in March 2015.

In my free time, I write a blog detailing adventures in programming and computer science.


Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution
EPIQ'18 Workshop Paper
Heraklion, Greece, 4.12.2018
Publisher: ACM,
December 2018
ISBN: ISBN: 978-1-4503-6082-1
Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann and Klaus Wehrle
ACM Transactions on Modeling and Computer Simulation (TOMACS), 28(4):26:1-26:25
October 2018
Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll and Klaus Wehrle
Proceedings of the 30th International Conference on Computer Aided Verification (CAV'18)
July 2018
ISBN: 978-3-319-96142-2
Proceedings of the 1st Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBench'18)
April 2018
ISBN: 978-1-5386-6742-2
Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair Donaldson, Rafael Zähl and Klaus Wehrle
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering
October 2017
ISBN: 978-1-5386-2684-9/17
ACM SIGCOMM 2017 Poster
Los Angeles, USA, 21.8.2017 - 25.8.2017
Publisher: ACM,
August 2017
ISBN: 978-1-4503-5057-0/17/08
Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann and Klaus Wehrle
Proceedings of the 4th ACM SIGSIM/PADS Conference on Principles of Advanced Discrete Simulation (SIGSIM-PADS’16), Banff, AB, Canada, page 221-232.
Publisher: ACM, New York, NY
May 2016

Keywords: Automatic Memoization; Accelerating Parameter Studies; Impure Languages

Proceedings of the 26th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS'12), Zhangjiajie, China, page 23--32.
Publisher: IEEE,
July 2012
ISBN: 978-0-7695-4714-5
Export as:
- Impressum -