The following pages link to Farhad Arbab (Q282087):
Displaying 46 items.
- Synthesizing structural and behavioral control for reconfigurations in component-based systems (Q282089) (← links)
- Combine and conquer: relating BIP and Reo (Q347371) (← links)
- Connectors as designs: modeling, refinement and test case generation (Q433336) (← links)
- Symbolic execution of Reo circuits using constraint automata (Q433344) (← links)
- Synthesis of Reo circuits from scenario-based interaction specifications (Q541679) (← links)
- Channel-based coordination via constraint satisfaction (Q541681) (← links)
- Modeling dynamic reconfigurations in Reo using high-level replacement systems (Q608354) (← links)
- (Q1275036) (redirect page) (← links)
- Coordination languages for parallel programming (Q1275039) (← links)
- A transition system semantics for the control-driven coordination language MANIFOLD (Q1575145) (← links)
- A compositional model to reason about end-to-end QoS in stochastic Reo connectors (Q1651010) (← links)
- Exposing latent mutual exclusion by work automata (Q1698757) (← links)
- Abstract behavior types: a foundation model for components and their composition (Q1776573) (← links)
- Distributed evolutionary optimization, in manifold: Rosenbrock's function case study (Q1854029) (← links)
- Proper protocol (Q2026784) (← links)
- Toward a formal foundation for time travel in stories and games (Q2026801) (← links)
- A semantic model for interacting cyber-physical systems (Q2079682) (← links)
- Protocol scheduling (Q2145259) (← links)
- A formal framework for distributed cyber-physical systems (Q2168791) (← links)
- Connector colouring. I: Synchronisation and context dependency (Q2373643) (← links)
- Modeling component connectors in Reo by constraint automata (Q2495551) (← links)
- Connector Rewriting with High-Level Replacement Systems (Q2866320) (← links)
- Data optimizations for constraint automata (Q2974782) (← links)
- (Q2989004) (← links)
- (Q2989005) (← links)
- Tiles for Reo (Q3184723) (← links)
- QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata (Q3400549) (← links)
- (Q3413373) (← links)
- An algorithm for generating NC tool paths for arbitrarily shaped pockets with islands (Q4015533) (← links)
- Configuration and dynamic reconfiguration of components using the coordination paradigm (Q4538556) (← links)
- (Q4621161) (← links)
- (Q4738171) (← links)
- Reo: a channel-based coordination model for component composition (Q4819114) (← links)
- Computing and Interaction (Q4928698) (← links)
- Composition of Interacting Computations (Q4928708) (← links)
- Synthesis of Reo Circuits from Scenario-based Specifications (Q5179203) (← links)
- Deconstructing <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">R</mml:mi><mml:mi mathvariant="sans-serif">eo</mml:mi></mml:math> (Q5179204) (← links)
- (Q5216077) (← links)
- (Q5216149) (← links)
- Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems (Q5256354) (← links)
- On Resource-Sensitive Timed Component Connectors (Q5428917) (← links)
- Coordination Models and Languages (Q5717736) (← links)
- Formal Methods for Components and Objects (Q5897123) (← links)
- Recent Trends in Algebraic Development Techniques (Q5900818) (← links)
- Runtime composition of systems of interacting cyber-physical components (Q6562520) (← links)
- A semantic model for interacting cyber-physical systems (Q6649543) (← links)
