Subodh Sharma
发表
R. Kirby,
G. Gopalakrishnan,
Subodh Sharma,
.
Subodh Sharma,
Sanjiva Prasad,
R. M. Yerraguntla,
2020,
2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
G. Gopalakrishnan,
Subodh Sharma,
2012
.
Subodh Sharma,
Ridhi Jain,
Rahul Purandare,
2022,
ACM Transactions on Software Engineering and Methodology.
Kouichi Sakurai,
Subodh Sharma,
Kosuke Kaneko,
2019,
AINA.
Subodh Sharma,
Subhashis Banerjee,
Prashant Agrawal,
2020,
ArXiv.
Sukrit Kalra,
Seep Goel,
Mohan Dhawan,
2018,
NDSS.
César Rodríguez,
Dhriti Khanna,
Subodh Sharma,
2018,
FM.
Daniel Kroening,
Vojtech Forejt,
Subodh Sharma,
2014,
FM.
Subodh Sharma,
Divyanjali Sharma,
Subodh Sharma,
2021,
SAS.
Subodh Sharma,
Sanjana Singh,
Divyanjali Sharma,
2019,
ArXiv.
Subhashis Banerjee,
Subodh Sharma,
Prashant Agrawal,
2019,
ArXiv.
Subodh Sharma,
N. Jain,
Kosuke Kaneko,
2022,
IEEE International Conference on Software Engineering and Formal Methods.
Kouichi Sakurai,
Kosuke Kaneko,
Limao Ma,
2019,
2019 Seventh International Symposium on Computing and Networking Workshops (CANDARW).
Yu Yang,
Simone Atzeni,
Ganesh Gopalakrishnan,
2009,
PADTAD '09.
Kouichi Sakurai,
Yuki Nishida,
Subodh Sharma,
2018,
2018 Sixth International Symposium on Computing and Networking Workshops (CANDARW).
Daniel Kroening,
César Rodríguez,
Subodh Sharma,
2015,
CONCUR.
Sanjiva Prasad,
R. Madhukar Yerraguntla,
Subodh Sharma,
2022,
ArXiv.
Subhashis Banerjee,
Subodh Sharma,
Prashant Agrawal,
2019
.
Subhashis Banerjee,
Subodh Sharma,
Prashant Agrawal,
2019
.
Subodh Sharma,
Prashant Agrawal,
K. Tomer,
2022
.
Dhriti Khanna,
Rahul Purandare,
Subodh Sharma,
2021,
2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST).
Dhriti Khanna,
Rahul Purandare,
Subodh Sharma,
2020,
2020 IEEE International Conference on Software Maintenance and Evolution (ICSME).
Subodh Sharma,
Prashant Agrawal,
M. P. Jhanwar,
2019,
IACR Cryptol. ePrint Arch..
Rajeev Thakur,
William Gropp,
Ganesh Gopalakrishnan,
2008,
PVM/MPI.