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.

Publications

References
4.
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
3.
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
2.
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

1.
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:
BibTeX, XML