| Testing Smart Contracts Gets Smarter E Andesta, F Faghih, M Fooladgar 2020 10th International Conference on Computer and Knowledge Engineering …, 2020 | 42 | 2020 |
| 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 | 28 | 2015 |
| Probabilistic approximation of runtime quantitative verification in self-adaptive systems MA Nia, M Kargahi, F Faghih Microprocessors and microsystems 72, 102943, 2020 | 18 | 2020 |
| 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 | 17 | 2013 |
| 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 |
| Lightweight versus obfuscation-resilient malware detection in android applications A Aghamohammadi, F Faghih Journal of Computer Virology and Hacking Techniques 16, 125-139, 2020 | 11 | 2020 |
| Mapping big-step modeling languages to SMV F Faghih, NA Day David R. Cheriton School of Computer Science, University of Waterloo, Tech …, 2011 | 9 | 2011 |
| 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 | 7 | 2022 |
| Parameterized synthesis of self-stabilizing protocols in symmetric networks N Mirzaie, F Faghih, S Jacobs, B Bonakdarpour Acta Informatica 57, 271-304, 2020 | 7 | 2020 |
| Automated Synthesis of Distributed Self-Stabilizing Protocols F Faghih, B Bonakdarpour, S Tixeuil, S Kulkarni Logical Methods in Computer Science 14 (1), 2018 | 7 | 2018 |
| 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 | 6 | 2019 |
| 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 | 6 | 2018 |
| 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 | 5 | 2021 |
| ASSESS: A tool for automated synthesis of distributed self-stabilizing algorithms F Faghih, B Bonakdarpour Stabilization, Safety, and Security of Distributed Systems: 19th …, 2017 | 5 | 2017 |
| Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings N Mirzaie, F Faghih, S Jacobs, B Bonakdarpour Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2018 | 4 | 2018 |
| 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 | 4 | 2015 |
| 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 | 4 | 2009 |
| Specifying a Usage Control System U Schöpp, C Xu, A Ibrahim, F Faghih, T Dimitrakos Proceedings of the 28th ACM Symposium on Access Control Models and …, 2023 | 3 | 2023 |
| 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 | 3 | 2020 |
| 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 8 (2), 1-19, 2024 | 2 | 2024 |
Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State University在 msu.edu 的电子邮件经过验证
