Sanjit A. Seshia - Google Scholar Citations

Cited by

	All	Since 2014
Citations	12525	8700
h-index	51	44
i10-index	147	121

2000

1000

500

1500

200120022003200420052006200720082009201020112012201320142015201620172018201937 37 83 143 184 211 216 299 285 375 455 495 711 845 1145 1294 1592 1985 1780

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 JhaSRI International, Intel, UTRC, UC BerkeleyVerified email at eecs.berkeley.edu
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
Daniel HolcombAssistant Professor, University of MassachusettsVerified email at engin.umass.edu
Natarajan ShankarSRI International Computer Science LaboratoryVerified email at csl.sri.com
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


Title	Cited by	Year
Introduction to embedded systems: A cyber-physical systems approach EA Lee, SA Seshia Mit Press, 2016	1774*	2016
Satisfiability modulo theories C Barrett, C Tinelli Handbook of Model Checking, 305-343, 2018	1051	2018
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	902	2005
Modeling cyber–physical systems P Derler, EA Lee, AS Vincentelli Proceedings of the IEEE 100 (1), 13-28, 2011	631	2011
Combinatorial sketching for finite programs A Solar-Lezama, L Tancau, R Bodik, S Seshia, V Saraswat ACM Sigplan Notices 41 (11), 404-415, 2006	529	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	409	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	354	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	301	2002
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	169	2015
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	168	2011
Planning for autonomous cars that leverage effects on human actions. D Sadigh, S Sastry, SA Seshia, AD Dragan Robotics: Science and Systems 2, 2016	159	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	152	2007
Post-silicon validation opportunities, challenges and recent advances S Mitra, SA Seshia, N Nicolici Design Automation Conference, 12-17, 2010	151	2010
Sketching stencils A Solar-Lezama, G Arnold, L Tancau, R Bodik, V Saraswat, S Seshia ACM SIGPLAN Notices 42 (6), 167-178, 2007	148	2007
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	136	2015
Verification-guided soft error resilience SA Seshia, W Li, S Mitra 2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007	136	2007
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	135	2014
Deciding separation formulas with SAT O Strichman, SA Seshia, RE Bryant International Conference on Computer Aided Verification, 209-222, 2002	125	2002
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	113	2013
Scalable specification mining for verification and diagnosis W Li, A Forin, SA Seshia Design Automation Conference, 755-760, 2010	107	2010

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