Irfan A. Siddavatam

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 2

Top Topics

Group Communication

Coloured Petri Nets

Top Venues

Int. J. Crit. Comput. Based Syst.

Scalable Comput. Pract. Exp.

Publications

Sheetal Gokhale, Irfan A. Siddavatam, Ashwini Dalvi, Mohammed Shaikh, Suchitra Patil
Formal modelling and verification of high interactive honeypot using coloured Petri nets. Int. J. Crit. Comput. Based Syst. 10 (3) (2022)
Irfan A. Siddavatam, Sachin Parekh, Tanay Shah, Faruk Kazi
Testing and Validation of Modbus/TCP Protocol for Secure SCADA Communication in CPS using Formal Methods. Scalable Comput. Pract. Exp. 18 (4) (2017)
Rushabh Hathi, Irfan A. Siddavatam
Pre-processed Depth First Search. ICISTM (2011)
Irfan A. Siddavatam, E. Johri, D. Patole
Optimization of load balancing algorithm for green IT. ICWET (2011)
Irfan A. Siddavatam, Jayant Gadge
Comprehensive test mechanism to detect attack on Web Services. ICON (2008)