Carolina Gerlach Copyright: © Carolina Gerlach

Person

Carolina Gerlach

M.Sc.
UnRAVeL Research Training Group

Doctoral researcher

Address

Building: Informatikzentrum

Room: 4228

Ahornstr. 55

52056 Aachen

Contact

WorkPhone
Phone: +49 241 80-21243
 
Dissertation project
Probabilistic Hyperproperties
Engagement
Member of the Gender & Diversity team
 

Publications related to UnRAVeL

Source Author(s)
[Contribution to a book, Contribution to a conference proceedings]
Introducing Asynchronicity to Probabilistic Hyperproperties
In: Quantitative Evaluation of Systems : 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings / edited by Nils Jansen, Mirco Tribastone, 47-64, 2023
[DOI: 10.1007/978-3-031-43835-6_4]
Gerlach, Lina (Corresponding author)
Dobe, Oyendrila
Ábrahám, Erika
Bartocci, Ezio
Bonakdarpour, Borzoo