PhD student (Graduated 2015) -- Postdoc (2015 - 2017)
Fathiyeh Faghih
Publications
2021
Hadi Moloodi, Fathiyeh Faghih, Borzoo Bonakdarpour,
"Parameterized Distributed Synthesis of Fault-Tolerance Using Counter Abstraction"
The 40th International Symposium on Reliable Distributed Systems (SRDS),
IEEE,
2021.
main.pdf
(365.33 KB)
2020
Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour,
"Parameterized synthesis of self-stabilizing protocols in symmetric networks"
Acta Informatica,
Springer,
2020.
acta20.pdf
(420.62 KB)
2018
Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep Kulkrani,
"Automated Synthesis of Distributed Self-Stabilizing Protocols"
Logical Methods in Computer Science,
,
2018.
lmcs18.pdf
(369.17 KB)
Fathiyeh Faghih, Borzoo Bonakdarpour,
"Symbolic Synthesis of Timed Models with Strict 2-Phase Fault Recovery"
IEEE Transactions on Dependable and Secure Computing,
IEEE,
2018.
tdsc18.pdf
(968.46 KB)
Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour,
"Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings"
The 22nd International Conference on Principles of Distributed Systems (OPODIS),
LIPICS,
2018.
opodis18.pdf
(506.39 KB)
2017
Fathiyeh Faghih, Borzoo Bonakdarpour,
"ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms"
The 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS),
Springer,
2017.
sss17.pdf
(414.41 KB)
2016
Fathiyeh Faghih, Borzoo Bonakdarpour, Sandeep Kulkrani, Sébastien Tixeuil,
"Specification-based Synthesis of Distributed Self-stabilizing Protocols"
International Conference on Formal Techniques on Distributed Objects, Components and Systems (FORTE),
Springer,
2016.
forte16.pdf
(332.39 KB)
2015
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)
2014
Fathiyeh Faghih, Borzoo Bonakdarpour,
"SMT-based Synthesis of Distributed Self-stabilizing Systems"
International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS),
Springer,
2014.
sss14.pdf
(361.32 KB)
[Received the best student paper award]
