Seuraa
Fathiyeh Faghih
Fathiyeh Faghih
Vahvistettu sähköpostiosoite verkkotunnuksessa fortiss.org
Nimike
Viittaukset
Viittaukset
Vuosi
Testing Smart Contracts Gets Smarter
E Andesta, F Faghih, M Fooladgar
2020 10th International Conference on Computer and Knowledge Engineering …, 2020
372020
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
282015
Probabilistic approximation of runtime quantitative verification in self-adaptive systems
MA Nia, M Kargahi, F Faghih
Microprocessors and microsystems 72, 102943, 2020
182020
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
14*2016
Mapping big-step modeling languages to SMV
F Faghih, NA Day
David R. Cheriton School of Computer Science, University of Waterloo, Tech …, 2011
92011
Lightweight versus obfuscation-resilient malware detection in android applications
A Aghamohammadi, F Faghih
Journal of Computer Virology and Hacking Techniques 16, 125-139, 2020
82020
Parameterized synthesis of self-stabilizing protocols in symmetric networks
N Mirzaie, F Faghih, S Jacobs, B Bonakdarpour
Acta Informatica 57, 271-304, 2020
72020
Automated Synthesis of Distributed Self-Stabilizing Protocols
F Faghih, B Bonakdarpour, S Tixeuil, S Kulkarni
Logical Methods in Computer Science 14 (1), 2018
72018
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
62018
A Passive Online Technique for Learning Hybrid Automata from Input/Output Traces
I Saberi, F Faghih, FS Bavil
ACM Transactions on Embedded Computing Systems 22 (1), 2022
52022
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
52019
ASSESS: A tool for automated synthesis of distributed self-stabilizing algorithms
F Faghih, B Bonakdarpour
Stabilization, Safety, and Security of Distributed Systems: 19th …, 2017
52017
TestSmart: a tool for automated generation of effective test cases for smart contracts
M Fooladgar, A Arefzadeh, F Faghih
2021 11th International Conference on Computer Engineering and Knowledge …, 2021
42021
Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings
N Mirzaie, F Faghih, S Jacobs, B Bonakdarpour
Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 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
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
32020
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
Control performance analysis of automotive cyber-physical systems: A study on efficient formal verification
V Panahi, M Kargahi, F Faghih
ACM Transactions on Cyber-Physical Systems, 2022
22022
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
22021
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20