Master's student (Graduated 2015)
Saba Aflaki
Publications
2022
Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Saba Aflaki,
"Synthesizing Optimal Bias in Randomized Self-Stabilization"
Springer Journal on Distributed Computing (DC),
Springer,
2022.
dc22.pdf
(538.27 KB)
2017
Saba Aflaki, Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Arne Storjohann,
"Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms"
The 36th IEEE Symposium on Reliable Distributed Systems (SRDS),
IEEE,
2017.
srds17.pdf
(364.86 KB)
[Received the Best Paper Award]
2015
Saba Aflaki, Borzoo Bonakdarpour, Sébastien Tixeuil,
"Automated Analysis of Impact of Scheduling on Performance of Self-Stabilizing Protocols."
International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS),
Springer,
2015.
sss15.pdf
(441.12 KB)
Saba Aflaki, Fathiyeh Faghih, Borzoo Bonakdarpour,
"Synthesizing Self-stabilizing Protocols under Average Recovery Time Constraints"
IEEE International Conference on Distributed Computing Systems (ICDCS),
IEEE,
2015.
icdcs15.pdf
(420.56 KB)
