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)