logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
S

Sanjit A. Seshia

University of California System

63H-index
437Paper Count
1.5WCitation Count
Published Papers 15
Publication Date
logo
Certificates in AI: Learn but Verify
errCommunications of the ACM
IF12.2
err2026-01-01
err1
PREAI
errBarrett, Clark; Henzinger, Thomas A.; Seshia, Sanjit A.
errShare
errSave
Quasi-Static Scheduling for Deterministic Timed Concurrent Models on Multi-Core Hardware
errACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS
IF2.6
err2025-09-01
err0
errOAAI
errLin, Shaokai; Jellum, Erling; Theile, Mirco; Tanneberger, Tassilo; Sun, Binqi; Jerad, Chadlia; Xu, Yimo; Feng, Guangyu; Maehlum, Magnus; Chen, Jian-Jia; Schoeberl, Martin; Phan, Linh Thi Xuan; Castrillon, Jeronimo; Seshia, Sanjit A.; Lee, Edward A.
errShare
errSave
Toward Verified Artificial Intelligence
errCOMMUNICATIONS OF THE ACM
IF12.2
err2022-06-21
err61
errOAAI
errSeshia, Sanjit A.; Sadigh, Dorsa; Sastry, S. Shankar
errShare
errSave
Explorations in Cyber-Physical Systems Education
errCOMMUNICATIONS OF THE ACM
IF12.2
err2022-04-25
err0
errOAAI
errSeshia, Sanjit A.
errShare
errSave
Scenic: a language for scenario specification and data generation
errMACHINE LEARNING
IF2.9
err2022-02-02
err32
errOAAI
errFremont, Daniel J.; Kim, Edward; Dreossi, Tommaso; Ghosh, Shromona; Yue, Xiangyu; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.
errShare
errSave
A Review of Single-Source Deep Unsupervised Visual Domain Adaptation
errIEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS
IF8.9
err2022-02-01
err223
errOAAI
errZhao, Sicheng; Yue, Xiangyu; Zhang, Shanghang; Li, Bo; Zhao, Han; Wu, Bichen; Krishna, Ravi; Gonzalez, Joseph E.; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.; Keutzer, Kurt
errShare
errSave
Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2021-05-01
err49
errOAAI
errAlexandru, Andreea B.; Gatsis, Konstantinos; Shoukry, Yasser; Seshia, Sanjit A.; Tabuada, Paulo; Pappas, George J.
errShare
errSave
SMC: Satisfiability Modulo Convex Programming
errPROCEEDINGS OF THE IEEE
IF25.9
err2018-09-01
err45
errOAAI
errShoukry, Yasser; Nuzzo, Pierluigi; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.; Pappas, George J.; Tabuada, Paulo
errShare
errSave
Planning for cars that coordinate with people: leveraging effects on human actions for planning and active information gathering over human internal state
errAUTONOMOUS ROBOTS
IF4.3
err2018-05-04
err144
PREAI
errSadigh, Dorsa; Landolfi, Nick; Sastry, Shankar S.; Seshia, Sanjit A.; Dragan, Anca D.
errShare
errSave
Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2017-10-01
err216
errOAAI
errShoukry, Yasser; Nuzzo, Pierluigi; Puggelli, Alberto; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.; Tabuada, Paulo
errShare
errSave
Symbolic control design for monotone systems with directed specifications
errAUTOMATICA
IF5.9
err2017-09-01
err18
errOAAI
errKim, Eric S.; Arcak, Murat; Seshia, Sanjit A.
errShare
errSave
Combining Induction, Deduction, and Structure for Verification and Synthesis
errPROCEEDINGS OF THE IEEE
IF25.9
err2015-11-01
err31
errOAAI
errSeshia, Sanjit A.
errShare
errSave
Reverse Engineering Digital Circuits Using Structural and Functional Analyses
errIEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING
IF5.4
err2014-03-01
err106
errOAAI
errSubramanyan, Pramod; Tsiskaridze, Nestan; Li, Wenchao; Gascon, Adria; Tan, Wei Yang; Tiwari, Ashish; Shankar, Natarajan; Seshia, Sanjit A.; Malik, Sharad
errShare
errSave
A Contract-Based Methodology for Aircraft Electric Power System Design
errIEEE ACCESS
IF3.6
err2014-01-01
err125
errOAAI
errNuzzo, Pierluigi; Xu, Huan; Ozay, Necmiye; Finn, John B.; Sangiovanni-Vincentelli, Alberto L.; Murray, Richard M.; Donze, Alexandre; Seshia, Sanjit A.
errShare
errSave
Distributed Real-Time Software for Cyber-Physical Systems
errPROCEEDINGS OF THE IEEE
IF25.9
err2012-01-01
err120
PREAI
errEidson, John C.; Lee, Edward A.; Matic, Slobodan; Seshia, Sanjit A.; Zou, Jia
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
R
Richard M. Murray
H-index: 106 · Papers: 932
A
Alberto Sangiovanni‐Vincentelli
H-index: 100 · Papers: 1.4K
G
George J. Pappas
H-index: 98 · Papers: 902
T
Thomas A. Henzinger
H-index: 97 · Papers: 724
S
Shankar Sastry
H-index: 87 · Papers: 457
View more