Suresh Kumar N

Employment

• CAPE College of Engineering Alappuzha Principal in charge
  2026 - Present

Education

• Cochin University of Science and Technology Doctor of Philosophy
  2013 - 2024
• Cochin University of Science and Technology M.Tech
  2006 - 2008

Projects & Funding

Projects & funding information is unavailable.

Publications (11)

• Abstracting IoT protocols using timed process algebra and SPIN model checker
  Cluster Computing 2023 7 citations DOI: 10.1007/s10586-022-03963-y
  +Save
• Formal Verification of a MAC Protocol for Underwater Sensor Networks
  IEEE Access 2023 1 citation DOI: 10.1109/ACCESS.2023.3323585
  +Save
• A novel architecture for internet of things in precision agriculture
  International Journal of Applied Engineering Research 2020
  +Save
• A review on formal verification of basic algorithms in time triggered architecture
  2018 International Conference on Control, Power, Communication and Computing Technologies (ICCPCCT) 2018
  +Save
• A framework for predicting the performance of IoT protocols, a use case based approach
  2017 International Conference On Smart Technologies For Smart Nation (SmartTechCon) 2017
  +Save
• Modeling and Verification of Timed Automaton Based Hybrid Systems Using Spin Model Checker
  Annual IEEE India Conference (INDICON) 2016 11 citations DOI: 10.1109/INDICON.2016.7839011
  +Save
• Modelling and verification of CoAP over routing layer using SPIN model checker
  Procedia Computer Science 2016
  +Save
• Modelling and verification of CoAP over routing layer using SPIN model checker
  Procedia Computer Science 2016
  +Save
• Dynamic power profile estimation of interconnected smart objects
  2015 IEEE Recent Advances in Intelligent Computational Systems (RAICS) 2015
  +Save
• Dynamic power profile estimation of interconnected smart objects
  2015 IEEE Recent Advances in Intelligent Computational Systems (RAICS) 2015
  +Save