Toward CAM-oriented CAD. - Farhad Arbab; Larry Lichten; Michel A. Melkanoff (DAC, 1982)

Fixed-axis tool positioning with built-in global interference checking for NC path generation. - Allan Hansen; Farhad Arbab (IEEE J. Robotics Autom., 1988)

Guest editors' introduction : Features and geometric reasoning. - Tetsuo Tomiyama; Farhad Arbab (Comput. Graph., 1990)

Set models and Boolean operations for solids and assemblies. - Farhad Arbab (IEEE Computer Graphics and Applications, 1990)

The GKS Input Model in MANIFOLD. - Dirk Soede; Farhad Arbab; Ivan Herman; Paul J. W. ten Hagen (Comput. Graph. Forum, 1991)

Manifold: Concepts and Implementation. - Farhad Arbab; Ivan Herman; Pål Spilling (CONPAR, 1992)

Interaction Management of a Window Manager in Manifold. - Farhad Arbab; Ivan Herman; Pål Spilling (ICCI, 1992)

An Algorithm for Generating NC Tool Paths for Arbitrarily Shaped Pockets with Islands. - Allan Hansen; Farhad Arbab (ACM Trans. Graph., 1992)

An Object Model for Multimedia Programming. - Farhad Arbab; Ivan Herman; Graham J. Reynolds (Comput. Graph. Forum, 1993)

An overview of manifold and its implementation. - Farhad Arbab; Ivan Herman; Pål Spilling (Concurr. Pract. Exp., 1993)

Manifold. - Farhad Arbab; Ivan Herman (Future Gener. Comput. Syst., 1994)

Coordination of Systems with Real-Time Properties in Manifold. - George A. Papadopoulos; Farhad Arbab (COMPSAC, 1996)

The IWIM Model for Coordination of Concurrent Activities. - Farhad Arbab (COORDINATION, 1996)

VISIFOLD: A Visual Environment for a Coordination Language. - Pascal Bouvry; Farhad Arbab (COORDINATION, 1996)

Restructuring sequential Fortran code into a parallel/distributed application. - C. T. H. Everaars; Farhad Arbab; F. J. Burger (ICSM, 1996)

Coordination of Distributed/Parallel Multi-grid Domain Decomposition. - C. T. H. Everaars; Farhad Arbab (IRREGULAR, 1996)

Control-Based Coordination of Human and Other Activities in Cooperative Information Systems. - George A. Papadopoulos; Farhad Arbab (COORDINATION, 1997)

Parallel Evolutionary Computation: Multi Agents Genetic Algorithms. - Franciszek Seredynski; Pascal Bouvry; Farhad Arbab (Euro-PDS, 1997)

The Influence of Coordination on Program Structure. - Farhad Arbab (HICSS (1), 1997)

Control-Driven Coordination Programming in Shared Dataspace. - George A. Papadopoulos; Farhad Arbab (PaCT, 1997)

Parallel and Distributed Evolutionary Computation with MANIFOLD. - Franciszek Seredynski; Pascal Bouvry; Farhad Arbab (PaCT, 1997)

Coordination of Distributed and Parallel Activities in the IWIM Model. - George A. Papadopoulos; Farhad Arbab (Int. J. High Speed Comput., 1997)

Coordination and its Relevance. - Farhad Arbab (DEXA Workshop, 1998)

Modeling Electronic Commerce Activities Using Control-Driven Coordination. - George A. Papadopoulos; Farhad Arbab (DEXA Workshop, 1998)

Using coordination for cooperative constraint solving. - Farhad Arbab; Éric Monfroy (SAC, 1998)

Modelling activities in information systems using the coordination language MANIFOLD. - George A. Papadopoulos; Farhad Arbab (SAC, 1998)

Coordination Models and Languages. - George A. Papadopoulos; Farhad Arbab (Adv. Comput., 1998)

Coordination Languages for Parallel Programming. - Farhad Arbab; Paolo Ciancarini; Chris Hankin (Parallel Comput., 1998)

Reusable Coordinator Modules for Massively Concurrent Applications. - Farhad Arbab; C. L. Blom; F. J. Burger; C. T. H. Everaars (Softw. Pract. Exp., 1998)

Coordination Programming for Parallel and Distributed Applications. - Farhad Arbab (PDPTA, 1999)

A Logical Interface Description Language for Components. - Farhad Arbab; Frank S. de Boer; Marcello M. Bonsangue (COORDINATION, 2000)

Distributed Splitting of Constraint Satisfaction Problems. - Farhad Arbab; Éric Monfroy (COORDINATION, 2000)

Dynamic Reconfiguration in Coordination Languages. - George A. Papadopoulos; Farhad Arbab (HPCN Europe, 2000)

A Coordination Lanuage for Mobile Components. - Farhad Arbab; Marcello M. Bonsangue; Frank S. de Boer (SAC (1), 2000)

Dynamic Process Composition and Communication Patterns in Irregularly Structured Applications. - C. T. H. Everaars; Farhad Arbab; Barry Koren (Concurr. Pract. Exp., 2000)

Distributed Evolutionary Optimization, in Manifold: Rosenbrock's Function Case Study. - Pascal Bouvry; Farhad Arbab; Franciszek Seredynski (Inf. Sci., 2000)

A transition system semantics for the control-driven coordination language MANIFOLD. - Marcello M. Bonsangue; Farhad Arbab; J. W. de Bakker; Jan J. M. M. Rutten; A. Secutella; Gianluigi Zavattaro (Theor. Comput. Sci., 2000)

Constraints Solving as the Coordination of Inference Engines. - Éric Monfroy; Farhad Arbab (Coordination of Internet Agents: Models, Technologies, and Applications, 2001)

Using Coordination to Restructure Sequential Source Code into a Concurrent Program. - C. T. H. Everaars; Farhad Arbab; Barry Koren (ICSM, 2001)

Panta Rei (Everything Flows): A Calculus of Channels. - Farhad Arbab (JISBD, 2001)

Coordination of Mobile Components. - Farhad Arbab (ConCoord, 2001)

Configuration and dynamic reconfiguration of components using the coordination paradigm. - George A. Papadopoulos; Farhad Arbab (Future Gener. Comput. Syst., 2001)

MoCha: A Middleware Based on Mobile Channels. - Farhad Arbab; Frank S. de Boer; Juan Guillen Scholten; Marcello M. Bonsangue (COMPSAC, 2002)

Coordination through Channel Composition. - Farhad Arbab; Farhad Mavaddat (COORDINATION, 2002)

A Coinductive Calculus of Component Connectors. - Farhad Arbab; Jan J. M. M. Rutten (WADT, 2002)

IWIM Semantics via Fibred Automata. - Richard Banach; Farhad Arbab; George A. Papadopoulos; John R. W. Glauert (Formal Methods and Component Interaction @ ICALP, 2002)

A Channel-based Coordination Model for Components. - Juan Guillen Scholten; Farhad Arbab; Frank S. de Boer; Marcello M. Bonsangue (FOCLASA, 2002)

Mobile Channels, Implementation Within and Outside Components. - Juan Guillen Scholten; Farhad Arbab; Frank S. de Boer; Marcello M. Bonsangue (Formal Methods and Component Interaction @ ICALP, 2002)

Towards a Language for Coherent Enterprise Architecture Descriptions. - Henk Jonkers; René van Buuren; Farhad Arbab; Frank S. de Boer; Marcello M. Bonsangue; Hans Bosma; Hugo W. L. ter Doest; Luuk Groenewegen; Juan Guillen Scholten; Stijn Hoppenbrouwers; Maria-Eugenia Iacob; Wil Janssen; et al. (EDOC, 2003)

Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract). - Farhad Arbab; Christel Baier; Jan J. M. M. Rutten; Marjan Sirjani (FOCLASA, 2003)

A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model. - Richard Banach; Farhad Arbab; George A. Papadopoulos; John R. W. Glauert (J. Univers. Comput. Sci., 2003)

Introduction. - Farhad Arbab; Khalil Drira (J. Supercomput., 2003)

Coordinating Web Services Using Channel Based Communication. - Theophilos A. Limniotes; George A. Papadopoulos; Farhad Arbab (COMPSAC, 2004)

A Component-Based Parallel Constraint Solver. - Peter Zoeteweij; Farhad Arbab (COORDINATION, 2004)

Coordinated Anonymous Peer-to-Peer Connections with MoCha. - Juan Guillen Scholten; Farhad Arbab (FIDJI, 2004)

Interaction and Coordination of Tools for Structured Data. - Farhad Arbab; Joost N. Kok (ISoLA, 2004)

Modelling Coordination in Biological Systems. - Dave Clarke 001; David Costa 001; Farhad Arbab (ISoLA (Preliminary proceedings), 2004)

Modeling Behavior in Compositions of Software Architectural Primitives. - Nikunj R. Mehta; Nenad Medvidovic; Marjan Sirjani; Farhad Arbab (ASE, 2004)

Web Services: separation of concerns: computation coordination communication. - Theophilos A. Limniotes; George A. Papadopoulos; Farhad Arbab (SAC, 2004)

Modernizing Existing Software: A Case Study. - C. T. H. Everaars; Farhad Arbab; Barry Koren (SC, 2004)

Models and Temporal Logics for Timed Component Connectors. - Farhad Arbab; Christel Baier; Frank S. de Boer; Jan J. M. M. Rutten (SEFM, 2004)

Compositional Construction of Web Services Using Reo. - Nikolay K. Diakov; Farhad Arbab (WSMAI, 2004)

Reo: a channel-based coordination model for component composition. - Farhad Arbab (Math. Struct. Comput. Sci., 2004)

Coordination and composition in multi-agent systems. - Mehdi Dastani; Farhad Arbab; Frank S. de Boer (AAMAS, 2005)

Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications. - Farhad Arbab; Christel Baier; Frank S. de Boer; Jan J. M. M. Rutten; Marjan Sirjani (COORDINATION, 2005)

MoCha-pi, an exogenous coordination calculus based on mobile channels. - Juan Guillen Scholten; Farhad Arbab; Frank S. de Boer; Marcello M. Bonsangue (SAC, 2005)

Coordination for Component Composition. - Farhad Arbab (FACS, 2005)

Preface. - Farhad Arbab; Marjan Sirjani (FSEN, 2005)

Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets. - Juan Guillen Scholten; Farhad Arbab; Frank S. de Boer; Marcello M. Bonsangue (FOCLASA, 2005)

Towards an Automated Deployment Planner for Composition of Web Services as Software Components. - Abbas Heydarnoori; Farhad Mavaddat; Farhad Arbab (FACS, 2005)

Formal Semantics and Analysis of Component Connectors in Reo. - Mohammad Reza Mousavi 001; Marjan Sirjani; Farhad Arbab (FOCLASA, 2005)

The Role of Agent Interaction in Models of Computing: Panelist Reviews. - Peter Wegner; Farhad Arbab; Dina Q. Goldin; Peter McBurney; Michael Luck; David Robertson (FInCo@ETAPS, 2005)

Compositional Construction and Reasoning Techniques for Software. - Farhad Arbab; Joost N. Kok (J. Univers. Comput. Sci., 2005)

Abstract Behavior Types: a foundation model for components and their composition. - Farhad Arbab (Sci. Comput. Program., 2005)

Landscape Maps for Enterprise Architectures. - Leendert W. N. van der Torre; Marc M. Lankhorst; Hugo W. L. ter Doest; Jan T. P. Campschroer; Farhad Arbab (CAiSE, 2006)

Compositional Semantics of an Actor-Based Language Using Constraint Automata. - Marjan Sirjani; Mohammad Mahdi Jaghoori; Christel Baier; Farhad Arbab (COORDINATION, 2006)

Deploying Loosely Coupled, Component-based Applications into Distributed Environments. - Abbas Heydarnoori; Farhad Mavaddat; Farhad Arbab (ECBS, 2006)

A Behavioral Model for Composition of Software Components. - Farhad Arbab (Obj. Logiciel Base données Réseaux, 2006)

A Component Coordination Model Based on Mobile Channels. - Juan Guillen Scholten; Farhad Arbab; Frank S. de Boer; Marcello M. Bonsangue (Fundam. Informaticae, 2006)

Enterprise architecture: Management tool and blueprint for the organisation. - Henk Jonkers; Marc M. Lankhorst; Hugo W. L. ter Doest; Farhad Arbab; Hans Bosma; Roel J. Wieringa (Inf. Syst. Frontiers, 2006)

Modeling component connectors in Reo by constraint automata. - Christel Baier; Marjan Sirjani; Farhad Arbab; Jan J. M. M. Rutten (Sci. Comput. Program., 2006)

Model Checking of Component Connectors. - Mohammad Izadi; Ali Movaghar 001; Farhad Arbab (COMPSAC (1), 2007)

Component Connectors with QoS Guarantees. - Farhad Arbab; Tom Chothia; Sun Meng; Young-Joo Moon 001 (COORDINATION, 2007)

On Resource-Sensitive Timed Component Connectors. - Sun Meng; Farhad Arbab (FMOODS, 2007)

ReoService: Coordination Modeling Tool. - Christian Koehler 001; Alexander Lazovik; Farhad Arbab (ICSOC, 2007)

Using Reo for Service Coordination. - Alexander Lazovik; Farhad Arbab (ICSOC, 2007)

Web services choreography and orchestration in Reo and constraint automata. - Sun Meng; Farhad Arbab (SAC, 2007)

Syanco 2007: international workshop on synthesis and analysis of component connectors. - Farhad Arbab; Christel Baier (ESEC/SIGSOFT FSE, 2007)

Composition by Anonymous Third Parties. - Farhad Arbab (SC@ETAPS, 2007)

A System for Distributed Mechanisms: Design, Implementation and Applications - Krzysztof R. Apt; Farhad Arbab; Huiye Ma (CoRR, 2007)

Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise Architecture. - Farhad Arbab; Frank S. de Boer; Marcello M. Bonsangue; Marc M. Lankhorst; Erik Proper; Leendert W. N. van der Torre (Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2007)

Preface. - Dina Q. Goldin; Farhad Arbab (FInCo@ETAPS, 2007)

Connector Rewriting with High-Level Replacement Systems. - Christian Koehler 001; Alexander Lazovik; Farhad Arbab (FOCLASA, 2007)

Applications of Formal Methods to System Design and Verification. - Farhad Arbab; Marjan Sirjani (J. Univers. Comput. Sci., 2007)

Connector colouring I: Synchronisation and context dependency. - Dave Clarke 001; David Costa 001; Farhad Arbab (Sci. Comput. Program., 2007)

Models and temporal logical specifications for timed component connectors. - Farhad Arbab; Christel Baier; Frank S. de Boer; Jan J. M. M. Rutten (Softw. Syst. Model., 2007)

QoS-driven service selection and composition. - Sun Meng; Farhad Arbab (ACSD, 2008)

Synthesis of Connectors from Scenario-Based Interaction Specifications. - Farhad Arbab; Sun Meng (CBSE, 2008)

A Distributed Platform for Mechanism Design. - Krzysztof R. Apt; Farhad Arbab; Huiye Ma (CIMCA/IAWTIC/ISE, 2008)

Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems. - Natallia Kokash; Farhad Arbab (FMCO, 2008)

Building Mashups for the Enterprise with SABRE. - Ziyan Maraikar; Alexander Lazovik; Farhad Arbab (ICSOC, 2008)

Towards Using Reo for Compliance-Aware Business Process Modeling. - Farhad Arbab; Natallia Kokash; Sun Meng (ISoLA, 2008)

Reo Connectors as Coordination Artifacts in 2APL Systems. - Farhad Arbab; Lacramioara Astefanoaei; Frank S. de Boer; Mehdi Dastani; John-Jules Ch. Meyer; Nick A. M. Tinnemeier (PRIMA, 2008)

Tiles for Reo. - Farhad Arbab; Roberto Bruni 001; Dave Clarke 001; Ivan Lanese; Ugo Montanari (WADT, 2008)

Reconfiguring Distributed Reo Connectors. - Christian Koehler 001; Farhad Arbab; Erik P. de Vink (WADT, 2008)

Reconfiguration of Reo Connectors Triggered by Dataflow. - Christian Koehler 001; David Costa 001; José Proença; Farhad Arbab (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Synthesis of Reo Circuits from Scenario-based Specifications. - Farhad Arbab; Sun Meng; Christel Baier (FOCLASA@ICALP, 2008)

Deconstructing Reo. - Dave Clarke 001; José Proença; Alexander Lazovik; Farhad Arbab (FOCLASA@ICALP, 2008)

From Coordination to Stochastic Models of QoS. - Farhad Arbab; Tom Chothia; Rob van der Mei; Sun Meng; Young-Joo Moon 001; Chrétien Verhoef (COORDINATION, 2009)

Applying Reo to service coordination in long-running business transactions. - Natallia Kokash; Farhad Arbab (SAC, 2009)

Reo2MC: a tool chain for performance analysis of coordination models. - Farhad Arbab; Sun Meng; Young-Joo Moon 001; Marta Z. Kwiatkowska; Hongyang Qu 001 (ESEC/SIGSOFT FSE, 2009)

Fault-Based Test Case Generation for Component Connectors. - Bernhard K. Aichernig; Farhad Arbab; Lacramioara Astefanoaei; Frank S. de Boer; Sun Meng; Jan J. M. M. Rutten (TASE, 2009)

Connectors as Designs. - Sun Meng; Farhad Arbab (FOCLASA, 2009)

Automated Analysis of Reo Circuits using Symbolic Execution. - Bahman Pourvatan; Marjan Sirjani; Hossein Hojjat; Farhad Arbab (FOCLASA, 2009)

QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata. - Sun Meng; Farhad Arbab (Fundam. Informaticae, 2009)

Elements of Interaction. - Farhad Arbab (CSDM, 2010)

Will the Real Service Oriented Computing Please Stand Up? - Farhad Arbab (FACS, 2010)

Decomposition of Constraint Automata. - Bahman Pourvatan; Marjan Sirjani; Farhad Arbab; Marcello M. Bonsangue (FACS, 2010)

A Semantic Model for Service Composition with Coordination Time Delays. - Natallia Kokash; Behnaz Changizi; Farhad Arbab (ICFEM, 2010)

Towards Coordination Patterns for Complex Experimentations in Data Mining. - Farhad Arbab; Claudia Diamantini; Domenico Potena; Emanuele Storti (SEBD, 2010)

A Model for Web Service Coordination in Long-Running Transactions. - Sun Meng; Farhad Arbab (SOSE, 2010)

A Compositional Semantics for Stochastic Reo Connectors - Young-Joo Moon 001; Alexandra Silva 001; Christian Krause 001; Farhad Arbab (FOCLASA, 2010)

Puff, The Magic Protocol. - Farhad Arbab (Formal Modeling: Actors, Open Systems, Biological Systems, 2011)

Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models. - Sung-Shik T. Q. Jongmans; Christian Krause 001; Farhad Arbab (COORDINATION, 2011)

Decoupled execution of synchronous coordination models via behavioural automata - José Proença; Dave Clarke 001; Erik P. de Vink; Farhad Arbab (FOCLASA, 2011)

Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata - Sung-Shik T. Q. Jongmans; Farhad Arbab (ICE, 2011)

Input-output Conformance Testing for Channel-based Service Connectors - Natallia Kokash; Farhad Arbab; Behnaz Changizi; Leonid Makhnist (PACO, 2011)

Channel-based coordination via constraint satisfaction. - Dave Clarke 001; José Proença; Alexander Lazovik; Farhad Arbab (Sci. Comput. Program., 2011)

Modeling dynamic reconfigurations in Reo using high-level replacement systems. - Christian Krause 001; Ziyan Maraikar; Alexander Lazovik; Farhad Arbab (Sci. Comput. Program., 2011)

Synthesis of Reo circuits from scenario-based interaction specifications. - Sun Meng; Farhad Arbab; Christel Baier (Sci. Comput. Program., 2011)

Automatic Code Generation for the Orchestration of Web Services with Reo. - Sung-Shik T. Q. Jongmans; Francesco Santini 001; Mahdi Sargolzaei; Farhad Arbab; Hamideh Afsarmanesh (ESOCC, 2012)

Dreams: a framework for distributed synchronous coordination. - José Proença; Dave Clarke 001; Erik P. de Vink; Farhad Arbab (SAC, 2012)

Towards a similarity-based web service discovery through soft constraint satisfaction problems. - Farhad Arbab; Francesco Santini 001; Stefano Bistarelli; Daniele Pirolandi (SSW@VLDB, 2012)

Preference and Similarity-Based Behavioral Discovery of Services. - Farhad Arbab; Francesco Santini 001 (WS-FM, 2012)

Modularizing and Specifying Protocols among Threads - Sung-Shik T. Q. Jongmans; Farhad Arbab (PLACES, 2012)

Overview of Thirty Semantic Formalisms for Reo. - Sung-Shik T. Q. Jongmans; Farhad Arbab (Sci. Ann. Comput. Sci., 2012)

From Timed Reo Networks to Networks of Timed Automata. - Natallia Kokash; Mohammad Mahdi Jaghoori; Farhad Arbab (FESCA, 2012)

Software Engineering for Multi-core Platforms. - Farhad Arbab; Sung-Shik Jongmans (ERCIM News, 2012)

Fundamentals of software engineering (selected papers of FSEN '09). - Farhad Arbab; Marjan Sirjani (Sci. Comput. Program., 2012)

Connectors as designs: Modeling, refinement and test case generation. - Sun Meng; Farhad Arbab; Bernhard K. Aichernig; Lacramioara Astefanoaei; Frank S. de Boer; Jan J. M. M. Rutten (Sci. Comput. Program., 2012)

Symbolic execution of Reo circuits using constraint automata. - Bahman Pourvatan; Marjan Sirjani; Hossein Hojjat; Farhad Arbab (Sci. Comput. Program., 2012)

Global Consensus through Local Synchronization. - Sung-Shik T. Q. Jongmans; Farhad Arbab (ESOCC Workshops, 2013)

A Tool for Behaviour-Based Discovery of Approximately Matching Web Services. - Mahdi Sargolzaei; Francesco Santini 001; Farhad Arbab; Hamideh Afsarmanesh (SEFM, 2013)

Fundamentals of Software Engineering (selected papers of FSEN 2011). - Farhad Arbab; Marjan Sirjani (Sci. Comput. Program., 2013)

Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools. - Natallia Kokash; Farhad Arbab (IEEE Trans. Serv. Comput., 2013)

Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms. - Sung-Shik T. Q. Jongmans; Sean Halle; Farhad Arbab (COORDINATION, 2014)

Partially-Distributed Coordination with Reo. - Sung-Shik T. Q. Jongmans; Francesco Santini 001; Farhad Arbab (PDP, 2014)

Supervisory Controller Synthesis for Safe Software Adaptation. - Narges Khakpour; Farhad Arbab; Éric Rutten (WODES, 2014)

Toward Sequentializing Overparallelized Protocol Code. - Sung-Shik T. Q. Jongmans; Farhad Arbab (ICE, 2014)

High-Level Protocol Engineering without Performance Penalty for Multi-Core. - Farhad Arbab; Sung-Shik Jongmans; Frank S. de Boer (ERCIM News, 2014)

Preface. - Farhad Arbab; Peter Csaba Ölveczky (Sci. Comput. Program., 2014)

A compositional model to reason about end-to-end QoS in Stochastic Reo connectors. - Young-Joo Moon 001; Alexandra Silva 001; Christian Krause 001; Farhad Arbab (Sci. Comput. Program., 2014)

Orchestrating web services using Reo: from circuits and behaviors to automatically generated code. - Sung-Shik T. Q. Jongmans; Francesco Santini 001; Mahdi Sargolzaei; Farhad Arbab; Hamideh Afsarmanesh (Serv. Oriented Comput. Appl., 2014)

Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems. - Carolyn L. Talcott; Farhad Arbab; Maneesh Yadav (Software, Services, and Systems, 2015)

Take Command of Your Constraints! - Sung-Shik T. Q. Jongmans; Farhad Arbab (COORDINATION, 2015)

Composing Constraint Automata, State-by-State. - Sung-Shik T. Q. Jongmans; Tobias Kappé; Farhad Arbab (FACS, 2015)

Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code? - Sung-Shik T. Q. Jongmans; Farhad Arbab (FSEN, 2015)

Coordinating Multicore Computing. - Farhad Arbab; Sung-Shik T. Q. Jongmans (SFM, 2015)

Relating BIP and Reo. - Kasper Dokter; Sung-Shik Jongmans; Farhad Arbab; Simon Bliudze (ICE, 2015)

Fundamentals of Software Engineering (selected papers of FSEN 2013). - Hossein Hojjat; Marjan Sirjani; Farhad Arbab (Sci. Comput. Program., 2015)

Partially distributed coordination with Reo and constraint automata. - Sung-Shik T. Q. Jongmans; Francesco Santini 001; Farhad Arbab (Serv. Oriented Comput. Appl., 2015)

Proper Protocol. - Farhad Arbab (Theory and Practice of Formal Methods, 2016)

Toward a Formal Foundation for Time Travel in Stories and Games. - Michiel Helvensteijn; Farhad Arbab (Theory and Practice of Formal Methods, 2016)

Scheduling Games for Concurrent Systems. - Kasper Dokter; Sung-Shik Jongmans; Farhad Arbab (COORDINATION, 2016)

Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems. - Carolyn L. Talcott; Vivek Nigam; Farhad Arbab; Tobias Kappé (SFM, 2016)

PrDK: Protocol Programming with Automata. - Sung-Shik T. Q. Jongmans; Farhad Arbab (TACAS, 2016)

Data optimizations for constraint automata. - Sung-Shik T. Q. Jongmans; Farhad Arbab (Log. Methods Comput. Sci., 2016)

A Compositional Framework for Preference-Aware Agents. - Tobias Kappé; Farhad Arbab; Carolyn L. Talcott (V2CPS@IFM, 2016)

Synthesizing structural and behavioral control for reconfigurations in component-based systems. - Narges Khakpour; Farhad Arbab; Éric Rutten (Formal Aspects Comput., 2016)

Global consensus through local synchronization: A formal basis for partially-distributed coordination. - Sung-Shik T. Q. Jongmans; Farhad Arbab (Sci. Comput. Program., 2016)

Tool Support. - Hugo W. L. ter Doest; Diederik van Leeuwen; Peter Fennema; Leon van der Torre; Andries W. Stam; Joost Jacob; Farhad Arbab (Enterprise Architecture at Work, 4th ed., 2017)

Foundations. - Marc M. Lankhorst; Leon van der Torre; Henderik A. Proper; Farhad Arbab; Frank S. de Boer; Marcello M. Bonsangue (Enterprise Architecture at Work, 4th ed., 2017)

Viewpoints and Visualisation. - Marc M. Lankhorst; Leon van der Torre; Henderik A. Proper; Farhad Arbab; S. J. B. A. Hoppenbrouwers; Maarten W. A. Steen (Enterprise Architecture at Work, 4th ed., 2017)

A Component-Oriented Framework for Autonomous Agents. - Tobias Kappé; Farhad Arbab; Carolyn L. Talcott (FACS, 2017)

Exposing Latent Mutual Exclusion by Work Automata. - Kasper Dokter; Farhad Arbab (TTCS, 2017)

Diagnosis of Deviations in Distributed Systems of Autonomous Agents. - Farhad Arbab (ERCIM News, 2017)

Combine and conquer: Relating BIP and Reo. - Kasper Dokter; Sung-Shik Jongmans; Farhad Arbab; Simon Bliudze (J. Log. Algebraic Methods Program., 2017)

Constraint automata with memory cells and their composition. - Sung-Shik T. Q. Jongmans; Tobias Kappé; Farhad Arbab (Sci. Comput. Program., 2017)

Rule-Based Form for Stream Constraints. - Kasper Dokter; Farhad Arbab (COORDINATION, 2018)

Compiling Protocols to Promela and Verifying their LTL Properties. - Benjamin Lion; Samir Chouali; Farhad Arbab (MoDELS (Workshops), 2018)

Reo Coordination Model for Simulation of Quantum Internet Software. - Ebrahim Ardeshir-Larijani; Farhad Arbab (STAF Workshops, 2018)

Connectors meet Choreographies. - Farhad Arbab; Luís Cruz-Filipe; Sung-Shik Jongmans; Fabrizio Montesi (CoRR, 2018)

Treo: Textual Syntax for Reo Connectors. - Kasper Dokter; Farhad Arbab (MeTRiD@ETAPS, 2018)

Centralized coordination vs. partially-distributed coordination with Reo and constraint automata. - Sung-Shik T. Q. Jongmans; Farhad Arbab (Sci. Comput. Program., 2018)

Different Glasses to Look into the Three Cs: Component, Connector, Coordination. - Farhad Arbab; Marco Autili; Paola Inverardi; Massimo Tivoli (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

Service Orchestration with Priority Constraints. - Behnaz Changizi; Natallia Kokash; Farhad Arbab (FSEN, 2019)

A Reo Model of Software Defined Networks. - Hui Feng; Farhad Arbab; Marcello M. Bonsangue (ICFEM, 2019)

Soft component automata: Composition, compilation, logic, and verification. - Tobias Kappé; Benjamin Lion; Farhad Arbab; Carolyn L. Talcott (Sci. Comput. Program., 2019)

Protocol Scheduling. - Kasper Dokter; Farhad Arbab (FSEN, 2021)

Compositional workflow modeling with priority constraints. - Behnaz Changizi; Natallia Kokash; Farhad Arbab; Leonid Makhnist (Sci. Comput. Program., 2021)

Runtime Composition of Systems of Interacting Cyber-Physical Components. - Benjamin Lion; Farhad Arbab; Carolyn L. Talcott (WADT, 2022)

A Rewriting Framework for Interacting Cyber-Physical Agents. - Benjamin Lion; Farhad Arbab; Carolyn L. Talcott (ISoLA (3), 2022)

A Rewriting Framework for Cyber-Physical Systems. - Benjamin Lion; Farhad Arbab; Carolyn L. Talcott (CoRR, 2022)

A formal framework for distributed cyber-physical systems. - Benjamin Lion; Farhad Arbab; Carolyn L. Talcott (J. Log. Algebraic Methods Program., 2022)

A semantic model for interacting cyber-physical systems. - Benjamin Lion; Farhad Arbab; Carolyn L. Talcott (J. Log. Algebraic Methods Program., 2022)

Preface - Special Issue on selected and extended papers from FACS 2019. - Sung-Shik Jongmans; Farhad Arbab (Sci. Comput. Program., 2022)

Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE)co-located with the 38th IEEE/ACM ASE 2023. - Farhad Arbab; Marco Autili; Federico Ciccozzi; Pascal Poizat; Massimo Tivoli (ACM SIGSOFT Softw. Eng. Notes, 2024)

Concurrent Rules Machines. - Farhad Arbab; Carolyn L. Talcott (Rebeca for Actor Analysis in Action, 2025)

Parallel Composition of Constraint Automata. - Benjamin Lion; Farhad Arbab (Rebeca for Actor Analysis in Action, 2025)

Formal Foundations for Reowolf: Multi-party Sessions via Synchronous Protocol Programming. - Christopher A. Esterhuyse; Benjamin Lion; Hans-Dieter A. Hiep; Farhad Arbab (COORDINATION, 2025)