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 |
Automated mapping of Reo circuits to constraint automata F Ghassemi, S Tasharofi, M Sirjani Electronic Notes in Theoretical Computer Science 159, 99-115, 2006 | 13 | 2006 |
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 |
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 |
Mobile App Fingerprinting through Automata Learning and Machine Learning F Marzani, F Ghassemi, Z Sabahi-Kaviani, T Van Ede, M Van Steen 2023 IFIP Networking Conference (IFIP Networking), 1-9, 2023 | 3 | 2023 |