Journal Papers & Book Chapters

2016

2015

2014

2013

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.

2010

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

2009

2008

2007

2006

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

2005

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

2015

  • Coordinating Multicore Computing
    Farhad Arbab and Sung-Shik T. Q. Jongmans.
    In Marco Bernardo and Einar Broch Johnsen, Proceedings of SFM 2015, volume 9104 of LNCS, pages 57-96.
    Springer, 2015.

  • Relating BIP and Reo
    Kasper Dokter, Sung-Shik T. Q. Jongmans, Farhad Arbab, and Simon Bliudze.
    In Sophia Knight, Ivan Lanese, Alberto Lluch-Lafuente and Hugo Torres Vieira, editors, Proceedings of ICE 2015, volume 189 of EPTCS, pages 3-20.

2014

2013

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

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

2010

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

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

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

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

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.

2005

2004

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

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

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