On the public citation graph

Specifying and analyzing dynamic software architectures

https://doi.org/10.1007/bfb0053581
0 signed · 353 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/3-540-58618-0_56openalex-snapshot
Compile-time detection of information flow in sequential programs
inferredcites →https://doi.org/10.1007/978-3-642-82921-5_4openalex-snapshot
Notes on Communicating Sequential Systems
inferredcites →https://doi.org/10.1109/32.385970openalex-snapshot
Abstractions for software architecture and tools to support them
inferredcites →https://doi.org/10.1109/32.385971openalex-snapshot
Specification and analysis of system architecture using Rapide
inferredcites →https://doi.org/10.1109/32.385973openalex-snapshot
Formal specification and analysis of software architectures using the chemical abstract machine model
inferredcites →https://doi.org/10.1109/32.825767openalex-snapshot
A classification and comparison framework for software architecture description languages
inferredcites →https://doi.org/10.1109/aero.1996.495894openalex-snapshot
Evolving dependable real-time systems
inferredcites →https://doi.org/10.1145/177492.177726openalex-snapshot
The temporal logic of actions
inferredcites →https://doi.org/10.1145/1925805.1925814openalex-snapshot
Acme
inferredcites →https://doi.org/10.1145/239098.239104openalex-snapshot
Dynamic structure in software architectures
inferredcites →https://doi.org/10.1145/239098.239105openalex-snapshot
Software architecture styles as graph grammars
inferredcites →https://doi.org/10.1145/258077.258078openalex-snapshot
A formal basis for architectural connection
inferredcites →https://doi.org/10.1184/r1/6703466openalex-snapshot
ACME: An Architecture Description Interchange Language

What points at this work

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

inferred← citeshttps://doi.org/10.1002/9781118602638.ch5openalex-snapshot
Architecture Description Languages
inferred← citeshttps://doi.org/10.1002/smr.260openalex-snapshot
Separating computation, coordination and configuration
inferred← citeshttps://doi.org/10.1002/spe.2271openalex-snapshot
Breeze graph grammar: a graph grammar approach for modeling the software architecture of big data‐oriented software systems
inferred← citeshttps://doi.org/10.1002/spe.608openalex-snapshot
A specification language and service‐oriented architecture to support distributed data management
inferred← citeshttps://doi.org/10.1007/0-387-24590-1_6openalex-snapshot
Safarchie Studio: ArgoUML Extensions to Build Safe Architectures
inferred← citeshttps://doi.org/10.1007/0-387-24590-1_7openalex-snapshot
Enhancing the Role of Interfaces in Software Architecture Description Languages (ADLs)
inferred← citeshttps://doi.org/10.1007/11494713_1openalex-snapshot
Managing Dynamic Reconfiguration in Component-Based Systems
inferred← citeshttps://doi.org/10.1007/11494713_6openalex-snapshot
Handling Dynamic Behaviour in Software Architectures
inferred← citeshttps://doi.org/10.1007/11534310_126openalex-snapshot
A CORBA-Based Dynamic Reconfigurable Middleware
inferred← citeshttps://doi.org/10.1007/11556169_11openalex-snapshot
A Feature-Oriented Alternative to Implementing Reliability Connector Wrappers
inferred← citeshttps://doi.org/10.1007/11568322_2openalex-snapshot
How to Manage Uniformly Software Architecture at Different Abstraction Levels
inferred← citeshttps://doi.org/10.1007/11581741_7openalex-snapshot
An MDA Approach for Adaptable Components
inferred← citeshttps://doi.org/10.1007/11596141_20openalex-snapshot
DySOA: Making Service Systems Self-adaptive
inferred← citeshttps://doi.org/10.1007/11596356_13openalex-snapshot
AlchemistJ: A Framework for Self-adaptive Software
inferred← citeshttps://doi.org/10.1007/11763864_3openalex-snapshot
Automating Integration of Heterogeneous COTS Components
inferred← citeshttps://doi.org/10.1007/11802167_45openalex-snapshot
Designing Dynamic Software Architecture for Home Service Robot Software
inferred← citeshttps://doi.org/10.1007/11821946_12openalex-snapshot
Modeling Composition in Dynamic Programming Environments with Model Transformations
inferred← citeshttps://doi.org/10.1007/3-540-36124-3_63openalex-snapshot
Distributed Component System Based on Architecture Description: The SOFA Experience
inferred← citeshttps://doi.org/10.1007/3-540-36554-0_13openalex-snapshot
Dynamic Change in Workflow-Based Coordination of Distributed Services
inferred← citeshttps://doi.org/10.1007/3-540-45177-3_3openalex-snapshot
Increasing System Dependability through Architecture-Based Self-Repair
inferred← citeshttps://doi.org/10.1007/3-540-45429-2_6openalex-snapshot
The K-Component Architecture Meta-Model for Self-Adaptive Software
inferred← citeshttps://doi.org/10.1007/3-540-45923-5_8openalex-snapshot
Architectural Types Revisited: Extensible And/Or Connections
inferred← citeshttps://doi.org/10.1007/3-540-47849-3_23openalex-snapshot
Component Change and Version Identification in SOFA
inferred← citeshttps://doi.org/10.1007/3-540-48166-4_24openalex-snapshot
Algebraic Software Architecture Reconfiguration
inferred← citeshttps://doi.org/10.1007/978-0-387-35563-4_7openalex-snapshot
Specification and Refinement of Dynamic Software Architectures
inferred← citeshttps://doi.org/10.1007/978-0-387-35607-5_9openalex-snapshot
Introducing Reflection in Architecture Description Languages
inferred← citeshttps://doi.org/10.1007/978-1-84800-223-4openalex-snapshot
A Process Algebraic Approach to Software Architecture Design
inferred← citeshttps://doi.org/10.1007/978-1-84800-223-4_4openalex-snapshot
Component-Oriented Modeling
inferred← citeshttps://doi.org/10.1007/978-3-030-02146-7_6openalex-snapshot
Programming Dynamic Reconfigurable Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-03424-5_20openalex-snapshot
Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP
inferred← citeshttps://doi.org/10.1007/978-3-030-26601-1_14openalex-snapshot
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-16957-1_9openalex-snapshot
Future Advances in Reference Architectures
inferred← citeshttps://doi.org/10.1007/978-3-319-02444-8_14openalex-snapshot
Verification of a Dynamic Management Protocol for Cloud Applications
inferred← citeshttps://doi.org/10.1007/978-3-319-02812-5_17openalex-snapshot
A Visual Logic for the Description of Highway Traffic Scenarios
inferred← citeshttps://doi.org/10.1007/978-3-319-06200-6_3openalex-snapshot
Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification
inferred← citeshttps://doi.org/10.1007/978-3-319-09144-0_45openalex-snapshot
On Specifying Reconfigurable Component-Based Systems Using Strategies
inferred← citeshttps://doi.org/10.1007/978-3-319-15392-6_1openalex-snapshot
Modular Design and Verification of Distributed Adaptive Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-15545-6_24openalex-snapshot
A Theory Agenda for Component-Based Design
inferred← citeshttps://doi.org/10.1007/978-3-319-15545-6_32openalex-snapshot
A White Box Perspective on Behavioural Adaptation
inferred← citeshttps://doi.org/10.1007/978-3-319-19084-6_11openalex-snapshot
Dynamic Service Selection with Optimal Stopping and ‘Trivial Choice’
inferred← citeshttps://doi.org/10.1007/978-3-319-46750-4_14openalex-snapshot
Specifying Properties of Dynamic Architectures Using Configuration Traces
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/978-3-319-95582-7_37openalex-snapshot
Formal Specification and Verification of Dynamic Parametrized Architectures
inferred← citeshttps://doi.org/10.1007/978-3-540-24645-9_21openalex-snapshot
Migrating Application Integrations
inferred← citeshttps://doi.org/10.1007/978-3-540-24769-2_18openalex-snapshot
Model Checking for Software Architectures
inferred← citeshttps://doi.org/10.1007/978-3-540-24769-2_23openalex-snapshot
ArchWare: Architecting Evolvable Software
inferred← citeshttps://doi.org/10.1007/978-3-540-27860-3_13openalex-snapshot
The Role of Software Architecture in Configuring Middleware: The ScalAgent Experience
inferred← citeshttps://doi.org/10.1007/978-3-540-30121-9_11openalex-snapshot
Component Composition Tools: Process Call Scheduling According to the Priority in Connector
inferred← citeshttps://doi.org/10.1007/978-3-540-30469-2_42openalex-snapshot
Checking Asynchronously Communicating Components Using Symbolic Transition Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-39800-4_1openalex-snapshot
Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events
inferred← citeshttps://doi.org/10.1007/978-3-540-39964-3_89openalex-snapshot
Analysing Mailboxes of Asynchronous Communicating Components
inferred← citeshttps://doi.org/10.1007/978-3-540-68679-8_4openalex-snapshot
Graph-Based Design and Analysis of Dynamic Software Architectures
inferred← citeshttps://doi.org/10.1007/978-3-540-71156-8_11openalex-snapshot
Dynamic System Reconfiguration Via Service Composition for Dependable Computing
inferred← citeshttps://doi.org/10.1007/978-3-540-73551-9_9openalex-snapshot
Monitoring Architectural Properties in Dynamic Component-Based Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-74343-9_8openalex-snapshot
Flexible Software Architecture
inferred← citeshttps://doi.org/10.1007/978-3-540-75221-9_20openalex-snapshot
Design in CommUnity with Extension Morphisms
inferred← citeshttps://doi.org/10.1007/978-3-540-76440-3_10openalex-snapshot
Software Architecture Evolution
inferred← citeshttps://doi.org/10.1007/978-3-540-76811-1_6openalex-snapshot
AO-ADL: An ADL for Describing Aspect-Oriented Architectures
inferred← citeshttps://doi.org/10.1007/978-3-540-77042-8_2openalex-snapshot
COMPASS: Composition-Centric Mapping of Aspectual Requirements to Architecture
inferred← citeshttps://doi.org/10.1007/978-3-540-78743-3_26openalex-snapshot
Verification of Architectural Refactorings by Rule Extraction
inferred← citeshttps://doi.org/10.1007/978-3-540-92966-6_2openalex-snapshot
Current and Future Research Directions in Requirements Engineering
inferred← citeshttps://doi.org/10.1007/978-3-642-01639-4_13openalex-snapshot
A Need for Biologically Inspired Architectural Description: The Agent Ontogenesis Case
inferred← citeshttps://doi.org/10.1007/978-3-642-02161-9_11openalex-snapshot
Model-Driven Assessment of QoS-Aware Self-Adaptation
inferred← citeshttps://doi.org/10.1007/978-3-642-03718-4_60openalex-snapshot
Formal Specification of Reconfigurable Architecture
inferred← citeshttps://doi.org/10.1007/978-3-642-04750-3_5openalex-snapshot
An Approach towards Enterprise Interoperability Assessment
inferred← citeshttps://doi.org/10.1007/978-3-642-10248-6_13openalex-snapshot
Compositional Verification of Architectural Refactorings
inferred← citeshttps://doi.org/10.1007/978-3-642-11659-9_11openalex-snapshot
Multi-criteria Service Selection with Optimal Stopping in Dynamic Service-Oriented Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-13556-9_2openalex-snapshot
Architectural Design Decisions for Achieving Reliable Software Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-15114-9_8openalex-snapshot
A Model for Dynamic Reconfiguration in Service-Oriented Architectures
inferred← citeshttps://doi.org/10.1007/978-3-642-16167-4_64openalex-snapshot
Consistency Analysis of Dynamic Evolution of Software Architectures Using Constraint Hypergraph Grammars
inferred← citeshttps://doi.org/10.1007/978-3-642-16561-0_19openalex-snapshot
Towards Dynamic Adaptation of Probabilistic Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-17245-8_6openalex-snapshot
A Framework for Flexible and Dependable Service-Oriented Embedded Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-21437-0_10openalex-snapshot
Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS NT and CADP
inferred← citeshttps://doi.org/10.1007/978-3-642-22688-5_27openalex-snapshot
Modeling UAS Swarm System Using Conceptual and Dynamic Architectural Modeling Concepts
inferred← citeshttps://doi.org/10.1007/978-3-642-27269-1_8openalex-snapshot
Distributed Adaption of Dining Philosophers
inferred← citeshttps://doi.org/10.1007/978-3-642-30564-1_1openalex-snapshot
Modeling Dynamic Architectures Using Dy-BIP
inferred← citeshttps://doi.org/10.1007/978-3-642-31069-0_14openalex-snapshot
Towards Requirements and Architecture Co-evolution
inferred← citeshttps://doi.org/10.1007/978-3-642-32759-9_16openalex-snapshot
When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations
inferred← citeshttps://doi.org/10.1007/978-3-642-36249-1_1openalex-snapshot
Model Checking Adaptive Software with Featured Transition Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-36249-1_3openalex-snapshot
Verification of a Self-configuration Protocol for Distributed Applications in the Cloud
inferred← citeshttps://doi.org/10.1007/978-3-662-62919-2_9openalex-snapshot
Semantic-Based Automatic Generation of Reconfigurable Distributed Mobile Applications in Pervasive Environments
inferred← citeshttps://doi.org/10.1007/978-981-15-9343-7_50openalex-snapshot
Preserving Sustainability for Mission-Oriented Cyber-Physical Systems Collaboration
inferred← citeshttps://doi.org/10.1007/s00165-016-0375-1openalex-snapshot
Rigorous development of component-based systems using component metadata and patterns
inferred← citeshttps://doi.org/10.1007/s00165-019-00488-xopenalex-snapshot
Interactive verification of architectural design patterns in FACTum
inferred← citeshttps://doi.org/10.1007/s00607-013-0295-3openalex-snapshot
Development of global specification for dynamically adaptive software
inferred← citeshttps://doi.org/10.1007/s10009-020-00596-7openalex-snapshot
Programming dynamic reconfigurable systems
inferred← citeshttps://doi.org/10.1007/s100090050003openalex-snapshot
The Electronic Tool Integration platform: concepts and design
inferred← citeshttps://doi.org/10.1007/s10270-010-0162-zopenalex-snapshot
Modeling and enforcing invariants of dynamic software architectures
inferred← citeshttps://doi.org/10.1007/s10270-012-0236-1openalex-snapshot
A model for dynamic reconfiguration in service-oriented architectures
inferred← citeshttps://doi.org/10.1007/s10270-014-0411-7openalex-snapshot
Formalizing and verifying stochastic system architectures using Monterey Phoenix
inferred← citeshttps://doi.org/10.1007/s10270-014-0433-1openalex-snapshot
Enhanced graph rewriting systems for complex software domains
inferred← citeshttps://doi.org/10.1007/s10626-021-00343-3openalex-snapshot
Formal specification and verification of decentralized self-adaptive systems using symmetric nets
inferred← citeshttps://doi.org/10.1007/s11219-007-9016-5openalex-snapshot
Supporting high interoperability of components by adopting an agent-based approach
inferred← citeshttps://doi.org/10.1007/s11334-006-0016-6openalex-snapshot
Specifying real-time properties in autonomic systems
inferred← citeshttps://doi.org/10.1007/s11334-013-0204-0openalex-snapshot
An experience report on the verification of autonomic protocols in the cloud
inferred← citeshttps://doi.org/10.1007/s11633-016-1028-9openalex-snapshot
xBreeze/ADL: A language for software architecture specification and analysis
inferred← citeshttps://doi.org/10.1007/s11633-017-1102-yopenalex-snapshot
A Creative Approach to Reducing Ambiguity In Scenario-based Software Architecture Analysis
inferred← citeshttps://doi.org/10.1007/s11859-011-0792-1openalex-snapshot
Formal description of the crossing social network system architecture based on temporal logic
inferred← citeshttps://doi.org/10.1007/s13174-011-0049-4openalex-snapshot
Applying evolutionary computation to mitigate uncertainty in dynamically-adaptive, high-assurance middleware
inferred← citeshttps://doi.org/10.1016/b978-0-12-410464-8.00001-5openalex-snapshot
Economics-Driven Software Architecture
inferred← citeshttps://doi.org/10.1016/b978-0-12-410464-8.00018-0openalex-snapshot
Foreword by John Grundy Economics-Driven Software Architecting
inferred← citeshttps://doi.org/10.1016/j.cl.2015.07.001openalex-snapshot
On the verification of architectural reconfigurations
inferred← citeshttps://doi.org/10.1016/j.dss.2005.06.001openalex-snapshot
A software architecture and framework for Web-based distributed Decision Support Systems
inferred← citeshttps://doi.org/10.1016/j.engappai.2004.08.026openalex-snapshot
Automated adaptations to dynamic software architectures by using autonomous agents
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.01.013openalex-snapshot
Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.02.067openalex-snapshot
Towards Composition Management for Component-based Peer-to-Peer Architectures
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.02.033openalex-snapshot
A Contract-based Approach to Specifying and Verifying Safety Critical Systems
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.04.073openalex-snapshot
Modelling Dynamic Software Architectures using Typed Graph Grammars
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.03.018openalex-snapshot
A Graph-based Design Framework for Global Computing Systems
inferred← citeshttps://doi.org/10.1016/j.jlap.2010.09.001openalex-snapshot
A contract-based approach to adaptivity
inferred← citeshttps://doi.org/10.1016/j.jpdc.2003.10.006openalex-snapshot
A framework for architecting and high-level programming support of CORBA applications
inferred← citeshttps://doi.org/10.1016/j.jpdc.2008.02.005openalex-snapshot
Assurance of dynamic adaptation in distributed systems
inferred← citeshttps://doi.org/10.1016/j.jss.2006.02.059openalex-snapshot
Software architecture-based regression testing
inferred← citeshttps://doi.org/10.1016/j.jss.2006.02.062openalex-snapshot
Using temporal logic to specify adaptive program semantics
inferred← citeshttps://doi.org/10.1016/j.jss.2006.03.047openalex-snapshot
Developing adaptive systems with synchronized architectures
inferred← citeshttps://doi.org/10.1016/j.jss.2008.06.039openalex-snapshot
Quality attribute tradeoff through adaptive architectures at runtime
inferred← citeshttps://doi.org/10.1016/j.jss.2009.09.031openalex-snapshot
P/S-CoM: Building correct by design Publish/Subscribe architectural styles with safe reconfiguration
inferred← citeshttps://doi.org/10.1016/j.jss.2009.11.709openalex-snapshot
A classification and comparison of model checking software architecture techniques
inferred← citeshttps://doi.org/10.1016/j.jss.2010.02.025openalex-snapshot
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation
inferred← citeshttps://doi.org/10.1016/j.jss.2012.04.033openalex-snapshot
A feedback-based decentralised coordination model for distributed open real-time systems
inferred← citeshttps://doi.org/10.1016/j.jss.2015.09.020openalex-snapshot
Robust and reliable reconfiguration of cloud applications
inferred← citeshttps://doi.org/10.1016/j.jss.2016.03.010openalex-snapshot
Self-adaptive architecture evolution with model checking: A software cybernetics approach
inferred← citeshttps://doi.org/10.1016/j.pmcj.2009.07.003openalex-snapshot
A dynamic platform for run-time adaptation
inferred← citeshttps://doi.org/10.1016/j.scico.2013.11.034openalex-snapshot
Dynamic adaptation with distributed control in Paradigm
inferred← citeshttps://doi.org/10.1016/j.scico.2014.02.026openalex-snapshot
A perspective on architectural re-engineering
inferred← citeshttps://doi.org/10.1016/j.scico.2014.10.005openalex-snapshot
A design-by-contract approach to recover the architectural style from run-time misbehaviour
inferred← citeshttps://doi.org/10.1016/j.scico.2015.12.001openalex-snapshot
Formal design of dynamic reconfiguration protocol for cloud applications
inferred← citeshttps://doi.org/10.1016/j.scico.2018.03.002openalex-snapshot
Zone-based formal specification and timing analysis of real-time self-adaptive systems
inferred← citeshttps://doi.org/10.1016/j.scico.2019.06.001openalex-snapshot
A calculus for dynamic architectures
inferred← citeshttps://doi.org/10.1016/j.sysarc.2010.08.005openalex-snapshot
RETRACTED: Specification and verification of dynamic evolution of software architectures
inferred← citeshttps://doi.org/10.1016/j.tcs.2004.10.043openalex-snapshot
On the usability of process algebra: An architectural view
inferred← citeshttps://doi.org/10.1016/s0140-3664(99)00244-3openalex-snapshot
Applying formal description techniques to software architectural design
inferred← citeshttps://doi.org/10.1016/s0167-6423(01)00002-8openalex-snapshot
Compatibility and inheritance in software architectures
inferred← citeshttps://doi.org/10.1016/s0167-6423(02)00036-9openalex-snapshot
A graph transformation approach to software architecture reconfiguration
inferred← citeshttps://doi.org/10.1016/s0304-3975(99)00230-3openalex-snapshot
On modelling mobility
inferred← citeshttps://doi.org/10.1016/s0743-7315(03)00117-5openalex-snapshot
Program Control Language: a programming language for adaptive distributed applications
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80731-xopenalex-snapshot
Transforming Application Compositions with XSLTs
inferred← citeshttps://doi.org/10.1023/a:1016537224754openalex-snapshot
Using Component-Based Development and Web Technologies to Support a Distributed Data Management System
inferred← citeshttps://doi.org/10.1023/a:1016597410642openalex-snapshot
OPM/Web – Object-Process Methodology for Developing Web Applications
inferred← citeshttps://doi.org/10.1023/b:ause.0000017742.47984.6copenalex-snapshot
Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System
inferred← citeshttps://doi.org/10.1049/cp:20060696openalex-snapshot
Modelling and evaluating fluid software architectures for intelligent environments
inferred← citeshttps://doi.org/10.1109/32.846301openalex-snapshot
Design wizards and visual programming environments for GenVoca generators
inferred← citeshttps://doi.org/10.1109/access.2020.3025934openalex-snapshot
SAM-SoS: A Stochastic Software Architecture Modeling and Verification Approach for Complex System-of-Systems
inferred← citeshttps://doi.org/10.1109/aina.2011.14openalex-snapshot
Towards Verifying Global Properties of Adaptive Software Based on Linear Temporal Logic
inferred← citeshttps://doi.org/10.1109/apsec.2004.79openalex-snapshot
Quality Attribute Scenario Based Architectural Modeling for Self-Adaptation Supported by Architecture-Based Reflective Middleware
inferred← citeshttps://doi.org/10.1109/apsec.2005.37openalex-snapshot
An incremental and practical approach to enable the component run-time evolution
inferred← citeshttps://doi.org/10.1109/apsec.2006.50openalex-snapshot
Secrobat: Secure and Robust Component-based Architectures
inferred← citeshttps://doi.org/10.1109/apsec.2012.50openalex-snapshot
Modeling and Verification of Context-Aware Systems
inferred← citeshttps://doi.org/10.1109/apsec.2012.60openalex-snapshot
Using Monterey Phoenix to Formalize and Verify System Architectures
inferred← citeshttps://doi.org/10.1109/ase.2000.873689openalex-snapshot
Proceedings Fifth IEEE International Workshop on Computer Architectures for Machine Perception
inferred← citeshttps://doi.org/10.1109/cds.1998.675760openalex-snapshot
Component interaction in distributed systems
inferred← citeshttps://doi.org/10.1109/cmpsac.2002.1045140openalex-snapshot
Metadata support for safe component upgrades
inferred← citeshttps://doi.org/10.1109/compsac.2005.149openalex-snapshot
Synchronized Architectures for Adaptive Systems
inferred← citeshttps://doi.org/10.1109/compsac.2008.57openalex-snapshot
Extending Team Automata to Evaluate Software Architectural Design
inferred← citeshttps://doi.org/10.1109/compsac.2013.112openalex-snapshot
Supporting Integration of COTS Components from a Perspective of Self-Adaptive Software Architecture
inferred← citeshttps://doi.org/10.1109/compsac.2013.131openalex-snapshot
Breeze/ADL: Graph Grammar Support for an XML-Based Software Architecture Description Language
inferred← citeshttps://doi.org/10.1109/compsac51774.2021.00142openalex-snapshot
Consistent Substitution of Object in Rule-based IoT Applications
inferred← citeshttps://doi.org/10.1109/csie.2009.273openalex-snapshot
Improve the Service Quality of Dynamic Benefit-Driven Software with OSGi
inferred← citeshttps://doi.org/10.1109/csit.2013.6588799openalex-snapshot
Transforming architectural descriptions for formal analysis
inferred← citeshttps://doi.org/10.1109/ddecs.2011.5783136openalex-snapshot
Minimal physical resource allocation of pi-calculus schedules to dynamically reconfigurable platforms
inferred← citeshttps://doi.org/10.1109/depcos-relcomex.2007.49openalex-snapshot
The Influence of Relations among Different Levels of UML Diagrams onto Software Maintenance
inferred← citeshttps://doi.org/10.1109/ease.2011.13openalex-snapshot
Model Checking of Adaptive Programs with Mode-extended Linear Temporal Logic
inferred← citeshttps://doi.org/10.1109/ecows.2005.10openalex-snapshot
Creating self-adaptive service systems with Dysoa
inferred← citeshttps://doi.org/10.1109/edoc.2007.25openalex-snapshot
A Tool for Enterprise Architecture Analysis
inferred← citeshttps://doi.org/10.1109/edoc.2007.39openalex-snapshot
Enterprise Architecture: A Framework Supporting System Quality Analysis
inferred← citeshttps://doi.org/10.1109/formalise.2013.6612279openalex-snapshot
A framework for the rigorous design of highly adaptive timed systems
inferred← citeshttps://doi.org/10.1109/fose.2007.17openalex-snapshot
Research Directions in Requirements Engineering
inferred← citeshttps://doi.org/10.1109/fskd.2016.7603503openalex-snapshot
An approach for modeling and analyzing dynamic software architectures
inferred← citeshttps://doi.org/10.1109/gcc.2007.18openalex-snapshot
A New Architecture Description Language for Service-Oriented Architec
inferred← citeshttps://doi.org/10.1109/hase.2012.12openalex-snapshot
Model Checking Software Architecture Design
inferred← citeshttps://doi.org/10.1109/iat.2003.1241117openalex-snapshot
Formal framework for adaptive multi-agent systems
inferred← citeshttps://doi.org/10.1109/icac.2008.26openalex-snapshot
Digital Evolution of Behavioral Models for Autonomic Systems
inferred← citeshttps://doi.org/10.1109/icas.2006.2openalex-snapshot
A Component-based Meta-Model for Context-Aware, Distributed Adaptation Graphs
inferred← citeshttps://doi.org/10.1109/icass.2018.8651944openalex-snapshot
An approach for the dynamic reconfiguration of software architecture
inferred← citeshttps://doi.org/10.1109/icca.2007.4376768openalex-snapshot
Adaptive Linkage: an Interface Level Adaptable Component Development Technique
inferred← citeshttps://doi.org/10.1109/iceccs.2005.36openalex-snapshot
Dynamic Architectural Connectors in Cooperative Software Systems
inferred← citeshttps://doi.org/10.1109/icicse.2012.52openalex-snapshot
Evolution-Based Semantic Relationships in Internet-ware Architecture
inferred← citeshttps://doi.org/10.1109/icita.2005.304openalex-snapshot
Using UML2.0 and GG for Describing the Dynamic of Software Architectures
inferred← citeshttps://doi.org/10.1109/iciw.2009.81openalex-snapshot
An Approach to Preserving Consistency of SOAs in Dynamic Evolution
inferred← citeshttps://doi.org/10.1109/icmlc.2005.1527075openalex-snapshot
Software architecture-driven runtime environment
inferred← citeshttps://doi.org/10.1109/icmlc.2007.4370372openalex-snapshot
Runtime Software Architecture Model Based on Design Hierarchy
inferred← citeshttps://doi.org/10.1109/icse-seip58684.2023.00011openalex-snapshot
A Model-based, Quality Attribute-guided Architecture Re-Design Process at Google
inferred← citeshttps://doi.org/10.1109/icsmc.2005.1571601openalex-snapshot
A Framework for Dynamic Software Architecture-based Self-healing
inferred← citeshttps://doi.org/10.1109/icst.2008.67openalex-snapshot
Verifying and Analyzing Adaptive Logic through UML State Models
inferred← citeshttps://doi.org/10.1109/icstw.2010.20openalex-snapshot
QoS-Based Model Driven Assessment of Adaptive Reactive Systems
inferred← citeshttps://doi.org/10.1109/icstw.2011.24openalex-snapshot
Model Driven Mutation Applied to Adaptative Systems Testing
inferred← citeshttps://doi.org/10.1109/icw.2005.44openalex-snapshot
Dynamic Software Reconfiguration in Sensor Networks
inferred← citeshttps://doi.org/10.1109/icycs.2008.213openalex-snapshot
Formal Analysis of Architectural Policies of Self-Adaptive Software by Bigraph
inferred← citeshttps://doi.org/10.1109/icycs.2008.435openalex-snapshot
A Reflective Architecture-Aware Framework to Support Software Evolution
inferred← citeshttps://doi.org/10.1109/icycs.2008.466openalex-snapshot
Software Architectural Reflection Mechanism for Runtime Adaptation
inferred← citeshttps://doi.org/10.1109/iita.2009.501openalex-snapshot
Dynamic Evolution of Web-Based Systems
inferred← citeshttps://doi.org/10.1109/iri-05.2005.1506457openalex-snapshot
Towards scalable and adaptable software architectures
inferred← citeshttps://doi.org/10.1109/isads.2001.917434openalex-snapshot
An automated client-driven approach to data extraction using an autonomous decentralized architecture
inferred← citeshttps://doi.org/10.1109/iscc.2004.1358385openalex-snapshot
Routing based workflow for construction of distributed applications
inferred← citeshttps://doi.org/10.1109/iscid.2012.36openalex-snapshot
Formal Specification and Proof of Gridjack
inferred← citeshttps://doi.org/10.1109/isorc.2006.18openalex-snapshot
Architecture Classification for SOA-Based Applications
inferred← citeshttps://doi.org/10.1109/isorc.2013.6913235openalex-snapshot
Contracts for evolving systems
inferred← citeshttps://doi.org/10.1109/isorcw.2012.42openalex-snapshot
Towards a Rigorous Modeling Formalism for Systems of Systems
inferred← citeshttps://doi.org/10.1109/issre.2015.7381823openalex-snapshot
Specifying and verifying real-time self-adaptive systems
inferred← citeshttps://doi.org/10.1109/iswpc.2006.1613631openalex-snapshot
A Framework to Support Run-Time Assured Dynamic Reconfiguration for Pervasive Computing Environments
showing the first 200 of 340 · page through all 340
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.