Julian Büning

Communication and Distributed Systems
RWTH Aachen University
Ahornstr. 55
52074 Aachen, Germany
E-Mail: julian.buening[[at]]comsys.rwth-aachen.de
Phone: +49 241 80-24118
Office: Building E3, Room 9015

Since August 2019, I am a researcher at the Chair of Communication and Distributed Systems at RWTH Aachen University. My research interests are dynamic program analysis and symbolic execution.

Publications

References
1.
Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle
Proceedings of the 30th International Conference on Computer Aided Verification (CAV'18)
July 2018
ISBN: 978-3-319-96142-2
Export as:
BibTeX, XML
- Impressum -