Follow
Fatemeh Ghassemi
Title
Cited by
Cited by
Year
Restricted broadcast process theory
F Ghassemi, W Fokkink, A Movaghar
2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008
592008
Equational reasoning on ad hoc networks
F Ghassemi, W Fokkink, A Movaghar
International Conference on Fundamentals of Software Engineering, 113-128, 2009
312009
Equational reasoning on mobile ad hoc networks
F Ghassemi, W Fokkink, A Movaghar
Fundamenta Informaticae 105 (4), 375-415, 2010
272010
An adaptive sinkhole aware algorithm in wireless sensor networks
G Jahandoust, F Ghassemi
Ad Hoc Networks 59, 24-34, 2017
252017
Modeling and efficient verification of wireless ad hoc networks
B Yousefi, F Ghassemi, R Khosravi
Formal Aspects of Computing 29, 1051-1086, 2017
242017
Verification of mobile ad hoc networks: An algebraic approach
F Ghassemi, W Fokkink, A Movaghar
Theoretical Computer Science 412 (28), 3262-3282, 2011
222011
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
142019
Stochastic restricted broadcast process theory
F Ghassemi, M Talebi, A Movaghar, W Fokkink
Computer Performance Engineering: 8th European Performance Engineering …, 2011
142011
Modeling and efficient verification of broadcasting actors
B Yousefi, F Ghassemi, R Khosravi
Fundamentals of Software Engineering: 6th International Conference, FSEN …, 2015
122015
Automated mapping of Reo circuits to constraint automata
F Ghassemi, S Tasharofi, M Sirjani
Electronic Notes in Theoretical Computer Science 159, 99-115, 2006
112006
Model checking MANETs with arbitrary mobility
F Ghassemi, S Ahmadi, W Fokkink, A Movaghar
Fundamentals of Software Engineering: 5th International Conference, FSEN …, 2013
102013
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
92021
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
92018
An analysis of vendor lock-in problem in cloud storage
SM Razavian, H Khani, N Yazdani, F Ghassemi
ICCKE 2013, 331-335, 2013
92013
Model checking mobile ad hoc networks
F Ghassemi, W Fokkink
Formal Methods in System Design 49, 159-189, 2016
72016
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
72015
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
42019
Behavioral model identification and classification of multi-component systems
Z Sabahi-Kaviani, F Ghassemi
Science of Computer Programming 177, 41-66, 2019
42019
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
32021
Combining machine and automata learning for network traffic classification
Z Sabahi-Kaviani, F Ghassemi, Z Alimadadi
International Conference on Topics in Theoretical Computer Science, 17-31, 2020
22020
The system can't perform the operation now. Try again later.
Articles 1–20