Verification of cloud system elasticity using BigMC-Reference-Cited by-同舟云学术

Verification of cloud system elasticity using BigMC

Published:2022-01-12 Issue:5 Volume:13 Page:2208-2220
ISSN:0975-6809
Container-title:International Journal of System Assurance Engineering and Management
language:en
Short-container-title:Int J Syst Assur Eng Manag

Author:

Yadav Mahendra Pratap^ORCID,Pal Nisha,Yadav Dharmendra Kumar

Publisher

Springer Science and Business Media LLC

Subject

Strategy and Management,Safety, Risk, Reliability and Quality

Link

https://link.springer.com/content/pdf/10.1007/s13198-022-01627-z.pdf

Reference25 articles.

1. Al-Shishtawy A, Vlassov V (2013) Elastman: autonomic elasticity manager for cloud-based key-value stores. In: Proceedings of the 22nd international symposium on High-performance parallel and distributed computing. pp. 115–116

2. Amziani M (2015) Modeling, evaluation and provisioning of elastic service-based business processes in the cloud, Ph.D. thesis, Institut National des Télécommunications

3. Bersani MM, Bianculli D, Dustdar S, Gambi A, Ghezzi C, Krstić S (2014) Towards the formalization of properties of cloud-based elastic systems. In: proceedings of the 6th international workshop on principles of engineering service-oriented and cloud systems. pp 38–47

4. Chang Z, Mao X, Qi Z (2008) Towards a formal model for reconfigurable software architectures by bigraphs. In: Seventh working IEEE/IFIP conference on software architecture (WICSA 2008). IEEE, pp 331–334

5. Dustdar S, Guo Y, Satzger B, Truong H-L (2011) Principles of elastic processes. IEEE Internet Comput 15(5):66–71

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Modeling and verification of software evolution using bigraphical reactive system;Cluster Computing;2024-06-19

2. A formal approach for the correct deployment of cloud applications;Science of Computer Programming;2024-01

3. An Analytical Review of VM Allocation and Migration Policies in Cloud Computing;2023 International Conference on Advancement in Computation & Computer Technologies (InCACCT);2023-05-05

4. VM consolidation using optimization techniques: A review;APPLIED DATA SCIENCE AND SMART SYSTEMS;2023