| 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 | 37 | 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 | 3 | 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 | 2 | 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 | 1 | 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 | 1 | 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 | | 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 | | 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 | | 2019 |
| Static Analysis and Symbolic Code Execution D Patel, M Parikh, R Patel CSI Journal of, 14, 0 | | |