BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Farhad Arbab
SearchCollections
Map detail
Farhad Arbab13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipFarhad ArbabAFarhad ArbabResearcherA Semantic Model for Interacting Cyber-Physical SystemsWA Semantic Model for In...preprint / 2022Runtime Composition Of Systems of Interacting Cyber-Physical ComponentsWRuntime Composition Of ...preprint / 2022A Formal Framework for Distributed Cyber-Physical SystemsWA Formal Framework for ...preprint / 2022A Rewriting Framework for Interacting Cyber-Physical AgentsWA Rewriting Framework f...preprint / 2022A System for Distributed Mechanisms: Design, Implementation and ApplicationsWA System for Distribute...preprint / 2011Input-output Conformance Testing for Channel-based Service ConnectorsWInput-output Conformanc...preprint / 2011Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint AutomataWCorrelating Formal Sema...preprint / 2011Modularizing and Specifying Protocols among ThreadsWModularizing and Specif...preprint / 2013Toward Sequentializing Overparallelized Protocol CodeWToward Sequentializing ...preprint / 2014A Distributed Platform for Mechanism DesignWA Distributed Platform ...preprint / 2008A Compositional Framework for Preference-Aware AgentsWA Compositional Framewo...preprint / 2016Relating BIP and ReoWRelating BIP and Reopreprint / 2015
Person12 links

Farhad Arbab

Researcher

PaperA Semantic Model for Interacting Cyber-Physical SystemsAuthorship / preprint / 2022PaperRuntime Composition Of Systems of Interacting Cyber-Physical ComponentsAuthorship / preprint / 2022PaperA Formal Framework for Distributed Cyber-Physical SystemsAuthorship / preprint / 2022PaperA Rewriting Framework for Interacting Cyber-Physical AgentsAuthorship / preprint / 2022PaperA System for Distributed Mechanisms: Design, Implementation and ApplicationsAuthorship / preprint / 2011PaperInput-output Conformance Testing for Channel-based Service ConnectorsAuthorship / preprint / 2011PaperCorrelating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint AutomataAuthorship / preprint / 2011PaperModularizing and Specifying Protocols among ThreadsAuthorship / preprint / 2013

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)