Shailesh Sivan

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 6

Top Topics

Formal Verification

Stepwise Regression

Top Venues

J. Supercomput.

Int. J. Networked Distributed Comput.

Telecommun. Syst.

Publications

Dhanya K. Sudhish, Latha R. Nair, Shailesh Sivan
Hybrid similarity measure-based image indexing and Gradient Ladybug Beetle optimization for retrieval of brain tumor using MRI. J. Supercomput. 80 (16) (2024)
N. Suresh Kumar, G. Santhosh Kumar, Shailesh Sivan, A. Sreekumar
Novel abstraction methods for TDMA based MAC protocols: Case of IIoT MAC Wireless HART Verification. Telecommun. Syst. 85 (1) (2024)
N. Sheena, Shelbi Joseph, Shailesh Sivan, Bharat Bhushan
EMCP: evolutionary multi-objective clustering protocol for prolonged lifetime of heterogeneous IoT networks. J. Supercomput. 80 (4) (2024)
N. Sheena, Shelbi Joseph, Shailesh Sivan, Bharat Bhushan
Light-weight privacy enabled topology establishment and communication protocol for swarm IoT networks. Clust. Comput. 26 (6) (2023)
N. Suresh Kumar, G. Santhosh Kumar, Shailesh Sivan, A. Sreekumar
Formal Verification of a MAC Protocol for Underwater Sensor Networks. IEEE Access 11 (2023)
M. R. Regitha, Paul Varghese, Shailesh Sivan, Antony Nijo
Handoff Delay Optimization Using Hybrid Prediction Model. Int. J. Networked Distributed Comput. 6 (2) (2018)