| Framework for Formal Verification of Machine Learning Based Complex System‐of‐Systems R Raman, N Gupta, Y Jeppu Insight 26 (1), 91-102, 2023 | 41 | 2023 |
| SPN: Stable prototypical network for few-shot learning-based hyperspectral image classification D Pal, V Bundele, B Banerjee, Y Jeppu IEEE Geoscience and Remote Sensing Letters 19, 1-5, 2021 | 29 | 2021 |
| Few-shot open-set recognition of hyperspectral images with outlier calibration network D Pal, V Bundele, R Sharma, B Banerjee, Y Jeppu Proceedings of the IEEE/CVF Winter Conference on Applications of Computer …, 2022 | 22 | 2022 |
| Artificial Intelligence guidance for Unmanned Aerial Vehicles in three dimensional space C Chithapuram, YV Jeppu, CA Kumar 2014 International Conference on Contemporary Computing and Informatics …, 2014 | 14 | 2014 |
| A new input-output based model coverage paradigm for control blocks CU Chethan, Y Jeppu, S Hariram, NN Murthy, PR Apte 2011 Aerospace Conference, 1-12, 2011 | 11 | 2011 |
| Testing safety critical Ada code using non real time testing YV Jeppu, K Karunakar, PS Subramanyam Reliable Software Technologies—Ada-Europe 2003: 8th Ada-Europe …, 2003 | 10 | 2003 |
| An Approach for formal verification of machine learning based complex systems R Raman, Y Jeppu INCOSE International Symposium 29 (1), 544-559, 2019 | 9 | 2019 |
| Aerial vehicle guidance based on passive machine learning technique CU Chithapuram, AK Cherukuri, YV Jeppu International Journal of Intelligent Computing and Cybernetics 9 (3), 255-273, 2016 | 9 | 2016 |
| Artificial Intelligence learning based on proportional navigation guidance C Chithapuram, Y Jeppu, CA Kumar 2013 International Conference on Advances in Computing, Communications and …, 2013 | 9 | 2013 |
| Systems and methods for supplemental navigation using distributed avionics processing S Govindillam, GR Koilpillai, M Amarnathan, R Raman, S Madasamy, ... US Patent 11,927,677, 2024 | 8 | 2024 |
| The CLEAR way to transparent formal methods D Bhatt, A Murugesan, B Hall, H Ren, Y Jeppu 4th Workshop on Formal Integrated Development Environment, 2018 | 8 | 2018 |
| Flight control software: Mistakes made and lessons learned Y Jeppu IEEE software 30 (3), 67-72, 2013 | 8 | 2013 |
| Structural, optical and electrical properties of undoped and doped (Al, Al+ Mn) ZnO nanoparticles synthesised by green combustion method using Terminalia catappa seed extract D Savitha, HKE Latha, HS Lalithamba, S Mala, YV Jeppu Materials Today: Proceedings 60, 988-997, 2022 | 7 | 2022 |
| Formal Validation of Emergent Behavior in a Machine Learning Based Collision Avoidance System R Raman, Y Jeppu 2020 IEEE International Systems Conference (SysCon), 1-6, 2020 | 7 | 2020 |
| Model Integrated Decomposition and Assisted Specification (MIDAS) B Hall, J Fiedor, Y Jeppu Wiley Online Library 30 (1), 821-841, 2020 | 7 | 2020 |
| Worst case scenario analysis for dynamic target tracking using design of experiments C Chithapuram, CA Kumar, YV Jeppu 2013 International Conference on Pattern Recognition, Informatics and Mobile …, 2013 | 7 | 2013 |
| A Genetic Algorithm Approach for Test case Optimization of Safetý Critical Control K Samatha, S Chokkadi, Y Jeppu | 7 | 2012 |
| Arguing formally about flight control laws NY Jeppu, Y Jeppu, N Murthy 2015 International Conference on Industrial Instrumentation and Control …, 2015 | 6 | 2015 |
| An auto-review tool for model-based testing of safety-critical systems A Mishra, M Rao, C CU, V Rao, Y Jeppu, N Murthy Proceedings of the 2013 International Workshop on Joining AcadeMiA and …, 2013 | 6 | 2013 |
| Shirsha Bose, Biplab Banerjee, and Yogananda Jeppu. Morgan: Meta-learning-based few-shot open-set recognition via generative adversarial network D Pal Proceedings of the IEEE/CVF Winter Conference on Applications of Computer …, 2023 | 5 | 2023 |
Aswani Kumar CherukuriVellore Institute of Technology, VelloreVerified email at acm.org
