| 2025 | DSN | Hallucination Detection in LLMs via Beam Search Sampling and Semantic Consistency Analysis. | Radouane Bouchekir, Fathiyeh Faghih, Tewodros A. Beyene |
| 2024 | SACMAT | Static and Dynamic Analysis of a Usage Control System. | Ulrich Schpp, Fathiyeh Faghih, Subhajit Bandopadhyay, Hussein Joumaa, Amjad Ibrahim, Chuangjie Xu, Xin Ye, Theo Dimitrakos |
| 2023 | SACMAT | Specifying a Usage Control System. | Ulrich Schpp, Chuangjie Xu, Amjad Ibrahim, Fathiyeh Faghih, Theo Dimitrakos |
| 2021 | SRDS | Parameterized Distributed Synthesis of Fault-Tolerance Using Counter Abstraction. | Hadi Moloodi, Fathiyeh Faghih, Borzoo Bonakdarpour |
| 2020 | ISVC | Self-Competitive Neural Networks. | Iman Saberi, Fathiyeh Faghih |
| 2019 | PIMRC | Energy Metamorphic Testing for Android Applications. | Farzaneh Azimian, Fathiyeh Faghih, Mehdi Kargahi, S. M. Mahdi Mirdehghan |
| 2018 | OPODIS | Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings. | Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour |
| 2017 | SSS | ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms. | Fathiyeh Faghih, Borzoo Bonakdarpour |
| 2016 | FORTE | Specification-Based Synthesis of Distributed Self-Stabilizing Protocols. | Fathiyeh Faghih, Borzoo Bonakdarpour, Sbastien Tixeuil, Sandeep S. Kulkarni |
| 2015 | ICDCS | Synthesizing Self-Stabilizing Protocols under Average Recovery Time Constraints. | Saba Aflaki, Fathiyeh Faghih, Borzoo Bonakdarpour |
| 2014 | SSS | SMT-Based Synthesis of Distributed Self-stabilizing Systems. | Fathiyeh Faghih, Borzoo Bonakdarpour |
| 2013 | ICSE | Recommendations for improving the usability of formal methods for product lines. | Joanne M. Atlee, Sandy Beidu, Nancy A. Day, Fathiyeh Faghih, Pourya Shaker |
| 2013 | SSS | Zone-Based Synthesis of Strict 2-Phase Fault Recovery. | Fathiyeh Faghih, Borzoo Bonakdarpour |
| 2012 | ICSE | Model translations among big-step modeling languages. | Fathiyeh Faghih |