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 / 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. |