Fathiyeh Faghih

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 23

Top Topics

Supervised Classifiers

Hybrid Automata

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Pouria Golshanrad, Fathiyeh Faghih
DeepCover: Advancing RNN Test Coverage and Online Error Prediction using State Machine Extraction. CoRR (2024)
Parsa Karbasizadeh, Fathiyeh Faghih, Pouria Golshanrad
Effective Black Box Testing of Sentiment Analysis Classification Networks. CoRR (2024)
Ulrich Schöpp, Fathiyeh Faghih, Subhajit Bandopadhyay, Hussein Joumaa, Amjad Ibrahim, Chuangjie Xu, Xin Ye, Theo Dimitrakos
Static and Dynamic Analysis of a Usage Control System. SACMAT (2024)
Vahid Panahi, Mehdi Kargahi, Fathiyeh Faghih
Control Performance Analysis of Automotive Cyber-physical Systems: A Study on Efficient Formal Verification. ACM Trans. Cyber Phys. Syst. 8 (2) (2024)
Pouria Golshanrad, Fathiyeh Faghih
DeepCover: Advancing RNN test coverage and online error prediction using state machine extraction. J. Syst. Softw. 211 (2024)
Mahdi Fooladgar, Fathiyeh Faghih
Effective Targeted Testing of Smart Contracts. CoRR (2024)
Iman Saberi, Fathiyeh Faghih, Farzad Sobhi Bavil
A Passive Online Technique for Learning Hybrid Automata from Input/Output Traces. ACM Trans. Embed. Comput. Syst. 22 (1) (2023)
Ulrich Schöpp, Chuangjie Xu, Amjad Ibrahim, Fathiyeh Faghih, Theo Dimitrakos
Specifying a Usage Control System. SACMAT (2023)
Iman Saberi, Fathiyeh Faghih, Farzad Sobhi Bavil
A Passive Online Technique for Learning Hybrid Automata from Input/Output Traces. CoRR (2021)
Hadi Moloodi, Fathiyeh Faghih, Borzoo Bonakdarpour
Parameterized Distributed Synthesis of Fault-Tolerance Using Counter Abstraction. SRDS (2021)
Ali Aghamohammadi, Fathiyeh Faghih
Lightweight versus obfuscation-resilient malware detection in android applications. J. Comput. Virol. Hacking Tech. 16 (2) (2020)
Mehran Alidoost Nia, Mehdi Kargahi, Fathiyeh Faghih
Probabilistic approximation of runtime quantitative verification in self-adaptive systems. Microprocess. Microsystems 72 (2020)
Iman Saberi, Fathiyeh Faghih
Self-Competitive Neural Networks. ISVC (1) (2020)
Iman Saberi, Fathiyeh Faghih
Self-Competitive Neural Networks. CoRR (2020)
Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour
Parameterized synthesis of self-stabilizing protocols in symmetric networks. Acta Informatica 57 (1-2) (2020)
M. Ali Dorosty, Fathiyeh Faghih, Ehsan Khamespanah
Decentralized Runtime Verification for LTL Properties Using Global Clock. CoRR (2019)
Farzaneh Azimian, Fathiyeh Faghih, Mehdi Kargahi, S. M. Mahdi Mirdehghan
Energy Metamorphic Testing for Android Applications. PIMRC Workshops (2019)
Erfan Andesta, Fathiyeh Faghih, Mahdi Fooladgar
Testing Smart Contracts Gets Smarter. CoRR (2019)
Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour
Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings. OPODIS (2018)
Fathiyeh Faghih, Borzoo Bonakdarpour
Symbolic Synthesis of Timed Models with Strict 2-Phase Fault Recovery. IEEE Trans. Dependable Secur. Comput. 15 (3) (2018)
Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni
Automated Synthesis of Distributed Self-Stabilizing Protocols. Log. Methods Comput. Sci. 14 (1) (2018)
Fathiyeh Faghih, Borzoo Bonakdarpour
ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms. SSS (2017)
Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni
Specification-Based Synthesis of Distributed Self-Stabilizing Protocols. FORTE (2016)
Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni
Specification-based Synthesis of Distributed Self-Stabilizing Protocols. CoRR (2015)
Saba Aflaki, Fathiyeh Faghih, Borzoo Bonakdarpour
Synthesizing Self-Stabilizing Protocols under Average Recovery Time Constraints. ICDCS (2015)
Fathiyeh Faghih, Borzoo Bonakdarpour
SMT-Based Synthesis of Distributed Self-Stabilizing Systems. ACM Trans. Auton. Adapt. Syst. 10 (3) (2015)
Fathiyeh Faghih, Borzoo Bonakdarpour
SMT-Based Synthesis of Distributed Self-stabilizing Systems. SSS (2014)
Fathiyeh Faghih, Borzoo Bonakdarpour
Zone-Based Synthesis of Strict 2-Phase Fault Recovery. SSS (2013)
Joanne M. Atlee, Sandy Beidu, Nancy A. Day, Fathiyeh Faghih, Pourya Shaker
Recommendations for improving the usability of formal methods for product lines. FormaliSE@ICSE (2013)
Fathiyeh Faghih
Model translations among big-step modeling languages. ICSE (2012)
Morteza Amini, Rasool Jalili, Moussa Amir Ehsan, Fathiyeh Faghih
Cooperative security administration in multi-security-domain environments using a variant of deontic logic. Sci. Iran. 19 (3) (2012)