A Temporal Description Logic Based Access Control Model for Expressing History Constrained Policies in Semantic Web. - Fathieh Faghih; Morteza Amini; Rasool Jalili (POLICY, 2009)

Specification of History Based Constraints for Access Control in Conceptual Level. - Fathieh Faghih; Morteza Amini; Rasool Jalili (ICISS, 2010)

Model translations among big-step modeling languages. - Fathiyeh Faghih (ICSE, 2012)

Cooperative security administration in multi-security-domain environments using a variant of deontic logic. - Morteza Amini; Rasool Jalili; Moussa Amir Ehsan; Fathiyeh Faghih (Sci. Iran., 2012)

Recommendations for improving the usability of formal methods for product lines. - Joanne M. Atlee; Sandy Beidu; Nancy A. Day; Fathiyeh Faghih; Pourya Shaker (FormaliSE@ICSE, 2013)

Zone-Based Synthesis of Strict 2-Phase Fault Recovery. - Fathiyeh Faghih; Borzoo Bonakdarpour (SSS, 2013)

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

SMT-Based Synthesis of Distributed Self-Stabilizing Systems. - Fathiyeh Faghih; Borzoo Bonakdarpour (ACM Trans. Auton. Adapt. Syst., 2015)

Specification-Based Synthesis of Distributed Self-Stabilizing Protocols. - Fathiyeh Faghih; Borzoo Bonakdarpour; Sébastien Tixeuil; Sandeep S. Kulkarni (FORTE, 2016)

ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms. - Fathiyeh Faghih; Borzoo Bonakdarpour (SSS, 2017)

Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings. - Nahal Mirzaie; Fathiyeh Faghih; Swen Jacobs; Borzoo Bonakdarpour (OPODIS, 2018)

Automated Synthesis of Distributed Self-Stabilizing Protocols. - Fathiyeh Faghih; Borzoo Bonakdarpour; Sébastien Tixeuil; Sandeep S. Kulkarni (Log. Methods Comput. Sci., 2018)

Symbolic Synthesis of Timed Models with Strict 2-Phase Fault Recovery. - Fathiyeh Faghih; Borzoo Bonakdarpour (IEEE Trans. Dependable Secur. Comput., 2018)

Energy Metamorphic Testing for Android Applications. - Farzaneh Azimian; Fathiyeh Faghih; Mehdi Kargahi; S. M. Mahdi Mirdehghan (PIMRC Workshops, 2019)

The Proceedings of First Work-in-Progress Session of The CSI International Symposium on Real-Time and Embedded Systems and Technologies. - Ali Behnoudfar; Seyyed Hossein Hosseini Zahani; Mojtaba Hatami; Mahmoud Naghibzadeh; Boshra Taheri; Fathieh Faghih; Mehdi Kargahi (CoRR, 2019)

Testing Smart Contracts Gets Smarter. - Erfan Andesta; Fathiyeh Faghih; Mahdi Fooladgar (CoRR, 2019)

Decentralized Runtime Verification for LTL Properties Using Global Clock. - M. Ali Dorosty; Fathiyeh Faghih; Ehsan Khamespanah (CoRR, 2019)

Self-Competitive Neural Networks. - Iman Saberi; Fathiyeh Faghih (ISVC (1), 2020)

Parameterized synthesis of self-stabilizing protocols in symmetric networks. - Nahal Mirzaie; Fathiyeh Faghih; Swen Jacobs; Borzoo Bonakdarpour (Acta Informatica, 2020)

Probabilistic approximation of runtime quantitative verification in self-adaptive systems. - Mehran Alidoost Nia; Mehdi Kargahi; Fathiyeh Faghih (Microprocess. Microsystems, 2020)

Lightweight versus obfuscation-resilient malware detection in android applications. - Ali Aghamohammadi; Fathiyeh Faghih (J. Comput. Virol. Hacking Tech., 2020)

Parameterized Distributed Synthesis of Fault-Tolerance Using Counter Abstraction. - Hadi Moloodi; Fathiyeh Faghih; Borzoo Bonakdarpour (SRDS, 2021)

Specifying a Usage Control System. - Ulrich Schöpp; Chuangjie Xu; Amjad Ibrahim; Fathiyeh Faghih; Theo Dimitrakos (SACMAT, 2023)

A Passive Online Technique for Learning Hybrid Automata from Input/Output Traces. - Iman Saberi; Fathiyeh Faghih; Farzad Sobhi Bavil (ACM Trans. Embed. Comput. Syst., 2023)

Static and Dynamic Analysis of a Usage Control System. - Ulrich Schöpp; Fathiyeh Faghih; Subhajit Bandopadhyay; Hussein Joumaa; Amjad Ibrahim; Chuangjie Xu; Xin Ye; Theo Dimitrakos (SACMAT, 2024)

Effective Targeted Testing of Smart Contracts. - Mahdi Fooladgar; Fathiyeh Faghih (CoRR, 2024)

DeepCover: Advancing RNN test coverage and online error prediction using state machine extraction. - Pouria Golshanrad; Fathiyeh Faghih (J. Syst. Softw., 2024)

Control Performance Analysis of Automotive Cyber-physical Systems: A Study on Efficient Formal Verification. - Vahid Panahi; Mehdi Kargahi; Fathiyeh Faghih (ACM Trans. Cyber Phys. Syst., 2024)

Hallucination Detection in LLMs via Beam Search Sampling and Semantic Consistency Analysis. - Radouane Bouchekir; Fathiyeh Faghih; Tewodros A. Beyene (DSN-W, 2025)

Effective Black Box Testing of Sentiment Analysis Classification Networks. - Parsa Karbasizadeh; Fathiyeh Faghih; Pouria Golshanrad (SWQD, 2025)