Emma Ahrens

Person

Emma Ahrens

M.Sc. Doctoral researcher
UnRAVeL Research Training Group

Address

Building: 2353

Room: 4230

Ahornstr. 55

52074 Aachen

Contact

WorkPhone
Phone: +49 241 80-21208
 
Dissertation project
Flows over Time and Their Applications
 

Publications related to UnRAVeL

Source Author(s)
[Contribution to a conference proceedings, Journal Article]
Reasoning about distributed reconfigurable systems
In: Proceedings of the ACM on programming languages, 6 (OOPSLA2), 145-174, 2022
[DOI: 10.1145/3563293]
Ahrens, Emma (Corresponding author)
Bozga, Marius (Corresponding author)
Iosif, Radu (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)