Tool development for formalizing the requirement for the safety critical software engineering process V Madhan, VKG Kalaiselvi, JP Donald 2017 2nd International Conference on Computing and Communications …, 2017 | 5 | 2017 |
Automatic detection of sunspots on solar continuum HMI images blending local–global threshold M Veeramani, MS Sudhakar New Astronomy 105, 102089, 2024 | 2 | 2024 |
Quantitative metrics for improving software performance for an integrated tool platform M Nanda, J Jayanthi, CS Jamadagni, V Madhan 2013 IEEE International Systems Conference (SysCon), 512-519, 2013 | 2 | 2013 |
Automatic detection of sunspots from solar images using fractional-order derivatives and extraction of their attributes SMS Madhan Veeramani Advances in Space Research 72 (10), 4596-4612, 2023 | 1 | 2023 |
Intelligent knowledge database (IKD) tool for formal methods M Nanda, J Jayanthi, V Madhan International Journal of Software Engineering & Applications 3 (6), 117, 2012 | 1 | 2012 |
An Integrated Mutation Analysis Tool (Imat) For Simulink Models and Their Ideal Implementation M Nanda, J Jayanthi, V Madhan, S Nayak Journal of Aerospace Sciences and Technologies, 361-372, 2017 | | 2017 |