Synthesizing Self-Stabilizing Protocols under Average Recovery Time Constraints. - Saba Aflaki; Fathiyeh Faghih; Borzoo Bonakdarpour (ICDCS, 2015)

Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols. - Saba Aflaki; Borzoo Bonakdarpour; Sébastien Tixeuil (SSS, 2015)

Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms. - Saba Aflaki; Matthias Volk 001; Borzoo Bonakdarpour; Joost-Pieter Katoen; Arne Storjohann (SRDS, 2017)

Synthesizing optimal bias in randomized self-stabilization. - Matthias Volk 001; Borzoo Bonakdarpour; Joost-Pieter Katoen; Saba Aflaki (Distributed Comput., 2022)