| Algebraic modeling and verification of web service composition GN Rai, GR Gangadharan, V Padmanabhan Procedia computer science 52, 675-679, 2015 | 24 | 2015 |
| Web service interaction modeling and verification using recursive composition algebra GN Rai, GR Gangadharan, V Padmanabhan, R Buyya IEEE Transactions on Services Computing 14 (1), 300-314, 2018 | 17 | 2018 |
| Model Checking Based Web Service Verification: A Systematic Literature Review GN Rai, GR Gangadharan IEEE Transactions on Services Computing, 2018 | 5 | 2018 |
| Set partition and trace based verification of web service composition GN Rai, GR Gangadharan Procedia Computer Science 52, 278-285, 2015 | 5 | 2015 |
| A Proximity-based Measure for Quantifying the Risk of Vulnerabilities BMM Ghanshyam S. Bopche, Gopal N. Rai, D. R. Denslin Brabin International Symposium on Security in Computing and Communications, 2019 | 3 | 2019 |
| Modeling and analyzing multistage attacks using recursive composition algebra GS Bopche, GN Rai, BM Mehtre, GR Gangadharan International Conference on Information Systems Security, 67-87, 2018 | 2 | 2018 |
| Algebraic Modeling and Verification of Web Service Composition GNR VineetPadmanabhan, GR Gangadharan Elsevier, Procedia Computer Science 52, 675-679, 2015 | 2 | 2015 |
| Differential Attack Graph-Based Approach for Assessing Change in the Network Attack Surface GS Bopche, GN Rai, B Ramchandra Reddy, BM Mehtre International Conference on Information Systems Security, 324-344, 2019 | 1 | 2019 |
| Inter-path diversity metrics for increasing networks robustness against zero-day attacks GS Bopche, GN Rai, BM Mehtre Security in Computing and Communications: 6th International Symposium, SSCC …, 2019 | 1 | 2019 |
| Verifying Compositional Equivalence Between Web Service Composition Graphs GN Rai, GR Gangadharan Concurrency and Computation: Practice and Experience, 2018 | 1 | 2018 |
| Architectural Characterization of Web Service Interaction Verification GN Rai, GR Gangadharan Proceedings of 3rd International Conference on Advanced Computing …, 2016 | 1 | 2016 |
G. R. GangadharanProfessor, National Institute of Technology, Tiruchirappalli, IndiaVerified email at nitt.edu
