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

Journal Papers & Book Chapters

Accepted

• A model of context-dependent component connectors.
  Marcello Bonsangue, Dave Clarke, and Alexandra Silva.
  Accepted for publication in Science of Computer Programming.

• 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.

• SAT-based verification for timed component connectors.
  Stephanie Kemper.
  Accepted for publication in Science of Computer Programming.

• Connectors as designs: Modeling, refinement and test case generation.
  Sun Meng, Farhad Arbab, Bernhard Aichernig, Lacramioara Astefanoaei, Frank de Boer, and Jan Rutten.
  Accepted for publication in Science of Computer Programming.

• 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.

• Symbolic execution of Reo circuits using constraint automata.
  Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab.
  Accepted for publication in Science of Computer Programming.

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.

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

2011

• Puff, The Magic Protocol.
  Farhad Arbab.
  In Gul Agha, Olivier Danvy, Jose Meseguer, editors, Formal Modeling: Actors, Open Systems, Biological Systems, volume 7000 of LNCS, pages 169-206.
  Springer, 2011.

• Modeling and Verification of Components and Connectors.
  Christel Baier and Joachim Klein and Sascha Kluppelholz.
  In Marco Bernardo and Valerie Issarny, editors, Formal Methods for Eternal Networked Software Systems, volume 6659 of LNCS, pages 114-147.
  Springer, 2011.

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

• Correlating Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata.
  Sung-Shik Jongmans and Farhad Arbab.
  EPTCS 59(1):84-103, 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, Coordination Models and Languages, 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.
  EPTCS 60(1):19-35, 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, Formal Methods for Industrial Critical Systems, volume 6959 of LNCS, pages 228-243.
  Springer, 2011.

• Distributed Port Automata.
  Christian Krause.
  Proceedings of GTVMT 2011, 2011.

• Decoupled execution of synchronous coordination models via behavioural automata.
  Jose Proenca, Dave Clarke, Erik de Vink, and Farhad Arbab.
  EPTCS 58(1):65-79, 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, Coordination Models and Languages, 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, Leveraging Applications of Formal Methods, Verification, and Validation, 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, Fundamentals of Software Engineering, 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 Proceedings of FESCA 2010, 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, Formal Methods and Software Engineering, 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 Proceedings of SAC 2010, pages 2406-2413, 2010.

• Time and Data-Aware Analysis of Graphical Service Models in Reo.
  Natallia Kokash, Christian Krause, and Erik de Vink.
  In Proceedings of SEFM 2010, pages 125-134, 2010.
  Springer, 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, Formal Methods for Components and Objects, 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 Proceedings of SOSE 2010, pages 121-128, 2010.

• A Compositional Semantics for Stochastic Reo Connectors.
  Young-Joo Moon, Alexandra Silva, Christian Krause, and Farhad Arbab.
  EPTCS 30(1):93-107, 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 Proceedings of TASE 2009, pages 147-154, 2009.

• Tiles for Reo.
  Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, and Ugo Montanari.
  In Andrea Corradini and Ugo Montanari, editors, Recent Trends in Algebraic Development Techniques, 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, Coordination Models and Languages, 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, Leveraging Applications of Formal Methods, Verification and Validation, volume 17 of CCIS, pages 108-123.
  Springer, 2009.

• Synthesis of Reo Circuits from Scenario-based Specifications.
  Farhad Arbab, Sun Meng, and Christel Baier.
  ENTCS 229(2):21-41, 2009.

• Reo2MC: a Tool Chain for Performance Analysis of Coordination Models.
  Farhad Arbab, Sun Meng, Young-Joo Moon, Marta Kwiatkowska, and Hongyang Qu.
  In Proceedings of ESEC/FSE 2009, pages 287-288, 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, Coordination Models and Languages, 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, Formal Methods for Components and Objects, 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, Coordination Models and Languages, volume 5521 of LNCS, pages 184-203.
  Springer, 2009.

• Deconstructing Reo.
  Dave Clarke, Jose Proenca, Alexander Lazovik, and Farhad Arbab.
  ENTCS 229(2):43-58, 2009.

• Coordination via Interaction Constraints I: Local Logic.
  Dave Clarke and Jose Proenca.
  EPTCS 12(1):17-39, 2009.

• Compositional Failure-based Equivalence of Constraint Automata.
  Mohammad Izadi and Ali Movaghar.
  ENTCS 250(1):105-122, 2009.

• Applying Reo to Service Coordination in Long-Running Business Transactions.
  Natallia Kokash and Farhad Arbab.
  In Proceedings of SAC 2009, pages 1381-1382, 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, Formal Methods for Components and Objects, 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, Recent Trends in Algebraic Development Techniques, volume 5486 of LNCS, pages 221-235.
  Springer, 2009.

• Decomposing Port Automata.
  Christian Koehler and Dave Clarke.
  In Proceedings of SAC 2009, pages 1369-1373, 2009.

• SAT-based Verification for Timed Component Connectors.
  Stephanie Kemper.
  ENTCS 255(1):103-118, 2009.

• Integrated Structure and Semantics for Reo Connectors and Petri Nets.
  Christian Krause.
  EPTCS 12(1):57-69, 2009.

• Connectors as Designs.
  Sun Meng and Farhad Arbab.
  ENTCS 255(1):119-135, 2009.

• Automated Analysis of Reo Circuits using Symbolic Execution.
  Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, and Farhad Arbab.
  ENTCS 255(1):137--158, 2009.

• Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM.
  Samira Tasharofi and Marjan Sirjani.
  ENTCS 229(2):155-174, 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, Intelligent Agents and Multi-Agent Systems, 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 Proceedings of FACS 2008, 2008.

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

• Checking Equivalence for Reo Networks.
  Tobias Blechmann and Christel Baier.
  ENCTS 215(1):209-226, 2008.

• Coordination: Reo, Nets, and Logic.
  Dave Clarke.
  In Frank de Boer, Marcello Bonsangue, Susanne Graf, and Willem-Paul de Roever, editors, Formal Methods for Components and Objects, 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, Theoretical Aspects of Computing---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.

• Reconfiguration of Reo Connectors Triggered by Dataflow.
  Christian Koehler, David Costa, Jose Proenca, and Farhad Arbab.
  In Proceedings of GT-VMT 2008, 2008.

• Connector Rewriting with High-Level Replacement Systems.
  Christian Koehler, Alexander Lazovik and Farhad Arbab.
  ENTCS 194(4):77-92.

• 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, Coordination Models and Languages, volume 5052 of LNCS, pages 169-183.
  Springer, 2008.

• QoS Aspects in Web Services Compositions.
  Farzad Mahdikhani, Mahmoud-Reza Hashemi, and Marjan Sirjani.
  In Proceedings of SOSE 2008, pages 293-244, 2008.

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

• Coordination Models Orc and Reo Compared.
  Jose Proenca and Dave Clarke.
  ENTCS 194(4):57-76, 2008.

• Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps.
  Sara Navid-Pour, Mohammad Izadi, and Ali Movaghar.
  In Proceedings of COMPSAC 2008, pages 211-218, 2008.

• Comparing Three Coordination Models: Reo, ARC, and RRD.
  Carolyn Talcott, Marjan Sirjani, and Shangping Ren.
  ENTCS 194(4):39-55, 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, Web Services and Formal Methods, 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, Coordination Models and Languages, 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.
  ENTCS 180(2):3-19, 2007.

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

• Model Checking of Component Connectors.
  Mohammad Izadi, Ali Movaghar, and Farhad Arbab.
  In Proceedings of COMPSAC 2007, pages 673-675, 2007.

• Symbolic Model Checking for Channel-based Component Connectors.
  Sascha Kluppelholz and Christel Baier.
  ENTCS 175(2):19-37, 2007.

• ReoService: Coordination Modeling Tool.
  Christian Koehler, Alexander Lazovik, and Farhad Arbab.
  In Bernd Kramer, Kwei-Jay Lin, and Priya Narasimhan, editors, Service-Oriented Computing---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, Service-Oriented Computing---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, Formal Methods for Open Object-Based Distributed Systems, 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 Proceedings of SAC 2007, pages 346-353, 2007.

• An Alternative Algorithm for Constraint Automata Product.
  Bahman Pourvatan and Nima Rouhy.
  In Farhad Arbab and Marjan Sirjani, editors, International Symposium on Fundamentals of Software Engineering, 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, International Symposium on Fundamentals of Software Engineering, 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, Leveraging Applications of Formal Methods, volume 4313 of LNCS, pages 1-8.
  Springer, 2006.

• Reo Based Interaction Model.
  Silvia Amaro, Ernesto Pimentel, and Ana Roldan.
  ENTCS 160(1):3-14, 2006.

• Coordination for Component Composition.
  Farhad Arbab.
  ENTCS 160(1):15-40, 2006.

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

• Connector Colouring I: Synchronisation and Context Dependency.
  Dave Clarke, David Costa, and Farhad Arbab.
  ENTCS 154(1):101-119, 2006.

• Modelling Coordination in Biological Systems.
  Dave Clarke, David Costa, and Farhad Arbab.
  In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, volume 4313 of LNCS, pages 9-25.
  Springer, 2006.

• Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic.
  Dave Clarke.
  ENTCS 159(1):61-77, 2006.

• Automated Mapping of Reo Circuits to Constraint Automata.
  Fatemeh Ghassemi, Samira Tasharofi, and Marjan Sirjani.
  ENTCS 159(1):99-115, 2006.

• Towards an Automated Deployment Planner for Composition of Web Services as Software Components.
  Abbas Heydarnoori, Farhad Mavaddat, and Farhad Arbab.
  ENTCS 160(1):239-253, 2006.

• An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata.
  Mohammad Izadi and Ali Movaghar.
  ENTCS 159(1):171-186, 2006.

• Formal Semantics and Analysis of Component Connectors in Reo.
  Mohammed-Reza Mousavi, Marjan Sirjani, and Farhad Arbab.
  ENTCS 154(1):83-99, 2006.

• Using Reo for formal specification and verification of system designs.
  Niloofar Razavi and Marjan Sirjani.
  In Proceedings of MEMOCODE 2006, pages 113-122, 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, Coordination Models and Languages, 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, Formal Methods and Software Engineering, 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, Coordination Models and Languages, volume 3454 of LNCS, pages 236-251.
  Springer, 2005.

• Coordination and Composition in Multi-Agent Systems.
  Mehdi Dastani, Farhad Arbab, Frank de Boer.
  In Proceedings of AAMAS 2005, pages 439-446, 2005.

2004

• Modeling Component Connectors in Reo by Constraint Automata (Extended Abstract).
  Farhad Arbab, Christel Baier, Jan Rutten, and Marjan Sirjani.
  ENTCS 97(1):25-46, 2004.

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

2003

• A Coinductive Calculus of Component Connectors.
  Farhad Arbab and Jan Rutten.
  In Martin Wirsing, Dirk Pattinson, and Rolf Hennicker, editors, Recent Trends in Algebraic Development Techniques, 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, Formal Methods for Components and Objects, volume 2852 of LNCS.
  Springer, 2003.

• A Channel-based Coordination Model for Components.
  Juan Guillen-Scholten, Farhad Arbab, Frank de Boer, and Marcello Bonsangue.
  ENTCS 86(3):419-438, 2003.

2002

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

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.

• 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.