On the public citation graph

Exogenous coordination of concurrent software components with JavaBIP

https://doi.org/10.1002/spe.2495
0 signed · 66 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.767openalex-snapshot
The F RACTAL component model and its support in Java
inferredcites →https://doi.org/10.1007/11550679_9openalex-snapshot
A Java Implementation of a Component Model with Explicit Symbolic Protocols
inferredcites →https://doi.org/10.1007/11783565_10openalex-snapshot
A Component Model Engineered with Components and Aspects
inferredcites →https://doi.org/10.1007/978-3-319-10431-7_10openalex-snapshot
A General Framework for Architecture Composability
inferredcites →https://doi.org/10.1007/978-3-319-24953-7_25openalex-snapshot
Formal Verification of Infinite-State BIP Models
inferredcites →https://doi.org/10.1007/978-3-319-39519-7_13openalex-snapshot
From Modelling to Systematic Deployment of Distributed Active Objects
inferredcites →https://doi.org/10.1007/978-3-319-57666-4_16openalex-snapshot
Architecture-Based Design: A Satellite On-Board Software Case Study
inferredcites →https://doi.org/10.1007/978-3-540-24675-6_11openalex-snapshot
Communication Style Driven Connector Configurations
inferredcites →https://doi.org/10.1007/978-3-540-24851-4_21openalex-snapshot
Typestates for Objects
inferredcites →https://doi.org/10.1007/978-3-540-39815-8_20openalex-snapshot
SynchNet: A Petri Net Based Coordination Language for Distributed Objects
inferredcites →https://doi.org/10.1007/978-3-642-02658-4_45openalex-snapshot
D-Finder: A Tool for Compositional Deadlock Detection and Verification
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-22045-6_4openalex-snapshot
Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems
inferredcites →https://doi.org/10.1007/978-3-642-30564-1_1openalex-snapshot
Modeling Dynamic Architectures Using Dy-BIP
inferredcites →https://doi.org/10.1007/978-3-662-49224-6_5openalex-snapshot
Behavioral Types for Component-Based Development of Cyber-Physical Systems
inferredcites →https://doi.org/10.1007/978-3-662-49665-7_5openalex-snapshot
Integrated Environment for Verifying and Running Distributed Components
inferredcites →https://doi.org/10.1007/s00165-015-0349-8openalex-snapshot
A general framework for architecture composability
inferredcites →https://doi.org/10.1007/s10703-010-0091-zopenalex-snapshot
Causal semantics for the algebra of connectors
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/0167-6423(87)90035-9openalex-snapshot
Statecharts: a visual formalism for complex systems
inferredcites →https://doi.org/10.1016/j.ic.2008.12.004openalex-snapshot
Asynchronous sequential processes
inferredcites →https://doi.org/10.1016/j.jlamp.2016.05.002openalex-snapshot
Configuration logics: Modeling architecture styles
inferredcites →https://doi.org/10.1016/j.jlamp.2017.02.003openalex-snapshot
Behavioural semantics for asynchronous components
inferredcites →https://doi.org/10.1109/ase.2008.39openalex-snapshot
Predictive Typestate Checking of Multithreaded Java Programs
inferredcites →https://doi.org/10.1109/icse.2009.5070537openalex-snapshot
FlexSync: An aspect-oriented approach to Java synchronization
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/seaa.2011.76openalex-snapshot
A Study of the Characteristics of Behaviour Driven Development
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/tc.1978.1675141openalex-snapshot
Binary Decision Diagrams
inferredcites →https://doi.org/10.1109/tc.2008.26openalex-snapshot
The Algebra of Connectors—Structuring Interaction in BIP
inferredcites →https://doi.org/10.1145/1244002.1244326openalex-snapshot
Checking software component behavior using behavior protocols and spin
inferredcites →https://doi.org/10.1145/1453101.1453122openalex-snapshot
Generation of concurrency control code using discrete-event systems theory
inferredcites →https://doi.org/10.1145/1595637.1595647openalex-snapshot
A thread synchronization model for SIP servlet containers
inferredcites →https://doi.org/10.1145/1639950.1640073openalex-snapshot
Typestate-oriented programming
inferredcites →https://doi.org/10.1145/1937117.1937126openalex-snapshot
Comparing the usability of library vs. language approaches to task parallelism
inferredcites →https://doi.org/10.1145/2593770.2593777openalex-snapshot
Coordination of software components with BIP: application to OSGi
inferredcites →https://doi.org/10.1145/2602458.2602463openalex-snapshot
Design-by-contract for reusable components and realizable architectures
inferredcites →https://doi.org/10.1145/2602458.2602477openalex-snapshot
Architecture internalisation in BIP
inferredcites →https://doi.org/10.1145/566171.566212openalex-snapshot
Automatic extraction of object-oriented component interfaces
inferredcites →https://doi.org/10.1145/581339.581394openalex-snapshot
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs
inferredcites →https://doi.org/10.1145/643603.643610openalex-snapshot
Arranging language features for more robust pattern-based crosscuts
inferredcites →https://doi.org/10.3233/fun-2004-63405openalex-snapshot
Modeling and Verification of Reactive Systems using Rebeca
inferredcites →https://doi.org/10.4204/eptcs.108.6openalex-snapshot
Towards a Framework for Behavioral Specifications of OSGi Components
inferredcites →https://doi.org/10.4204/eptcs.223.6openalex-snapshot
Architecture Diagrams: A Graphical Language for Architecture Style Specification
inferredcites →https://doi.org/10.5555/1152333.1152345openalex-snapshot
The FRACTAL component model and its support in Java
inferredcites →https://doi.org/10.5555/954186.954206openalex-snapshot
SynchNet: a Petri net based coordination language for distributed objects
inferredcites →https://doi.org/10.7551/mitpress/1086.001.0001openalex-snapshot
Actors

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.2568openalex-snapshot
Model‐based design of IoT systems with the BIP component framework
inferred← citeshttps://doi.org/10.1007/978-3-031-30826-0openalex-snapshot
Fundamental Approaches to Software Engineering
inferred← citeshttps://doi.org/10.1007/978-3-031-30826-0_8openalex-snapshot
JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java
inferred← citeshttps://doi.org/10.1007/978-3-031-35361-1_15openalex-snapshot
Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-35361-1_5openalex-snapshot
Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-62697-5_10openalex-snapshot
Team Automata: Overview and Roadmap
inferred← citeshttps://doi.org/10.1007/978-3-031-65630-9_1openalex-snapshot
The VerCors Verifier: A Progress Report
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-319-59746-1_11openalex-snapshot
Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies
inferred← citeshttps://doi.org/10.1007/978-3-319-68034-7_3openalex-snapshot
Coordination of Dynamic Software Components with JavaBIP
inferred← citeshttps://doi.org/10.1007/s00236-019-00337-7openalex-snapshot
Expressiveness of component-based frameworks: a study of the expressiveness of BIP
inferred← citeshttps://doi.org/10.1016/j.jlamp.2017.06.003openalex-snapshot
Functional BIP: Embedding connectors in functional programming languages
inferred← citeshttps://doi.org/10.1109/dsn-w58399.2023.00066openalex-snapshot
Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software
inferred← citeshttps://doi.org/10.1109/dsn-w58399.2023.00069openalex-snapshot
Formalizing Model Inference of MicroPython
inferred← citeshttps://doi.org/10.1109/icsa-c54293.2022.00027openalex-snapshot
Safe Dynamic Reconfiguration of Concurrent Component-based Applications
inferred← citeshttps://doi.org/10.1109/jproc.2018.2864271openalex-snapshot
Codesign Methodologies and Tools for Cyber–Physical Systems
inferred← citeshttps://doi.org/10.1142/s0218194023500389openalex-snapshot
Towards Exogenous Coordination of Concurrent Cloud Applications
inferred← citeshttps://doi.org/10.1145/3595376openalex-snapshot
Component-based Distributed Software Reconfiguration:A Verification-oriented Survey
inferred← citeshttps://doi.org/10.4204/eptcs.272.8openalex-snapshot
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP
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.