Suresh Kumar N

Suresh Kumar N

Cochin University of Science and Technology - Kochi / India
Engineering & Technology / Computer Science
AD Scientific Index ID: 5464192
കൊച്ചി ശാസ്ത്ര സാങ്കേതിക സർ‌വ്വകലാശാല
person_outline Suresh Kumar N's MOST POPULAR ARTICLES
1-) Modelling and verification of CoAP over routing layer using SPIN model checkerAJ Vattakunnel, NS Kumar, GS KumarProcedia Computer Science 93, 299-308, 2016142016
2-) A framework for predicting the performance of IoT protocols, a use case based approachS Sreeraj, NS Kumar, GS Kumar2017 International Conference On Smart Technologies For Smart Nation …, 2017102017
3-) Modeling and verification of timed automaton based hybrid systems using spin model checkerNS Kumar, GS Kumar2016 IEEE Annual India Conference (INDICON), 1-8, 201682016
4-) A novel architecture for internet of things in precision agricultureJ Jayadevan, SM JasmineInt J Appl Eng Res 15 (3), 204-211, 202072020
5-) A review on formal verification of basic algorithms in time triggered architectureN Sheena, S Joseph2018 International Conference on Control, Power, Communication and Computing …, 201842018