Rajanikanth N. Kashi

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 4

Top Topics

Formal Verification

Software Development

Top Venues

Publications

Meenakshi D'Souza, Rajanikanth N. Kashi
Avionics Self-adaptive Software: Towards Formal Verification and Validation. ICDCIT (2019)
Rajanikanth N. Kashi, Meenakshi D'Souza, Koyalkar Raman Kishore
Incorporating Formal Methods and Measures Obtained through Analysis, Simulation Testing for Dependable Self-Adaptive Software in Avionics Systems. COMPUTE (2017)
Rajanikanth N. Kashi, Meenakshi D'Souza, S. Kumar Baghel, Nitin Kulkarni
Incorporating adaptivity using learning in avionics self adaptive software: A case study. ICACCI (2016)
Rajanikanth N. Kashi, Meenakshi D'Souza, S. Kumar Baghel, Nitin Kulkarni
Formal verification of avionics self adaptive software: A case study. ISEC (2016)