Fathiyeh Faghih

According to our database, Fathiyeh Faghih authored at least 29 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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., April, 2024

DeepCover: Advancing RNN test coverage and online error prediction using state machine extraction.

Pouria Golshanrad, Fathiyeh Faghih

J. Syst. Softw., 2024

Effective Black Box Testing of Sentiment Analysis Classification Networks.

Parsa Karbasizadeh, Fathiyeh Faghih, Pouria Golshanrad

CoRR, 2024

Effective Targeted Testing of Smart Contracts.

Mahdi Fooladgar, Fathiyeh Faghih

CoRR, 2024

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

Proceedings of the 29th ACM Symposium on Access Control Models and Technologies, 2024

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

Specifying a Usage Control System.

Ulrich Schöpp, Chuangjie Xu, Amjad Ibrahim, Fathiyeh Faghih, Theo Dimitrakos

Proceedings of the 28th ACM Symposium on Access Control Models and Technologies, 2023

2021

Parameterized Distributed Synthesis of Fault-Tolerance Using Counter Abstraction.

Hadi Moloodi, Fathiyeh Faghih, Borzoo Bonakdarpour

Proceedings of the 40th International Symposium on Reliable Distributed Systems, 2021

2020

Lightweight versus obfuscation-resilient malware detection in android applications.

Ali Aghamohammadi, Fathiyeh Faghih

J. Comput. Virol. Hacking Tech., 2020

Probabilistic approximation of runtime quantitative verification in self-adaptive systems.

Mehran Alidoost Nia, Mehdi Kargahi, Fathiyeh Faghih

Microprocess. Microsystems, 2020

Parameterized synthesis of self-stabilizing protocols in symmetric networks.

Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour

Acta Informatica, 2020

Self-Competitive Neural Networks.

Iman Saberi, Fathiyeh Faghih

Proceedings of the Advances in Visual Computing - 15th International Symposium, 2020

2019

Decentralized Runtime Verification for LTL Properties Using Global Clock.

M. Ali Dorosty, Fathiyeh Faghih, Ehsan Khamespanah

CoRR, 2019

Testing Smart Contracts Gets Smarter.

Erfan Andesta, Fathiyeh Faghih, Mahdi Fooladgar

CoRR, 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

Energy Metamorphic Testing for Android Applications.

Farzaneh Azimian, Fathiyeh Faghih, Mehdi Kargahi, S. M. Mahdi Mirdehghan

Proceedings of the 30th IEEE International Symposium on Personal, 2019

2018

Symbolic Synthesis of Timed Models with Strict 2-Phase Fault Recovery.

Fathiyeh Faghih, Borzoo Bonakdarpour

IEEE Trans. Dependable Secur. Comput., 2018

Automated Synthesis of Distributed Self-Stabilizing Protocols.

Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni

Log. Methods Comput. Sci., 2018

Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings.

Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour

Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018

2017

ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms.

Fathiyeh Faghih, Borzoo Bonakdarpour

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2017

2016

Specification-Based Synthesis of Distributed Self-Stabilizing Protocols.

Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

2015

SMT-Based Synthesis of Distributed Self-Stabilizing Systems.

Fathiyeh Faghih, Borzoo Bonakdarpour

ACM Trans. Auton. Adapt. Syst., 2015

Synthesizing Self-Stabilizing Protocols under Average Recovery Time Constraints.

Saba Aflaki, Fathiyeh Faghih, Borzoo Bonakdarpour

Proceedings of the 35th IEEE International Conference on Distributed Computing Systems, 2015

2013

Zone-Based Synthesis of Strict 2-Phase Fault Recovery.

Fathiyeh Faghih, Borzoo Bonakdarpour

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013

Recommendations for improving the usability of formal methods for product lines.

Joanne M. Atlee, Sandy Beidu, Nancy A. Day, Fathiyeh Faghih, Pourya Shaker

Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013

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

Model translations among big-step modeling languages.

Fathiyeh Faghih

Proceedings of the 34th International Conference on Software Engineering, 2012

2010

Specification of History Based Constraints for Access Control in Conceptual Level.

Fathieh Faghih, Morteza Amini, Rasool Jalili

Proceedings of the Information Systems Security - 6th International Conference, 2010

2009

A Temporal Description Logic Based Access Control Model for Expressing History Constrained Policies in Semantic Web.

Fathieh Faghih, Morteza Amini, Rasool Jalili

Proceedings of the POLICY 2009, 2009