Carolina Gerlach Urheberrecht: © Carolina Gerlach

Person

Carolina Gerlach

M.Sc.
Graduiertenkolleg UnRAVeL

Promotionsstudentin

Adresse

Gebäude: Informatikzentrum

Raum: 4228

Ahornstr. 55

52056 Aachen

Kontakt

WorkPhone
Telefon: +49 241 80-21243
 
Promotionsprojekt
Probabilistic Hyperproperties
Engagement
Mitglied des Gender- & Diversity Teams

 

Publikationen im Rahmen von UnRAVeL

Quelle Autor(en)
[Buchbeitrag, Beitrag zu einem Tagungsband]
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