S. Ray
发表
Sandip Ray,
Mark R. Tuttle,
John Matthews,
2003,
ACL 2003.
Nikil Dutt,
Sandip Ray,
Francesco Regazzoni,
2019
.
Nikil Dutt,
Sandip Ray,
Francesco Regazzoni,
2017
.
S. Ray,
N. Dutt,
F. Regazzoni,
2018
.
J. S. Moore,
John Matthews,
S. Ray,
2005
.
S. Ray,
R. Sumners,
2004
.
W. Hunt,
S. Ray,
2007
.
Daniel Kroening,
Alan J. Hu,
Koen Claessen,
2009
.
Susmita Sur-Kolay,
Swarup Bhunia,
Sandip Ray,
2017
.
Swarup Bhunia,
Sandip Ray,
Atul Prasad Deb Nath,
2021,
2021 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Swarup Bhunia,
Sandip Ray,
Abhishek Basak,
2018
.
Atul Prasad Deb Nath,
S. Ray,
S. Bhunia,
2019
.
Nikil D. Dutt,
Sandip Ray,
Francesco Regazzoni,
2019,
ACM Comput. Surv..
S. Ray,
Jiaqi Zhang,
Xiangru Chen,
2021,
IEEE Transactions on Computers.
Sandip Ray,
Xiangru Chen,
Jiaqi Zhang,
2021,
2021 IEEE 39th International Conference on Computer Design (ICCD).
José-Luis Ruiz-Reina,
Panagiotis Manolios,
Robert W. Sumners,
2008,
J. Funct. Program..
Sandip Ray,
Mohammad Abdullah Al Faruque,
Wen Chen,
2017,
2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC).
S. Ray,
Qingxu Deng,
Yier Jin,
2018,
J. Hardw. Syst. Secur..
Sandip Ray,
Robert W. Sumners,
S. Ray,
2012,
Journal of Automated Reasoning.
Sandip Ray,
S. Ray,
2010
.
Sandip Ray,
S. Ray,
2010
.
Sandip Ray,
S. Ray,
2010
.
Sandip Ray,
Matt Kaufmann,
Erik Reeber,
2006,
J. Appl. Log..
Sandip Ray,
J. S. Moore,
J. Strother Moore,
2005
.
S. Ray,
2004
.
Sandip Ray,
Arijit Raychowdhury,
Yier Jin,
2016,
IEEE Design & Test.
Sandip Ray,
John Matthews,
Warren A. Hunt,
2008,
Journal of Automated Reasoning.
Sandip Ray,
John Matthews,
J. S. Moore,
2006,
LPAR.
Sandip Ray,
S. Ray,
2010
.
Sandip Ray,
S. Ray,
2010
.
Sandip Ray,
S. Ray,
2010
.
Magdy S. Abadir,
Sandip Ray,
Li-C. Wang,
2007,
IEEE Design & Test of Computers.
Sandip Ray,
Srivalli Boddupalli,
Akash Someshwar Rao,
2021,
IEEE Transactions on Intelligent Transportation Systems.
Sandip Ray,
Arnav Vaibhav Malawade,
Mohammad Abdullah Al Faruque,
2019,
IEEE Design & Test.
Swarup Bhunia,
Sandip Ray,
Tamzidul Hoque,
2016,
2016 IEEE 34th International Conference on Computer Design (ICCD).
Sandip Ray,
Avi Ziv,
Prabhat Mishra,
2017,
IEEE Design & Test.
Swarup Bhunia,
Sandip Ray,
Jongsun Park,
2016,
IEEE Transactions on Multi-Scale Computing Systems.
Fei Xie,
Sandip Ray,
Jin Yang,
2009,
ATVA.
Fei Xie,
Sandip Ray,
S. Ray,
2008
.
S. Ray,
S. Bhunia,
Jonathan Cruz,
2022,
IEEE Embedded Systems Letters.
Swarup Bhunia,
Sandip Ray,
Abhishek Basak,
2017,
IEEE Transactions on Information Forensics and Security.
Eric Peeters,
Swarup Bhunia,
Sandip Ray,
2018,
Proceedings of the IEEE.
Swarup Bhunia,
Sandip Ray,
Tamzidul Hoque,
2018,
Security and Fault Tolerance in Internet of Things.
Swarup Bhunia,
Sandip Ray,
Abhishek Basak,
2018,
Security Policy in System-on-Chip Designs.
Swarup Bhunia,
Sandip Ray,
Abhishek Basak,
2018,
Security Policy in System-on-Chip Designs.
S. Ray,
A. Basak,
S. Bhunia,
2018,
Security Policy in System-on-Chip Designs.
Swarup Bhunia,
Sandip Ray,
Abhishek Basak,
2018,
Security Policy in System-on-Chip Designs.
Sandip Ray,
Abhishek Basak,
Atul Prasad Deb Nath,
2018,
2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC).
Sandip Ray,
Jayanta Bhadra,
S. Ray,
2016,
2016 29th IEEE International System-on-Chip Conference (SOCC).
Swarup Bhunia,
Sandip Ray,
Abhishek Basak,
2016,
2016 53nd ACM/EDAC/IEEE Design Automation Conference (DAC).
Swarup Bhunia,
Sandip Ray,
Abhishek Basak,
2015,
2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Sandip Ray,
Yier Jin,
S. Ray,
2015,
2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Sandip Ray,
Warren A. Hunt,
William D. Young,
2008,
2008 Formal Methods in Computer-Aided Design.
Warren A. Hunt,
William D. Young,
Robert Bellarmine Krug,
2008
.
Sandip Ray,
S. Ray,
2010
.
Sandip Ray,
S. Ray,
2010
.
S. Ray,
Maneesh Merugu,
Dipal Halder,
2023,
ACM Transactions on Embedded Computing Systems.