Incorporating adaptivity using learning in avionics self adaptive software: A case study. - Rajanikanth Nagaraj Kashi; Meenakshi D'Souza; S. Kumar Baghel; Nitin Kulkarni (ICACCI, 2016)

Formal verification of avionics self adaptive software: A case study. - Rajanikanth Nagaraj Kashi; Meenakshi D'Souza; S. Kumar Baghel; Nitin Kulkarni (ISEC, 2016)

Incorporating Formal Methods and Measures Obtained through Analysis, Simulation Testing for Dependable Self-Adaptive Software in Avionics Systems. - Rajanikanth Nagaraj Kashi; Meenakshi D'Souza; Koyalkar Raman Kishore (COMPUTE, 2017)

Avionics Self-adaptive Software: Towards Formal Verification and Validation. - Meenakshi D'Souza; Rajanikanth Nagaraj Kashi (ICDCIT, 2019)

A survey and analysis of drone detection systems using a systems approach superposed on scenarios. - Rajanikanth Nagaraj Kashi; Anushka Prashanth; Sumukh Rajanikanth Kashi; Gayathri Prabhakara (Syst. Eng., 2024)