Fatemeh Ghassemi
TitelCiteras avÅr
Restricted broadcast process theory
F Ghassemi, W Fokkink, A Movaghar
2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008
542008
Equational reasoning on ad hoc networks
F Ghassemi, W Fokkink, A Movaghar
International Conference on Fundamentals of Software Engineering, 113-128, 2009
292009
Equational reasoning on mobile ad hoc networks
F Ghassemi, W Fokkink, A Movaghar
Fundamenta Informaticae 105 (4), 375-415, 2010
272010
Verification of mobile ad hoc networks: An algebraic approach
F Ghassemi, W Fokkink, A Movaghar
Theoretical Computer Science 412 (28), 3262-3282, 2011
222011
Stochastic restricted broadcast process theory
F Ghassemi, M Talebi, A Movaghar, W Fokkink
European Performance Engineering Workshop, 72-86, 2011
142011
Modeling and efficient verification of wireless ad hoc networks
B Yousefi, F Ghassemi, R Khosravi
Formal Aspects of Computing 29 (6), 1051-1086, 2017
122017
Model checking MANETs with arbitrary mobility
F Ghassemi, S Ahmadi, W Fokkink, A Movaghar
International Conference on Fundamentals of Software Engineering, 217-232, 2013
102013
Automated mapping of Reo circuits to constraint automata
F Ghassemi, S Tasharofi, M Sirjani
Electronic Notes in Theoretical Computer Science 159, 99-115, 2006
92006
An adaptive sinkhole aware algorithm in wireless sensor networks
G Jahandoust, F Ghassemi
Ad Hoc Networks 59, 24-34, 2017
82017
Modeling and efficient verification of broadcasting actors
B Yousefi, F Ghassemi, R Khosravi
International Conference on Fundamentals of Software Engineering, 69-83, 2015
82015
Model checking mobile ad hoc networks
F Ghassemi, W Fokkink
Formal Methods in System Design 49 (3), 159-189, 2016
52016
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
52015
An efficient loop-free version of aodvv2
B Yousefi, F Ghassemi
arXiv preprint arXiv:1709.01786, 2017
32017
Product line process theory
F Ghassemi, MR Mousavi
Journal of Logical and Algebraic Methods in Programming 85 (1), 200-226, 2016
32016
An analysis of vendor lock-in problem in cloud storage
SM Razavian, H Khani, N Yazdani, F Ghassemi
ICCKE 2013, 331-335, 2013
32013
Reliable restricted process theory
F Ghassemi, W Fokkink
arXiv preprint arXiv:1705.02600, 2017
22017
Automatic Transition System Model Identification for Network Applications from Packet Traces
Z Sabahi-Kaviani, F Ghassemi, F Bajelan
International Conference on Fundamentals of Software Engineering, 212-227, 2017
12017
Towards performance evaluation of mobile ad hoc network protocols
F Ghassemi, A Movaghar, W Fokkink
2010 10th International Conference on Application of Concurrency to System …, 2010
12010
Modeling routing protocols in adhoc networks
F Ghassemi, A Movaghar
Computer Society of Iran Computer Conference, 419-426, 2008
12008
TIERPEER: A THREE-TIER FRAMEWORK FOR P2P APPLICATIONS
A Shamsaie, J Habibi, F Ghassemi
IJCSNS 7 (2), 292, 2007
12007
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20