| Modelling and verification of CoAP over routing layer using SPIN model checker AJ Vattakunnel, NS Kumar, GS Kumar Procedia Computer Science 93, 299-308, 2016 | 14 | 2016 |
| A framework for predicting the performance of IoT protocols, a use case based approach S Sreeraj, NS Kumar, GS Kumar 2017 International Conference On Smart Technologies For Smart Nation …, 2017 | 9 | 2017 |
| Modeling and verification of timed automaton based hybrid systems using spin model checker NS Kumar, GS Kumar 2016 IEEE Annual India Conference (INDICON), 1-8, 2016 | 8 | 2016 |
| A novel architecture for internet of things in precision agriculture J Jayadevan, SM Jasmine Int J Appl Eng Res 15 (3), 204-211, 2020 | 7 | 2020 |
| A review on formal verification of basic algorithms in time triggered architecture N Sheena, S Joseph 2018 International Conference on Control, Power, Communication and Computing …, 2018 | 4 | 2018 |
| Dynamic power profile estimation of interconnected smart objects NS Kumar, S Koshy, GS Kumar 2015 IEEE Recent Advances in Intelligent Computational Systems (RAICS), 394-399, 2015 | 4 | 2015 |
| The Changing Face Of Engineering Education In Kerala-An Empirical Study At Engineering Colleges In Kerala A Prasanth, MK and Kumar, Suresh and Sundaram International Journal of Engineering Research and Technology 1, 2012 | 3 | 2012 |
| Abstracting IoT protocols using timed process algebra and SPIN model checker GSK N. Suresh Kumar Cluster Computing, 2023 | 2 | 2023 |
| Novel abstraction methods for TDMA based MAC protocols: Case of IIoT MAC Wireless HART Verification NS Kumar, GS Kumar, S Shailesh, A Sreekumar Telecommunication Systems 85 (1), 125-150, 2024 | | 2024 |
| Formal Verification of a MAC Protocol for Underwater Acoustic Sensor Networks NS Kumar, GS Kumar, S Sivan, A Sreekumar IEEE Access, 2023 | | 2023 |
| UGC-CARE List Group I UGC CARE UNIVERSITY GRANTS COMMISSION, 2019 | | 2019 |
| Campus placements in Kerala-An empirical study at the selected Engineering Colleges in Kerala A Kumar, Suresh and Prasanth, MK and Sundaram Citeseer, 2013 | | 2013 |
| Internet of Things-A Communication Protocol Perspective N Suresh Kumar, GS Kumar CSI Communications, 11, 2012 | | 2012 |
G. Santhosh KumarDepartment of Computer Science, Cochin University of Science and Technology (CUSAT), Kerala, IndiaVerified email at cusat.ac.in
