Skip to main content

Saba Aflaki

Saba Aflaki
Master's student (Graduated 2015)



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)   


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]


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)   
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)