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 / Jansen, Nils (Editor) [https://orcid.org/0000-0003-1318-8973] ; Cham : Springer Nature Switzerland, 2023, Chapter 4 ; ISSN: 0302-9743=1611-3349 ; ISBN: 978-3-031-43834-9=978-3-031-43835-6 ; doi:10.1007/978-3-031-43835-6, 47 - 64, 2023
[DOI: 10.1007/978-3-031-43835-6_4]
Jansen, Nils (Editor)
Tribastone, Mirco (Editor)
Gerlach, Lina
Dobe, Oyendrila
Ábrahám, Erika
et al.