On the public citation graph

Performance Modeling of Concurrent Live Migration Operations in Cloud Computing Systems Using PRISM Probabilistic Model Checker

https://doi.org/10.1109/cloud.2011.48

0 signed · 84 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/bf01257083openalex-snapshot

The temporal logic of branching time

inferredcites →https://doi.org/10.1007/s10009-004-0140-2openalex-snapshot

Probabilistic symbolic model checking with PRISM: a hybrid approach

inferredcites →https://doi.org/10.1016/0304-3975(81)90110-9openalex-snapshot

The temporal semantics of concurrent programs

inferredcites →https://doi.org/10.1109/cloud.2009.5071527openalex-snapshot

Network-aware migration control and scheduling of differentiated virtual machine workloads

inferredcites →https://doi.org/10.1109/cloud.2010.53openalex-snapshot

Dynamic Provisioning Modeling for Virtualized Multi-tier Applications in Cloud Data Center

inferredcites →https://doi.org/10.1109/inm.2011.5990679openalex-snapshot

What will happen if cloud management operations burst out?

inferredcites →https://doi.org/10.1109/iwqos.2010.5542728openalex-snapshot

Evaluating the impact of data center network architectures on application performance in virtualized environments

inferredcites →https://doi.org/10.1109/mascots.2010.13openalex-snapshot

Predicting the Performance of Virtual Machine Migration

inferredcites →https://doi.org/10.1109/tc.1986.1676819openalex-snapshot

Graph-Based Algorithms for Boolean Function Manipulation

inferredcites →https://doi.org/10.1145/1408654.1408659openalex-snapshot

Experimental study of virtual machine migration in support of reservation of cluster resources

inferredcites →https://doi.org/10.1145/1555336.1555346openalex-snapshot

Improving the live migration process of large enterprise applications

inferredcites →https://doi.org/10.1145/1807128.1807152openalex-snapshot

Benchmarking cloud serving systems with YCSB

inferredcites →https://doi.org/10.1145/1815961.1816003openalex-snapshot

The impact of management operations on the virtualized datacenter

inferredcites →https://doi.org/10.1145/5397.5399openalex-snapshot

Automatic verification of finite-state concurrent systems using temporal logic specifications

inferredcites →https://doi.org/10.2200/s00193ed1v01y200905cac006openalex-snapshot

The Datacenter as a Computer: An Introduction to the Design of Warehouse-Scale Machines

inferredcites →https://doi.org/10.4018/978-1-60960-845-3.ch001openalex-snapshot

Formal Methods for the Development and Verification of Autonomic IT Systems

inferredcites →https://doi.org/10.5555/1251203.1251223openalex-snapshot

Live migration of virtual machines

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-030-72369-9_6openalex-snapshot

Live Migration Timing Optimization Integration with VMware Environments

inferred← citeshttps://doi.org/10.1007/978-3-031-16336-4_14openalex-snapshot

Preference-Aware Computation Offloading for IoT in Multi-access Edge Computing Using Probabilistic Model Checking

inferred← citeshttps://doi.org/10.1007/978-3-319-05359-2_5openalex-snapshot

Performance Analysis of Computing Servers — A Case Study Exploiting a New GSPN Semantics

inferred← citeshttps://doi.org/10.1007/978-3-319-06932-6_31openalex-snapshot

An Effective Way of Storing and Accessing Very Large Transition Matrices Using Multi-core CPU and GPU Architectures

inferred← citeshttps://doi.org/10.1007/978-3-319-29473-5_10openalex-snapshot

Time Performance Formal Evaluation of Complex Systems

inferred← citeshttps://doi.org/10.1007/978-3-642-34188-5_14openalex-snapshot

Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns

inferred← citeshttps://doi.org/10.1007/978-3-642-40725-3_4openalex-snapshot

Analytic Performance Modeling and Optimization of Live VM Migration

inferred← citeshttps://doi.org/10.1007/978-981-15-5258-8_52openalex-snapshot

An Optimized Approach for Virtual Machine Live Migration in Cloud Computing Environment

inferred← citeshttps://doi.org/10.1007/978-981-15-5566-4_67openalex-snapshot

Firewall Scheduling and Routing Using pfSense

inferred← citeshttps://doi.org/10.1007/978-981-16-1048-6_34openalex-snapshot

Analytical Study of Virtual Machine Migration Techniques in Cloud Computing

inferred← citeshttps://doi.org/10.1007/s10586-021-03305-4openalex-snapshot

A model-based approach for formal verification and performance analysis of dynamic load-balancing protocols in cloud environment

inferred← citeshttps://doi.org/10.1007/s10619-021-07387-2openalex-snapshot

Virtual machines pre-copy live migration cost modeling and prediction: a survey

inferred← citeshttps://doi.org/10.1007/s10922-015-9352-xopenalex-snapshot

An Analytical Model for Estimating Cloud Resources of Elastic Services

inferred← citeshttps://doi.org/10.1016/j.future.2017.12.047openalex-snapshot

Performance modelling and verification of cloud-based auto-scaling policies

inferred← citeshttps://doi.org/10.1016/j.jpdc.2019.09.003openalex-snapshot

Cost-effective deployment of certified cloud composite services

inferred← citeshttps://doi.org/10.1109/aina.2013.137openalex-snapshot

Does Live Migration of Virtual Machines Cost Energy?

inferred← citeshttps://doi.org/10.1109/cadsm.2015.7230795openalex-snapshot

Approaches to minimize power consumption of computation network

inferred← citeshttps://doi.org/10.1109/ccgrid.2017.39openalex-snapshot

Performance Modelling and Verification of Cloud-Based Auto-Scaling Policies

inferred← citeshttps://doi.org/10.1109/cloud.2012.13openalex-snapshot

Efficient Deployment of Main-Memory DBMS in Virtualized Data Centers

inferred← citeshttps://doi.org/10.1109/cloud.2012.15openalex-snapshot

Scheduling Parallel Tasks onto Opportunistically Available Cloud Resources

inferred← citeshttps://doi.org/10.1109/cloud.2012.56openalex-snapshot

MiyakoDori: A Memory Reusing Mechanism for Dynamic VM Consolidation

inferred← citeshttps://doi.org/10.1109/cloud.2012.57openalex-snapshot

Impact of Live Migration on Multi-tier Application Performance in Clouds

inferred← citeshttps://doi.org/10.1109/cloud.2013.17openalex-snapshot

A Lightweight Model for Estimating Energy Cost of Live Migration of Virtual Machines

inferred← citeshttps://doi.org/10.1109/cloud.2013.20openalex-snapshot

A Queueing Model to Achieve Proper Elasticity for Cloud Cluster Jobs

inferred← citeshttps://doi.org/10.1109/cloud.2013.96openalex-snapshot

Models and Guidelines for Dimensioning Private Clouds

inferred← citeshttps://doi.org/10.1109/cloudnet.2012.6483647openalex-snapshot

Estimating service response time for elastic cloud applications

inferred← citeshttps://doi.org/10.1109/cloudnet.2013.6710577openalex-snapshot

Achieving elasticity for cloud MapReduce jobs

inferred← citeshttps://doi.org/10.1109/comst.2018.2794881openalex-snapshot

A Survey on Virtual Machine Migration: Challenges, Techniques, and Open Issues

inferred← citeshttps://doi.org/10.1109/edge53862.2021.00023openalex-snapshot

A Framework for Analyzing Resource Allocation Policies for Multi-Access Edge Computing

inferred← citeshttps://doi.org/10.1109/glocom.2013.6831415openalex-snapshot

Performance of an IaaS cloud with live migration of virtual machines

inferred← citeshttps://doi.org/10.1109/i2c2sw45816.2018.8997167openalex-snapshot

A Study on Firewall System, Scheduling and Routing using pfsense Scheme

inferred← citeshttps://doi.org/10.1109/iadcc.2013.6514357openalex-snapshot

Live virtual machine migration techniques: Survey and research challenges

inferred← citeshttps://doi.org/10.1109/ic2e.2019.00032openalex-snapshot

Maintenance Scheduling for Cloud Infrastructure with Timing Constraints of Live Migration

inferred← citeshttps://doi.org/10.1109/ic2ew.2016.28openalex-snapshot

GeoMig: Online Multiple VM Live Migration

inferred← citeshttps://doi.org/10.1109/icws49710.2020.00047openalex-snapshot

Trace-driven Modeling and Verification of a Mobility-Aware Service Allocation and Migration Policy for Mobile Edge Computing

inferred← citeshttps://doi.org/10.1109/icws60048.2023.00014openalex-snapshot

Adaptive Service Placement for Multi-Access Edge Computing: A Formal Methods Approach

inferred← citeshttps://doi.org/10.1109/infcomw.2017.8116467openalex-snapshot

A multi-step model for migration and resource reallocation in virtualized network infrastructures

inferred← citeshttps://doi.org/10.1109/ipdpsw.2013.167openalex-snapshot

Reducing the Migration Times of Multiple VMs on WANs Using a Feedback Controller

inferred← citeshttps://doi.org/10.1109/iscon47742.2019.9036186openalex-snapshot

Analysis: Various Load Balancing Competencies for Data Centres

inferred← citeshttps://doi.org/10.1109/itme.2018.00192openalex-snapshot

Model Checking Denial-of-Service Attack Against IEEE 802.15.6 Protocol

inferred← citeshttps://doi.org/10.1109/iwaise.2014.15openalex-snapshot

Formal Security Framework for Agent Based Cloud Systems

inferred← citeshttps://doi.org/10.1109/massw.2019.00036openalex-snapshot

Performance Modeling and Verification of Load Balancing in Cloud Systems Using Formal Methods

inferred← citeshttps://doi.org/10.1109/mitp.2012.45openalex-snapshot

Using Model Checking to Evaluate Live Migrations

inferred← citeshttps://doi.org/10.1109/nof.2014.7119790openalex-snapshot

A compositional modelling approach for live migration in Software Defined Networks

inferred← citeshttps://doi.org/10.1109/services.2012.23openalex-snapshot

Costs of Virtual Machine Live Migration: A Survey

inferred← citeshttps://doi.org/10.1109/sustainit.2013.6685192openalex-snapshot

Investigation into the energy cost of live migration of virtual machines

inferred← citeshttps://doi.org/10.1109/tase.2015.22openalex-snapshot

Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking

inferred← citeshttps://doi.org/10.1109/tcc.2016.2567381openalex-snapshot

Optimizing Live Migration of Multiple Virtual Machines

inferred← citeshttps://doi.org/10.1109/tcc.2016.2603506openalex-snapshot

Live Placement of Interdependent Virtual Machines to Optimize Cloud Service Profits and Penalties on SLAs

inferred← citeshttps://doi.org/10.1109/tdsc.2022.3143877openalex-snapshot

Prioritized Fault Recovery Strategies for Multi-Access Edge Computing Using Probabilistic Model Checking

inferred← citeshttps://doi.org/10.1109/tnse.2022.3145876openalex-snapshot

Multiple Adaptive-Resource-Allocation Real-Time Supervisor (MARS) for Elastic IIoT Hybrid Cloud Services

inferred← citeshttps://doi.org/10.1109/tnsm.2016.2640297openalex-snapshot

Analytical Model for Elastic Scaling of Cloud-Based Firewalls

inferred← citeshttps://doi.org/10.1109/tnsm.2021.3086146openalex-snapshot

Modeling and Verification of Service Allocation Policies for Multi-Access Edge Computing Using Probabilistic Model Checking

inferred← citeshttps://doi.org/10.1109/tnsm.2024.3438828openalex-snapshot

Context-Aware Fault Classification for Multi-Access Edge Computing

inferred← citeshttps://doi.org/10.1109/tpds.2020.3041029openalex-snapshot

A Game-Based Approach for Cost-Aware Task Assignment With QoS Constraint in Collaborative Edge and Cloud Environments

inferred← citeshttps://doi.org/10.1109/vlsid60093.2024.00050openalex-snapshot

Autonomous Automotives on the Edge

inferred← citeshttps://doi.org/10.1145/2568088.2568102openalex-snapshot

Understanding, modelling, and improving the performance of web applications in multicore virtualised environments

inferred← citeshttps://doi.org/10.1145/3106237.3106301openalex-snapshot

Probabilistic model checking of perturbed MDPs with applications to cloud computing

inferred← citeshttps://doi.org/10.1145/3615353openalex-snapshot

A Taxonomy of Live Migration Management in Cloud Computing

inferred← citeshttps://doi.org/10.1186/s13677-017-0092-1openalex-snapshot

A critical survey of live virtual machine migration techniques

inferred← citeshttps://doi.org/10.1186/s13677-022-00326-1openalex-snapshot

Dynamic resource provisioning and secured file sharing using virtualization in cloud azure

inferred← citeshttps://doi.org/10.12694/scpe.v16i3.1104openalex-snapshot

Challenges in Formal Methods for Testing and Verification of Cloud Computing Systems

inferred← citeshttps://doi.org/10.13021/mars/4555openalex-snapshot

Autonomic, Optimal, and Near-optimal Resource Allocation in Cloud Computing

inferred← citeshttps://doi.org/10.1371/journal.pone.0167280openalex-snapshot

Performance Evaluation Model for Application Layer Firewalls

inferred← citeshttps://doi.org/10.14257/astl.2017.143.06openalex-snapshot

A Framework to Evaluate the Ability to Provide Essential Services to End Users

inferred← citeshttps://doi.org/10.31449/inf.v45i4.3308openalex-snapshot

Modeling and Performance Analysis of Resource Provisioning in Cloud Computing using Probabilistic Model Checking

inferred← citeshttps://doi.org/10.70675/82ef0321z270az4a9fz9196zed87fb5e5b38openalex-snapshot

Rigorous System-level Modeling and Performance Evaluation for Embedded System Design

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.