Login / Signup
Saba Aflaki
Publication Activity (10 Years)
Years Active: 2015-2022
Publications (10 Years): 2
Top Topics
Cell Nuclei
Resource Constraints
Fine Tuning
Automated Analysis
Top Venues
SRDS
ICDCS
Distributed Comput.
SSS
</>
Publications
</>
Matthias Volk
,
Borzoo Bonakdarpour
,
Joost-Pieter Katoen
,
Saba Aflaki
Synthesizing optimal bias in randomized self-stabilization.
Distributed Comput.
35 (1) (2022)
Saba Aflaki
,
Matthias Volk
,
Borzoo Bonakdarpour
,
Joost-Pieter Katoen
,
Arne Storjohann
Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms.
SRDS
(2017)
Saba Aflaki
,
Fathiyeh Faghih
,
Borzoo Bonakdarpour
Synthesizing Self-Stabilizing Protocols under Average Recovery Time Constraints.
ICDCS
(2015)
Saba Aflaki
,
Borzoo Bonakdarpour
,
Sébastien Tixeuil
Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols.
SSS
(2015)