Concepedia

Farhad Arbab

FA

71

Publications

3.4K

Citations

28

H-Index

1988

Active since

Affiliations

Centrum Wiskunde & Informatica(Current)

Leiden University

University of Bonn

University of Cyprus

Vrije Universiteit Amsterdam

Farhad Arbab is an author at Centrum Wiskunde & Informatica specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsSoftware DesignFormal VerificationSystem SoftwareComputer EngineeringProgram AnalysisSoftware Engineering

Publications per year

1988–2024

71

Publications

71

Reo: a channel-based coordination model for component composition

Farhad Arbab · Mathematical Structures in Computer Science · 2004 · 691 citations · Full text

Engineering, Software Systems, Channel Composition +21

Modeling component connectors in Reo by constraint automata

Christel Baier, Marjan Sirjani, Farhad Arbab et al. · Science of Computer Programming · 2006 · 302 citations · Full text

Constraint Solving, Engineering, Constraint Automata +8

Enterprise architecture: Management tool and blueprint for the organisation

Henk Jonkers, Marc Lankhorst, H.W.L. ter Doest et al. · Information Systems Frontiers · 2006 · 221 citations

Architectural Design, Engineering, Business Intelligence +7

Abstract Behavior Types: a foundation model for components and their composition

Farhad Arbab · Science of Computer Programming · 2004 · 152 citations

Architectural Design, Behavioral Sciences, Engineering +11

An overview of manifold and its implementation

Farhad Arbab, Iván Herman, P. Spilling · Concurrency Practice and Experience · 1993 · 135 citations

Engineering, Geometry, Abstract Management +15

Rows per page

1–5 of 71