Nisha Pal

According to our database, Nisha Pal authored at least 6 papers between 2021 and 2024.

Collaborative distances:

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

2024

Modeling and verification of software evolution using bigraphical reactive system.

Nisha Pal, Dharmendra Kumar Yadav

Clust. Comput., December, 2024

Appropriate number of analogues in analogy based software effort estimation using quality datasets.

Nisha Pal, Mahendra Pratap Yadav, Dharmendra Kumar Yadav

Clust. Comput., 2024

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