| Oracle-guided component-based program synthesis S Jha, S Gulwani, SA Seshia, A Tiwari Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010 | 650 | 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 | 453 | 2011 |
| Output range analysis for deep feedforward neural networks S Dutta, S Jha, S Sankaranarayanan, A Tiwari NASA Formal Methods Symposium, 121-138, 2018 | 393 | 2018 |
| Randomization based probabilistic approach to detect trojan circuits S Jha, SK Jha 2008 11th IEEE High Assurance Systems Engineering Symposium, 117-124, 2008 | 173 | 2008 |
| A theory of formal synthesis via inductive learning S Jha, SA Seshia Acta Informatica 54, 693-726, 2017 | 170 | 2017 |
| Trojdrl: evaluation of backdoor attacks on deep reinforcement learning P Kiourti, K Wardega, S Jha, W Li 2020 57th ACM/IEEE Design Automation Conference (DAC), 1-6, 2020 | 124* | 2020 |
| Output range analysis for deep neural networks S Dutta, S Jha, S Sanakaranarayanan, A Tiwari arXiv preprint arXiv:1709.09130, 2017 | 119 | 2017 |
| Beaver: Engineering an efficient smt solver for bit-vector arithmetic S Jha, R Limaye, SA Seshia Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 113 | 2009 |
| The ELFIN mission V Angelopoulos, E Tsai, L Bingley, C Shaffer, DL Turner, A Runov, W Li, ... Space science reviews 216, 1-45, 2020 | 94 | 2020 |
| 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 | 90 | 2018 |
| Learning task specifications from demonstrations M Vazquez-Chanlatte, S Jha, A Tiwari, MK Ho, S Seshia Advances in neural information processing systems 31, 2018 | 90 | 2018 |
| Learning certified control using contraction metric D Sun, S Jha, C Fan Conference on Robot Learning, 1519-1539, 2021 | 86 | 2021 |
| Safe autonomy under perception uncertainty using chance-constrained temporal logic S Jha, V Raman, D Sadigh, SA Seshia Journal of Automated Reasoning 60, 43-62, 2018 | 81 | 2018 |
| Attribution-based confidence metric for deep neural networks S Jha, S Raj, S Fernandes, SK Jha, S Jha, B Jalaian, G Verma, A Swami Advances in Neural Information Processing Systems 32, 2019 | 75 | 2019 |
| Shelf-life and kinetics of quality change of dried pomegranate arils in flexible packaging M Dak, VR Sagar, SK Jha Food Packaging and Shelf Life 2 (1), 1-6, 2014 | 73 | 2014 |
| 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 | 69 | 2019 |
| 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 | 66 | 2010 |
| 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, 364-387, 2019 | 57 | 2019 |
| Toward an internet of battlefield things: A resilience perspective T Abdelzaher, N Ayanian, T Basar, S Diggavi, J Diesner, D Ganesan, ... Computer 51 (11), 24-36, 2018 | 57 | 2018 |
| 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 | 55 | 2019 |
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
