Susmit Jha
Susmit Jha
Principal Scientist, SRI International
Verified email at sri.com - Homepage
Title
Cited by
Cited by
Year
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
4632010
Synthesis of loop-free programs
S Gulwani, S Jha, A Tiwari, R Venkatesan
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
3532011
Output range analysis for deep feedforward neural networks
S Dutta, S Jha, S Sankaranarayanan, A Tiwari
NASA Formal Methods Symposium, 121-138, 2018
1602018
Randomization based probabilistic approach to detect trojan circuits
S Jha, SK Jha
2008 11th IEEE High Assurance Systems Engineering Symposium, 117-124, 2008
1452008
A theory of formal synthesis via inductive learning
S Jha, SA Seshia
Acta Informatica 54 (7), 693-726, 2017
902017
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
902009
Output range analysis for deep neural networks
S Dutta, S Jha, S Sanakaranarayanan, A Tiwari
arXiv preprint arXiv:1709.09130, 2017
642017
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
64*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
632010
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
362007
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
352018
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
352009
Learning task specifications from demonstrations
M Vazquez-Chanlatte, S Jha, A Tiwari, MK Ho, SA Seshia
arXiv preprint arXiv:1710.03875, 2017
34*2017
Synthesis of optimal switching logic for hybrid systems
S Jha, SA Seshia, A Tiwari
Embedded Software (EMSOFT), 2011 Proceedings of the International Conference …, 2011
342011
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
302018
Automating security mediation placement
D King, S Jha, D Muthukumaran, T Jaeger, S Jha, SA Seshia
European Symposium on Programming, 327-344, 2010
252010
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
222019
Will distributed computing revolutionize peace? the emergence of battlefield iot
T Abdelzaher, N Ayanian, T Basar, S Diggavi, J Diesner, D Ganesan, ...
2018 IEEE 38th International Conference on Distributed Computing Systems …, 2018
222018
Telex: Passive stl learning using only positive examples
S Jha, A Tiwari, SA Seshia, T Sahai, N Shankar
International Conference on Runtime Verification, 208-224, 2017
212017
Towards automated system synthesis using sciduction
SK Jha
UC Berkeley, 2011
212011
The system can't perform the operation now. Try again later.
Articles 1–20