WARNING: This information is likely out-of-date and will not be updated!
Last updated on 2021-07-31

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

12.
Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, and Cristian Cadar
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023)
July 2023
11.
Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, and Cristian Cadar
European Conference on Object-Oriented Programming (ECOOP 2022)
June 2022
10.
The 17th International Conference on emerging Networking EXperiments and Technologies (CoNEXT '21)
Publisher: ACM,
December 2021
ISBN: 978-1-4503-9098-9/21/12
9.
Computer Aided Verification (CAV 2020)
July 2020
8.
EPIQ'18 Workshop Paper
Heraklion, Greece, 4.12.2018
Publisher: ACM,
December 2018
ISBN: 978-1-4503-6082-1
7.
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
6.
Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, and Klaus Wehrle
Computer Aided Verification (CAV 2018)
July 2018
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.
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

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
- Impressum | Datenschutz -