Login / Signup
Manju Nanda
Publication Activity (10 Years)
Years Active: 2013-2017
Publications (10 Years): 3
Top Topics
Formal Methods
Model Checker
Modeling Language
Design Tools
Top Venues
ICACCI
SysCon
ICACDS
</>
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)