Manju Nanda

According to our database, Manju Nanda authored at least 6 papers between 2013 and 2017.

Collaborative distances:

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

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

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

Design and development of certification compliance tool for airborne systems.

B. K. Anusha, Manju Nanda, J. Jayanthi

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

2016

Mutation Analysis of Stateflow to Improve the Modelling Analysis.

Prachi Goyal, Manju Nanda, J. Jayanthi

Proceedings of the Advances in Computing and Data Sciences, 2016

2015

Behavioral analysis of Safety Critical Systems using formal methods.

Shreesha Rao P., Manju Nanda, J. Jayanthi

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

2013

Quantitative metrics for improving software performance for an integrated tool platform.

Manju Nanda, J. Jayanthi, Chinmayi S. Jamadagni, Madhan V

Proceedings of the IEEE International Systems Conference, 2013

A lightweight integration of mutation analysis with the model checker for system safety verification.

J. Jayanthi, Manju Nanda, Sameer Nayak

Proceedings of the IEEE International Systems Conference, 2013