Publications

Publications for Borzoo Bonakdarpour

2018

[bibtex]
Erika Abraham, Borzoo Bonakdarpour. HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties. Proc. of the 15th International Conference on Quantitative Evaluation of SysTems (QEST 2018), Volume of LNCS, Springer, 2018.
2017
Download
[bibtex]
Saba Aflaki, Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Arne Storjohann. Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms. Proc. of 36th IEEE Symposium on Reliable Distributed Systems (SRDS), pages 94–103, IEEE CS (Recipient of Best Paper Award), 2017.
Show all