Journal Paper

1. "A Passive Online Technique for Learning Hybrid Automata from Input/Output Traces"
   Iman Saberi, Fathiyeh Faghih, Farzad Sobhi Bavil
   ACM Transactions on Embedded Computing Systems, Vol. 22, No 1, pp.1-24, 2022
2. "Probabilistic approximation of runtime quantitative verification in self-adaptive systems"
   Mehran Alidoost Nia, Mehdi Kargahi, Fathiyeh Faghih
   MICROPROCESSORS AND MICROSYSTEMS, Vol. 72, No 102943, 2020
3. "Parameterized synthesis of self-stabilizing protocols in symmetric networks"
   Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour
   ACTA INFORMATICA, Vol. 57, No 1, 2019
4. "Lightweight versus obfuscation-resilient malware detection in android applications"
   Ali Aghamohammadi, Fathiyeh Faghih
   Journal of Computer Virology and Hacking Techniques, Vol. 56, No 15, 2019
5. "Symbolic Synthesis of Timed Models with Strict 2-Phase Fault Recovery"
   Fathiyeh Faghih, Borzoo Bonakdarpour
   IEEE Transactions on Dependable and Secure Computing, Vol. 15, No 3, pp.526-541, 2018
6. "Automated Synthesis of Distributed Self-Stabilizing Protocols"
   Fathiyeh Faghih, Borzoo Bonakdarpour, Sebastien Tixeuil, Sandeep Kulkarni
   LOGICAL METHODS IN COMPUTER SCIENCE, Vol. 14, No 1, pp.1-25, 2018

Conference Paper

1. "Static/Dynamic Analysis of Android Applications to Improve Energy-Efficiency"
   Mohammad Jalili, Fathiyeh Faghih
   The CPSSI International Symposium on Real-Time and Embedded Systems and Technologies (RTEST), 2022
2. "TestSmart: A Tool for Automated Generation of Effective Test Cases for Smart Contracts"
   Mahdi Fooladgar, Amin Arefzadeh, Fathiyeh Faghih
   2021 11th International Conference on Computer Engineering and Knowledge (ICCKE), 2021
3. "Parameterized Distributed Synthesis of Fault-Tolerance Using Counter Abstraction"
   Hadi Moloodi, Fathiyeh Faghih, Borzoo Bonakdarpour
   2021 40th International Symposium on Reliable Distributed Systems (SRDS), 2021
4. "Testing Smart Contracts Gets Smarter"
   Erfan Andesta, Fathiyeh Faghih, Mahdi Fooladgar
   2020 10th International Conference on Computer and Knowledge Engineering (ICCKE), 2020
5. "Self-Competitive Neural Networks"
   Iman Saberi, Fathiyeh Faghih
   International Symposium on Visual Computing, 2020
6. "Energy Metamorphic Testing for Android Applications"
   Farzaneh Azimian, Fathiyeh Faghih, Mehdi Kargahi, Mahdi Mirdehghan
   2019 IEEE 30th International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC Workshops), 2019
7. "Distributed Runtime Verification of LTL Properties Using Global Clock"
   M. Ali Dorosty, Fathiyeh Faghih, Ramtin Khosravi
   Fundamentals of Software Engineering, 2019
8. "Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings"
   Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour
   22nd International Conference on Principles of Distributed Systems (OPODIS 2018), 2018
9. "Probabilistic analysis of self-stabilizing systems: A case study on a mutual exclusion algorithm"
   Mehran Alidoost Nia, Fathiyeh Faghih
   Real-Time and Embedded Systems and Technologies (RTEST), 2018
10. "Energy Debugging of Android Applications based on User Behavior"
    Boshra Taheri, Fathiyeh Faghih, Mehdi Kargahi
    The Proceeding of First Work-in-Progress Session of 2018 CSI International Symposium on Real-Time and Embedded Systems and Technologies (WiP-RTEST 2018), 2018
11. "ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms"
    Fathiyeh Faghih, Borzoo Bonakdarpour
    International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2017