S. Kumar Baghel

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 2

Top Topics

Program Slicing

Formal Verification

Symbolic Model Checking

Top Venues

Publications

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)