Rajanikanth Nagaraj Kashi

According to our database, Rajanikanth Nagaraj Kashi authored at least 5 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

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., May, 2024

2019

Avionics Self-adaptive Software: Towards Formal Verification and Validation.

Meenakshi D'Souza, Rajanikanth Nagaraj Kashi

Proceedings of the Distributed Computing and Internet Technology, 2019

2017

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

Proceedings of the 10th Annual ACM India Compute Conference, 2017

2016

Formal verification of avionics self adaptive software: A case study.

Rajanikanth Nagaraj Kashi, Meenakshi D'Souza, S. Kumar Baghel, Nitin Kulkarni

Proceedings of the 9th India Software Engineering Conference, 2016

Incorporating adaptivity using learning in avionics self adaptive software: A case study.

Rajanikanth Nagaraj Kashi, Meenakshi D'Souza, S. Kumar Baghel, Nitin Kulkarni

Proceedings of the 2016 International Conference on Advances in Computing, 2016