Farhad Arbab

ORCID

Publication Activity (10 Years)

Years Active: 1982-2024
Publications (10 Years): 38

Top Venues

Sci. Comput. Program.

CoRR

COORDINATION

FSEN

Publications

Farhad Arbab, Marco Autili, Federico Ciccozzi, Pascal Poizat, Massimo Tivoli
Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE)co-located with the 38th IEEE/ACM ASE 2023. ACM SIGSOFT Softw. Eng. Notes 49 (1) (2024)
Sung-Shik Jongmans, Farhad Arbab
Preface - Special Issue on selected and extended papers from FACS 2019. Sci. Comput. Program. 218 (2022)
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
A Rewriting Framework for Cyber-Physical Systems. CoRR (2022)
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
A Rewriting Framework for Interacting Cyber-Physical Agents. ISoLA (3) (2022)
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
Runtime Composition Of Systems of Interacting Cyber-Physical Components. CoRR (2022)
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
Runtime Composition of Systems of Interacting Cyber-Physical Components. WADT (2022)
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
A formal framework for distributed cyber-physical systems. J. Log. Algebraic Methods Program. 128 (2022)
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
A semantic model for interacting cyber-physical systems. J. Log. Algebraic Methods Program. 129 (2022)
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
A Formal Framework for Distributed Cyber-Physical Systems. CoRR (2022)
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
A Semantic Model for Interacting Cyber-Physical Systems. CoRR (2021)
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
A Semantic Model for Interacting Cyber-Physical Systems. ICE (2021)
Behnaz Changizi, Natallia Kokash, Farhad Arbab, Leonid Makhnist
Compositional workflow modeling with priority constraints. Sci. Comput. Program. 203 (2021)
Kasper Dokter, Farhad Arbab
Protocol Scheduling. FSEN (2021)
Hui Feng, Farhad Arbab, Marcello M. Bonsangue
A Reo Model of Software Defined Networks. ICFEM (2019)
Tobias Kappé, Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
Soft component automata: Composition, compilation, logic, and verification. Sci. Comput. Program. 183 (2019)
Farhad Arbab, Marco Autili, Paola Inverardi, Massimo Tivoli
Different Glasses to Look into the Three Cs: Component, Connector, Coordination. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Behnaz Changizi, Natallia Kokash, Farhad Arbab
Service Orchestration with Priority Constraints. FSEN (2019)
Sung-Shik T. Q. Jongmans, Farhad Arbab
Centralized coordination vs. partially-distributed coordination with Reo and constraint automata. Sci. Comput. Program. 160 (2018)
Kasper Dokter, Farhad Arbab
Treo: Textual Syntax for Reo Connectors. MeTRiD@ETAPS (2018)
Ebrahim Ardeshir-Larijani, Farhad Arbab
Reo Coordination Model for Simulation of Quantum Internet Software. STAF Workshops (2018)
Benjamin Lion, Samir Chouali, Farhad Arbab
Compiling Protocols to Promela and Verifying their LTL Properties. MoDELS (Workshops) (2018)
Farhad Arbab, Luís Cruz-Filipe, Sung-Shik Jongmans, Fabrizio Montesi
Connectors meet Choreographies. CoRR (2018)
Kasper Dokter, Farhad Arbab
Rule-Based Form for Stream Constraints. COORDINATION (2018)
Tobias Kappé, Farhad Arbab, Carolyn L. Talcott
A Component-Oriented Framework for Autonomous Agents. FACS (2017)
Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze
Combine and conquer: Relating BIP and Reo. J. Log. Algebraic Methods Program. 86 (1) (2017)
Kasper Dokter, Farhad Arbab
Exposing Latent Mutual Exclusion by Work Automata. TTCS (2017)
Tobias Kappé, Farhad Arbab, Carolyn L. Talcott
A Component-oriented Framework for Autonomous Agents. CoRR (2017)
Sung-Shik T. Q. Jongmans, Tobias Kappé, Farhad Arbab
Constraint automata with memory cells and their composition. Sci. Comput. Program. 146 (2017)
Farhad Arbab
Diagnosis of Deviations in Distributed Systems of Autonomous Agents. ERCIM News 2017 (109) (2017)
Sung-Shik T. Q. Jongmans, Farhad Arbab
PrDK: Protocol Programming with Automata. TACAS (2016)
Sung-Shik T. Q. Jongmans, Farhad Arbab
Global consensus through local synchronization: A formal basis for partially-distributed coordination. Sci. Comput. Program. (2016)
Carolyn L. Talcott, Vivek Nigam, Farhad Arbab, Tobias Kappé
Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems. SFM (2016)
Tobias Kappé, Farhad Arbab, Carolyn L. Talcott
A Compositional Framework for Preference-Aware Agents. V2CPS@IFM (2016)
Sung-Shik T. Q. Jongmans, Farhad Arbab
Data optimizations for constraint automata. Log. Methods Comput. Sci. 12 (3) (2016)
Narges Khakpour, Farhad Arbab, Éric Rutten
Synthesizing structural and behavioral control for reconfigurations in component-based systems. Formal Aspects Comput. 28 (1) (2016)
Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab
Scheduling Games for Concurrent Systems. COORDINATION (2016)
Michiel Helvensteijn, Farhad Arbab
Toward a Formal Foundation for Time Travel in Stories and Games. Theory and Practice of Formal Methods (2016)
Farhad Arbab
Proper Protocol. Theory and Practice of Formal Methods (2016)
Sung-Shik T. Q. Jongmans, Francesco Santini, Farhad Arbab
Partially distributed coordination with Reo and constraint automata. Serv. Oriented Comput. Appl. 9 (3-4) (2015)
Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze
Relating BIP and Reo. ICE (2015)
Carolyn L. Talcott, Farhad Arbab, Maneesh Yadav
Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems. Software, Services, and Systems (2015)
Sung-Shik T. Q. Jongmans, Farhad Arbab
Take Command of Your Constraints! COORDINATION (2015)
Sung-Shik T. Q. Jongmans, Farhad Arbab
Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code? FSEN (2015)
Farhad Arbab, Sung-Shik T. Q. Jongmans
Coordinating Multicore Computing. SFM (2015)
Hossein Hojjat, Marjan Sirjani, Farhad Arbab
Fundamentals of Software Engineering (selected papers of FSEN 2013). Sci. Comput. Program. 112 (2015)
Sung-Shik T. Q. Jongmans, Tobias Kappé, Farhad Arbab
Composing Constraint Automata, State-by-State. FACS (2015)
Narges Khakpour, Farhad Arbab, Éric Rutten
Supervisory Controller Synthesis for Safe Software Adaptation. WODES (2014)
Sung-Shik T. Q. Jongmans, Farhad Arbab
Toward Sequentializing Overparallelized Protocol Code. ICE (2014)
Young-Joo Moon, Alexandra Silva, Christian Krause, Farhad Arbab
A compositional model to reason about end-to-end QoS in Stochastic Reo connectors. Sci. Comput. Program. 80 (2014)
Sung-Shik T. Q. Jongmans, Sean Halle, Farhad Arbab
Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms. COORDINATION (2014)
Sung-Shik T. Q. Jongmans, Francesco Santini, Farhad Arbab
Partially-Distributed Coordination with Reo. PDP (2014)
Farhad Arbab, Sung-Shik Jongmans, Frank S. de Boer
High-Level Protocol Engineering without Performance Penalty for Multi-Core. ERCIM News 2014 (99) (2014)
Sung-Shik T. Q. Jongmans, Francesco Santini, Mahdi Sargolzaei, Farhad Arbab, Hamideh Afsarmanesh
Orchestrating web services using Reo: from circuits and behaviors to automatically generated code. Serv. Oriented Comput. Appl. 8 (4) (2014)
Farhad Arbab, Peter Csaba Ölveczky
Preface. Sci. Comput. Program. 83 (2014)
Sung-Shik T. Q. Jongmans, Farhad Arbab
Global Consensus through Local Synchronization. ESOCC Workshops (2013)
Mahdi Sargolzaei, Francesco Santini, Farhad Arbab, Hamideh Afsarmanesh
A Tool for Behaviour-Based Discovery of Approximately Matching Web Services. SEFM (2013)
Natallia Kokash, Farhad Arbab
Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools. IEEE Trans. Serv. Comput. 6 (2) (2013)
Natallia Kokash, Mohammad Mahdi Jaghoori, Farhad Arbab
From Timed Reo Networks to Networks of Timed Automata. Electron. Notes Theor. Comput. Sci. 295 (2013)
Farhad Arbab, Marjan Sirjani
Fundamentals of Software Engineering (selected papers of FSEN 2011). Sci. Comput. Program. 78 (12) (2013)
Sung-Shik T. Q. Jongmans, Francesco Santini, Mahdi Sargolzaei, Farhad Arbab, Hamideh Afsarmanesh
Automatic Code Generation for the Orchestration of Web Services with Reo. ESOCC (2012)
Farhad Arbab, Francesco Santini, Stefano Bistarelli, Daniele Pirolandi
Towards a similarity-based web service discovery through soft constraint satisfaction problems. SSW@VLDB (2012)
Farhad Arbab, Francesco Santini
Preference and Similarity-Based Behavioral Discovery of Services. WS-FM (2012)
Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab
Symbolic execution of Reo circuits using constraint automata. Sci. Comput. Program. 77 (7-8) (2012)
José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab
Dreams: a framework for distributed synchronous coordination. SAC (2012)
Sun Meng, Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer, Jan J. M. M. Rutten
Connectors as designs: Modeling, refinement and test case generation. Sci. Comput. Program. 77 (7-8) (2012)
Farhad Arbab, Marjan Sirjani
Fundamentals of software engineering (selected papers of FSEN '09). Sci. Comput. Program. 77 (7-8) (2012)
Sung-Shik T. Q. Jongmans, Farhad Arbab
Overview of Thirty Semantic Formalisms for Reo. Sci. Ann. Comput. Sci. 22 (1) (2012)
Sung-Shik T. Q. Jongmans, Farhad Arbab
Modularizing and Specifying Protocols among Threads PLACES (2012)
Farhad Arbab, Sung-Shik Jongmans
Software Engineering for Multi-core Platforms. ERCIM News 2012 (91) (2012)
Sung-Shik T. Q. Jongmans, Farhad Arbab
Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata ICE (2011)
Natallia Kokash, Farhad Arbab, Behnaz Changizi, Leonid Makhnist
Input-output Conformance Testing for Channel-based Service Connectors PACO (2011)
Farhad Arbab
Puff, The Magic Protocol. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab
Channel-based coordination via constraint satisfaction. Sci. Comput. Program. 76 (8) (2011)
Sung-Shik T. Q. Jongmans, Christian Krause, Farhad Arbab
Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models. COORDINATION (2011)
Christian Krause, Ziyan Maraikar, Alexander Lazovik, Farhad Arbab
Modeling dynamic reconfigurations in Reo using high-level replacement systems. Sci. Comput. Program. 76 (1) (2011)
Sun Meng, Farhad Arbab, Christel Baier
Synthesis of Reo circuits from scenario-based interaction specifications. Sci. Comput. Program. 76 (8) (2011)
José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab
Decoupled execution of synchronous coordination models via behavioural automata FOCLASA (2011)
Young-Joo Moon, Alexandra Silva, Christian Krause, Farhad Arbab
A Compositional Semantics for Stochastic Reo Connectors FOCLASA (2010)
Farhad Arbab
Elements of Interaction. CSDM (2010)
Farhad Arbab
Will the Real Service Oriented Computing Please Stand Up? FACS (2010)
Natallia Kokash, Behnaz Changizi, Farhad Arbab
A Semantic Model for Service Composition with Coordination Time Delays. ICFEM (2010)
Bahman Pourvatan, Marjan Sirjani, Farhad Arbab, Marcello M. Bonsangue
Decomposition of Constraint Automata. FACS (2010)
Sun Meng, Farhad Arbab
A Model for Web Service Coordination in Long-Running Transactions. SOSE (2010)
Farhad Arbab, Claudia Diamantini, Domenico Potena, Emanuele Storti
Towards Coordination Patterns for Complex Experimentations in Data Mining. SEBD (2010)
Bernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Sun Meng, Jan J. M. M. Rutten
Fault-Based Test Case Generation for Component Connectors. TASE (2009)
Farhad Arbab, Sun Meng, Christel Baier
Synthesis of Reo Circuits from Scenario-based Specifications. Electron. Notes Theor. Comput. Sci. 229 (2) (2009)
Farhad Arbab, Sun Meng, Young-Joo Moon, Marta Z. Kwiatkowska, Hongyang Qu
Reo2MC: a tool chain for performance analysis of coordination models. ESEC/SIGSOFT FSE (2009)
Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab
Automated Analysis of Reo Circuits using Symbolic Execution. Electron. Notes Theor. Comput. Sci. 255 (2009)
Sun Meng, Farhad Arbab
Connectors as Designs. Electron. Notes Theor. Comput. Sci. 255 (2009)
Sun Meng, Farhad Arbab
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata. Fundam. Informaticae 95 (1) (2009)
Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, Young-Joo Moon, Chrétien Verhoef
From Coordination to Stochastic Models of QoS. COORDINATION (2009)
Natallia Kokash, Farhad Arbab
Applying Reo to service coordination in long-running business transactions. SAC (2009)
Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab
Deconstructing Reo. Electron. Notes Theor. Comput. Sci. 229 (2) (2009)
Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer, Nick A. M. Tinnemeier
Reo Connectors as Coordination Artifacts in 2APL Systems. PRIMA (2008)
Krzysztof R. Apt, Farhad Arbab, Huiye Ma
A Distributed Platform for Mechanism Design CoRR (2008)
Ziyan Maraikar, Alexander Lazovik, Farhad Arbab
Building Mashups for the Enterprise with SABRE. ICSOC (2008)
Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari
Tiles for Reo. WADT (2008)
Natallia Kokash, Farhad Arbab
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems. FMCO (2008)
Christian Koehler, Farhad Arbab, Erik P. de Vink
Reconfiguring Distributed Reo Connectors. WADT (2008)
Christian Koehler, Alexander Lazovik, Farhad Arbab
Connector Rewriting with High-Level Replacement Systems. Electron. Notes Theor. Comput. Sci. 194 (4) (2008)

Farhad Arbab.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Farhad Arbab