Saba Aflaki

According to our database, Saba Aflaki authored at least 4 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Synthesizing optimal bias in randomized self-stabilization.

Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Saba Aflaki

Distributed Comput., 2022

2017

Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms.

Saba Aflaki, Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Arne Storjohann

Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017

2015

Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols.

Saba Aflaki, Borzoo Bonakdarpour, Sébastien Tixeuil

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2015

Synthesizing Self-Stabilizing Protocols under Average Recovery Time Constraints.

Saba Aflaki, Fathiyeh Faghih, Borzoo Bonakdarpour

Proceedings of the 35th IEEE International Conference on Distributed Computing Systems, 2015