| Restricted broadcast process theory F Ghassemi, W Fokkink, A Movaghar 2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008 | 59 | 2008 |
| Equational reasoning on ad hoc networks F Ghassemi, W Fokkink, A Movaghar International Conference on Fundamentals of Software Engineering, 113-128, 2009 | 31 | 2009 |
| Equational reasoning on mobile ad hoc networks F Ghassemi, W Fokkink, A Movaghar Fundamenta Informaticae 105 (4), 375-415, 2010 | 27 | 2010 |
| An adaptive sinkhole aware algorithm in wireless sensor networks G Jahandoust, F Ghassemi Ad Hoc Networks 59, 24-34, 2017 | 26 | 2017 |
| Modeling and efficient verification of wireless ad hoc networks B Yousefi, F Ghassemi, R Khosravi Formal Aspects of Computing 29, 1051-1086, 2017 | 24 | 2017 |
| Verification of mobile ad hoc networks: An algebraic approach F Ghassemi, W Fokkink, A Movaghar Theoretical Computer Science 412 (28), 3262-3282, 2011 | 22 | 2011 |
| Hybrid rebeca: Modeling and analyzing of cyber-physical systems I Jahandideh, F Ghassemi, M Sirjani Cyber Physical Systems. Model-Based Design: 8th International Workshop …, 2019 | 17 | 2019 |
| Stochastic restricted broadcast process theory F Ghassemi, M Talebi, A Movaghar, W Fokkink Computer Performance Engineering: 8th European Performance Engineering …, 2011 | 14 | 2011 |
| Modeling and efficient verification of broadcasting actors B Yousefi, F Ghassemi, R Khosravi Fundamentals of Software Engineering: 6th International Conference, FSEN …, 2015 | 13 | 2015 |
| An actor-based framework for asynchronous event-based cyber-physical systems I Jahandideh, F Ghassemi, M Sirjani Software and Systems Modeling 20, 641-665, 2021 | 12 | 2021 |
| Automated mapping of Reo circuits to constraint automata F Ghassemi, S Tasharofi, M Sirjani Electronic Notes in Theoretical Computer Science 159, 99-115, 2006 | 12 | 2006 |
| ConsiDroid: A concolic-based tool for detecting SQL injection vulnerability in android apps E Edalat, B Sadeghiyan, F Ghassemi arXiv preprint arXiv:1811.10448, 2018 | 10 | 2018 |
| Model checking MANETs with arbitrary mobility F Ghassemi, S Ahmadi, W Fokkink, A Movaghar Fundamentals of Software Engineering: 5th International Conference, FSEN …, 2013 | 10 | 2013 |
| An analysis of vendor lock-in problem in cloud storage SM Razavian, H Khani, N Yazdani, F Ghassemi ICCKE 2013, 331-335, 2013 | 9 | 2013 |
| Model checking mobile ad hoc networks F Ghassemi, W Fokkink Formal Methods in System Design 49, 159-189, 2016 | 8 | 2016 |
| Probabilistic key pre-distribution for heterogeneous mobile ad hoc networks using subjective logic M Ahmadi, M Gharib, F Ghassemi, A Movaghar 2015 IEEE 29th International Conference on Advanced Information Networking …, 2015 | 7 | 2015 |
| Behavioral model identification and classification of multi-component systems Z Sabahi-Kaviani, F Ghassemi Science of Computer Programming 177, 41-66, 2019 | 5 | 2019 |
| Decentralized runtime enforcement of message sequences in message-based systems M Samadi, F Ghassemi, R Khosravi 24th International Conference on Principles of Distributed Systems (OPODIS 2020), 2021 | 4 | 2021 |
| Reactive actors: Isolation for efficient analysis of distributed systems M Sirjani, E Khamespanah, F Ghassemi 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and …, 2019 | 4 | 2019 |
| A policy-aware epistemic framework for social networks Z Moezkarimi, F Ghassemi, MR Mousavi Journal of Logic and Computation 32 (6), 1234-1271, 2022 | 3 | 2022 |
Ali MovagharProfessor of Computer Science and Engineering, Sharif University of Technology., Tehran, IranVerified email at sharif.edu
