Ankush Desai
发表
Sanjit A. Seshia,
Amar Phanishayee,
Ankush Desai,
2018,
Proc. ACM Program. Lang..
Sanjit A. Seshia,
Daniel J. Fremont,
Marcell Vazquez-Chanlatte,
2018,
ATVA.
David Broman,
Sanjit A. Seshia,
Patricia Derler,
2014,
2014 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication (ISPCS).
Ankush Desai,
Shaz Qadeer,
S. Qadeer,
2017,
RV.
Damien Zufferey,
Ethan K. Jackson,
Ankush Desai,
2013,
PLDI.
Ashish Tiwari,
Natarajan Shankar,
Sanjit A. Seshia,
2018,
2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
David Broman,
Sanjit A. Seshia,
John C. Eidson,
2015,
CAV.
Abhishek Udupa,
Sriram K. Rajamani,
Ankush Desai,
2011,
SPIN.
Sanjit A. Seshia,
Ankush Desai,
Tommaso Dreossi,
2017,
RV.
Sanjit A. Seshia,
Ankush Desai,
Shaz Qadeer,
2015,
ESEC/SIGSOFT FSE.
Sanjit A. Seshia,
Amar Phanishayee,
Ethan K. Jackson,
2015
.
Sanjit A. Seshia,
Sriram K. Rajamani,
Ankush Desai,
2015
.
Sanjit A. Seshia,
Ankush Desai,
Shaz Qadeer,
2018,
ISoLA.
Sanjit A. Seshia,
Ankush Desai,
Hazem Torfah,
2020,
RV.
Sriram K. Rajamani,
Damien Zufferey,
Ethan K. Jackson,
2013,
PLDI.
Kapil Vaswani,
Ankush Desai,
Kaushik Rajan,
2012
.
Sanjit A. Seshia,
Indranil Saha,
Ankush Desai,
2017,
2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS).
Ashish Tiwari,
Natarajan Shankar,
Sanjit A. Seshia,
2018,
ArXiv.
Akash Lal,
Ankush Desai,
Shaz Qadeer,
2017,
2017 Formal Methods in Computer Aided Design (FMCAD).
Pranav Garg,
P. Madhusudan,
Ankush Desai,
2014,
OOPSLA 2014.
Sanjit A. Seshia,
Pramod Subramanyan,
Ankush Desai,
2021,
AsiaCCS.
David Broman,
John C. Eidson,
Ankush Desai,
2014
.