Susmit Jha
Susmit Jha
Principal Scientist, SRI International
sri.com의 이메일 확인됨 - 홈페이지
Oracle-guided component-based program synthesis
S Jha, S Gulwani, SA Seshia, A Tiwari
2010 ACM/IEEE 32nd International Conference on Software Engineering 1, 215-224, 2010
Synthesis of loop-free programs
S Gulwani, S Jha, A Tiwari, R Venkatesan
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
Output range analysis for deep feedforward neural networks
S Dutta, S Jha, S Sankaranarayanan, A Tiwari
NASA Formal Methods Symposium, 121-138, 2018
Randomization based probabilistic approach to detect trojan circuits
S Jha, SK Jha
2008 11th IEEE High Assurance Systems Engineering Symposium, 117-124, 2008
A theory of formal synthesis via inductive learning
S Jha, SA Seshia
Acta Informatica 54 (7), 693-726, 2017
Beaver: Engineering an efficient smt solver for bit-vector arithmetic
S Jha, R Limaye, SA Seshia
International Conference on Computer Aided Verification, 668-674, 2009
Output range analysis for deep neural networks
S Dutta, S Jha, S Sanakaranarayanan, A Tiwari
arXiv preprint arXiv:1709.09130, 2017
The emerging role of satellite rainfall data in improving the hydro-political situation of flood monitoring in the under-developed regions of the world
F Hossain, N Katiyar, Y Hong, A Wolf
Natural Hazards 43 (2), 199-210, 2007
Synthesizing switching logic for safety and dwell-time requirements
S Jha, S Gulwani, SA Seshia, A Tiwari
Proc. 1st ACM/IEEE Intl. Conf. on Cyber-Physical Systems, ICCPS, 22-31, 2010
Learning and verification of feedback control systems using feedforward neural networks
S Dutta, S Jha, S Sankaranarayanan, A Tiwari
IFAC-PapersOnLine 51 (16), 151-156, 2018
Learning task specifications from demonstrations
M Vazquez-Chanlatte, S Jha, A Tiwari, MK Ho, SA Seshia
arXiv preprint arXiv:1710.03875, 2017
Safe autonomy under perception uncertainty using chance-constrained temporal logic
S Jha, V Raman, D Sadigh, SA Seshia
Journal of Automated Reasoning 60 (1), 43-62, 2018
Synthesis of optimal switching logic for hybrid systems
S Jha, SA Seshia, A Tiwari
Embedded Software (EMSOFT), 2011 Proceedings of the International Conference …, 2011
Symbolic reachability analysis of lazy linear hybrid automata
S Jha, BA Brady, SA Seshia
Proceedings of the 5th international conference on Formal modeling and …, 2007
On voting machine design for verification and testability
C Sturton, S Jha, SA Seshia, D Wagner
Proceedings of the 16th ACM conference on Computer and communications …, 2009
A risk-sensitive finite-time reachability approach for safety of stochastic dynamic systems
MP Chapman, J Lacotte, A Tamar, D Lee, KM Smith, V Cheng, JF Fisac, ...
2019 American Control Conference (ACC), 2958-2963, 2019
Attribution-based confidence metric for deep neural networks
S Jha, S Raj, S Fernandes, SK Jha, S Jha, B Jalaian, G Verma, A Swami
TeLEx: learning signal temporal logic from positive examples using tightness metric
S Jha, A Tiwari, SA Seshia, T Sahai, N Shankar
Formal Methods in System Design 54 (3), 364-387, 2019
Sherlock-A tool for verification of neural network feedback systems: demo abstract
S Dutta, X Chen, S Jha, S Sankaranarayanan, A Tiwari
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
Automating security mediation placement
D King, S Jha, D Muthukumaran, T Jaeger, S Jha, SA Seshia
European Symposium on Programming, 327-344, 2010
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20