em-SPADE: a compiler extension for checking rules extracted from processor specifications. - Sandeep Chaudhary; Sebastian Fischmeister; Lin Tan 001 (LCTES, 2014)

An automated computationally efficient two-stage procedure for service load analysis of RC flexural members considering concrete cracking. - K. A. Patel; Sandeep Chaudhary; A. K. Nagpal (Eng. Comput., 2017)