On the public citation graph
Rigorous Component-Based System Design Using the BIP Framework
0 signed · 289 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.1007/978-1-4757-2231-4openalex-snapshot
Synchronous Programming of Reactive Systems
inferredcites →https://doi.org/10.1007/978-3-540-85361-9_39openalex-snapshot
A Notion of Glue Expressiveness for Component-Based Systems
inferredcites →https://doi.org/10.1007/978-3-540-88387-6_7openalex-snapshot
Compositional Verification for Component-Based Systems and Application
inferredcites →https://doi.org/10.1007/978-3-540-92188-2_8openalex-snapshot
Causal Semantics for the Algebra of Connectors
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/bfb0028726openalex-snapshot
Synchronous programming of reactive systems
inferredcites →https://doi.org/10.1007/s10703-010-0091-zopenalex-snapshot
Causal semantics for the algebra of connectors
inferredcites →https://doi.org/10.1016/0141-9331(89)90152-xopenalex-snapshot
Parallel program design: a foundation
inferredcites →https://doi.org/10.1109/32.31364openalex-snapshot
Process synchronization: design and performance evaluation of distributed algorithms
inferredcites →https://doi.org/10.1109/cacsd-cca-isic.2006.4776814openalex-snapshot
The SAE Architecture Analysis & Design Language (AADL) a standard for engineering performance critical systems
inferredcites →https://doi.org/10.1109/iros.1997.655108openalex-snapshot
G/sup en/oM: a tool for the specification and the implementation of operating modules in a distributed robot architecture
inferredcites →https://doi.org/10.1109/jproc.2002.805829openalex-snapshot
Taming heterogeneity - the Ptolemy approach
inferredcites →https://doi.org/10.1145/1879021.1879049openalex-snapshot
From high-level component-based models to distributed implementations
inferredcites →https://doi.org/10.1145/239098.239104openalex-snapshot
Dynamic structure in software architectures
inferredcites →https://doi.org/10.3233/978-1-58603-891-5-631openalex-snapshot
Incremental Component-Based Construction and Verification of a Robotic System
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9783527684977.ch6openalex-snapshot
Mission Operations and Autonomy
inferred← citeshttps://doi.org/10.1002/spe.2495openalex-snapshot
Exogenous coordination of concurrent software components with JavaBIP
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.1002/sys.21675openalex-snapshot
Component‐based specification, design and verification of adaptive systems
inferred← citeshttps://doi.org/10.1007/978-3-030-00244-2_2openalex-snapshot
Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory
inferred← citeshttps://doi.org/10.1007/978-3-030-01090-4_33openalex-snapshot
$$\mathcal {S}$$BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-02146-7_3openalex-snapshot
Event-B Formalization of a Variability-Aware Component Model Patterns Framework
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-02671-4_2openalex-snapshot
ChIP: A Choreographic Integration Process
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-05481-6_21openalex-snapshot
Optimization of Component-Based Systems Run Time Verification
inferred← citeshttps://doi.org/10.1007/978-3-030-17465-1_1openalex-snapshot
Checking Deadlock-Freedom of Parametric Component-Based Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-21485-2_21openalex-snapshot
Autonomous Systems – An Architectural Characterization
inferred← citeshttps://doi.org/10.1007/978-3-030-22397-7_10openalex-snapshot
Verification of Concurrent Design Patterns with Data
inferred← citeshttps://doi.org/10.1007/978-3-030-27562-4_17openalex-snapshot
Experimental Evaluation of Probabilistic Execution-Time Modeling and Analysis Methods for SDF Applications on MPSoCs
inferred← citeshttps://doi.org/10.1007/978-3-030-31038-7_6openalex-snapshot
Unified Graphical Co-modelling of Cyber-Physical Systems Using AADL and Simulink/Stateflow
inferred← citeshttps://doi.org/10.1007/978-3-030-31514-6_10openalex-snapshot
Model-Based Energy Characterization of IoT System Design Aspects
inferred← citeshttps://doi.org/10.1007/978-3-030-32101-7_27openalex-snapshot
VeriSolid: Correct-by-Design Smart Contracts for Ethereum
inferred← citeshttps://doi.org/10.1007/978-3-030-45190-5_13openalex-snapshot
Structural Invariants for the Verification of Systems with Parameterized Architectures
inferred← citeshttps://doi.org/10.1007/978-3-030-58768-0_16openalex-snapshot
A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis
inferred← citeshttps://doi.org/10.1007/978-3-030-58793-2_32openalex-snapshot
Applied Statistical Model Checking for a Sensor Behavior Analysis
inferred← citeshttps://doi.org/10.1007/978-3-030-60248-2_16openalex-snapshot
Behavioral Fault Modelling and Analysis with BIP: A Wheel Brake System Case Study
inferred← citeshttps://doi.org/10.1007/978-3-030-71906-7_4openalex-snapshot
Formal Modeling and Simulation of Collaborative Intelligent Robots
inferred← citeshttps://doi.org/10.1007/978-3-030-90636-8_2openalex-snapshot
Component-Based Approach Combining UML and BIP for Rigorous System Design
inferred← citeshttps://doi.org/10.1007/978-3-030-90636-8_9openalex-snapshot
Monitoring Distributed Component-Based Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-10989-8_37openalex-snapshot
Automated Reliability Analysis of Redundancy Architectures Using Statistical Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-031-16014-1_49openalex-snapshot
An Automatic Refinement for Event-B Through Annotated Temporal Logic Patterns
inferred← citeshttps://doi.org/10.1007/978-3-031-19759-8_21openalex-snapshot
Formal Analysis of Lending Pools in Decentralized Finance
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-43681-9_5openalex-snapshot
Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers
inferred← citeshttps://doi.org/10.1007/978-3-031-49333-1_2openalex-snapshot
A Formal Metamodel for Software Architectures with Composite Components
inferred← citeshttps://doi.org/10.1007/978-3-031-52183-6_2openalex-snapshot
Model-Based Testing of Asynchronously Communicating Distributed Controllers
inferred← citeshttps://doi.org/10.1007/978-3-031-52183-6_8openalex-snapshot
Challenges Engaging Formal CBSE in Industrial Applications
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-66456-4_10openalex-snapshot
Template-Based Smart Contract Verification: A Case Study on Maritime Transportation Domain
inferred← citeshttps://doi.org/10.1007/978-3-031-71261-6_1openalex-snapshot
Enabling Behaviour Tree Verification via a Translation to BIP
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-88226-5_14openalex-snapshot
Addressing Input/Output Composition Through Open Automata Representation
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-01486-3_21openalex-snapshot
Varanus: Runtime Verification for CSP
inferred← citeshttps://doi.org/10.1007/978-3-032-28187-6_15openalex-snapshot
AsmetaComp: A Tool for Runtime Contract Checking with I/O Abstract State Machines
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-319-07602-7_10openalex-snapshot
Formally Reasoning on a Reconfigurable Component-Based System — A Case Study for the Industrial World
inferred← citeshttps://doi.org/10.1007/978-3-319-07602-7_11openalex-snapshot
A General Trace-Based Framework of Logical Causality
inferred← citeshttps://doi.org/10.1007/978-3-319-07602-7_21openalex-snapshot
Define, Verify, Refine: Correct Composition and Transformation of Concurrent System Semantics
inferred← citeshttps://doi.org/10.1007/978-3-319-10389-1_9openalex-snapshot
Constraint-Based Verification of Compositions in Safety-Critical Component-Based Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-10431-7_10openalex-snapshot
A General Framework for Architecture Composability
inferred← citeshttps://doi.org/10.1007/978-3-319-12904-4_3openalex-snapshot
Real-Time Maude and Its Applications
inferred← citeshttps://doi.org/10.1007/978-3-319-15317-9_18openalex-snapshot
Reduction and Abstraction Techniques for BIP
inferred← citeshttps://doi.org/10.1007/978-3-319-16310-9_10openalex-snapshot
Methodological Guidelines for Engineering Self-organization and Emergence
inferred← citeshttps://doi.org/10.1007/978-3-319-16310-9_3openalex-snapshot
Correctness of Service Components and Service Component Ensembles
inferred← citeshttps://doi.org/10.1007/978-3-319-16310-9_9openalex-snapshot
The Ensemble Development Life Cycle and Best Practices for Collective Autonomic Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-19249-9_18openalex-snapshot
Automated Verification of RPC Stub Code
inferred← citeshttps://doi.org/10.1007/978-3-319-24704-5_1openalex-snapshot
A Quest for Kleene Algebra in 2 Dimensions
inferred← citeshttps://doi.org/10.1007/978-3-319-24953-7_25openalex-snapshot
Formal Verification of Infinite-State BIP Models
inferred← citeshttps://doi.org/10.1007/978-3-319-28766-9_10openalex-snapshot
Verification of Component-Based Systems via Predicate Abstraction and Simultaneous Set Reduction
inferred← citeshttps://doi.org/10.1007/978-3-319-28934-2_6openalex-snapshot
A Robust Framework for Securing Composed Web Services
inferred← citeshttps://doi.org/10.1007/978-3-319-41591-8_25openalex-snapshot
Modularizing Crosscutting Concerns in Component-Based Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-46613-2_4openalex-snapshot
Applying MDA and OMG Robotic Specification for Developing Robotic Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-47307-9_1openalex-snapshot
Building Faithful Embedded Systems Models: Challenges and Opportunities
inferred← citeshttps://doi.org/10.1007/978-3-319-47677-3_16openalex-snapshot
Exploiting Symmetry for Efficient Verification of Infinite-State Component-Based Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-47846-3_20openalex-snapshot
An Event-B Development Process for the Distributed BIP Framework
inferred← citeshttps://doi.org/10.1007/978-3-319-57666-4_16openalex-snapshot
Architecture-Based Design: A Satellite On-Board Software Case Study
inferred← citeshttps://doi.org/10.1007/978-3-319-60585-2_12openalex-snapshot
Human Centric Security and Privacy for the IoT Using Formal Techniques
inferred← citeshttps://doi.org/10.1007/978-3-319-64107-2_48openalex-snapshot
Formal Method for Mission Controller Generation of a Mobile Robot
inferred← citeshttps://doi.org/10.1007/978-3-319-68034-7_10openalex-snapshot
Correctness-by-Learning of Infinite-State Component-Based Systems
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-75632-5openalex-snapshot
Lectures on Runtime Verification. Introductory and Advanced Topics
inferred← citeshttps://doi.org/10.1007/978-3-319-75632-5_4openalex-snapshot
Runtime Failure Prevention and Reaction
inferred← citeshttps://doi.org/10.1007/978-3-319-98938-9_15openalex-snapshot
Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions
inferred← citeshttps://doi.org/10.1007/978-3-642-24933-4_19openalex-snapshot
Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude
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-30793-5_13openalex-snapshot
Synchronous Interface Theories and Time Triggered Scheduling
inferred← citeshttps://doi.org/10.1007/978-3-642-35861-6_2openalex-snapshot
Component Interfaces with Contracts on Ports
inferred← citeshttps://doi.org/10.1007/978-3-642-35887-6_15openalex-snapshot
PRO3D, Programming for Future 3D Manycore Architectures: Project’s Interim Status
inferred← citeshttps://doi.org/10.1007/978-3-642-35887-6_17openalex-snapshot
Component Assemblies in the Context of Manycore
inferred← citeshttps://doi.org/10.1007/978-3-642-40184-8_31openalex-snapshot
On Negotiation as Concurrency Primitive
inferred← citeshttps://doi.org/10.1007/978-3-642-54848-2_1openalex-snapshot
Model-Driven Information Flow Security for Component-Based Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-54848-2_12openalex-snapshot
The Unmet Challenge of Timed Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-54848-2_5openalex-snapshot
Programming and Verifying Component Ensembles
inferred← citeshttps://doi.org/10.1007/978-3-662-45234-9_13openalex-snapshot
Rigorous System Design Flow for Autonomous Systems
inferred← citeshttps://doi.org/10.1007/978-3-662-49665-7_5openalex-snapshot
Integrated Environment for Verifying and Running Distributed Components
inferred← citeshttps://doi.org/10.1007/978-981-15-5054-6_13openalex-snapshot
An Event-B Development Process for the Distributed BIP Framework
inferred← citeshttps://doi.org/10.1007/s00165-015-0349-8openalex-snapshot
A general framework for architecture composability
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.1007/s00236-020-00367-6openalex-snapshot
SMT-based generation of symbolic automata
inferred← citeshttps://doi.org/10.1007/s10009-013-0271-4openalex-snapshot
Rigorous embedded design: challenges and perspectives
inferred← citeshttps://doi.org/10.1007/s10009-016-0413-6openalex-snapshot
Fully automated runtime enforcement of component-based systems with formal and sound recovery
inferred← citeshttps://doi.org/10.1007/s10009-017-0462-5openalex-snapshot
From high-level modeling toward efficient and trustworthy circuits
inferred← citeshttps://doi.org/10.1007/s10009-020-00596-7openalex-snapshot
Programming dynamic reconfigurable systems
inferred← citeshttps://doi.org/10.1007/s10009-020-00598-5openalex-snapshot
Energy characterization of IoT systems through design aspect monitoring
inferred← citeshttps://doi.org/10.1007/s10270-014-0410-8openalex-snapshot
Component-based verification using incremental design and invariants
inferred← citeshttps://doi.org/10.1007/s10270-017-0587-8openalex-snapshot
A systematic approach to constructing families of incremental topology control algorithms using graph transformation
inferred← citeshttps://doi.org/10.1007/s10270-017-0642-5openalex-snapshot
Rigorous design of cyber-physical systems
inferred← citeshttps://doi.org/10.1007/s10515-022-00328-yopenalex-snapshot
Towards a behavior tree-based robotic software architecture with adjoint observation schemes for robotic software development
inferred← citeshttps://doi.org/10.1007/s10586-021-03305-4openalex-snapshot
A model-based approach for formal verification and performance analysis of dynamic load-balancing protocols in cloud environment
inferred← citeshttps://doi.org/10.1007/s10766-013-0264-7openalex-snapshot
Bringing Coq into the World of GCM Distributed Applications
inferred← citeshttps://doi.org/10.1007/s11219-021-09559-wopenalex-snapshot
Learning and analysis of sensors behavior in IoT systems using statistical model checking
inferred← citeshttps://doi.org/10.1007/s11227-022-04614-0openalex-snapshot
A distributed formal-based model for self-healing behaviors in autonomous systems: from failure detection to self-recovery
inferred← citeshttps://doi.org/10.1007/s11227-023-05483-xopenalex-snapshot
Deploying warehouse robots with confidence: the BRAIN-IoT framework’s functional assurance
inferred← citeshttps://doi.org/10.1007/s11334-026-00643-7openalex-snapshot
Integration test generation for state-based components in the Gamma framework
inferred← citeshttps://doi.org/10.1007/s12667-023-00599-8openalex-snapshot
Formal modeling of industrial wireless applications
inferred← citeshttps://doi.org/10.1007/s40860-024-00225-zopenalex-snapshot
A formal model-based approach to design failure-aware Internet of Things architectures
inferred← citeshttps://doi.org/10.1007/s42979-025-04298-2openalex-snapshot
SmartGuard: Verifying Safety and Compliance of Ethereum Smart Contracts
inferred← citeshttps://doi.org/10.1016/j.adhoc.2024.103745openalex-snapshot
Detection and Mitigation of Clock Deviation in the Verification & Validation of Drone-aided Lifting Operations
inferred← citeshttps://doi.org/10.1016/j.array.2020.100030openalex-snapshot
A survey on the formalisation of system requirements and their validation
inferred← citeshttps://doi.org/10.1016/j.compind.2013.07.003openalex-snapshot
Formal component-based modeling and synthesis for PLC systems
inferred← citeshttps://doi.org/10.1016/j.ic.2016.03.008openalex-snapshot
Dynamic input/output automata: A formal and compositional model for dynamic systems
inferred← citeshttps://doi.org/10.1016/j.ic.2020.104587openalex-snapshot
The link-calculus for open multiparty interactions
inferred← citeshttps://doi.org/10.1016/j.ipl.2014.09.014openalex-snapshot
A ground-complete axiomatization of stateless bisimilarity over Linda
inferred← citeshttps://doi.org/10.1016/j.jksuci.2022.08.029openalex-snapshot
A formal verification approach for composite smart contracts security using FSM
inferred← citeshttps://doi.org/10.1016/j.jlamp.2017.02.003openalex-snapshot
Behavioural semantics for asynchronous components
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.1016/j.jlamp.2018.05.005openalex-snapshot
Modularizing behavioral and architectural crosscutting concerns in formal component-based systems – Application to the Behavior Interaction Priority framework
inferred← citeshttps://doi.org/10.1016/j.jlamp.2020.100577openalex-snapshot
From global choreographies to verifiable efficient distributed implementations
inferred← citeshttps://doi.org/10.1016/j.jlamp.2020.100621openalex-snapshot
Checking deadlock-freedom of parametric component-based systems
inferred← citeshttps://doi.org/10.1016/j.jlamp.2026.101125openalex-snapshot
Compositional separation of control flow and data flow
inferred← citeshttps://doi.org/10.1016/j.jpdc.2019.05.002openalex-snapshot
A generic formal model for the comparison and analysis of distributed job-scheduling algorithms in grid environment
inferred← citeshttps://doi.org/10.1016/j.jss.2017.11.003openalex-snapshot
Compositional execution semantics for business process verification
inferred← citeshttps://doi.org/10.1016/j.jss.2018.07.053openalex-snapshot
Early validation of system requirements and design through correctness-by-construction
inferred← citeshttps://doi.org/10.1016/j.jss.2024.112231openalex-snapshot
Model-based safety analysis of requirement specifications
inferred← citeshttps://doi.org/10.1016/j.jss.2026.113037openalex-snapshot
Steel does not Sprint (or does it?): Enabling agility for cyber–physical systems through consistency preservation
inferred← citeshttps://doi.org/10.1016/j.jvlc.2016.10.003openalex-snapshot
A systematic approach to constructing incremental topology control algorithms using graph transformation
inferred← citeshttps://doi.org/10.1016/j.micpro.2014.09.004openalex-snapshot
MultiPARTES: Multi-core partitioning and virtualization for easing the certification of mixed-criticality systems
inferred← citeshttps://doi.org/10.1016/j.micpro.2021.104090openalex-snapshot
WITHDRAWN: News Media Communication Based On Real-Time Image Processor and Machine Learning
inferred← citeshttps://doi.org/10.1016/j.robot.2016.03.005openalex-snapshot
Component based computational model for bipedal locomotion
inferred← citeshttps://doi.org/10.1016/j.scico.2013.06.003openalex-snapshot
A modal specification theory for components with data
inferred← citeshttps://doi.org/10.1016/j.scico.2013.09.013openalex-snapshot
A meta-theory for component interfaces with contracts on ports
inferred← citeshttps://doi.org/10.1016/j.scico.2014.06.011openalex-snapshot
Contracts-refinement proof system for component-based embedded systems
inferred← citeshttps://doi.org/10.1016/j.scico.2015.05.013openalex-snapshot
Reasoning about software reconfigurations: The behavioural and structural perspectives
inferred← citeshttps://doi.org/10.1016/j.scico.2020.102511openalex-snapshot
Event-B formalization of a variability-aware component model patterns framework
inferred← citeshttps://doi.org/10.1016/j.scico.2025.103265openalex-snapshot
Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations
inferred← citeshttps://doi.org/10.1016/j.simpat.2012.07.007openalex-snapshot
A simulation process for asynchronous event processing systems: Evaluating performance and availability in transaction models
inferred← citeshttps://doi.org/10.1016/j.simpat.2021.102331openalex-snapshot
Modelling and verification of reconfigurable fault-tolerant and self-recovering systems in hybrid Clouds
inferred← citeshttps://doi.org/10.1016/j.tcs.2015.11.032openalex-snapshot
Finite-state concurrent programs can be expressed in pairwise normal form
inferred← citeshttps://doi.org/10.1017/s0960129517000135openalex-snapshot
Dynamic networks of heterogeneous timed machines
inferred← citeshttps://doi.org/10.1088/1742-6596/2010/1/012072openalex-snapshot
Formal Verification of ST Programs using CSP
inferred← citeshttps://doi.org/10.1093/comjnl/bxab115openalex-snapshot
An Event-B-Based Approach to Model and Verify Behaviors for Component-Based Applications
inferred← citeshttps://doi.org/10.1109/access.2020.2979354openalex-snapshot
A Parameterized Formal Model for the Analysis of Preemption-Threshold Scheduling in Real-Time Systems
inferred← citeshttps://doi.org/10.1109/access.2025.3527158openalex-snapshot
Formal Verification of ERC-Based Smart Contracts: A Systematic Literature Review
inferred← citeshttps://doi.org/10.1109/acet67282.2025.11430284openalex-snapshot
Performance Evaluation of ERC-20 and ERC-721 Blockchain Protocols Through an Optimization Framework
inferred← citeshttps://doi.org/10.1109/aiccsa.2017.144openalex-snapshot
Formal Distributed Model for the Verification of Job-Scheduling in Cloud Environments
inferred← citeshttps://doi.org/10.1109/atsip.2016.7523067openalex-snapshot
Real-time image and video processing: Method and architecture
inferred← citeshttps://doi.org/10.1109/bibe.2014.55openalex-snapshot
Safe Implementation of Embedded Software for a Portable Device Supporting Drug Administration
inferred← citeshttps://doi.org/10.1109/commantel.2014.6825600openalex-snapshot
Analytical model for Component Based system - CASE tool based approach
inferred← citeshttps://doi.org/10.1109/compsac.2013.85openalex-snapshot
Formal Modelling of PLC Systems by BIP Components
inferred← citeshttps://doi.org/10.1109/compsac.2013.91openalex-snapshot
Component-Based Modeling and Code Synthesis for Cyclic Programs
inferred← citeshttps://doi.org/10.1109/cybermatics_2018.2018.00221openalex-snapshot
SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities
inferred← citeshttps://doi.org/10.1109/date.2012.6176499openalex-snapshot
State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems
inferred← citeshttps://doi.org/10.1109/edis.2017.8284026openalex-snapshot
Formal framework for automated analysis and verification of distributed reactive applications
inferred← citeshttps://doi.org/10.1109/fdl.2017.8303892openalex-snapshot
Rethinking of I/O-automata composition
inferred← citeshttps://doi.org/10.1109/hase.2019.00023openalex-snapshot
A Refinement Based Method for Developing Distributed Protocols
inferred← citeshttps://doi.org/10.1109/hpcs.2018.00122openalex-snapshot
From Global Choreography to Efficient Distributed Implementation
inferred← citeshttps://doi.org/10.1109/icbc48266.2020.9169428openalex-snapshot
Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid
inferred← citeshttps://doi.org/10.1109/iceccs.2013.12openalex-snapshot
Modeling and Verification of Component-Based Systems with Data Passing Using BIP
inferred← citeshttps://doi.org/10.1109/iceccs.2015.26openalex-snapshot
SeBip: A Symbolic Executor for BIP
inferred← citeshttps://doi.org/10.1109/iceccs59891.2023.00034openalex-snapshot
Formal alignment of requirements models with high-level architecture models
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/icsess54813.2022.9930214openalex-snapshot
A Model-Checking Framework for the Verification of Move Smart Contracts
inferred← citeshttps://doi.org/10.1109/icws.2012.63openalex-snapshot
Rigorous Analysis of Service Composability by Embedding WS-BPEL into the BIP Component Framework
inferred← citeshttps://doi.org/10.1109/indin.2013.6622973openalex-snapshot
Model-based automated testing of critical PLC programs
inferred← citeshttps://doi.org/10.1109/isorc.2019.00018openalex-snapshot
On the Design of Fault- Tolerance in a Decentralized Software Platform for Power Systems
inferred← citeshttps://doi.org/10.1109/isqed.2015.7085449openalex-snapshot
Separation of concerns for hardware components of embedded systems in BIP
inferred← citeshttps://doi.org/10.1109/jproc.2018.2864271openalex-snapshot
Codesign Methodologies and Tools for Cyber–Physical Systems
inferred← citeshttps://doi.org/10.1109/les.2018.2845854openalex-snapshot
Device Access Abstractions for Resilient Information Architecture Platform for Smart Grid
inferred← citeshttps://doi.org/10.1109/memcod.2011.5970506openalex-snapshot
Rigorous system level modeling and analysis of mixed HW/SW systems
inferred← citeshttps://doi.org/10.1109/memcod.2014.6961864openalex-snapshot
Building faithful high-level models and performance evaluation of manycore embedded systems
inferred← citeshttps://doi.org/10.1109/pdp.2015.70openalex-snapshot
pNets: An Expressive Model for Parameterised Networks of Processes
inferred← citeshttps://doi.org/10.1109/pdp.2017.72openalex-snapshot
Automatic Refinement for Event-B through Annotated Patterns
inferred← citeshttps://doi.org/10.1109/rsp.2014.6966688openalex-snapshot
A model-driven approach for embedded system prototyping and design
inferred← citeshttps://doi.org/10.1109/samos.2012.6404194openalex-snapshot
Predictable dynamic embedded data processing
inferred← citeshttps://doi.org/10.1109/samos.2013.6621117openalex-snapshot
Stochastic modeling and performance analysis of multimedia SoCs
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.1109/sas.2015.7133617openalex-snapshot
Building distributed sensor network applications using BIP
inferred← citeshttps://doi.org/10.1109/sds59856.2023.10328964openalex-snapshot
Natural Language-Based Model-Checking Framework for Move Smart Contracts
inferred← citeshttps://doi.org/10.1109/sera.2017.7965758openalex-snapshot
Security and privacy requirements engineering for human centric IoT systems using eFRIEND and Isabelle
inferred← citeshttps://doi.org/10.1109/sies.2016.7509424openalex-snapshot
Automated FPGA implementations of BIP designs
inferred← citeshttps://doi.org/10.1109/smartcomp.2018.00029openalex-snapshot
Mobilytics- An Extensible, Modular and Resilient Mobility Platform
inferred← citeshttps://doi.org/10.1109/sose.2014.12openalex-snapshot
Correct-by-Construction Web Service Architecture
inferred← citeshttps://doi.org/10.1109/systol.2016.7739809openalex-snapshot
A graphical framework for stochastic model-based diagnosis
inferred← citeshttps://doi.org/10.1109/tase.2012.33openalex-snapshot
Modeling and Validation of PLC-Controlled Systems: A Case Study
inferred← citeshttps://doi.org/10.1109/tase.2019.000-8openalex-snapshot
A Denotational Semantics for Dynamic Architectures
inferred← citeshttps://doi.org/10.1109/tcad.2018.2848589openalex-snapshot
Verification at RTL Using Separation of Design Concerns
inferred← citeshttps://doi.org/10.1109/tdsc.2022.3200840openalex-snapshot
Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts With VeriSolid
inferred← citeshttps://doi.org/10.1142/s0218194023500389openalex-snapshot
Towards Exogenous Coordination of Concurrent Cloud Applications
inferred← citeshttps://doi.org/10.1142/s021853932450044xopenalex-snapshot
Formal Methods for Characterization and Analysis of Quality Specifications in Component-Based Systems
inferred← citeshttps://doi.org/10.1145/2038642.2038697openalex-snapshot
Time-predictable and composable architectures for dependable embedded systems
inferred← citeshttps://doi.org/10.1145/2185632.2185641openalex-snapshot
Heterogeneous verification of cyber-physical systems using behavior relations
inferred← citeshttps://doi.org/10.1145/2527269.2527272openalex-snapshot
Compositional verification of a medical device system
inferred← citeshttps://doi.org/10.1145/2560519.2565873openalex-snapshot
Design synthesis and optimization for automotive embedded systems
inferred← citeshttps://doi.org/10.1145/2593770.2593777openalex-snapshot
Coordination of software components with BIP: application to OSGi
inferred← citeshttps://doi.org/10.1145/2602458.2602463openalex-snapshot
Design-by-contract for reusable components and realizable architectures
inferred← citeshttps://doi.org/10.1145/2602458.2611457openalex-snapshot
Rigorous component-based design in BIP
inferred← citeshttps://doi.org/10.1145/2658982.2527272openalex-snapshot
Compositional verification of a medical device system
inferred← citeshttps://doi.org/10.1145/2695664.2695879openalex-snapshot
Runtime enforcement for component-based systems
inferred← citeshttps://doi.org/10.1145/2721956.2721977openalex-snapshot
Towards pattern-based reuse in safety-critical systems
showing the first 200 of 273 · page through all 273
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.