Farhad Arbab
- Full Name
- Prof.dr. F. Arbab
- Function(s)
- Researcher
- Farhad.Arbab@cwi.nl
- Telephone
- +31 20 592 4056
- Room
- L334
- Department(s)
- Computer Security
Publications
-
Dokter, K.P.C, & 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. doi:10.1109/RTEST49666.2020.9140111
-
Feng, H, Arbab, F, & Bonsangue, M.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.W.J, 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
-
Arbab, F, Autili, M, Inverardi, P, & Tivoli, M. (2019). Different glasses to look into the three Cs: Component, connector, coordination. In Models, Languages, and Tools for Concurrent and Distributed Programming. Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday (pp. 191–216). doi:10.1007/978-3-030-21485-2_12
-
Changizi, B, Kokash, N, & Arbab, F. (2019). Service orchestration with priority constraints. In Proceedings of the International Conference on Fundamentals of Software Engineering (pp. 194–209). doi:10.1007/978-3-030-31517-7_14
-
Lion, B, Chouali, S, & Arbab, F. (2018). Compiling protocols to Promela and verifying their LTL properties. In Proceedings of 21st MODELS Workshops 2018: Copenhagen, Denmark (pp. 31–39).
-
Ardeshir-Larijani, E, & Arbab, F. (2018). Reo coordination model for simulation of quantum internet software. In Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence (pp. 311–319). doi:10.1007/978-3-030-04771-9_23
Professional activities
- 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
Grants
- 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)
Awards
- FACS Best Paper Award - co-authors: Sung-Shik Jongmans and Tobias Kapp� (2015)
- Bronzen Achievement Award - Trust4All (2009)