Resource provisioning for containerized applications. - Mahendra Pratap Yadav; Nisha Pal; Dharmendra Kumar Yadav (Clust. Comput., 2021)

A formal approach for Docker container deployment. - Mahendra Pratap Yadav; Nisha Pal; Dharmendra Kumar Yadav (Concurr. Comput. Pract. Exp., 2021)

Verification of cloud system elasticity using BigMC. - Mahendra Pratap Yadav; Nisha Pal; Dharmendra Kumar Yadav (Int. J. Syst. Assur. Eng. Manag., 2022)

Formally modeling and verifying a software component retrieval system using mCRL2. - Nisha Pal; Dharmendra Kumar Yadav (Int. J. Syst. Assur. Eng. Manag., 2023)

Appropriate number of analogues in analogy based software effort estimation using quality datasets. - Nisha Pal; Mahendra Pratap Yadav; Dharmendra Kumar Yadav (Clust. Comput., 2024)

Modeling and verification of software evolution using bigraphical reactive system. - Nisha Pal; Dharmendra Kumar Yadav (Clust. Comput., 2024)