Farhad Arbab

Farhad Arbab

Universiteit Leiden

H-index: 42

Europe-Netherlands

About Farhad Arbab

Farhad Arbab, With an exceptional h-index of 42 and a recent h-index of 13 (since 2020), a distinguished researcher at Universiteit Leiden, specializes in the field of Software Engineering, Concurrency.

His recent articles reflect a diverse array of research interests and contributions to the field:

Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE) co-located with the 38th IEEE/ACM ASE 2023

A semantic model for interacting cyber-physical systems

A rewriting framework for interacting cyber-physical agents

A formal framework for distributed cyber-physical systems

Runtime Composition of Systems of Interacting Cyber-Physical Components

Preface–Special Issue on selected and extended papers from FACS 2019

Compositional workflow modeling with priority constraints

Protocol Scheduling

Farhad Arbab Information

University

Position

Professor of Computer Science

Citations(all)

11600

Citations(since 2020)

1655

Cited By

10557

hIndex(all)

42

hIndex(since 2020)

13

i10Index(all)

154

i10Index(since 2020)

23

Email

University Profile Page

Universiteit Leiden

Google Scholar

View Google Scholar Profile

Farhad Arbab Skills & Research Interests

Software Engineering

Concurrency

Top articles of Farhad Arbab

Title

Journal

Author(s)

Publication Date

Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE) co-located with the 38th IEEE/ACM ASE 2023

ACM SIGSOFT Software Engineering Notes

Farhad Arbab

Marco Autili

Federico Ciccozzi

Pascal Poizat

Massimo Tivoli

2023/12/27

A semantic model for interacting cyber-physical systems

Journal of Logical and Algebraic Methods in Programming

Benjamin Lion

Farhad Arbab

Carolyn Talcott

2022/11/1

A rewriting framework for interacting cyber-physical agents

Benjamin Lion

Farhad Arbab

Carolyn Talcott

2022/10/17

A formal framework for distributed cyber-physical systems

Journal of Logical and Algebraic Methods in Programming

Benjamin Lion

Farhad Arbab

Carolyn Talcott

2022/8/1

Runtime Composition of Systems of Interacting Cyber-Physical Components

Benjamin Lion

Farhad Arbab

Carolyn Talcott

2022/6/28

Preface–Special Issue on selected and extended papers from FACS 2019

Sung-Shik Jongmans

Farhad Arbab

2022/6/1

Compositional workflow modeling with priority constraints

Science of Computer Programming

Behnaz Changizi

Natallia Kokash

Farhad Arbab

Leonid Makhnist

2021/3/1

Protocol Scheduling

Kasper Dokter

Farhad Arbab

2021

Simulation of hybrid Reo connectors

Ebrahim Ardeshir-Larijani

Alireza Farhadi

Farhad Arbab

2020/6/10

Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings

Farhad Arbab

Sung-Shik Jongmans

2020/2/12

Formal Aspects of Component Software

Farhad Arbab

Sung-Shik Jongmans

2020

See List of Professors in Farhad Arbab University(Universiteit Leiden)

Co-Authors

H-index: 59
Leendert (Leon) van der Torre

Leendert (Leon) van der Torre

Université du Luxembourg

H-index: 55
Christel Baier

Christel Baier

Technische Universität Dresden

H-index: 51
Pascal Bouvry

Pascal Bouvry

Université du Luxembourg

H-index: 50
Hamideh Afsarmanesh

Hamideh Afsarmanesh

Universiteit van Amsterdam

H-index: 33
Marcello Bonsangue

Marcello Bonsangue

Universiteit Leiden

H-index: 27
Marjan Sirjani

Marjan Sirjani

Mälardalens högskola

academic-engine