Dr. Reema Patel
Dr. Reema Patel
Assistant Professor, PDPU, Gandhinagar
Verified email at coed.svnit.ac.in - Homepage
TitleCited byYear
Comparative analysis of formal model checking tools for security protocol verification
R Patel, B Borisaniya, A Patel, D Patel, M Rajarajan, A Zisman
International Conference on Network Security and Applications, 152-163, 2010
A quantitative analysis of collision resolution protocol for wireless sensor network
R Patel, D Patel
Journal of Software Engineering and Applications 8 (8), 361, 2015
Network-based Intrusion Detection in Eucalyptus Private Cloud
B Borisaniya, A Patel, R Patel, D Patel
2010 International Conference on Advances in Communication, Network, and …, 2010
ExplicitPRISMSymm: Symmetry Reduction Technique for Explicit Models in PRISM
R Patel, K Patel, D Patel
International Conference on Theory and Applications of Models of Computation …, 2015
On-the-fly symmetry reduction of explicitly represented probabilistic models
R Patel, K Patel, D Patel
International Conference on Distributed Computing and Internet Technology …, 2015
Real Time Adaptive Traffic Control System: A Hybrid Approach
P Faldu, N Doshi, R Patel
2019 IEEE 4th International Conference on Computer and Communication Systems …, 2019
A Comparative study of applications of Game Theory in Cyber Security and Cloud Computing.
V Kakkad, H Shah, R Patel, N Doshi
Procedia Computer Science 155, 680-685, 2019
A survey on game theoretic approaches for privacy preservation in data mining and network security
H Shah, V Kakkad, R Patel, N Doshi
Procedia Computer Science 155, 686-691, 2019
Static Analysis and Symbolic Code Execution
D Patel, M Parikh, R Patel
CSI Journal of, 14, 0
The system can't perform the operation now. Try again later.
Articles 1–9