| 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 | 441 | 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 | 340 | 2011 |
| Randomization based probabilistic approach to detect trojan circuits S Jha, SK Jha 2008 11th IEEE High Assurance Systems Engineering Symposium, 117-124, 2008 | 137 | 2008 |
| Output range analysis for deep feedforward neural networks S Dutta, S Jha, S Sankaranarayanan, A Tiwari NASA Formal Methods Symposium, 121-138, 2018 | 130 | 2018 |
| 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 | 87 | 2009 |
| A theory of formal synthesis via inductive learning S Jha, SA Seshia Acta Informatica 54 (7), 693-726, 2017 | 83 | 2017 |
| 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 | 63 | 2010 |
| 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 | 60* | 2007 |
| Output range analysis for deep neural networks S Dutta, S Jha, S Sanakaranarayanan, A Tiwari arXiv preprint arXiv:1709.09130, 2017 | 56 | 2017 |
| 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 | 36 | 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 | 35 | 2009 |
| Synthesis of optimal switching logic for hybrid systems S Jha, SA Seshia, A Tiwari Embedded Software (EMSOFT), 2011 Proceedings of the International Conference …, 2011 | 33 | 2011 |
| 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 | 31 | 2018 |
| Learning task specifications from demonstrations M Vazquez-Chanlatte, S Jha, A Tiwari, MK Ho, SA Seshia arXiv preprint arXiv:1710.03875, 2017 | 29* | 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 | 28 | 2018 |
| Automating security mediation placement D King, S Jha, D Muthukumaran, T Jaeger, S Jha, SA Seshia European Symposium on Programming, 327-344, 2010 | 24 | 2010 |
| Towards automated system synthesis using sciduction SK Jha UC Berkeley, 2011 | 20 | 2011 |
| 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 | 19 | 2018 |
| 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 | 19 | 2017 |
| Automated synthesis of safe autonomous vehicle control under perception uncertainty S Jha, V Raman NASA Formal Methods Symposium, 117-132, 2016 | 19 | 2016 |
Sanjit A. SeshiaUniversity of California, BerkeleyDirección de correo verificada de eecs.berkeley.edu
