Multisignal modeling for diagnosis, FMECA, and reliability. - Somnath Deb; Sudipto Ghoshal; Amit Mathur; Roshan Shrestha; Krishna R. Pattipati (SMC, 1998)

Model Checking of Security Properties in Industrial Control Systems (ICS). - Roshan Shrestha; Hoda Mehrpouyan; Dianxiang Xu (CODASPY, 2018)

Automated Coverage-Based Testing of XACML Policies. - Dianxiang Xu; Roshan Shrestha; Ning Shen (SACMAT, 2018)

XPA: An Open Soruce IDE for XACML Policies (S). - Roshan Shrestha; Shuai Peng; Turner Lehmbecker; Dianxiang Xu (SEKE, 2018)

Face Recognition Based on Shallow Convolutional Neural Network Classifier. - Roshan Shrestha; Sanjeeb Prasad Panday (IVSP, 2020)

Automated Strong Mutation Testing of XACML Policies. - Dianxiang Xu; Roshan Shrestha; Ning Shen (SACMAT, 2020)

Towards a Theory on Testing XACML Policies. - Dianxiang Xu; Roshan Shrestha; Ning Shen; Yunpeng Zhang (SACMAT, 2022)