Sanjit A. Seshia
Title
Cited by
Cited by
Year
Satisfiability modulo theories
C Barrett, R Sebastiani, SA Seshia, C Tinelli
Handbook of Satisfiability, 2009
1548*2009
Introduction to embedded systems: A cyber-physical systems approach
EA Lee, SA Seshia
MIT Press, 2016
14902016
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
10502005
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
7532006
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
6502013
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
5032010
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
3592016
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
3162002
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
2572014
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
2392015
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
2282015
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
2102017
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
2002011
Post-silicon validation opportunities, challenges and recent advances
S Mitra, SA Seshia, N Nicolici
Design Automation Conference, 12-17, 2010
1862010
Active preference-based learning of reward functions
D Sadigh, AD Dragan, S Sastry, SA Seshia
1842017
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
1782007
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
1772019
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
1732016
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
1712007
Towards verified artificial intelligence
SA Seshia, D Sadigh, SS Sastry
arXiv preprint arXiv:1606.08514, 2016
1632016
The system can't perform the operation now. Try again later.
Articles 1–20