COMSYS - Communication and Distributed Systems: Julian Büning

Julian Büning, M.Sc.

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-21418
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, symbolic execution and concurrent programs.

Publications

References

2.	Daniel Schemmel, Julian Büning, César Rodríguez, David Laprell and Klaus Wehrle Symbolic Partial-Order Execution for Testing Multi-Threaded Programs 32nd International Conference on Computer-Aided Verification (CAV 2020) July 2020 accepted https://arxiv.org/abs/2005.06688
1.	Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll and Klaus Wehrle Symbolic Liveness Analysis of Real-World Software Proceedings of the 30th International Conference on Computer Aided Verification (CAV'18) July 2018 DOI: 10.1007/978-3-319-96142-2_27 ISBN: 978-3-319-96142-2

Export as:

BibTeX, XML