Susmit Jha

Susmit Jha

SRI International - California / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 4383063
-
person_outline Susmit Jha's MOST POPULAR ARTICLES
1-) Oracle-guided component-based program synthesis Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010
2-) Output range analysis for deep feedforward neural networks NASA Formal Methods Symposium, 121-138, 2018
3-) Randomization based probabilistic approach to detect trojan circuits 2008 11th IEEE High Assurance Systems Engineering Symposium, 117-124, 2008
4-) A theory of formal synthesis via inductive learning Acta Informatica 54, 693-726, 2017
5-) Randomization based probabilistic approach to detect trojan circuitsS Jha, SK Jha2008 11th IEEE High Assurance Systems Engineering Symposium, 117-124, 20081732008