Rajanikanth N. Kashi

According to our database, Rajanikanth N. Kashi authored at least 4 papers between 2016 and 2019.

Collaborative distances:

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

2019

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

Meenakshi D'Souza, Rajanikanth N. 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 N. 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 N. 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 N. Kashi, Meenakshi D'Souza, S. Kumar Baghel, Nitin Kulkarni

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