Sanjit A. Seshia

University of California, Berkeley

Professor

Department of Electrical Engineering and Computer Sciences

Group in Logic and the Methodology of Science

Which program are you applying for ?

View Bookmark

Research Area

#Computer science#Theoretical computer science#Artificial intelligence#Scalability#Robot#Temporal logic#Engineering#Mathematical optimization#Distributed computing#Control theory

SCIE paper information

Papers relevant to ‘Computer science’: 15

Research performance of SCIE papers matching with ‘Computer science’

Citations of SCIE papers SCIE papers 08k16k24k32k40k070140210280350420490560

*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.

  • Mining Requirements From Closed-Loop Control Models

    2015/04 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS 1.181 Impact Factor 225 citations

    Xiaoqing Jin, Alexandre Donze, Jyotirmoy V. Deshmukh, Sanjit A. Seshia

    DOI : 10.1109/TCAD.2015.2421907

  • Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach

    2017/03 IEEE TRANSACTIONS ON AUTOMATIC CONTROL 5.007 Impact Factor 185 citations

    Yasser Shoukry, Pierluigi Nuzzo, Alberto Puggelli, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada

    DOI : 10.1109/TAC.2017.2676679

How can I correct errors in PhD.GO?


Papers for author ‘Sanjit A. Seshia’: 18

Number of published SCIE papers by year

02468201420152017201820192020
H-index 11
Number of NCS papers 0

*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.

  • Mining Requirements From Closed-Loop Control Models

    2015/04 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS 1.181 Impact Factor 225 citations

    Xiaoqing Jin, Alexandre Donze, Jyotirmoy V. Deshmukh, Sanjit A. Seshia

    DOI : 10.1109/TCAD.2015.2421907

  • Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach

    2017/03 IEEE TRANSACTIONS ON AUTOMATIC CONTROL 5.007 Impact Factor 185 citations

    Yasser Shoukry, Pierluigi Nuzzo, Alberto Puggelli, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada

    DOI : 10.1109/TAC.2017.2676679

How can I correct errors in PhD.GO?

conference information

Papers relevant to ‘Computer science’: 24

Research performance of Top-tier Conference matching with ‘Computer science’

Citations of Top-tier Conference Top-tier Conference paper(s) 020k40k60k80k100k0306090120150180210240

*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.

  • Moat: Verifying Confidentiality of Enclave Programs

    2015/10 CCS Top-tier Conference 110 citations

    Rohit Sinha, Sriram Rajamani, Sanjit A. Seshia, Kapil Vaswani

    DOI : 10.1145/2810103.2813608

  • Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior

    2014/01 AAAI Top-tier Conference 91 citations

    Dorsa Sadigh, Katherine Driggs-Campbell, Alberto Puggelli, Wenchao Li, Victor A. Shia, Ruzena Bajcsy, Alberto Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia

How can I correct errors in PhD.GO?


Papers for author ‘Sanjit A. Seshia’: 26

Number of published Top-tier Conference by year

024682014201520162017201820192020
Top-tier Conference 26

*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.

  • Moat: Verifying Confidentiality of Enclave Programs

    2015/10 CCS Top-tier Conference 110 citations

    Rohit Sinha, Sriram Rajamani, Sanjit A. Seshia, Kapil Vaswani

    DOI : 10.1145/2810103.2813608

  • Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior

    2014/01 AAAI Top-tier Conference 91 citations

    Dorsa Sadigh, Katherine Driggs-Campbell, Alberto Puggelli, Wenchao Li, Victor A. Shia, Ruzena Bajcsy, Alberto Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia

How can I correct errors in PhD.GO?