On the public citation graph

Reliable self-deployment of distributed cloud applications

https://doi.org/10.1002/spe.2400
0 signed · 61 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.1002/spe.1090openalex-snapshot
Towards an architecture for deploying elastic services in the cloud
inferredcites →https://doi.org/10.1002/spe.v36:11/12openalex-snapshot
inferredcites →https://doi.org/10.1007/1-84628-339-6_9openalex-snapshot
Programming, Composing, Deploying for the Grid
inferredcites →https://doi.org/10.1007/978-3-319-02444-8_14openalex-snapshot
Verification of a Dynamic Management Protocol for Cloud Applications
inferredcites →https://doi.org/10.1007/978-3-319-24072-5_2openalex-snapshot
Modelling and Analysing Cloud Application Management
inferredcites →https://doi.org/10.1007/978-3-540-68237-0_12openalex-snapshot
A Model Checking Language for Concurrent Value-Passing Systems
inferredcites →https://doi.org/10.1007/978-3-540-73368-3_18openalex-snapshot
CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes
inferredcites →https://doi.org/10.1007/978-3-642-11294-2_2openalex-snapshot
Replication Techniques for Availability
inferredcites →https://doi.org/10.1007/978-3-642-12636-9_4openalex-snapshot
AppScale: Scalable and Open AppEngine Application Development and Deployment
inferredcites →https://doi.org/10.1007/978-3-642-19835-9_33openalex-snapshot
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
inferredcites →https://doi.org/10.1007/978-3-642-36249-1_3openalex-snapshot
Verification of a Self-configuration Protocol for Distributed Applications in the Cloud
inferredcites →https://doi.org/10.1007/978-3-642-41030-7_9openalex-snapshot
Integrated Cloud Application Provisioning: Interconnecting Service-Centric and Script-Centric Management Technologies
inferredcites →https://doi.org/10.1007/s12243-008-0067-9openalex-snapshot
CLIF, a framework based on Fractal for flexible, distributed load testing
inferredcites →https://doi.org/10.1016/0167-6423(90)90076-popenalex-snapshot
Communication and concurrency
inferredcites →https://doi.org/10.1016/0376-5075(78)90045-4openalex-snapshot
The implementation of reliable distributed multiprocess systems
inferredcites →https://doi.org/10.1016/j.ic.2014.11.002openalex-snapshot
Aeolus: A component model for the cloud
inferredcites →https://doi.org/10.1016/j.jss.2015.09.020openalex-snapshot
Robust and reliable reconfiguration of cloud applications
inferredcites →https://doi.org/10.1109/ccgrid.2009.93openalex-snapshot
The Eucalyptus Open-Source Cloud-Computing System
inferredcites →https://doi.org/10.1109/cloud.2011.65openalex-snapshot
Self-Configuration of Distributed Applications in the Cloud
inferredcites →https://doi.org/10.1109/depcos-relcomex.2006.35openalex-snapshot
Introduction to the Dependability Modeling of Computer Systems
inferredcites →https://doi.org/10.1109/ftcs.1992.243618openalex-snapshot
Active replication in Delta-4
inferredcites →https://doi.org/10.1109/iccac.2014.29openalex-snapshot
Architectural Model and Planification Algorithm for the Self-Management of Elastic Cloud Applications
inferredcites →https://doi.org/10.1109/iwcds.1994.289937openalex-snapshot
Application-transparent fault tolerance in distributed systems
inferredcites →https://doi.org/10.1109/mrd.1992.242619openalex-snapshot
Highly-available services using the primary-backup approach
inferredcites →https://doi.org/10.1109/reldis.1999.805107openalex-snapshot
An agent platform for reliable asynchronous distributed programming
inferredcites →https://doi.org/10.1109/tdsc.2004.2openalex-snapshot
Basic concepts and taxonomy of dependable and secure computing
inferredcites →https://doi.org/10.1109/tdsc.2013.5openalex-snapshot
BtrPlace: A Flexible Consolidation Manager for Highly Available Applications
inferredcites →https://doi.org/10.1109/ucc.2011.32openalex-snapshot
Automated Configuration of Legacy Applications in the Cloud
inferredcites →https://doi.org/10.1145/1147994.1147995openalex-snapshot
Software based fault tolerance: a survey
inferredcites →https://doi.org/10.1145/1363686.1364080openalex-snapshot
Autonomic management policy specification in Tune
inferredcites →https://doi.org/10.1145/1496909.1496915openalex-snapshot
The SmartFrog configuration management framework
inferredcites →https://doi.org/10.1145/1851476.1851485openalex-snapshot
Software architecture definition for on-demand cloud provisioning
inferredcites →https://doi.org/10.1145/214451.214456openalex-snapshot
Distributed snapshots
inferredcites →https://doi.org/10.1145/2245276.2231979openalex-snapshot
Verification of a self-configuration protocol for distributed applications in the cloud
inferredcites →https://doi.org/10.1145/2254064.2254096openalex-snapshot
Engage
inferredcites →https://doi.org/10.1145/227210.227229openalex-snapshot
Horus
inferredcites →https://doi.org/10.1145/2345156.2254096openalex-snapshot
Engage
inferredcites →https://doi.org/10.1145/2554850.2554951openalex-snapshot
Reliable self-deployment of cloud applications
inferredcites →https://doi.org/10.1145/302405.302672openalex-snapshot
Patterns in property specifications for finite-state verification
inferredcites →https://doi.org/10.1145/568522.568525openalex-snapshot
A survey of rollback-recovery protocols in message-passing systems
inferredcites →https://doi.org/10.1145/98163.98167openalex-snapshot
Implementing fault-tolerant services using the state machine approach: a tutorial
inferredcites →https://doi.org/10.5555/1152333.1152345openalex-snapshot
The FRACTAL component model and its support in Java

What points at this work

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

inferred← citeshttps://doi.org/10.1002/nem.2036openalex-snapshot
Orchestrator conversation: Distributed management of cloud applications
inferred← citeshttps://doi.org/10.1002/spe.2848openalex-snapshot
Component‐aware orchestration of cloud‐based enterprise applications, from TOSCA to Docker and Kubernetes
inferred← citeshttps://doi.org/10.1007/978-3-030-57506-9_17openalex-snapshot
Identifying Failure Causalities in Multi-component Applications
inferred← citeshttps://doi.org/10.1007/978-3-030-58298-2_12openalex-snapshot
Verification of a Failure Management Protocol for Stateful IoT Applications
inferred← citeshttps://doi.org/10.1007/978-3-030-87568-8_9openalex-snapshot
What Went Wrong? Explaining Cascading Failures in Microservice-Based Applications
inferred← citeshttps://doi.org/10.1007/978-3-031-87217-4_7openalex-snapshot
Modelling and Verification of an Application for Managing Sensitive Health Data
inferred← citeshttps://doi.org/10.1007/978-3-319-68270-9_1openalex-snapshot
From LOTOS to LNT
inferred← citeshttps://doi.org/10.1007/978-3-319-99819-0_2openalex-snapshot
True Concurrent Management of Multi-component Applications
inferred← citeshttps://doi.org/10.1007/s12652-018-0966-1openalex-snapshot
An innovative framework for supporting big atmospheric data analytics via clustering-based spatio-temporal analysis
inferred← citeshttps://doi.org/10.1016/j.csi.2017.11.007openalex-snapshot
Formal verification approaches and standards in the cloud computing: A comprehensive and systematic review
inferred← citeshttps://doi.org/10.1016/j.jlamp.2019.06.001openalex-snapshot
On the modeling of optimal and automatized cloud application deployment
inferred← citeshttps://doi.org/10.1016/j.jss.2018.02.005openalex-snapshot
Fault-aware management protocols for multi-component applications
inferred← citeshttps://doi.org/10.1016/j.scico.2023.103048openalex-snapshot
A formal approach for the correct deployment of cloud applications
inferred← citeshttps://doi.org/10.1109/apsec51365.2020.00017openalex-snapshot
Clusters of Faulty States for Debugging Behavioural Models
inferred← citeshttps://doi.org/10.1109/formalise.2019.00011openalex-snapshot
Rigorous Design and Deployment of IoT Applications
inferred← citeshttps://doi.org/10.1145/3286978.3287007openalex-snapshot
Resilience of Stateful IoT Applications in a Dynamic Fog Environment
inferred← citeshttps://doi.org/10.1145/3511302openalex-snapshot
Modelling and Analysing Replica- and Fault-aware Management of Horizontally Scalable Applications
inferred← citeshttps://doi.org/10.3389/fpls.2025.1659781openalex-snapshot
Automated seed counting using image processing and deep learning
inferred← citeshttps://doi.org/10.3897/jucs.66455openalex-snapshot
Formal Verification of Cloud and Fog Systems:A Review and Research Challenges
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.