Sanjit A. Seshia
Sanjit A. Seshia
Verified email at eecs.berkeley.edu - Homepage
TitleCited byYear
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
10512018
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
9022005
Modeling cyber–physical systems
P Derler, EA Lee, AS Vincentelli
Proceedings of the IEEE 100 (1), 13-28, 2011
6312011
Combinatorial sketching for finite programs
A Solar-Lezama, L Tancau, R Bodik, S Seshia, V Saraswat
ACM Sigplan Notices 41 (11), 404-415, 2006
5292006
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
4092013
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
3542010
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
3012002
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
1692015
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
1682011
Planning for autonomous cars that leverage effects on human actions.
D Sadigh, S Sastry, SA Seshia, AD Dragan
Robotics: Science and Systems 2, 2016
1592016
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
1522007
Post-silicon validation opportunities, challenges and recent advances
S Mitra, SA Seshia, N Nicolici
Design Automation Conference, 12-17, 2010
1512010
Sketching stencils
A Solar-Lezama, G Arnold, L Tancau, R Bodik, V Saraswat, S Seshia
ACM SIGPLAN Notices 42 (6), 167-178, 2007
1482007
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
1362015
Verification-guided soft error resilience
SA Seshia, W Li, S Mitra
2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007
1362007
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
1352014
Deciding separation formulas with SAT
O Strichman, SA Seshia, RE Bryant
International Conference on Computer Aided Verification, 209-222, 2002
1252002
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
1132013
Scalable specification mining for verification and diagnosis
W Li, A Forin, SA Seshia
Design Automation Conference, 755-760, 2010
1072010
The system can't perform the operation now. Try again later.
Articles 1–20