Folgen
Fathiyeh Faghih
Fathiyeh Faghih
Bestätigte E-Mail-Adresse bei ut.ac.ir
Titel
Zitiert von
Zitiert von
Jahr
SMT-based synthesis of distributed self-stabilizing systems
F Faghih, B Bonakdarpour
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 10 (3), 1-26, 2015
312015
Recommendations for improving the usability of formal methods for product lines
JM Atlee, S Beidu, NA Day, F Faghih, P Shaker
2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE …, 2013
172013
Specification-based synthesis of distributed self-stabilizing protocols
SK Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil
International Conference on Formal Techniques for Distributed Objects …, 2016
152016
Testing Smart Contracts Gets Smarter
E Andesta, F Faghih, M Fooladgar
2020 10th International Conference on Computer and Knowledge Engineering …, 2020
122020
Probabilistic approximation of runtime quantitative verification in self-adaptive systems
MA Nia, M Kargahi, F Faghih
Microprocessors and Microsystems 72, 102943, 2020
112020
Mapping big-step modeling languages to SMV
F Faghih, NA Day
David R. Cheriton School of Computer Science, University of Waterloo, Tech …, 2011
92011
Automated Synthesis of Distributed Self-Stabilizing Protocols
F Faghih, B Bonakdarpour, S Tixeuil, S Kulkarni
Logical Methods in Computer Science 14 (1), 2018
62018
ASSESS: A tool for automated synthesis of distributed self-stabilizing algorithms
F Faghih, B Bonakdarpour
International Symposium on Stabilization, Safety, and Security of …, 2017
62017
Lightweight versus obfuscation-resilient malware detection in android applications
A Aghamohammadi, F Faghih
Journal of Computer Virology and Hacking Techniques 16 (2), 125-139, 2020
52020
Energy metamorphic testing for android applications
F Azimian, F Faghih, M Kargahi, SMM Mirdehghan
2019 IEEE 30th International Symposium on Personal, Indoor and Mobile Radio …, 2019
42019
Probabilistic analysis of self-stabilizing systems: A case study on a mutual exclusion algorithm
MA Nia, F Faghih
2018 Real-Time and Embedded Systems and Technologies (RTEST), 88-95, 2018
42018
Synthesizing self-stabilizing protocols under average recovery time constraints
S Aflaki, F Faghih, B Bonakdarpour
2015 IEEE 35th International Conference on Distributed Computing Systems …, 2015
42015
Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings
N Mirzaie, F Faghih, S Jacobs, B Bonakdarpour
Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2018
32018
Symbolic synthesis of timed models with strict 2-phase fault recovery
F Faghih, B Bonakdarpour
IEEE Transactions on Dependable and Secure Computing 15 (3), 526-541, 2016
32016
A temporal description logic based access control model for expressing history constrained policies in semantic web
F Faghih, M Amini, R Jalili
2009 IEEE International Symposium on Policies for Distributed Systems and …, 2009
32009
Program energy-hotspot detection and removal: A static analysis approach
M Shekarisaz, F Talebian, M Jabariani, F Mehri, F Faghih, M Kargahi
2020 CSI/CPSSI International Symposium on Real-Time and Embedded Systems and …, 2020
22020
Answer Set Programming or Hypercleaning: Where does the Magic Lie in Solving Maximum Quartet Consistency?
F Faghih, DG Brown
Technical Report, University of Waterloo, CS-2010-20, 2010
22010
Parameterized Distributed Synthesis of Fault-Tolerance Using Counter Abstraction
H Moloodi, F Faghih, B Bonakdarpour
2021 40th International Symposium on Reliable Distributed Systems (SRDS), 67-77, 2021
12021
Parameterized synthesis of self-stabilizing protocols in symmetric networks
N Mirzaie, F Faghih, S Jacobs, B Bonakdarpour
Acta Informatica 57 (1), 271-304, 2020
12020
Automated synthesis of distributed self-stabilizing protocols
S Kulkarni, S Tixeuil, B Bonakdarpour, F Faghih
Logical Methods in Computer Science 14, 2018
12018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20