Skip to main content

Fathiyeh Faghih

Fathiyeh Faghih
PhD student (Graduated 2015) -- Postdoc (2015 - 2017)

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]