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
I joined COMSYS as researcher and PhD student in August 2019, after completing my M.Sc. at RWTH Aachen University. As member of our Systems Analysis Group, my research interests are centered around symbolic execution, with a focus on concurrent programs.
Publications
| 4. |
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023)
July
2023
|
| 3. |
European Conference on Object-Oriented Programming (ECOOP 2022)
June
2022
|
| 2. |
Computer Aided Verification (CAV 2020)
July
2020
|
| 1. |
Computer Aided Verification (CAV 2018)
July
2018
|
- Impressum | Datenschutz -