On the public citation graph

An Automated Formal Approach to Managing Dynamic Reconfiguration

https://doi.org/10.1109/ase.2006.12

0 signed · 59 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.1109/32.60317openalex-snapshot

The evolving philosophers problem: dynamic change management

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

An architecture-based approach to self-adaptive software

inferredcites →https://doi.org/10.1109/doa.2001.954085openalex-snapshot

Transparent dynamic reconfiguration for CORBA

inferredcites →https://doi.org/10.1109/icdcs.2002.1022278openalex-snapshot

Extending RMI to support dynamic reconfiguration of distributed systems

inferredcites →https://doi.org/10.1109/icdcs.2004.1281570openalex-snapshot

ACT: an adaptive CORBA template to support unanticipated adaptation

inferredcites →https://doi.org/10.1109/icse.2000.870482openalex-snapshot

Alcoa: the Alloy constraint analyzer

inferredcites →https://doi.org/10.1109/icse.2004.1317481openalex-snapshot

An open framework for dynamic reconfiguration

inferredcites →https://doi.org/10.1109/isorc.2005.29openalex-snapshot

Heterogeneous Adaptive Component-Based Applications with Adaptive.Net

inferredcites →https://doi.org/10.1109/mc.2004.48openalex-snapshot

Composing adaptive software

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

A survey of self-management in dynamic software architecture specifications

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

Transparent shaping of existing software to support pervasive and autonomic computing

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

Transparent shaping of existing software to support pervasive and autonomic computing

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

Self-adaptive multithreaded applications

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

Formalizing style to understand descriptions of software architecture

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

A formal basis for architectural connection

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

Alcoa

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

Middleware for real-time and embedded systems

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

Self-organising software architectures for distributed systems

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

The Design and Implementation of Open ORB 2

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

An open framework for dynamic reconfiguration

inferredcites →https://doi.org/10.5860/choice.29-3938openalex-snapshot

The art of the metaobject protocol

inferredcites →https://doi.org/10.7551/mitpress/1405.001.0001openalex-snapshot

The Art of the Metaobject Protocol

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-0-387-09455-7_13openalex-snapshot

Self-Optimizing Classifiers: Formalization And Design Pattern

inferred← citeshttps://doi.org/10.1007/978-3-030-90639-9_36openalex-snapshot

A Survey on Web Service Reconfiguration

inferred← citeshttps://doi.org/10.1007/978-3-540-93851-4_34openalex-snapshot

Towards Self-management in Service-Oriented Computing with Modes

inferred← citeshttps://doi.org/10.1007/978-3-642-02161-9_6openalex-snapshot

A Case Study in Goal-Driven Architectural Adaptation

inferred← citeshttps://doi.org/10.1007/978-3-642-02704-8_3openalex-snapshot

A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems

inferred← citeshttps://doi.org/10.1007/978-3-642-16129-2_27openalex-snapshot

Monarch: Model-Based Development of Software Architectures

inferred← citeshttps://doi.org/10.1007/978-3-642-31491-9_21openalex-snapshot

Metamodel Based Methodology for Dynamic Component Systems

inferred← citeshttps://doi.org/10.1007/978-3-642-33678-2_18openalex-snapshot

Formal Development and Assessment of a Reconfigurable On-board Satellite System

inferred← citeshttps://doi.org/10.1007/978-981-15-5054-6_10openalex-snapshot

Configuration of Complex Systems—Maintaining Consistency at Runtime

inferred← citeshttps://doi.org/10.1007/s00165-016-0360-8openalex-snapshot

Model-driven synthesis of formally precise, stylized software architectures

inferred← citeshttps://doi.org/10.1007/s10515-008-0044-6openalex-snapshot

Scalable satisfiability checking and test data generation from modeling diagrams

inferred← citeshttps://doi.org/10.1016/j.jss.2011.05.060openalex-snapshot

Evaluating the impacts of dynamic reconfiguration on the QoS of running systems

inferred← citeshttps://doi.org/10.1016/j.jss.2014.12.001openalex-snapshot

QoS prediction for dynamic reconfiguration of component based software systems

inferred← citeshttps://doi.org/10.1016/j.jss.2017.01.030openalex-snapshot

A domain-specific language for the control of self-adaptive component-based architecture

inferred← citeshttps://doi.org/10.1016/j.riai.2013.11.007openalex-snapshot

Marco de Componentes con soporte para reemplazo dinámico y seguro en sistemas de tiempo real

inferred← citeshttps://doi.org/10.1016/j.sysarc.2018.12.002openalex-snapshot

Lightweight formalisation of adaptive middleware

inferred← citeshttps://doi.org/10.1109/cnsm.2010.5691219openalex-snapshot

Towards a validation framework for dynamic reconfiguration

inferred← citeshttps://doi.org/10.1109/cnsm.2013.6727855openalex-snapshot

Integrating an online configuration checker with existing management systems: Application to CIM/WBEM environments

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

Runtime Adjustment of Configuration Models for Consistency Preservation

inferred← citeshttps://doi.org/10.1109/iccsp.2014.6950070openalex-snapshot

An approach to assure QoS for dynamically reconfigurable component-based software systems

inferred← citeshttps://doi.org/10.1109/iceccs.2010.17openalex-snapshot

Configuration Procedure Synthesis for Complex Systems Using Model Finder

inferred← citeshttps://doi.org/10.1109/ices.2013.6613283openalex-snapshot

On the implications of plug-and-learn adaptive hardware components toward a cyberphysical systems perspective on evolvable and adaptive hardware

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

Partial Validation of Configurations at Runtime

inferred← citeshttps://doi.org/10.1109/safeconfig.2011.6111670openalex-snapshot

A dynamic configuration validation language

inferred← citeshttps://doi.org/10.1109/tse.2011.37openalex-snapshot

QoS Assurance for Dynamic Reconfiguration of Component-Based Software Systems

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

Scalable automatic test data generation from modeling diagrams

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

From goals to components

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

A survey of formal methods in self-adaptive systems

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

An adaptive middleware in Go

inferred← citeshttps://doi.org/10.1186/s13174-020-00124-5openalex-snapshot

Adaptive middleware in go - a software architecture-based approach

inferred← citeshttps://doi.org/10.1587/transinf.e96.d.1696openalex-snapshot

Synthesis of Configuration Change Procedure Using Model Finder

inferred← citeshttps://doi.org/10.18130/v3k21nopenalex-snapshot

Synthesis from Formal Partial Abstractions

inferred← citeshttps://doi.org/10.25560/5762openalex-snapshot

Autonomous Architectural Assembly And Adaptation

inferred← citeshttps://doi.org/10.26634/jcom.1.3.2545openalex-snapshot

Ensuring Qos For Dynamic Reconfiguration Of Fifo Based Systems

inferred← citeshttps://doi.org/10.3166/obj.14.4.73-102openalex-snapshot

Une approche formelle de la reconfiguration dynamique

inferred← citeshttps://doi.org/10.4018/978-1-60960-845-3.ch001openalex-snapshot

Formal Methods for the Development and Verification of Autonomic IT Systems

inferred← citeshttps://doi.org/10.5555/1929101.1929139openalex-snapshot

Monarch: model-based development of software architectures

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.