Manju Nanda

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 3

Top Topics

Modeling Language

Top Venues

Publications

B. K. Anusha, Manju Nanda, J. Jayanthi
Design and development of certification compliance tool for airborne systems. ICACCI (2017)
K. S. Kushal, J. Jayanthi, Manju Nanda, Shamsundar Dhage
Using system analysis modeling language (saml) for validating the critical aerospace model: Short paper: A case-study. ICACCI (2017)
Prachi Goyal, Manju Nanda, J. Jayanthi
Mutation Analysis of Stateflow to Improve the Modelling Analysis. ICACDS (2016)
Shreesha Rao P., Manju Nanda, J. Jayanthi
Behavioral analysis of Safety Critical Systems using formal methods. ICACCI (2015)
Manju Nanda, J. Jayanthi, Chinmayi S. Jamadagni, Madhan V
Quantitative metrics for improving software performance for an integrated tool platform. SysCon (2013)
J. Jayanthi, Manju Nanda, Sameer Nayak
A lightweight integration of mutation analysis with the model checker for system safety verification. SysCon (2013)