Nisha Pal

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 4

Top Topics

Fingerprint Verification

Top Venues

Int. J. Syst. Assur. Eng. Manag.

Concurr. Comput. Pract. Exp.

Publications

Nisha Pal, Dharmendra Kumar Yadav
Formally modeling and verifying a software component retrieval system using mCRL2. Int. J. Syst. Assur. Eng. Manag. 14 (6) (2023)
Mahendra Pratap Yadav, Nisha Pal, Dharmendra Kumar Yadav
Verification of cloud system elasticity using BigMC. Int. J. Syst. Assur. Eng. Manag. 13 (5) (2022)
Mahendra Pratap Yadav, Nisha Pal, Dharmendra Kumar Yadav
Resource provisioning for containerized applications. Clust. Comput. 24 (4) (2021)
Mahendra Pratap Yadav, Nisha Pal, Dharmendra Kumar Yadav
A formal approach for Docker container deployment. Concurr. Comput. Pract. Exp. 33 (20) (2021)