Verifying Response Times in Networked Automation Systems Using Jitter Bounds. - Seshadhri Srinivasan; Furio Buonopane; Srini Ramaswamy; Juri Vain (ISSRE Workshops, 2014)

Modelling time-varying delays in networked automation systems with heterogeneous networks using machine learning techniques. - Seshadhri Srinivasan; Furio Buonopane; Saravanakumar Gurusamy; B. Subathra; Srini Ramaswamy (CASE, 2015)

Model checking response times in Networked Automation Systems using jitter bounds. - Seshadhri Srinivasan; Furio Buonopane; Juri Vain; Srini Ramaswamy (Comput. Ind., 2015)

Estimating Random Delays in Modbus Network Using Experiments and General Linear Regression Neural Networks with Genetic Algorithm Smoothing. - Sreram Balasubramaniyan; Furio Buonopane; B. Subathra; Seshadhri Srinivasan (CoRR, 2015)

Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL. - Sreram Balasubramaniyan; Seshadhri Srinivasan; Furio Buonopane; B. Subathra; Juri Vain; Srini Ramaswamy (Microprocess. Microsystems, 2016)