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
6.
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
5.
Proceedings of the 1st Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBench'18)
April 2018
ISBN: 978-1-5386-6742-2
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