| Satisfiability modulo theories C Barrett, R Sebastiani, SA Seshia, C Tinelli Handbook of Satisfiability, 2009 | 1568* | 2009 |
| Introduction to embedded systems: A cyber-physical systems approach EA Lee, SA Seshia MIT Press, 2016 | 1514 | 2016 |
| Semantics-aware malware detection M Christodorescu, S Jha, SA Seshia, D Song, RE Bryant 2005 IEEE Symposium on Security and Privacy (S&P'05), 32-46, 2005 | 1055 | 2005 |
| Combinatorial sketching for finite programs A Solar-Lezama, L Tancau, R Bodik, S Seshia, V Saraswat Proceedings of the 12th international conference on Architectural support …, 2006 | 762 | 2006 |
| Syntax-guided synthesis R Alur, R Bodik, G Juniwal, MMK Martin, M Raghothaman, SA Seshia, ... 2013 Formal Methods in Computer-Aided Design, 1-8, 2013 | 663 | 2013 |
| 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 | 506 | 2010 |
| Planning for autonomous cars that leverage effects on human actions. D Sadigh, S Sastry, SA Seshia, AD Dragan Robotics: Science and Systems 2, 1-9, 2016 | 370 | 2016 |
| Modeling and verifying systems using a logic of counter arithmetic with lambda expressions and uninterpreted functions RE Bryant, SK Lahiri, SA Seshia International Conference on Computer Aided Verification, 78-92, 2002 | 316 | 2002 |
| Model predictive control with signal temporal logic specifications V Raman, A Donzé, M Maasoumy, RM Murray, A Sangiovanni-Vincentelli, ... 53rd IEEE Conference on Decision and Control, 81-87, 2014 | 265 | 2014 |
| Mining requirements from closed-loop control models X Jin, A Donzé, JV Deshmukh, SA Seshia IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2015 | 241 | 2015 |
| Reactive synthesis from signal temporal logic specifications V Raman, A Donzé, D Sadigh, RM Murray, SA Seshia Proceedings of the 18th international conference on hybrid systems …, 2015 | 230 | 2015 |
| Secure state estimation for cyber-physical systems under sensor attacks: A satisfiability modulo theory approach Y Shoukry, P Nuzzo, A Puggelli, AL Sangiovanni-Vincentelli, SA Seshia, ... IEEE Transactions on Automatic Control 62 (10), 4917-4932, 2017 | 218 | 2017 |
| Distributed real-time software for cyber–physical systems JC Eidson, EA Lee, S Matic, SA Seshia, J Zou Proceedings of the IEEE 100 (1), 45-59, 2011 | 200 | 2011 |
| Active preference-based learning of reward functions D Sadigh, AD Dragan, S Sastry, SA Seshia | 196 | 2017 |
| Post-silicon validation opportunities, challenges and recent advances S Mitra, SA Seshia, N Nicolici Design Automation Conference, 12-17, 2010 | 188 | 2010 |
| Compositional falsification of cyber-physical systems with machine learning components T Dreossi, A Donzé, SA Seshia Journal of Automated Reasoning 63 (4), 1031-1053, 2019 | 181 | 2019 |
| Information gathering actions over human internal state D Sadigh, SS Sastry, SA Seshia, A Dragan 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2016 | 181 | 2016 |
| Deciding bit-vector arithmetic with abstraction RE Bryant, D Kroening, J Ouaknine, SA Seshia, O Strichman, B Brady International Conference on Tools and Algorithms for the Construction and …, 2007 | 177 | 2007 |
| Sketching stencils A Solar-Lezama, G Arnold, L Tancau, R Bodik, V Saraswat, S Seshia Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007 | 171 | 2007 |
| Towards verified artificial intelligence SA Seshia, D Sadigh, SS Sastry arXiv preprint arXiv:1606.08514, 2016 | 170 | 2016 |
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, Berkeleyeecs.berkeley.edu의 이메일 확인됨
