Farhad Arbab

Full Name

Prof.dr. F. Arbab

Farhad.Arbab@cwi.nl

Phone

+31 20 592 4056

Room

L334

Department(s)

Computer Security

Function(s)

Researcher - Universiteit Leiden

Lion, B., Arbab, F., & Talcott, C. (2023). Runtime Composition of Systems of Interacting Cyber-Physical Components. In Recent Trends in Algebraic Development Techniques - Proceedings of the 26th IFIP WG 1.3 International Workshop, WADT 2022 (pp. 141–162). doi:10.1007/978-3-031-43345-0_7
Lion, B., Arbab, F., & Talcott, C. (2022). A semantic model for interacting cyber-physical systems. Journal of Logical and Algebraic Methods in Programming, 129, 100807:1–100807:25. doi:10.1016/j.jlamp.2022.100807
Lion, B., Arbab, F., & Talcott, C. (2022). A formal framework for distributed cyber-physical systems. Journal of Logical and Algebraic Methods in Programming, 128, 100795:1–100795:14. doi:10.1016/j.jlamp.2022.100795
Lion, B., Arbab, F., & Talcott, C. (2022). A rewriting framework for interacting cyber-physical agents. In International Symposium on Leveraging Applications of Formal Methods (pp. 356–372). doi:10.1007/978-3-031-19759-8_22
Dokter, K., & Arbab, F. (2021). Protocol scheduling. In Proceedings of the International Conference on Fundamentals of Software Engineering (pp. 3–17). doi:10.1007/978-3-030-89247-0_1
Lion, B., Arbab, F., & Talcott, C. (2021). A semantic model for interacting cyber-physical systems. In Electronic Proceedings in Theoretical Computer Science (pp. 77–95). doi:10.4204/EPTCS.347.5
Changizi, B., Kokash, N., Arbab, F., & Makhnist, L. (2021). Compositional workflow modeling with priority constraints. Science of Computer Programming, 203. doi:10.1016/j.scico.2020.102578
Ardeshir-Larijani, E., Farhadi, A. (Alireza), & Arbab, F. (2020). Simulation of Hybrid Reo Connectors. In Proceedings of RTEST 2020 - 3rd CSI/CPSSI International Symposium on Real-Time and Embedded Systems and Technologies (pp. 1–10). doi:10.1109/RTEST49666.2020.9140111
Feng, H., Arbab, F., & Bonsangue, M. (2019). A Reo model of Software Defined Networks. In Formal Methods and Software Engineering (pp. 69–85). doi:10.1007/978-3-030-32409-4_5
Kappé, T., Lion, B., Arbab, F., & Talcott, C. (2019). Soft component automata: Composition, compilation, logic, and verification. Science of Computer Programming, 183. doi:10.1016/j.scico.2019.08.001

FACS Best Paper Award - co-authors: Sung-Shik Jongmans and Tobias Kapp� (2015)
Bronzen Achievement Award - Trust4All (2009)

Professor: Universiteit Leiden ﾖ (UL)
Committee member: Annual Computer Society of Iran Computer Conference - [CSICC]
Committee member: International Conference on Coordination Models and Languages - [COORDINATION]
Editor: Member editorial board - Journal: International Journal of Next Generation Computing
Editor: Journal: Scientia Iranica: International Journal of Science and Technology

EU Project - COMPAS: Compliance-driven Models, Languages, and Architectures for Services (2008)
NWO Open Competition - WoMaLaPaDiA: Workflow Management for Large Parallel and Distributed Applications (2007)
NWO GLANCE - WoMaLaPaDiA: Workflow Management for Large Parallel and Distributed Applications (2007)
NWO Open Competition - CooPer: Coordination with Performance Guarantees (2006)
NWO/DFG bilateral project - SYANCO: Synthesis and Analysis of Component Connectors (2006)
EU Project - Credo: Modeling and Analysis of Evolutionary Structures for Distributed Services (2006)
NWO Focus - DiaCoDem: Distributed Implementation of Adaptive Collective Decision Making (2006)
NWO GLANCE - CooPer: Coordination with Performance Guarantees (2006)
NWO BRICKS - BRICKS-AFM3: Formal Methods for Active Networking (2005)
EU Project - Trust4All (2005)
NWO Open Competition: - C-Quattro: Compositional Calculus of Component Connectors (2004)
SENTER/NOVEM Project - CIM III: Composition of Web Services for Cybernetic Incident Management (2003)
Telematica Institute Project - ArchiMate: Insight through visualization of formal-semantics-based models of Enterprise Architectures (2002)
NWO Open Competition - CBCS: Coordination Based Constraint Solving (2001)

Farhad Arbab

Publications

Awards

Professional activities

Grants

Farhad Arbab

Publications

Awards

Professional activities

Grants

Cookies