• Journal Papers & Book Chapters
• Conferences & Workshops
• Theses

Journal Papers & Book Chapters

Accepted

• ​Compositional and behavior-preserving reconfiguration of component connectors in Reo.
  Christian Krause, Holger Giese, and Erik de Vink.
  Accepted for publication in the Journal of Visual Languages & Computing.

• ​Formal Design and Verification of Long-Running Transactions with Eclipse Coordination Tools.
  Natallia Kokash and Farhad Arbab.
  Accepted for publication in Transactions on Service Computing.

• ​A compositional model to reason about end-to-end QoS in Stochastic Reo connectors.
  Young-Joo Moon, Alexandra Silva, Christian Krause, and Farhad Arbab.
  Accepted for publication in Science of Computer Programming.

2012

• ​A model of context-dependent component connectors.
  Marcello Bonsangue, Dave Clarke, and Alexandra Silva.
  Science of Computer Programming 77(6):685-706, 2012.

• ​Overview of Thirty Semantic Formalisms for Reo.
  Sung-Shik Jongmans and Farhad Arbab.
  Scientific Annals of Computer Science 22(1):201-251, 2012.

• ​Program Components & Abstract Behavioral Types.
  Marian Jencik and Daniel Mihalyi.
  Acta Electrotechnica et Informatica 12(1):38-43, 2012.

• ​SAT-based verification for timed component connectors.
  Stephanie Kemper.
  Science of Computer Programming 77(7-8):779-798, 2012.

• ​Reo+mCRL2: A framework for model-checking dataflow in service compositions.
  Natallia Kokash, Christian Krause, and Erik de Vink.
  Formal Aspects of Computing 24:187-216, 2012.

• ​Connectors as designs: Modeling, refinement and test case generation.
  Sun Meng, Farhad Arbab, Bernhard Aichernig, Lacramioara Astefanoaei, Frank de Boer, and Jan Rutten.
  Science of Computer Programming 77(7-8):799-822, 2012.

• ​Symbolic execution of Reo circuits using constraint automata.
  Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab.
  Science of Computer Programming 77(7-8):848-869, 2012.

2011

• ​Puff, The Magic Protocol.
  Farhad Arbab.
  In Gul Agha, Olivier Danvy, Jose Meseguer, editors, Talcott Festschrift, volume 7000 of LNCS, pages 169-206.
  Springer, 2011.

• ​Channel-based coordination via constraint satisfaction.
  Dave Clarke, Jose Proenca, Alexander Lazovik, and Farhad Arbab.
  Science of Computer Programming 76(8):681-710, 2011.

• ​A Graph-based Approach for Deploying Component-based Applications into Channel-based Distributed Environments.
  Abbas Heydarnoori and Walter Binder.
  Journal of Software 6(8):1381-1394, 2011.

• ​Buchi automata for modeling component connectors.
  Mohammad Izadi, Marcello Bonsangue, and Dave Clarke.
  Software and Systems Modeling 10(2):183-200, 2011.

• ​Modeling dynamic reconfigurations in Reo using high-level replacement systems.
  Christian Krause, Ziyan Maraikar, Alexander Lazovik, and Farhad Arbab.
  Science of Computer Programming 76(1):23-36, 2011.

• ​Synthesis of Reo circuits from scenario-based interaction specifications.
  Sun Meng, Farhad Arbab, and Christel Baier.
  Science of Computer Programming 76(8):651-680, 2011.

• ​Comparing three coordination models: Reo, ARC, and PBRD.
  Carolyn Talcott, Marjan Sirjani, and Shangping Ren.
  Science of Computer Programming 76(1):3-22, 2011.

2010

• ​Elements of Interaction.
  Farhad Arbab.
  In Marc Aiguier, Francis Bretaudeau, and Daniel Krob, editors, Complex Systems Design & Management, pages 1-28.
  Springer, 2010.

• ​Failure-based equivalence of constraint automata.
  Mohammad Izadi and Ali Movaghar.
  International Journal of Computer Mathematics 87(11):2426-2443, 2010.

2009

• ​Symbolic model checking for channel-based component connectors.
  Sascha Kluppelholz and Christel Baier.
  Science of Computer Programming 74(9):688-701, 2009.

• ​QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata.
  Sun Meng and Farhad Arbab.
  Fundamenta Informaticae 95(1):103-128, 2009.

2008

• ​A Basic Logic for Reasoning about Connector Reconfiguration.
  Dave Clarke.
  Fundamenta Informaticae 81(4):361-390, 2008.

• ​Model checking of component based software using compositional reductions.
  Mohammad Izadi and Ali Movaghar.
  International Journal of Software Engineering and Knowledge Engineering 18(5):683-712, 2008.

2007

• ​Models and temporal logical specifications for timed component connectors.
  Farhad Arbab, Christel Baier, Frank de Boer, and Jan Rutten.
  Software and Systems Modeling 6(1):59-82, 2007.

• ​Connector colouring I: Synchronisation and context dependency.
  Dave Clarke and David Costa and Farhad Arbab.
  Science of Computer Programming 66(3):205-225, 2007.

2006

• ​A Behavioral Model for Composition of Software Components.
  Farhad Arbab.
  L'Objet 12(1):33-76, 2006.

• ​Composition of Interacting Computations.
  Farhad Arbab.
  In Dina Goldin, Scott Smolka, and Peter Wegner, editors, Interactive Computation, pages 277-321.
  Springer, 2006.

• ​Computing and Interaction.
  Farhad Arbab.
  In Dina Goldin, Scott Smolka, and Peter Wegner, editors, Interactive Computation, pages 9-23.
  Springer, 2006.

• ​A basic algebra of stateless connectors.
  Roberto Bruni, Ivan Lanese, and Ugo Montanari.
  Theoretical Computer Science 366(1-2):95-120, 2006.

• ​Modeling component connectors in Reo by constraint automata.
  Christel Baier, Marjan Sirjani, Farhad Arbab, and Jan Rutten.
  Science of Computer Programming 61(2):75-113, 2006.

2005

• ​Coordinating Behavioral Descriptions of Components.
  Silvia Amaro, Ernesto Pimentel, and Ana Roldan.
  Journal of Universal Computer Science 11(10):1676-1694, 2005.

• ​Abstract Behavior Types: a foundation model for components and their composition.
  Farhad Arbab.
  Science of Computer Programming 55(1-3):3-52, 2005.

• ​Probabilistic Models for Reo Connector Circuits.
  Christel Baier.
  Journal of Universal Computer Science 11(10):1718-1748, 2005.

2004

• ​Reo: a channel-based coordination model for component composition.
  Farhad Arbab.
  Mathematical Structures in Computer Science 14(3):329--366, 2004.

• Component Connectors.
  Jan Rutten.
  In Prakash Panangaden and Franck van Breugel, editors, Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems, volume 23 of CRM, pages 73-87.
  AMS, 2004.

Conferences & Workshops

2012

• ​Partial Connector Colouring.
  Dave Clarke and Jose Proenca.
  In Marjan Sirjani, Proceedings of COORDINATION 2012, volume 7274 of LNCS, pages 169-206.
  Springer, 2012.

• ​A Procedure for Splitting Processes and its Application to Coordination.
  Sung-Shik Jongmans, Dave Clarke, and Jose Proenca.
  In Natallia Kokash and Antonio Ravara, editors, Proceedings of FOCLASA 2012, volume 91 of EPTCS, pages 79-96.
  CoRR, 2012.

• ​Automatic Code Generation for the Orchestration of Web Services with Reo.
  Sung-Shik Jongmans, Francesco Santini, Mahdi Sargolzaei, Farhad Arbab, and Hamideh Afsarmanesh.
  In Flavio De Paoli, Ernesto Pimentel, and Gianluigi Zavattaro, editors, Proceedings of ESOCC 2012, volume 7592 of LNCS, pages 1-16.
  Springer, 2012.

• ​A Buchi Automata Based Model Checking Framework for Reo Connectors.
  Sarmen Keshishzadeh, Mohammad Izadi, and Ali Movaghar.
  In Mirko Viroli, Gabriella Castelli, and Jose Luis Fernandez Marquez, editors, Proceedings of SAC 2012, pages 1536-1543.
  ACM, 2012.

• ​Using Coordinated Actors to Model Families of Distributed Systems.
  Ramtin Khosravi and Hamideh Sabouri.
  In Marjan Sirjani, editor, Proceedings of COORDINATION 2012, volume 7274 of LNCS, pages 74-88.
  Springer, 2012.

• ​Connectors as Designs: The Time Dimension.
  Sun Meng.
  In Tiziana Margaria, Zongyan Qiu, and Hongli Yang, editors, Proceedings of TASE 2012, pages 201-208.
  IEEE, 2012.

• ​Dreams: a framework for distributed synchronous coordination.
  Jose Proenca, Erik De Vink, and Farhad Arbab.
  In Mirko Viroli, Gabriella Castelli, and Jose Luis Fernandez Marquez, editors, Proceedings of SAC 2012, pages 1510-1515.
  ACM, 2012.

• ​Decomposition of Constraint Automata.
  Bahman Pourvatan, Marjan Sirjani, Farhad Arbab, and Marcello Bonsangue.
  In Luis Barbosa and Markus Lumpe, editors, Proceedings of FACS 2010, volume 6921 of LNCS, pages 237-258.
  Springer, 2012.

2011

• ​Modeling and Verification of Components and Connectors.
  Christel Baier and Joachim Klein and Sascha Kluppelholz.
  In Marco Bernardo and Valerie Issarny, editors, Proceedings of SFM 2011, volume 6659 of LNCS, pages 114-147.
  Springer, 2011.

• ​Modeling Real-Time Coordination Systems Using Timed Buchi Automata.
  Zahra Ahmadi Danesh and Mohammad Izadi.
  In Mohammad Izadi, editor, Proceedings of CSSE 2011, pages 17-24.
  IEEE, 2011.

• ​Correlating Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata.
  Sung-Shik Jongmans and Farhad Arbab.
  In Alexandra Silva, Simon Bliudze, Roberto Bruni, and Marco Carbone, editors, Proceedings of ICE 2011, volume 59 of EPTCS, pages 84-103.
  CoRR, 2011.

• ​Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models.
  Sung-Shik Jongmans, Christian Krause, and Farhad Arbab.
  In Wolfgang de Meuter and Gruia-Catalin Roman, editors, Proceedings of COORDINATION 2011, volume 6721 of LNCS, pages 31-48.
  Springer, 2011.

• ​Input-output Conformance Testing for Channel-based Service Connectors.
  Natallia Kokash, Farhad Arbab, Behnaz Changizi, and Leonid Makhnist.
  In Luca Aceto and Mohammad-Reza Mousavi, editors, Proceedings of PACO 2011, volume 60 of EPTCS, pages 19-35.
  CoRR, 2011.

• ​Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy.
  Joachim Klein, Sascha Kluppelholz, Andries Stam, and Christel Baier.
  In Gwen Salaun and Bernhard Schatz, editors, Proceedings of FMICS 2011, volume 6959 of LNCS, pages 228-243.
  Springer, 2011.

• ​Distributed Port Automata.
  Christian Krause.
  In Fabio Gadducci and Leonardo Mariani, editors, Proceedings of GTVMT 2011, volume 41 of ECEASST, pages 1-14.
  EASST, 2011.

• ​Decoupled execution of synchronous coordination models via behavioural automata.
  Jose Proenca, Dave Clarke, Erik de Vink, and Farhad Arbab.
  In Mohammad-Reza Mousavi and Antonio Ravara, editors, Proceedings of FOCLASA 2011, volume 58 of EPTCS, pages 65-79.
  CoRR, 2011.

• ​Simulation-Based Performance Analysis of Channel-Based Coordination Models.
  Chretien Verhoef, Christian Krause, Oscar Kanters, and Rob van der Mei.
  In Wolfgang de Meuter and Gruia-Catalin Roman, editors, Proceedings of COORDINATION 2011, volume 6721 of LNCS, pages 187-201.
  Springer, 2011.

2010

• ​Design and Verification of Systems with Exogenous Coordination Using Vereofy.
  Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Kluppelholz, and Wolfgang Leister.
  In Tiziana Margaria and Bernhard Steffen, editors, Proceedings of ISoLA 2010, volume 6416 of LNCS, pages 97-111.
  Springer, 2010.

• ​Automata Based Model Checking for Reo Connectors.
  Marcello Bonsangue and Mohammad Izadi.
  In Farhad Arbab and Marjan Sirjani, editors, Proceedings of FSEN 2009, volume 5961 of LNCS, pages 260-275.
  Springer, 2010.

• A Unified Toolset for Business Process Model Formalization.
  Behnaz Changizi, Natallia Kokash, and Farhad Arbab.
  In Preliminary proceedings of FESCA 2010.

• ​A Semantic Model for Service Composition with Coordination Time Delays.
  Natallia Kokash, Behnaz Changizi, and Farhad Arbab.
  In Jin Song Dong and Huibiao Zhu, editors, Proceedings of ICFEM 2010, volume 6447 of LNCS, pages 106-121.
  Springer, 2010.

• ​Data-Aware Design and Verification of Service Compositions with Reo and mCRL2.
  Natallia Kokash, Christian Krause, and Erik de Vink.
  In Manuel Mazzara, Claudio Guidi, and Ivan Lanese, editors, Proceedings of SAC 2010, pages 2406-2413.
  ACM, 2010

• ​Time and Data-Aware Analysis of Graphical Service Models in Reo.
  Natallia Kokash, Christian Krause, and Erik de Vink.
  In Jose Luiz Fiadeiro and Stefania Gnesi, editors, Proceedings of SEFM 2010, pages 125-134.
  IEEE, 2010.

• ​Verification of Context-Dependent Channel-Based Service Models.
  Natallia Kokash, Christian Krause, and Erik de Vink.
  In Frank de Boer, Marcello Bonsangue, Stefan Hallerstede, and Michael Leuschel, editors, Proceedings of FMCO 2009, volume 6286 of LNCS, pages 21-40.
  Springer, 2010.

• ​A Model for Web Service Coordination in Long-Running Transactions.
  Sun Meng and Farhad Arbab.
  In Xiaoying Bai and Yinsheng Li, editors, Proceedings of SOSE 2010, pages 121-128.
  IEEE, 2010.

• ​A Compositional Semantics for Stochastic Reo Connectors.
  Young-Joo Moon, Alexandra Silva, Christian Krause, and Farhad Arbab.
  In Mohammad-Reza Mousavi and Gwen Salaun, editors, Proceedings of FOCLASA 2010, volume 30 of EPTCS, pages 93-107.
  CoRR, 2010.

2009

• ​Fault-Based Test Case Generation for Component Connectors.
  Bernhard Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank de Boer, Sun Meng, and Jan Rutten.
  In Wei-Ngan Chin and Shengchao Qin, editors, Proceedings of TASE 2009, pages 147-154.
  IEEE, 2009.

• ​Tiles for Reo.
  Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, and Ugo Montanari.
  In Andrea Corradini and Ugo Montanari, editors, Proceedings of WADT 2008, volume 5486 of LNCS, pages 37-55.
  Springer, 2009.

• ​From Coordination to Stochastic Models of QoS.
  Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, Young-Joo Moon, and Chretien Verhoef.
  In John Field and Vasco Vasconcelos, editors, Proceedings of COORDINATION 2009, volume 5521 of LNCS, pages 268-287.
  Springer, 2009.

• ​Towards Using Reo for Compliance-Aware Business Process Modeling.
  Farhad Arbab, Natallia Kokash, and Sun Meng.
  In Tiziana Margaria and Bernhard Steffen, editors, Proceedings of ISoLA 2008, volume 17 of CCIS, pages 108-123.
  Springer, 2009.

• ​Synthesis of Reo Circuits from Scenario-based Specifications.
  Farhad Arbab, Sun Meng, and Christel Baier.
  In Carlos Canal, Pascal Poizat, and Marjan Sirjani, editors, Proceedings of FOCLASA 2008, volume 229 of ENTCS, pages 21-41.
  Elsevier, 2009.

• ​Reo2MC: a Tool Chain for Performance Analysis of Coordination Models.
  Farhad Arbab, Sun Meng, Young-Joo Moon, Marta Kwiatkowska, and Hongyang Qu.
  In Valerie Issarny, editor, Proceedings of ESEC/FSE 2009, pages 287-288.
  ACM, 2009.

• ​A Uniform Framework for Modeling and Verifying Components and Connectors.
  Christel Baier, Tobias Blechmann, Joachim Klein, and Sascha Kluppelholz.
  In John Field and Vasco Vasconcelos, editors, Proceedings of COORDINATION 2009, volume 5521 of LNCS, pages 247-267.
  Springer, 2009.

• ​Formal Verification for Components and Connectors.
  Christel Baier, Tobias Blechmann, Joachim Klein, and Sascha Kluppelholz.
  In Frank de Boer, Marcello Bonsangue, and Eric Madelaine, editors, Proceedings of FMCO 2008, volume 5751 of LNCS, pages 82-101.
  Springer, 2009.

• ​Automata for Context-Dependent Connectors.
  Marcello Bonsangue, Dave Clarke, and Alexandra Silva.
  In John Field and Vasco Vasconcelos, editors, Proceedings of COORDINATION 2009, volume 5521 of LNCS, pages 184-203.
  Springer, 2009.

• ​Coordination via Interaction Constraints I: Local Logic.
  Dave Clarke and Jose Proenca.
  In Filippo Bonchi, Davide Grohmann, Paola Spoletini, and Emilio Tuosto, editors, Proceedings of ICE 2009, volume 12 of EPTCS, pages 17-39.
  CoRR, 2009.

• ​Deconstructing Reo.
  Dave Clarke, Jose Proenca, Alexander Lazovik, and Farhad Arbab.
  In Carlos Canal, Pascal Poizat, and Marjan Sirjani, editors, Proceedings of FOCLASA 2008, volume 229 of ENTCS, pages 43-58.
  Elsevier, 2009.

• ​Compositional Failure-based Equivalence of Constraint Automata.
  Mohammad Izadi and Ali Movaghar.
  In Michael Goldsmith and Bill Roscoe, editors, Proceedings of AVoCS 2007, volume 250 of ENTCS, pages 105-122.
  Elsevier, 2009.

• ​Applying Reo to Service Coordination in Long-Running Business Transactions.
  Natallia Kokash and Farhad Arbab.
  In Michael Schumacher and Alan Wood, editors, Proceedings of SAC 2009, pages 1381-1382.
  ACM, 2009

• ​Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems.
  Natallia Kokash and Farhad Arbab.
  In Frank de Boer, Marcello Bonsangue, and Eric Madelaine, editors, Proceedings of FMCO 2008, volume 5751 of LNCS, pages 21-41.
  Springer, 2009.

• ​Reconfiguring Distributed Reo Connectors.
  Christian Koehler, Farhad Arbab, and Erik de Vink.
  In Andrea Corradini and Ugo Montanari, editors, Proceedings of WADT 2008, volume 5486 of LNCS, pages 221-235.
  Springer, 2009.

• ​Decomposing Port Automata.
  Christian Koehler and Dave Clarke.
  In Michael Schumacher and Alan Wood, editors, Proceedings of SAC 2009, pages 1369-1373.
  ACM, 2009.

• ​SAT-based Verification for Timed Component Connectors.
  Stephanie Kemper.
  In Gwen Salaun and Marjan Sirjani, editors, Proceedings of FOCLASA 2009, volume 255 of ENTCS, pages 103-118.
  Elsevier, 2009.

• ​Integrated Structure and Semantics for Reo Connectors and Petri Nets.
  Christian Krause.
  In Filippo Bonchi, Davide Grohmann, Paola Spoletini, and Emilio Tuosto, editors, Proceedings of ICE 2009, volume 12 of EPTCS, pages 57-69.
  CoRR, 2009.

• ​Connectors as Designs.
  Sun Meng and Farhad Arbab.
  In Gwen Salaun and Marjan Sirjani, editors, Proceedings of FOCLASA 2009, volume 255 of ENTCS, pages 119-135.
  Elsevier, 2009.

• ​Automated Analysis of Reo Circuits using Symbolic Execution.
  Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, and Farhad Arbab.
  In Gwen Salaun and Marjan Sirjani, editors, Proceedings of FOCLASA 2009, volume 255 of ENTCS, pages 137-158.
  Elsevier, 2009.

• ​Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM.
  Samira Tasharofi and Marjan Sirjani.
  In Carlos Canal, Pascal Poizat, and Marjan Sirjani, editors, Proceedings of FOCLASA 2008, volume 229 of ENTCS, pages 155-174.
  Elsevier, 2009.

2008

• ​Reo Connectors as Coordination Artifacts in 2APL Systems.
  Farhad Arbab, Lacramioara Astefanoaei, Frank de Boer, Mehdi Dastani, John-Jules Meyer, and Nick Tinnermeier.
  In The Duy Bui, Tuong Vinh Ho, and Quang Thuy Ha, editors, Proceedings of PRIMA 2008, volume 5357 of LNCS, pages 42-53.
  Springer, 2008.

• Modeling, Testing and Executing Reo Connectors with the Eclipse Coordination Tools.
  Farhad Arbab, Christian Koehler, Ziyan Maraikar, Young-Joo Moon, and Jose Proenca.
  In Preliminary proceedings of FACS 2008.

• ​Synthesis of Connectors from Scenario-Based Interaction Specifications.
  Farhad Arbab and Sun Meng.
  In Michel Chaudron and Clemens Szyperski and Ralf Reussner, editors, Proceedings of CBSE 2008, volume 5282 of LNCS, pages 114-129.
  Springer, 2008.

• ​Checking Equivalence for Reo Networks.
  Tobias Blechmann and Christel Baier.
  In Markus Lumpe and Eric Madelaine, editors, Proceedings of FACS 2007, volume 215 of ENTCS, pages 209-226.
  Elsevier, 2008.

• ​Coordination: Reo, Nets, and Logic.
  Dave Clarke.
  In Frank de Boer, Marcello Bonsangue, Susanne Graf, and Willem-Paul de Roever, editors, Proceedings of FMCO 2007, volume 5382 of LNCS, pages 226-256.
  Springer, 2008.

• ​Recasting Constraint Automata into Buchi Automata.
  Mohammad Izadi and Marcello Bonsangue.
  In John Fitzgerald, Anne Haxthausen, and Husnu Yenigun, editors, Proceedings of ICTAC 2008, volume 5160 of LNCS, pages 156-170.
  Springer, 2008.

• ​Modeling Component Connectors: Synchronisation and Context-Dependency.
  Mohammad Izadi, Marcello Bonsangue, and Dave Clarke.
  In Proceedings of SEFM 2008, pages 303-312, 2008.
  IEEE, 2008.

• ​Reconfiguration of Reo Connectors Triggered by Dataflow.
  Christian Koehler, David Costa, Jose Proenca, and Farhad Arbab.
  In Antonio Cerone and Stefan Gruner, editors, Proceedings of SEFM 2008, pages 303-312.
  IEEE, 2008

• ​Connector Rewriting with High-Level Replacement Systems.
  Christian Koehler, Alexander Lazovik and Farhad Arbab.
  In Carlos Canal, Pascal Poizat, and Mirko Viroli, editors, Proceedings of FOCLASA 2007, volume 194 of ENTCS, pages 77-92.
  Elsevier, 2008.

• ​Modeling and Analysis of Reo Connectors Using Alloy.
  Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, and Hamed Iravanchi.
  In Doug Lea and Gianluigi Zavattaro, editors, Proceedings of COORDINATION 2008, volume 5052 of LNCS, pages 169-183.
  Springer, 2008.

• ​QoS Aspects in Web Services Compositions.
  Farzad Mahdikhani, Mahmoud-Reza Hashemi, and Marjan Sirjani.
  In Deron Liang and Yu Chin Cheng, editors, Proceedings of SOSE 2008, pages 239-244.
  IEEE, 2008.

• ​Building Mashups for the Enterprise with SABRE.
  Ziyan Maraikar, Alexander Lazovik, and Farhad Arbab.
  In Athman Bouguettaya, Ingolf Krueger, and Tiziana Margaria, editors, Proceedings of ICSOC 2008, volume 5364 of LNCS, pages 70-83.
  Springer, 2008.

• ​Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps.
  Sara Navid-Pour, Mohammad Izadi, and Ali Movaghar.
  In Hannu Tenhunen, Ming Jiang, and Frank Liu, editors, Proceedings of COMPSAC 2008, pages 211-218.
  IEEE, 2008.

• ​Coordination Models Orc and Reo Compared.
  Jose Proenca and Dave Clarke.
  In Carlos Canal, Pascal Poizat, and Mirko Viroli, editors, Proceedings of FOCLASA 2007, volume 194 of ENTCS, pages 57-76.
  Elsevier, 2008.

• ​Comparing Three Coordination Models: Reo, ARC, and RRD.
  Carolyn Talcott, Marjan Sirjani, and Shangping Ren.
  In Carlos Canal, Pascal Poizat, and Mirko Viroli, editors, Proceedings of FOCLASA 2007, volume 194 of ENTCS, pages 39-55.
  Elsevier, 2008.

• ​Modeling Web Service Interactions Using the Coordination Language Reo.
  Samira Tasharofi, Mohsen Vakilian, Roshanak Zilouchian Moghaddam, and Marjan Sirjani.
  In Marlon Dumas and Reiko Heckel, editors, Proceedings of WS-FM 2007, volume 4937 of LNCS, pages 108-123.
  Springer, 2008.

2007

• ​Component Connectors with QoS Guarantees.
  Farhad Arbab, Tom Chothia, Sun Meng, and Young-Joo Moon.
  In Amy Murphy and Jan Vitek, editors, Proceedings of COORDINATION 2007, volume 4467 of LNCS, pates 286-304.
  Springer, 2007.

• ​A Preliminary Comparative Study on the Expressive Power of Reo and Linda.
  Silvia Amaro, Ernesto Pimentel, and Ana Roldan.
  In Antonio Brogi, Jean-Marie Jacquet, and Ernesto Pimentel, editors, Proceedings of FOCLASA 2004, volume 180 of ENTCS, pages 3-19.
  Elsevier, 2007.

• ​Compositional Failure-based Semantic Equivalences for Reo Specifications.
  Mohammad Izadi and Ali Movaghar.
  In Arnd Poetzsch-Heffter, editor, Proceedings of SAVCBS 2007, pages 99-100.
  ACM, 2007.

• ​Model Checking of Component Connectors.
  Mohammad Izadi, Ali Movaghar, and Farhad Arbab.
  In Fevzi Belli, Bruce McMillin, and Hong Mei, editors, Proceedings of COMPSAC 2007, pages 673-675.
  IEEE, 2007.

• ​Symbolic Model Checking for Channel-based Component Connectors.
  Sascha Kluppelholz and Christel Baier.
  In Carlos Canal and Mirko Viroli, editors, Proceedings of FOCLASA 2006, volume 175 of ENTCS, pages 19-37.
  Elsevier, 2007.

• ​ReoService: Coordination Modeling Tool.
  Christian Koehler, Alexander Lazovik, and Farhad Arbab.
  In Bernd Kramer, Kwei-Jay Lin, and Priya Narasimhan, editors, Proceedings of ICSOC 2007, volume 4749 of LNCS, pages 625-626.
  Springer, 2007.

• ​Using Reo for Service Coordination.
  Alexander Lazovik and Farhad Arbab.
  In Bernd Kramer, Kwei-Jay Lin, and Priya Narasimhan, editors, Proceedings of ICSOC 2007, volume 4749 of LNCS, pages 398-403.
  Springer, 2007.

• ​On Resource-Sensitive Timed Component Connectors.
  Sun Meng and Farhad Arbab.
  In Marcello Bonsangue and Einar Broch Johnsen, editors, Proceedings of FMOODS 2007, volume 4468 of LNCS, pages 301-316.
  Springer, 2007.

• ​Web Services Choreography and Orchestration in Reo and Constraint Automata.
  Sun Meng and Farhad Arbab.
  In Alessandro Ricci, Bernhard Angerer, and Michael Schumacher, editors, Proceedings of SAC 2007, pages 346-353.
  ACM, 2007.

• ​An Alternative Algorithm for Constraint Automata Product.
  Bahman Pourvatan and Nima Rouhy.
  In Farhad Arbab and Marjan Sirjani, editors, Proceedings of FSEN 2007, volume 4767 of LNCS, pages 412-422.
  Springer, 2007.

• ​Compositional Semantics of System-Level Designs Written in SystemC.
  Niloofar Razavi and Marjan Sirjani.
  In Farhad Arbab and Marjan Sirjani, editors, Proceedings of FSEN 2007, volume 4767 of LNCS, pages 113-128.
  Springer, 2007.

2006

• ​Interaction and Coordination of Tools for Structured Data.
  Farhad Arbab and Joost Kok.
  In Tiziana Margaria and Bernhard Steffen, editors, Proceedings of ISoLA 2004, volume 4313 of LNCS, pages 1-8.
  Springer, 2006.

• ​Reo Based Interaction Model.
  Silvia Amaro, Ernesto Pimentel, and Ana Roldan.
  In Zhiming Liu and Luıs Barbosa, editors, Proceedings of FACS 2005, volume 160 of ENTCS, pages 3-14.
  Elsevier, 2006.

• ​Coordination for Component Composition.
  Farhad Arbab.
  In Zhiming Liu and Luis Barbosa, editors, Proceedings of FACS 2005, volume 160 of ENTCS, pages 15-40.
  Elsevier, 2006.

• ​Stochastic Reasoning About Channel-Based Component Connectors.
  Christel Baier and Verena Wolf.
  In Paolo Ciancarini and Herbert Wiklicky, editors, Proceedings of COORDINATION 2006, volume 4038 of LNCS, pages 1-15.
  Springer, 2006.

• ​Connector Colouring I: Synchronisation and Context Dependency.
  Dave Clarke, David Costa, and Farhad Arbab.
  In Carlos Canal and Mirko Viroli, editors, Proceedings of FOCLASA 2005, volume 154 of ENTCS, pages 101-119.
  Elsevier, 2006.

• ​Modelling Coordination in Biological Systems.
  Dave Clarke, David Costa, and Farhad Arbab.
  In Tiziana Margaria and Bernhard Steffen, editors, Proceedings of ISoLA 2004, volume 4313 of LNCS, pages 9-25.
  Springer, 2006.

• ​Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic.
  Dave Clarke.
  In Farhad Arbab and Marjan Sirjani, editors, Proceedings of FSEN 2005, volume 159 of ENTCS, pages 61-77.
  Elsevier, 2006.

• ​Automated Mapping of Reo Circuits to Constraint Automata.
  Fatemeh Ghassemi, Samira Tasharofi, and Marjan Sirjani.
  In Farhad Arbab and Marjan Sirjani, editors, Proceedings of FSEN 2005, volume 159 of ENTCS, pages 99-115.
  Elsevier, 2006.

• ​Towards an Automated Deployment Planner for Composition of Web Services as Software Components.
  Abbas Heydarnoori, Farhad Mavaddat, and Farhad Arbab.
  In Zhiming Liu and Luis Barbosa, editors, Proceedings of FACS 2005, volume 160 of ENTCS, pages 239-253.
  Elsevier, 2006.

• ​An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata.
  Mohammad Izadi and Ali Movaghar.
  In Farhad Arbab and Marjan Sirjani, editors, Proceedings of FSEN 2005, volume 159 of ENTCS, pages 171-186.
  Elsevier, 2006.

• ​Formal Semantics and Analysis of Component Connectors in Reo.
  Mohammed-Reza Mousavi, Marjan Sirjani, and Farhad Arbab.
  In Carlos Canal and Mirko Viroli, editors, Proceedings of FOCLASA 2005, volume 154 of ENTCS, pages 83-99.
  Elsevier, 2006.

• ​Using Reo for formal specification and verification of system designs.
  Niloofar Razavi and Marjan Sirjani.
  In James Hoe and Jens Palsberg, editors, Proceedings of MEMOCODE 2006, pages 113-122.
  IEEE, 2006.

• ​Compositional Semantics of an Actor-Based Language Using Constraint Automata.
  Marjan Sirjani, Mohammad-Mahdi Jaghoori, Christel Baier, and Farhad Arbab.
  In Paolo Ciancarini and Herbert Wiklicky, editors, Proceedings of COORDINATION 2006, volume 4038 of LNCS, pages 281-297.
  Springer, 2006.

• ​Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm.
  Samira Tasharofi, Sepand Ansari, and Marjan Sirjani.
  In Zhiming Liu and Jifeng He, editors, Proceedings of ICFEM 2006, volume 4260 of LNCS, pages 478-493.
  Springer, 2006.

2005

• ​Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications.
  Farhad Arbab, Christel Baier, Frank de Boer, Jan Rutten, and Marjan Sirjani.
  In Jean-Marie Jacquet and Gian Pietro Picco, editors, Proceedings of COORDINATION 2005, volume 3454 of LNCS, pages 236-251.
  Springer, 2005.

• ​Coordination and Composition in Multi-Agent Systems.
  Mehdi Dastani, Farhad Arbab, Frank de Boer.
  In Michal Pechoucek, Donald Steiner, and Simon Thompson, editors, Proceedings of AAMAS 2005, pages 439-446.
  ACM, 2005.

2004

• ​Models and Temporal Logics for Timed Component Connectors.
  Farhad Arbab, Christel Baier, Frank de Boer, and Jan Rutten.
  In Jorge Cuellar and Zhiming Liu, editors, Proceedings of SEFM 2004, pages 198-207.
  IEEE, 2004.

• ​Modeling Component Connectors in Reo by Constraint Automata (Extended Abstract).
  Farhad Arbab, Christel Baier, Jan Rutten, and Marjan Sirjani.
  In Antonio Brogi, Jean-Marie Jacquet, and Ernesto Pimentel, editors, Proceedings of FOCLASA 2003, volume 97 of ENTCS, pages 25-46.
  Elsevier, 2004.

2003

• ​A Coinductive Calculus of Component Connectors.
  Farhad Arbab and Jan Rutten.
  In Martin Wirsing, Dirk Pattinson, and Rolf Hennicker, editors, Proceedings of WADT 2002, volume 2755 of LNCS, pages 34--55.
  Springer, 2003.

• ​Abstract Behavior Types: A Foundation Model for Components and their Composition.
  Farhad Arbab.
  In Frank de Boer, Marcello Bonsangue, Susanne Graf, and Willem-Paul de Roever, editors, Proceedings of FMCO 2002, volume 2852 of LNCS.
  Springer, 2003.

• ​A Channel-based Coordination Model for Components.
  Juan Guillen-Scholten, Farhad Arbab, Frank de Boer, and Marcello Bonsangue.
  In Antonio Brogi and Jean-Marie Jacquet, editors, Proceedings of FOCLASA 2002, volume 68 of ENTCS, pages 419-438.
  Elsevier, 2003.

2002

• ​Coordination through Channel Composition.
  Farhad Arbab and Farhad Mavaddat.
  In Farhad Arbab and Carolyn Talcott, editors, Proceedings of COORDINATION 2002, volume 2315 of LNCS, pages 275-297.
  Springer, 2002.

2001

• ​Coordination of Mobile Components.
  Farhad Arbab.
  In Ugo Montanari and Vladimiro Sassone, editors, Proceedings of ConCoord 2001, volume 54 of ENTCS, pages 1-16.
  Elsevier, 2001.

Theses

• ​An Executable Theory of Multi-Agent Systems Refinement.
  Lacramioara Astefanoaei.
  PhD thesis, Leiden University, 2011.

• ​Formal Models for Component Connectors.
  David Costa.
  PhD thesis, Free University Amsterdam, 2010.

• ​Mobile Channels for Exogenous Coordination of Distributed Systems.
  Juan Guillen-Scholten.
  PhD thesis, Leiden University, 2007.

• ​Model Checking of Component Connectors
  Mohammad Izadi.
  PhD thesis, Leiden University, 2011.

• ​Modelling and Analysis of Real-Time Coordination Patterns.
  Stephanie Kemper.
  PhD thesis, Leiden University, 2011.

• ​Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models.
  Sascha Kluppelholz.
  PhD thesis, TU Dresden, 2012.

• ​Reconfigurable Component Connectors.
  Christian Krause.
  PhD thesis, Leiden University, 2011.

• ​Stochastic Models for Quality of Service of Component Connectors.
  Young-Joo Moon.
  PhD thesis, Leiden University, 2011.

• ​Synchronous Coordination of Distributed Components.
  Jose Proenca.
  PhD thesis, Leiden University, 2011.

• Formal Specification and Verification of Concurrent and Reactive Systems.
  Marjan Sirjani.
  PhD thesis, Sharif University of Technology, 2004.