Follow
Yogananda Jeppu
Yogananda Jeppu
Honeywell Technology Solutions
Verified email at nitk.edu.in - Homepage
Title
Cited by
Cited by
Year
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
132011
Testing safety critical Ada code using non real time testing
YV Jeppu, K Karunakar, PS Subramanyam
International Conference on Reliable Software Technologies, 382-393, 2003
112003
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
102014
Artificial Intelligence learning based on proportional navigation guidance
C Chithapuram, Y Jeppu, CA Kumar
2013 International Conference on Advances in Computing, Communications and …, 2013
82013
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
72021
Aerial vehicle guidance based on passive machine learning technique
CU Chithapuram, AK Cherukuri, YV Jeppu
International Journal of Intelligent Computing and Cybernetics, 2016
72016
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
72013
A Genetic Algorithm Approach for Test case Optimization of Safetý Critical Control
K Samatha, S Chokkadi, Y Jeppu
72012
An Approach for formal verification of machine learning based complex systems
R Raman, Y Jeppu
INCOSE International Symposium 29 (1), 544-559, 2019
62019
The CLEAR way to transparent formal methods
D Bhatt, A Murugesan, B Hall, H Ren, Y Jeppu
4th Workshop on Formal Integrated Development Environment-FLoC 2018, 2018
62018
Arguing formally about flight control laws
NY Jeppu, Y Jeppu, N Murthy
2015 International Conference on Industrial Instrumentation and Control …, 2015
62015
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
62013
Flight Control Software: Mistakes Made and Lessons Learned
Y Jeppu
IEEE software 30 (3), 67-72, 2013
62013
Model Integrated Decomposition and Assisted Specification (MIDAS)
B Hall, J Fiedor, Y Jeppu
Wiley Online Library 30 (1), 821-841, 2020
52020
Generating Test Cases with 100-Percent Requirements Coverage Using Design of Experiments
Y Jeppu, G Rey, A Prakash
Journal of Aerospace Information Systems 11 (10), 632-648, 2014
52014
A randomised test approach to testing safety critical Ada code
SK Giri, A Mishra, YV Jeppu, K Karunakar
International Conference on Reliable Software Technologies, 190-199, 2004
52004
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
42020
Teaching Safety Critical Control System: A Success Story of Industry Academia Relation
S Chokkadi, CU Chethan, Y Jeppu
IFAC-PapersOnLine 51 (1), 524-529, 2018
42018
Teaching Formal Methods at Undergraduate/Graduate Level: The Three Perspectives
N Jeppu, Y Jeppu, MKK Devi
3rd International Conference on Applied and Theoretical Computing and …, 2017
42017
Optimization of Test case and Coverage Analysis for Model Based Design
D Divakar, K Samatha, AVV Rani, H Selvamurugan, Y Jeppu, N Murthy, ...
34TH National systems conference on System Solutions for Global Challenges …, 2010
42010
The system can't perform the operation now. Try again later.
Articles 1–20