| 2025 | Coordination | Formal Foundations for Reowolf: Multi-party Sessions via Synchronous Protocol Programming. | Christopher A. Esterhuyse, Benjamin Lion, Hans-Dieter A. Hiep, Farhad Arbab |
| 2022 | ISoLA | A Rewriting Framework for Interacting Cyber-Physical Agents. | Benjamin Lion, Farhad Arbab, Carolyn L. Talcott |
| 2019 | ICFEM | A Reo Model of Software Defined Networks. | Hui Feng, Farhad Arbab, Marcello M. Bonsangue |
| 2018 | Coordination | Rule-Based Form for Stream Constraints. | Kasper Dokter, Farhad Arbab |
| 2018 | MODELS | Compiling Protocols to Promela and Verifying their LTL Properties. | Benjamin Lion, Samir Chouali, Farhad Arbab |
| 2016 | Coordination | Scheduling Games for Concurrent Systems. | Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab |
| 2016 | TACAS | PrDK: Protocol Programming with Automata. | Sung-Shik T. Q. Jongmans, Farhad Arbab |
| 2015 | Coordination | Take Command of Your Constraints! | Sung-Shik T. Q. Jongmans, Farhad Arbab |
| 2014 | Coordination | Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms. | Sung-Shik T. Q. Jongmans, Sean Halle, Farhad Arbab |
| 2014 | PDP | Partially-Distributed Coordination with Reo. | Sung-Shik T. Q. Jongmans, Francesco Santini, Farhad Arbab |
| 2013 | SEFM | A Tool for Behaviour-Based Discovery of Approximately Matching Web Services. | Mahdi Sargolzaei, Francesco Santini, Farhad Arbab, Hamideh Afsarmanesh |
| 2012 | SAC | Dreams: a framework for distributed synchronous coordination. | Jos Proena, Dave Clarke, Erik P. de Vink, Farhad Arbab |
| 2012 | VLDB | Towards a similarity-based web service discovery through soft constraint satisfaction problems. | Farhad Arbab, Francesco Santini, Stefano Bistarelli, Daniele Pirolandi |
| 2011 | Coordination | Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models. | Sung-Shik T. Q. Jongmans, Christian Krause, Farhad Arbab |
| 2010 | ICFEM | A Semantic Model for Service Composition with Coordination Time Delays. | Natallia Kokash, Behnaz Changizi, Farhad Arbab |
| 2009 | Coordination | From Coordination to Stochastic Models of QoS. | Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, Young-Joo Moon, Chrtien Verhoef |
| 2009 | SAC | Applying Reo to service coordination in long-running business transactions. | Natallia Kokash, Farhad Arbab |
| 2009 | TASE | 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 |
| 2008 | ICSOC | Building Mashups for the Enterprise with SABRE. | Ziyan Maraikar, Alexander Lazovik, Farhad Arbab |
| 2008 | ISoLA | Towards Using Reo for Compliance-Aware Business Process Modeling. | Farhad Arbab, Natallia Kokash, Sun Meng |
| 2008 | PRIMA | 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 |
| 2007 | COMPSAC | Model Checking of Component Connectors. | Mohammad Izadi, Ali Movaghar, Farhad Arbab |
| 2007 | Coordination | Component Connectors with QoS Guarantees. | Farhad Arbab, Tom Chothia, Sun Meng, Young-Joo Moon |
| 2007 | ICSOC | ReoService: Coordination Modeling Tool. | Christian Koehler, Alexander Lazovik, Farhad Arbab |
| 2007 | ICSOC | Using Reo for Service Coordination. | Alexander Lazovik, Farhad Arbab |
| 2007 | SAC | Web services choreography and orchestration in Reo and constraint automata. | Sun Meng, Farhad Arbab |
| 2006 | CaiSE | 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 |
| 2006 | Coordination | Compositional Semantics of an Actor-Based Language Using Constraint Automata. | Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab |
| 2005 | Coordination | 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 |
| 2005 | SAC | MoCha-pi, an exogenous coordination calculus based on mobile channels. | Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue |
| 2004 | COMPSAC | Coordinating Web Services Using Channel Based Communication. | Theophilos A. Limniotes, George A. Papadopoulos, Farhad Arbab |
| 2004 | Coordination | A Component-Based Parallel Constraint Solver. | Peter Zoeteweij, Farhad Arbab |
| 2004 | ISoLA | Interaction and Coordination of Tools for Structured Data. | Farhad Arbab, Joost N. Kok |
| 2004 | ISoLA | Modelling Coordination in Biological Systems. | Dave Clarke, David Costa, Farhad Arbab |
| 2004 | ISoLA | Modelling Coordination in Biological Systems. | Dave Clarke, David Costa, Farhad Arbab |
| 2004 | SAC | Web Services: separation of concerns: computation coordination communication. | Theophilos A. Limniotes, George A. Papadopoulos, Farhad Arbab |
| 2004 | SC | Modernizing Existing Software: A Case Study. | C. T. H. Everaars, Farhad Arbab, Barry Koren |
| 2004 | SEFM | Models and Temporal Logics for Timed Component Connectors. | Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten |
| 2003 | EDOC | 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, Marc M. Lankhorst, Diederik van Leeuwen, Erik Proper, Andries Stam, Leendert W. N. van der Torre, Gert Veldhuijzen van Zanten |
| 2002 | COMPSAC | MoCha: A Middleware Based on Mobile Channels. | Farhad Arbab, Frank S. de Boer, Juan Guillen Scholten, Marcello M. Bonsangue |
| 2002 | Coordination | Coordination through Channel Composition. | Farhad Arbab, Farhad Mavaddat |
| 2000 | Coordination | A Logical Interface Description Language for Components. | Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue |
| 2000 | Coordination | Distributed Splitting of Constraint Satisfaction Problems. | Farhad Arbab, ric Monfroy |
| 2000 | SAC | A Coordination Lanuage for Mobile Components. | Farhad Arbab, Marcello M. Bonsangue, Frank S. de Boer |
| 1999 | PDPTA | Coordination Programming for Parallel and Distributed Applications. | Farhad Arbab |
| 1998 | SAC | Using coordination for cooperative constraint solving. | Farhad Arbab, ric Monfroy |
| 1998 | SAC | Modelling activities in information systems using the coordination language MANIFOLD. | George A. Papadopoulos, Farhad Arbab |
| 1997 | Coordination | Control-Based Coordination of Human and Other Activities in Cooperative Information Systems. | George A. Papadopoulos, Farhad Arbab |
| 1997 | PACT | Control-Driven Coordination Programming in Shared Dataspace. | George A. Papadopoulos, Farhad Arbab |
| 1997 | PACT | Parallel and Distributed Evolutionary Computation with MANIFOLD. | Franciszek Seredynski, Pascal Bouvry, Farhad Arbab |
| 1996 | COMPSAC | Coordination of Systems with Real-Time Properties in Manifold. | George A. Papadopoulos, Farhad Arbab |
| 1996 | Coordination | The IWIM Model for Coordination of Concurrent Activities. | Farhad Arbab |
| 1996 | Coordination | VISIFOLD: A Visual Environment for a Coordination Language. | Pascal Bouvry, Farhad Arbab |
| 1996 | EuroPar | Reusable Coordinator Modules for Massively Concurrent Applications. | Farhad Arbab, C. L. Blom, F. J. Burger, C. T. H. Everaars |
| 1992 | ICCI | Interaction Management of a Window Manager in Manifold. | Farhad Arbab, Ivan Herman, Pl Spilling |
| 1982 | DAC | Toward CAM-oriented CAD. | Farhad Arbab, Larry Lichten, Michel A. Melkanoff |