| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Dobe, Oyendrila | Probabilistic Hyperproperties with Nondeterminism | Konferenzbeitrag Inproceedings | 2020 |
| 2 | | Abraham, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Dobe, Oyendrila | Parameter Synthesis for Probabilistic Hyperproperties | Konferenzbeitrag Inproceedings | 2020 |
| 3 | | Dobe, Oyendrila ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo | Model checking hyperproperties for Markov decision processes | Article Artikel  | 2022 |
| 4 | | Dobe, Oyendrila ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo | HyperProb: A Model Checker for Probabilistic Hyperproperties | Konferenzbeitrag Inproceedings | 2021 |
| 5 |  | Bartocci, Ezio ; Falcone, Yliès ; Bonakdarpour, Borzoo ; Colombo, Christian ; Decker, Normann ; Havelund, Klaus ; Joshi, Yogi ; Klaedtke, Felix ; Milewicz, Reed ; Reger, Giles ; Rosu, Grigore ; Signoles, Julien ; Thoma, Daniel ; Zalinescu, Eugen ; Zhang, Yi | First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014 | Article Artikel  | 2019 |
| 6 | | Bartocci, Ezio ; Bonakdarpour, Borzoo ; Falcone, Ylies | First International Competition of Software for Runtime Verification | Konferenzbeitrag Inproceedings | 2014 |