On the public citation graph

Synchronizing Behavioural Mismatch in Software Composition

https://doi.org/10.1007/11768869_7
0 signed · 63 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/11550679_8openalex-snapshot
A Model of Components with Non-regular Protocols
inferredcites →https://doi.org/10.1007/11589976_6openalex-snapshot
Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods
inferredcites →https://doi.org/10.1007/978-0-387-35496-5_15openalex-snapshot
Generating Adapters for Concurrent Component Protocol Synchronisation
inferredcites →https://doi.org/10.1007/978-3-540-30469-2_42openalex-snapshot
Checking Asynchronously Communicating Components Using Symbolic Transition Systems
inferredcites →https://doi.org/10.1007/978-3-540-30554-5_13openalex-snapshot
Coordination and Adaptation Techniques for Software Entities
inferredcites →https://doi.org/10.1007/978-3-540-39800-4_6openalex-snapshot
Software Architecture for Correct Components Assembly
inferredcites →https://doi.org/10.1016/0096-0551(80)90011-9openalex-snapshot
Introduction to automata theory, languages, and computation
inferredcites →https://doi.org/10.1016/0304-3975(78)90036-1openalex-snapshot
The covering and boundedness problems for vector addition systems
inferredcites →https://doi.org/10.1016/0378-4754(81)90068-9openalex-snapshot
Introduction to automata theory, languages and computation
inferredcites →https://doi.org/10.1016/j.jss.2003.05.007openalex-snapshot
A formal approach to component adaptation
inferredcites →https://doi.org/10.1016/j.scico.2005.07.012openalex-snapshot
Component adaptation through flexible subservicing
inferredcites →https://doi.org/10.1016/s0164-1212(02)00037-7openalex-snapshot
Deadlock-free software architectures for COM/DCOM Applications
inferredcites →https://doi.org/10.1080/00207540412331312688openalex-snapshot
The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
inferredcites →https://doi.org/10.1109/5.24143openalex-snapshot
Petri nets: Properties, analysis and applications
inferredcites →https://doi.org/10.1109/52.714622openalex-snapshot
The current state of CBSE
inferredcites →https://doi.org/10.1145/210376.210389openalex-snapshot
Research directions in software composition
inferredcites →https://doi.org/10.1145/244795.244801openalex-snapshot
Protocol specifications and component adaptors

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-1-4471-4811-1_11openalex-snapshot
Component Semantic Dynamic Adaptation of Aspect-Oriented Programming
inferred← citeshttps://doi.org/10.1007/978-3-030-02852-7_19openalex-snapshot
Component Design and Adaptation Based on Behavioral Contracts
inferred← citeshttps://doi.org/10.1007/978-3-319-25423-4_27openalex-snapshot
SysML Blocks Adaptation
inferred← citeshttps://doi.org/10.1007/978-3-319-32582-8_1openalex-snapshot
Automated Analysis of Asynchronously Communicating Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-70561-1_14openalex-snapshot
Refactoring-Based Adaptation of Adaptation Specifications
inferred← citeshttps://doi.org/10.1007/978-3-540-71209-1_16openalex-snapshot
Adaptor Synthesis for Real-Time Components
inferred← citeshttps://doi.org/10.1007/978-3-540-71774-4_9openalex-snapshot
Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation
inferred← citeshttps://doi.org/10.1007/978-3-540-72794-1_17openalex-snapshot
Context-Based Adaptation of Component Behavioural Interfaces
inferred← citeshttps://doi.org/10.1007/978-3-540-72952-5_9openalex-snapshot
Adaptation of Open Component-Based Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-73196-2_22openalex-snapshot
Transactional Reduction of Component Compositions
inferred← citeshttps://doi.org/10.1007/978-3-540-78195-0_15openalex-snapshot
Practical Approaches for Software Adaptation
inferred← citeshttps://doi.org/10.1007/978-3-540-78743-3_31openalex-snapshot
Clint: A Composition Language Interpreter (Tool Paper)
inferred← citeshttps://doi.org/10.1007/978-3-642-17071-3_1openalex-snapshot
A Framework for Reasoning on Component Composition
inferred← citeshttps://doi.org/10.1007/978-3-642-18070-5openalex-snapshot
Formal Verification of Object-Oriented Software
inferred← citeshttps://doi.org/10.1007/978-3-642-34059-8_6openalex-snapshot
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space
inferred← citeshttps://doi.org/10.1007/978-3-642-39031-9_23openalex-snapshot
Towards an Optimized Software Architecture for Component Adaptation at Middleware Level
inferred← citeshttps://doi.org/10.1007/978-3-662-46675-9_17openalex-snapshot
Model-Based Adaptation of Software Communicating via FIFO Buffers
inferred← citeshttps://doi.org/10.1007/s10703-017-0285-8openalex-snapshot
Automated verification of automata communicating via FIFO and bag buffers
inferred← citeshttps://doi.org/10.1016/j.cl.2010.07.001openalex-snapshot
QoS-enabled and self-adaptive connectors for Web Services composition and coordination
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.09.037openalex-snapshot
An Adaptation-based Approach to Incrementally Build Component Systems
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.03.005openalex-snapshot
Dynamic Contextual Adaptation
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.05.048openalex-snapshot
Safe Adaptation of Component Coordination
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.06.020openalex-snapshot
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.06.024openalex-snapshot
Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.07.066openalex-snapshot
Dinapter: Automatic Adapter Specification for Software Composition
inferred← citeshttps://doi.org/10.1016/j.future.2014.09.011openalex-snapshot
A layered interface-adaptation architecture for distributed component-based systems
inferred← citeshttps://doi.org/10.1016/j.jss.2008.04.006openalex-snapshot
Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems
inferred← citeshttps://doi.org/10.1016/j.jss.2008.05.030openalex-snapshot
An architectural approach to the correct and automatic assembly of evolving component-based systems
inferred← citeshttps://doi.org/10.1016/j.scico.2008.03.001openalex-snapshot
Failure-free coordinators synthesis for component-based architectures
inferred← citeshttps://doi.org/10.1109/icse.2007.84openalex-snapshot
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems
inferred← citeshttps://doi.org/10.1109/isdea.2012.22openalex-snapshot
A Framework of Service Invocation in the Novel DSS Based on Humanware Service
inferred← citeshttps://doi.org/10.1109/isps.2015.7245002openalex-snapshot
Compatibility verification of SysML blocks using hierarchical interface automata
inferred← citeshttps://doi.org/10.1109/mompes.2008.13openalex-snapshot
Towards a Model-Based Approach for Context-Aware Composition and Adaptation: A Case Study using WF/.NET
inferred← citeshttps://doi.org/10.1109/scc.2011.33openalex-snapshot
A Clustering Based Schema Matching Scheme for Improving Matching Correctness of Web Service Interfaces
inferred← citeshttps://doi.org/10.1109/seams.2009.5069071openalex-snapshot
Behavioural self-adaptation of services in ubiquitous computing environments
inferred← citeshttps://doi.org/10.1109/sefm.2007.35openalex-snapshot
Run-time Composition and Adaptation of Mismatching Behavioural Transactions
inferred← citeshttps://doi.org/10.1109/sefm.2008.42openalex-snapshot
Generation of Service Wrapper Protocols from Choreography Specifications
inferred← citeshttps://doi.org/10.1109/tse.2008.31openalex-snapshot
Model-Based Adaptation of Behavioral Mismatching Components
inferred← citeshttps://doi.org/10.1109/tse.2011.62openalex-snapshot
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques
inferred← citeshttps://doi.org/10.1145/1321631.1321690openalex-snapshot
Behavioral adaptation of component compositions based on process algebra encodings
inferred← citeshttps://doi.org/10.1145/2025113.2025199openalex-snapshot
EAGLE
inferred← citeshttps://doi.org/10.1145/3595376openalex-snapshot
Component-based Distributed Software Reconfiguration:A Verification-oriented Survey
inferred← citeshttps://doi.org/10.3217/jucs-012-12-1741openalex-snapshot
A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic
inferred← citeshttps://doi.org/10.3217/jucs-014-13-2182openalex-snapshot
Composition and Run-time Adaptation of Mismatching Behavioural Interfaces
inferred← citeshttps://doi.org/10.5555/1787553.1787572openalex-snapshot
Practical approaches for software adaptation: report on the 4th workshop WCAT at ECOOP 2007
inferred← citeshttps://doi.org/10.70675/6ecd98efz22b8z4ccfzac25z976c3e1d5ec0openalex-snapshot
Contributions à la vérification de la sûreté de l'assemblage et à l'adaptation de composants réutilisables
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.