Person
Carolina Gerlach
M.Sc.UnRAVeL Research Training Group
Doctoral researcher
Address
Building: Informatikzentrum
Room: 4228
Ahornstr. 55
52056 Aachen
| 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 |