Sanjit A. Seshia

Cited by

	All	Since 2016
Citations	14459	9374
h-index	57	48
i10-index	162	129

2300

1150

575

1725

200320042005200620072008200920102011201220132014201520162017201820192020202159 119 150 189 189 251 267 349 444 435 621 738 1023 1167 1671 1876 2109 2270 238

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 JhaPrincipal Scientist, SRI InternationalVerified email at sri.com
Wenchao LiAssistant Professor, Boston UniversityVerified email at bu.edu
Ashish TiwariComputer Scientist, SRI InternationalVerified email at csl.sri.com
Shuvendu LahiriPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
George J. PappasProfessor or Electrical and Systems Engineering, University of PennsylvaniaVerified email at seas.upenn.edu
Shaz QadeerResearch Scientist, FacebookVerified email at fb.com
Ofer StrichmanTechnion, Haifa, IsraelVerified email at ie.technion.ac.il
Natarajan ShankarSRI International Computer Science LaboratoryVerified email at csl.sri.com
Daniel HolcombAssociate Professor, University of MassachusettsVerified email at engin.umass.edu
Prabal DuttaAssociate Professor, UC BerkeleyVerified email at eecs.umich.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
Paolo GiustoGeneral MotorsVerified email at gm.com
Petros ManiatisStaff Research Scientist, GoogleVerified email at google.com
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

Sanjit A. Seshia

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, 2009	1370*	2009
Introduction to embedded systems: A cyber-physical systems approach EA Lee, SA Seshia MIT Press, 2016	1314	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	1014	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	675	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	568	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	444	2010
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	311	2002
Planning for autonomous cars that leverage effects on human actions. D Sadigh, S Sastry, SA Seshia, AD Dragan Robotics: Science and Systems 2, 2016	272	2016
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	216	2015
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	213	2014
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	196	2011
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	195	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	182	2017
Post-silicon validation opportunities, challenges and recent advances S Mitra, SA Seshia, N Nicolici Design Automation Conference, 12-17, 2010	175	2010
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	165	2007
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	164	2007
Verification-guided soft error resilience SA Seshia, W Li, S Mitra 2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007	147	2007
A contract-based methodology for aircraft electric power system design P Nuzzo, H Xu, N Ozay, JB Finn, AL Sangiovanni-Vincentelli, RM Murray, ... IEEE Access 2, 1-25, 2013	136	2013
Towards verified artificial intelligence SA Seshia, D Sadigh, SS Sastry arXiv preprint arXiv:1606.08514, 2016	131	2016
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	130	2016

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

Upload PDF

Follow this author

Cited by

Co-authors