Comparative study of different methods used to stabilize lateral-directional dynamics of a typical reusable launch vehicle. - Gopal Jee; V. Brinda; V. R. Lalithambika; M. V. Dhekane (CCA, 2013)

3D information retrieval for visual odometry system of planetary exploration rovers - A stereo vision approach. - K. Chitra; Sudin Dinesh; Deepak Mishra; V. Brinda; V. R. Lalithambika; B. Manoj Kumar (ICACCI, 2013)

Modelling and validating 1553B protocol using the SPIN model checker. - Ranjani Krishnan; V. R. Lalithambika (COMSNETS, 2018)

A Comparison of AFDX and 1553B Protocols Using Formal Verification. - Ranjani Krishnan; V. R. Lalithambika (ICACCI, 2018)

Modeling and Validating Launch Vehicle Onboard Software Using the SPIN Model Checker. - Ranjani Krishnan; V. R. Lalithambika (J. Aerosp. Inf. Syst., 2020)