On the public citation graph
Component-based Distributed Software Reconfiguration:A Verification-oriented Survey
0 signed · 121 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/spe.1077openalex-snapshot
A component‐based middleware platform for reconfigurable service‐oriented architectures
inferredcites →https://doi.org/10.1002/spe.2495openalex-snapshot
Exogenous coordination of concurrent software components with JavaBIP
inferredcites →https://doi.org/10.1002/spe.767openalex-snapshot
The F RACTAL component model and its support in Java
inferredcites →https://doi.org/10.1007/11768869_7openalex-snapshot
Synchronizing Behavioural Mismatch in Software Composition
inferredcites →https://doi.org/10.1007/3-540-45949-9openalex-snapshot
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
inferredcites →https://doi.org/10.1007/978-3-030-02146-7_6openalex-snapshot
Programming Dynamic Reconfigurable Systems
inferredcites →https://doi.org/10.1007/978-3-030-34968-4_7openalex-snapshot
Integrated Model-Checking for the Design of Safe and Efficient Distributed Software Commissioning
inferredcites →https://doi.org/10.1007/978-3-030-99429-7_15openalex-snapshot
SMT-Based Planning Synthesis for Distributed System Reconfigurations
inferredcites →https://doi.org/10.1007/978-3-031-10769-6_40openalex-snapshot
Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems
inferredcites →https://doi.org/10.1007/978-3-319-07602-7_10openalex-snapshot
Formally Reasoning on a Reconfigurable Component-Based System — A Case Study for the Industrial World
inferredcites →https://doi.org/10.1007/978-3-319-24644-4_18openalex-snapshot
Painless Support for Static and Runtime Verification of Component-Based Applications
inferredcites →https://doi.org/10.1007/978-3-319-49812-6openalex-snapshot
Deductive Software Verification – The KeY Book
inferredcites →https://doi.org/10.1007/978-3-319-75632-5_1openalex-snapshot
Introduction to Runtime Verification
inferredcites →https://doi.org/10.1007/978-3-540-40020-2_2openalex-snapshot
A Coinductive Calculus of Component Connectors
inferredcites →https://doi.org/10.1007/978-3-540-68237-0_18openalex-snapshot
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity
inferredcites →https://doi.org/10.1007/978-3-540-69407-6_39openalex-snapshot
Extraction in Coq: An Overview
inferredcites →https://doi.org/10.1007/978-3-642-03359-9_2openalex-snapshot
VCC: A Practical System for Verifying Concurrent C
inferredcites →https://doi.org/10.1007/978-3-642-13238-4_5openalex-snapshot
Reliable Dynamic Reconfigurations in a Reflective Component Model
inferredcites →https://doi.org/10.1007/978-3-642-14046-4_2openalex-snapshot
Managing Variability in Workflow with Feature Model Composition Operators
inferredcites →https://doi.org/10.1007/978-3-642-17071-3_1openalex-snapshot
A Framework for Reasoning on Component Composition
inferredcites →https://doi.org/10.1007/978-3-642-17511-4_20openalex-snapshot
Dafny: An Automatic Program Verifier for Functional Correctness
inferredcites →https://doi.org/10.1007/978-3-642-32469-7_8openalex-snapshot
Combining Analyses for C Program Verification
inferredcites →https://doi.org/10.1007/978-3-642-35743-5_17openalex-snapshot
Verifying Safety of Fault-Tolerant Distributed Components
inferredcites →https://doi.org/10.1007/978-3-642-35887-6_1openalex-snapshot
ASCENS: Engineering Autonomic Service-Component Ensembles
inferredcites →https://doi.org/10.1007/978-3-642-35887-6_6openalex-snapshot
HATS Abstract Behavioral Specification: The Architectural View
inferredcites →https://doi.org/10.1007/978-3-662-07964-5openalex-snapshot
Interactive Theorem Proving and Program Development
inferredcites →https://doi.org/10.1007/978-3-662-48616-0_28openalex-snapshot
Automatic Deployment of Services in the Cloud with Aeolus Blender
inferredcites →https://doi.org/10.1007/s00165-011-0191-6openalex-snapshot
Reo + mCRL2 : A framework for model-checking dataflow in service compositions
inferredcites →https://doi.org/10.1007/s00165-014-0326-7openalex-snapshot
Frama-C: A software analysis perspective
inferredcites →https://doi.org/10.1007/s00607-013-0368-3openalex-snapshot
A low level component model easing performance portability of HPC applications
inferredcites →https://doi.org/10.1007/s10766-013-0264-7openalex-snapshot
Bringing Coq into the World of GCM Distributed Applications
inferredcites →https://doi.org/10.1007/s10766-017-0539-5openalex-snapshot
Extensibility and Composability of a Multi-Stencil Domain Specific Framework
inferredcites →https://doi.org/10.1007/s11219-019-09487-wopenalex-snapshot
Testing adaptation policies for software components
inferredcites →https://doi.org/10.1007/s12243-008-0068-8openalex-snapshot
GCM: a grid extension to Fractal for autonomous distributed components
inferredcites →https://doi.org/10.1016/0020-0190(86)90071-2openalex-snapshot
Limits for automatic verification of finite-state concurrent systems
inferredcites →https://doi.org/10.1016/j.entcs.2006.05.023openalex-snapshot
Model Checking of Component Behavior Specification: A Real Life Experience
inferredcites →https://doi.org/10.1016/j.entcs.2008.03.084openalex-snapshot
A Rigorous Model of Service Component Architecture
inferredcites →https://doi.org/10.1016/j.entcs.2010.05.004openalex-snapshot
Behaviour Protocols for Interacting Stateful Components
inferredcites →https://doi.org/10.1016/j.entcs.2010.05.006openalex-snapshot
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation
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.iot.2022.100503openalex-snapshot
Non-functional requirements elicitation for edge computing
inferredcites →https://doi.org/10.1016/j.jlamp.2017.02.003openalex-snapshot
Behavioural semantics for asynchronous components
inferredcites →https://doi.org/10.1016/j.jss.2015.11.039openalex-snapshot
Safe reconfiguration of Coqcots and Pycots components
inferredcites →https://doi.org/10.1016/j.jss.2017.01.001openalex-snapshot
Understanding cloud-native applications after 10 years of cloud computing - A systematic mapping study
inferredcites →https://doi.org/10.1016/j.jss.2017.01.030openalex-snapshot
A domain-specific language for the control of self-adaptive component-based architecture
inferredcites →https://doi.org/10.1016/j.jss.2018.01.038openalex-snapshot
Cloud service evaluation method-based Multi-Criteria Decision-Making: A systematic literature review
inferredcites →https://doi.org/10.1016/j.jvlc.2012.09.002openalex-snapshot
Compositional and behavior-preserving reconfiguration of component connectors in Reo
inferredcites →https://doi.org/10.1016/j.scico.2005.10.008openalex-snapshot
Modeling component connectors in Reo by constraint automata
inferredcites →https://doi.org/10.1016/j.scico.2009.10.006openalex-snapshot
Modeling dynamic reconfigurations in Reo using high-level replacement systems
inferredcites →https://doi.org/10.1016/j.scico.2011.09.003openalex-snapshot
Structural reconfiguration of systems under behavioral adaptation
inferredcites →https://doi.org/10.1016/j.scico.2012.12.004openalex-snapshot
FAMILIAR: A domain-specific language for large scale management of feature models
inferredcites →https://doi.org/10.1016/j.scico.2020.102582openalex-snapshot
Toward safe and efficient reconfiguration with Concerto
inferredcites →https://doi.org/10.1016/s0377-2217(98)00364-6openalex-snapshot
Constraint satisfaction problems: Algorithms and applications
inferredcites →https://doi.org/10.1017/s0956796818000229openalex-snapshot
The verified CakeML compiler backend
inferredcites →https://doi.org/10.1017/s0960129504004153openalex-snapshot
Reo: a channel-based coordination model for component composition
inferredcites →https://doi.org/10.1109/32.60317openalex-snapshot
The evolving philosophers problem: dynamic change management
inferredcites →https://doi.org/10.1109/ccgrid.2008.59openalex-snapshot
Deploying on the Grid with DeployWare
inferredcites →https://doi.org/10.1109/ccgrid49817.2020.00-59openalex-snapshot
Predictable Efficiency for Reconfiguration of Service-Oriented Systems with Concerto
inferredcites →https://doi.org/10.1109/hpcsim.2015.7237078openalex-snapshot
On the fly reconfiguration of interactive scientific visualization applications
inferredcites →https://doi.org/10.1109/icse.2003.1201217openalex-snapshot
Modular verification of software components in C
inferredcites →https://doi.org/10.1109/icse.2013.6606547openalex-snapshot
Robust reconfigurations of component assemblies
inferredcites →https://doi.org/10.1109/imcsit.2008.4747321openalex-snapshot
A component-based approach to verification of embedded control systems using TLA+
inferredcites →https://doi.org/10.1109/lics.1990.113766openalex-snapshot
Model-checking for real-time systems
inferredcites →https://doi.org/10.1109/ms.2011.27openalex-snapshot
Rigorous Component-Based System Design Using the BIP Framework
inferredcites →https://doi.org/10.1109/noms.2014.6838285openalex-snapshot
Improving reliability in management of cloud computing infrastructure by formal methods
inferredcites →https://doi.org/10.1109/sera.2006.62openalex-snapshot
SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model
inferredcites →https://doi.org/10.1109/swmt.2000.890412openalex-snapshot
Proceedings International Conference on Software Methods and Tools. SMT 2000
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/tse.2007.70733openalex-snapshot
Tranquility: A Low Disruptive Alternative to Quiescence for Ensuring Safe Dynamic Updates
inferredcites →https://doi.org/10.1145/1127878.1127900openalex-snapshot
A historical perspective on runtime assertion checking in software development
inferredcites →https://doi.org/10.1145/1456190.1456201openalex-snapshot
Stopping safely hierarchical distributed components
inferredcites →https://doi.org/10.1145/1538788.1538814openalex-snapshot
Formal verification of a realistic compiler
inferredcites →https://doi.org/10.1145/1993498.1993532openalex-snapshot
Finding and understanding bugs in C compilers
inferredcites →https://doi.org/10.1145/2025113.2025148openalex-snapshot
Version-consistent dynamic reconfiguration of component-based distributed systems
inferredcites →https://doi.org/10.1145/2465449.2465456openalex-snapshot
An incremental verification framework for component-based software systems
inferredcites →https://doi.org/10.1145/2602576.2602578openalex-snapshot
Efficient re-resolution of SMT specifications for evolving software architectures
inferredcites →https://doi.org/10.1145/2642937.2642980openalex-snapshot
Automated synthesis and deployment of cloud applications
inferredcites →https://doi.org/10.1145/2737166.2737169openalex-snapshot
A Reconfigurable Component Model for HPC
inferredcites →https://doi.org/10.1145/2933575.2934574openalex-snapshot
The Probabilistic Model Checking Landscape
inferredcites →https://doi.org/10.1145/2934466.2934478openalex-snapshot
Exploiting the enumeration of all feature model configurations
inferredcites →https://doi.org/10.1145/3127479.3128608openalex-snapshot
Trustable virtual machine scheduling in a cloud
inferredcites →https://doi.org/10.1145/3391196openalex-snapshot
An Overview of Service Placement Problem in Fog and Edge Computing
inferredcites →https://doi.org/10.1145/3412841.3442017openalex-snapshot
A temporal configuration logic for dynamic reconfigurable systems
inferredcites →https://doi.org/10.1145/3563293openalex-snapshot
Local Reasoning about Parameterized Reconfigurable Distributed Systems
inferredcites →https://doi.org/10.1177/1094342006064488openalex-snapshot
A Component Architecture for High-Performance Computing
inferredcites →https://doi.org/10.1587/transinf.e96.d.1696openalex-snapshot
Synthesis of Configuration Change Procedure Using Model Finder
inferredcites →https://doi.org/10.29007/fpdhopenalex-snapshot
E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper)
inferredcites →https://doi.org/10.3217/jucs-014-13-2182openalex-snapshot
Composition and Run-time Adaptation of Mismatching Behavioural Interfaces
inferredcites →https://doi.org/10.4204/eptcs.147.3openalex-snapshot
Component Substitution through Dynamic Reconfigurations
inferredcites →https://doi.org/10.4230/lipics.concur.2016.30openalex-snapshot
Parameterized Systems in BIP: Design and Model Checking
inferredcites →https://doi.org/10.5220/0006273705610568openalex-snapshot
Automated Dynamic Formation of Component Ensembles - Taking Advantage of Component Cooperation Locality
inferredcites →https://doi.org/10.5555/140370.140377openalex-snapshot
Algorithms for constraint-satisfaction problems
inferredcites →https://doi.org/10.5555/2432523.2432528openalex-snapshot
A declarative approach to automated configuration
inferredcites →https://doi.org/10.70675/762a4319z5523z4859z8203z69b8a0805378openalex-snapshot
A framework for rigorous development of distributed components : formalisation and tools
inferredcites →https://doi.org/10.70675/a0401fc4z9e58z488ez84bezd17c69085acbopenalex-snapshot
Interoperability between proof systems using the logical framework Dedukti
inferredcites →https://doi.org/10.7561/sacs.2012.1.201openalex-snapshot
Overview of Thirty Semantic Formalisms for Reo
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/spe.70065openalex-snapshot
Visualisation and Automated Formal Verification of TOSCA Workflows
inferred← citeshttps://doi.org/10.1007/978-3-031-50684-0_15openalex-snapshot
Dynamic Adaptation of Urgent Applications in the Edge-to-Cloud Continuum
inferred← citeshttps://doi.org/10.1007/978-3-031-51060-1_2openalex-snapshot
Actor-Based Designs for Distributed Self-organisation Programming
inferred← citeshttps://doi.org/10.1007/978-3-031-51060-1_7openalex-snapshot
Integrated Timed Architectural Modeling/Execution Language
inferred← citeshttps://doi.org/10.1007/978-3-031-77382-2_14openalex-snapshot
Composing Run-Time Variability Models
inferred← citeshttps://doi.org/10.1007/978-3-031-99717-4openalex-snapshot
Components Operationally: Reversibility and System Engineering
inferred← citeshttps://doi.org/10.1007/978-3-031-99717-4_10openalex-snapshot
A Hybrid Modelling Approach for Hierarchical Control of Structured CPSs
inferred← citeshttps://doi.org/10.1007/978-3-032-06777-7_5openalex-snapshot
Towards Transitional Reconfiguration of WSNs’ Distributed Algorithms
inferred← citeshttps://doi.org/10.1007/978-3-032-28358-0_3openalex-snapshot
Motif Refinement for the Hierarchical Control of Structured CPSs
inferred← citeshttps://doi.org/10.1007/978-3-032-39143-8_2openalex-snapshot
Decentralised Dynamic Reconfiguration of Compositional Software Architectures
inferred← citeshttps://doi.org/10.1016/j.future.2024.07.042openalex-snapshot
Scalability through Pulverisation: Declarative deployment reconfiguration at runtime
inferred← citeshttps://doi.org/10.1016/j.iot.2024.101412openalex-snapshot
Dynamic IoT deployment reconfiguration: A global-level self-organisation approach
inferred← citeshttps://doi.org/10.1109/ithings-greencom-cpscom-smartdata-cybermatics60724.2023.00102openalex-snapshot
Leveraging Relay Nodes to Deploy and Update Services in a CPS with Sleeping Nodes
inferred← citeshttps://doi.org/10.1109/saner60148.2024.00007openalex-snapshot
Fast Choreography of Cross-DevOps Reconfiguration with Ballet: A Multi-Site OpenStack Case Study
inferred← citeshttps://doi.org/10.1145/3712004openalex-snapshot
Software Engineering for Collective Cyber-Physical Ecosystems
inferred← citeshttps://doi.org/10.1145/3837062.3838895openalex-snapshot
Dependency-Aware Reconfigurations of Kubernetes Deployments
inferred← citeshttps://doi.org/10.4204/eptcs.414.2openalex-snapshot
An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization
inferred← citeshttps://doi.org/10.70675/b270e879z0dc8z4670zaa1bz4153692df5f9openalex-snapshot
Étude de la consommation d’énergie et de la durée d’une reconfiguration d’un système cyber-physique au sein de la toundra arctique : de l’expérimentation sur infrastructure réelle à des simulations étendues
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.