Fathiyeh Faghih

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