Farhad Arbab

Available identifiers

zbMath Open arbab.farhadWikidataQ77085857 ScholiaQ77085857MaRDI QIDQ282087

List of research outcomes

Publication	Date of Publication	Type
A semantic model for interacting cyber-physical systems	2022-09-30	Paper
A formal framework for distributed cyber-physical systems	2022-08-26	Paper
Protocol scheduling	2022-06-17	Paper
Proper protocol	2021-05-20	Paper
Toward a formal foundation for time travel in stories and games	2021-05-20	Paper
https://portal.mardi4nfdi.de/entity/Q5216077	2020-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q5216149	2020-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q4621161	2019-02-08	Paper
A compositional model to reason about end-to-end QoS in stochastic Reo connectors	2018-07-16	Paper
Exposing latent mutual exclusion by work automata	2018-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q2989004	2017-05-19	Paper
https://portal.mardi4nfdi.de/entity/Q2989005	2017-05-19	Paper
Data optimizations for constraint automata	2017-04-11	Paper
Combine and conquer: relating BIP and Reo	2016-11-30	Paper
Synthesizing structural and behavioral control for reconfigurations in component-based systems	2016-05-12	Paper
Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems	2015-06-22	Paper
Synthesis of Reo Circuits from Scenario-based Specifications	2015-03-19	Paper
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>	2015-03-19	Paper
Connector Rewriting with High-Level Replacement Systems	2013-12-13	Paper
Computing and Interaction	2013-06-18	Paper
Composition of Interacting Computations	2013-06-18	Paper
Connectors as designs: modeling, refinement and test case generation	2012-07-13	Paper
Symbolic execution of Reo circuits using constraint automata	2012-07-13	Paper
Synthesis of Reo circuits from scenario-based interaction specifications	2011-06-07	Paper
Channel-based coordination via constraint satisfaction	2011-06-07	Paper
Modeling dynamic reconfigurations in Reo using high-level replacement systems	2010-11-25	Paper
Recent Trends in Algebraic Development Techniques	2010-04-20	Paper
Formal Methods for Components and Objects	2010-02-09	Paper
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata	2010-02-05	Paper
Tiles for Reo	2009-10-22	Paper
On Resource-Sensitive Timed Component Connectors	2007-11-28	Paper
Connector colouring. I: Synchronisation and context dependency	2007-07-16	Paper
https://portal.mardi4nfdi.de/entity/Q3413373	2007-01-04	Paper
Modeling component connectors in Reo by constraint automata	2006-06-30	Paper
Coordination Models and Languages	2006-01-10	Paper
Abstract behavior types: a foundation model for components and their composition	2005-05-12	Paper
Reo: a channel-based coordination model for component composition	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4738171	2004-08-11	Paper
Distributed evolutionary optimization, in manifold: Rosenbrock's function case study	2003-01-23	Paper
Configuration and dynamic reconfiguration of components using the coordination paradigm	2002-07-14	Paper
A transition system semantics for the control-driven coordination language MANIFOLD	2000-08-21	Paper
Coordination languages for parallel programming	1999-01-12	Paper
An algorithm for generating NC tool paths for arbitrarily shaped pockets with islands	1993-01-18	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Farhad Arbab