Yogananda Jeppu
Yogananda Jeppu
Honeywell Technology Solutions
Verified email at - Homepage
Cited by
Cited by
Framework for Formal Verification of Machine Learning Based Complex System‐of‐Systems
R Raman, N Gupta, Y Jeppu
Insight 26 (1), 91-102, 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
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
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
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
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
An Approach for formal verification of machine learning based complex systems
R Raman, Y Jeppu
INCOSE International Symposium 29 (1), 544-559, 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
Artificial Intelligence learning based on proportional navigation guidance
C Chithapuram, Y Jeppu, CA Kumar
2013 International Conference on Advances in Computing, Communications andá…, 2013
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
Flight control software: Mistakes made and lessons learned
Y Jeppu
IEEE software 30 (3), 67-72, 2013
Systems and methods for supplemental navigation using distributed avionics processing
S Govindillam, GR Koilpillai, M Amarnathan, R Raman, S Madasamy, ...
US Patent App. 17/073,194, 2021
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
Model Integrated Decomposition and Assisted Specification (MIDAS)
B Hall, J Fiedor, Y Jeppu
Wiley Online Library 30 (1), 821-841, 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
A Genetic Algorithm Approach for Test case Optimization of Safetř Critical Control
K Samatha, S Chokkadi, Y Jeppu
Arguing formally about flight control laws
NY Jeppu, Y Jeppu, N Murthy
2015 International Conference on Industrial Instrumentation and Controlá…, 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
Fault Tolerant Control System for Autonomous Vehicle: A Survey
RM Shet, NC Iyer, Y Jeppu
Journal of Advanced Research in Dynamical and Control Systems 12 (8), 813-830, 2020
System simulation approach for helicopter autopilot
CS Jamadagni, CU Chethan, YV Jeppu, SB Kamble, VH Desai
2014 International Conference on Contemporary Computing and Informaticsá…, 2014
The system can't perform the operation now. Try again later.
Articles 1–20