A lightweight integration of mutation analysis with the model checker for system safety verification. - J. Jayanthi; Manju Nanda; Sameer Nayak (SysCon, 2013)

Quantitative metrics for improving software performance for an integrated tool platform. - Manju Nanda; J. Jayanthi; Chinmayi S. Jamadagni; Madhan V (SysCon, 2013)

Behavioral analysis of Safety Critical Systems using formal methods. - Shreesha Rao P.; Manju Nanda; J. Jayanthi (ICACCI, 2015)

Mutation Analysis of Stateflow to Improve the Modelling Analysis. - Prachi Goyal; Manju Nanda; J. Jayanthi (ICACDS, 2016)

Design and development of certification compliance tool for airborne systems. - B. K. Anusha; Manju Nanda; J. Jayanthi (ICACCI, 2017)

Using system analysis modeling language (saml) for validating the critical aerospace model: Short paper: A case-study. - K. S. Kushal; J. Jayanthi; Manju Nanda; Shamsundar Dhage (ICACCI, 2017)