Nisha Pal

According to our database, Nisha Pal authored at least 4 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of six.

2023

Formally modeling and verifying a software component retrieval system using mCRL2.

Nisha Pal, Dharmendra Kumar Yadav

Int. J. Syst. Assur. Eng. Manag., December, 2023

2022

Verification of cloud system elasticity using BigMC.

Mahendra Pratap Yadav, Nisha Pal, Dharmendra Kumar Yadav

Int. J. Syst. Assur. Eng. Manag., 2022

2021

A formal approach for Docker container deployment.

Mahendra Pratap Yadav, Nisha Pal, Dharmendra Kumar Yadav

Concurr. Comput. Pract. Exp., 2021

Resource provisioning for containerized applications.

Mahendra Pratap Yadav, Nisha Pal, Dharmendra Kumar Yadav

Clust. Comput., 2021