Sanjit A. Seshia

Cited by

	All	Since 2018
Citations	22530	14348
h-index	71	58
i10-index	197	152

2800

1400

700

2100

20042005200620072008200920102011201220132014201520162017201820192020202120222023116 162 200 198 250 272 343 445 445 655 766 1060 1147 1547 1927 2160 2378 2587 2779 2503

Public access

View all

102 articles

4 articles

available

not available

Based on funding mandates

Co-authors

Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Randal BryantCarnegie Mellon UniversityVerified email at cs.cmu.edu
Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalVerified email at sri.com
Wenchao LiAssistant Professor, Boston UniversityVerified email at bu.edu
Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftVerified email at csl.sri.com
Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchVerified email at microsoft.com
George J. PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaVerified email at seas.upenn.edu
Shaz QadeerSoftware Engineer, MetaVerified email at fb.com
Natarajan ShankarSRI International Computer Science LaboratoryVerified email at csl.sri.com
Ofer StrichmanTechnion, Haifa, IsraelVerified email at ie.technion.ac.il
Daniel HolcombAssociate Professor, University of MassachusettsVerified email at engin.umass.edu
David WagnerProfessor of Computer Science, UC BerkeleyVerified email at cs.berkeley.edu
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerified email at cs.huji.ac.il
Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaVerified email at sssup.it
Stephen FreundComputer Science, Williams CollegeVerified email at cs.williams.edu
Nicholas HopperProfessor of Computer Science & Engineering, University of MinnesotaVerified email at umn.edu
Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Petros ManiatisStaff Research Scientist, GoogleVerified email at google.com

Sanjit A. Seshia

Professor of EECS, University of California, Berkeley

Verified email at eecs.berkeley.edu - Homepage

Formal Methods Design Automation Cyber-Physical Systems Artificial Intelligence Computer Security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Satisfiability Modulo Theories C Barrett, R Sebastiani, SA Seshia, C Tinelli Handbook of Satisfiability 336, 1267-1329, 2021	2003	2021
Introduction to embedded systems: A cyber-physical systems approach EA Lee, SA Seshia MIT Press, 2016	1902	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	1129	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	929	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	867	2013
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	596	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	538	2016
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	426	2014
Modeling and verifying systems using a logic of counter arithmetic with lambda expressions and uninterpreted functions RE Bryant, SK Lahiri, SA Seshia Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002	334	2002
Active preference-based learning of reward functions D Sadigh, AD Dragan, S Sastry, SA Seshia	325	2017
Toward verified artificial intelligence SA Seshia, D Sadigh, SS Sastry Communications of the ACM 65 (7), 46-55, 2022	318	2022
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	313	2015
Scenic: a language for scenario specification and scene generation DJ Fremont, T Dreossi, S Ghosh, X Yue, AL Sangiovanni-Vincentelli, ... Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019	294*	2019
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	287	2017
Mining requirements from closed-loop control models X Jin, A Donzé, JV Deshmukh, SA Seshia Proceedings of the 16th international conference on Hybrid systems …, 2013	269	2013
Compositional falsification of cyber-physical systems with machine learning components T Dreossi, A Donzé, SA Seshia Journal of Automated Reasoning 63, 1031-1053, 2019	258	2019
On the utility of learning about humans for human-ai coordination M Carroll, R Shah, MK Ho, T Griffiths, S Seshia, P Abbeel, A Dragan Advances in neural information processing systems 32, 2019	257	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	228	2016
A lidar point cloud generator: from a virtual world to autonomous driving X Yue, B Wu, SA Seshia, K Keutzer, AL Sangiovanni-Vincentelli Proceedings of the 2018 ACM on International Conference on Multimedia …, 2018	215	2018
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems T Dreossi, DJ Fremont, S Ghosh, E Kim, H Ravanbakhsh, ... International Conference on Computer Aided Verification, 432-442, 2019	212	2019

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors