Reo

Reo is a channel-based exogenous coordination language.

Publications

This page contains an overview of publications related to Reo. While comprehensive, the list is undoubtedly incomplete, and entries may contain errors. Your suggestions are welcome.

2019

  1. Xiyue Zhang, Weijiang Hong, Yi Li, and Meng Sun. 2019. Reasoning about connectors using Coq and Z3. Sci. Comput. Program. 170, (2019), 27–44. doi:10.1016/j.scico.2018.10.002

2018

  1. Sung-Shik T. Q. Jongmans and Farhad Arbab. 2018. Centralized coordination vs. partially-distributed coordination with Reo and constraint automata. Sci. Comput. Program. 160, (2018), 48–77. doi:10.1016/j.scico.2017.06.004

  2. Kasper Dokter and Farhad Arbab. 2018. Rule-Based Form for Stream Constraints. In Coordination Models and Languages - 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings, 142–161. doi:10.1007/978-3-319-92408-3_6

  3. Benjamin Lion, Samir Chouali, and Farhad Arbab. 2018. Compiling Protocols to Promela and Verifying their LTL Properties. In Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018), Copenhagen, Denmark, October, 14, 2018., 31–39. Available at: http://ceur-ws.org/Vol-2245/modcomp_paper_5.pdf

  4. Ebrahim Ardeshir-Larijani and Farhad Arbab. 2018. Reo Coordination Model for Simulation of Quantum Internet Software. In Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, 311–319. doi:10.1007/978-3-030-04771-9_23

  5. Kasper Dokter and Farhad Arbab. 2018. Treo: Textual Syntax for Reo Connectors. In Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece, 15th April 2018., 121–135. doi:10.4204/EPTCS.272.10

  6. Farhad Arbab, Cruz-Filipe Luı́s, Sung-Shik Jongmans, and Fabrizio Montesi. 2018. Connectors meet Choreographies. CoRR abs/1804.08976, (2018). Available at: http://arxiv.org/abs/1804.08976

  7. Kasper Dokter, Fabio Gadducci, and Francesco Santini. 2018. Soft Constraint Automata with Memory. In It’s All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, 70–85. doi:10.1007/978-3-319-90089-6_6

  8. Sung-Shik Jongmans. 2018. Formalizing Propagation of Priorities in Reo, Using Eight Colors. In It’s All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, 122–138. doi:10.1007/978-3-319-90089-6_9

  9. Micha Hergarden and Sung-Shik Jongmans. 2018. Shared Memory Implementations of Protocol Programming Languages, Data-Race-Free. In Proceedings of the 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS@ECOOP 2018, Amsterdam, Netherlands, July 16-21, 2018, 36–40. doi:10.1145/3242947.3242952

  10. Bernie van Veen and Sung-Shik Jongmans. 2018. Modular Programming of Synchronization and Communication Among Tasks in Parallel Programs. In 2018 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPS Workshops 2018, Vancouver, BC, Canada, May 21-25, 2018, 425–435. doi:10.1109/IPDPSW.2018.00077

  11. Rúben Cruz and José Proença. 2018. ReoLive: Analysing Connectors in Your Browser. In Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, 336–350. doi:10.1007/978-3-030-04771-9_25

  12. Marjan Sirjani, Fatemeh Ghassemi, and Bahman Pourvatan. 2018. Reo Connectors and Components as Tagged Signal Models. In It’s All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, 160–173. doi:10.1007/978-3-319-90089-6_11

  13. Meng Sun and Xiyue Zhang. 2018. A Relational Model for Probabilistic Connectors Based on Timed Data Distribution Streams. In Formal Modeling and Analysis of Timed Systems - 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings, 125–141. doi:10.1007/978-3-030-00151-3_8

  14. Xiyue Zhang and Meng Sun. 2018. Towards Formal Modeling and Verification of Probabilistic Connectors in Coq (S). In The 30th International Conference on Software Engineering and Knowledge Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3, 2018., 385–384. doi:10.18293/SEKE2018-023

  15. M. Saqib Nawaz and Meng Sun. 2018. Reo2PVS: Formal Specification and Verification of Component Connectors. In The 30th International Conference on Software Engineering and Knowledge Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3, 2018., 391–390. doi:10.18293/SEKE2018-024

  16. Xiyue Zhang. 2018. Modeling and Verification of Component Connectors. In Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings, 419–422. doi:10.1007/978-3-030-02450-5_26

  17. Christel Baier, Philipp Chrszon, Clemens Dubslaff, Joachim Klein, and Sascha Klüppelholz. 2018. Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination. In It’s All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, 38–56. doi:10.1007/978-3-319-90089-6_3

  18. Daniel Figueiredo, Manuel A. Martins, and Barbosa Luı́s Soares. 2018. A Note on Reactive Transitions and Reo Connectors. In It’s All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, 57–67. doi:10.1007/978-3-319-90089-6_4

  19. Jean-Marie Jacquet, Isabelle Linden, and Denis Darquennes. 2018. On the Relation Between Control-Based and Data-Based Coordination Languages. In It’s All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, 86–106. doi:10.1007/978-3-319-90089-6_7

  20. Gerco van Heerdt, Bart Jacobs, Tobias Kappé, and Alexandra Silva. 2018. Learning to Coordinate. In It’s All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, 139–159. doi:10.1007/978-3-319-90089-6_10

  21. Carolyn L. Talcott. 2018. From Soft Agents to Soft Component Automata and Back. In It’s All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, 189–207. doi:10.1007/978-3-319-90089-6_13

  22. Leendert W. N. van der Torre, Tjitze Rienstra, and Dov M. Gabbay. 2018. Argumentation as Exogenous Coordination. In It’s All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, 208–223. doi:10.1007/978-3-319-90089-6_14

  23. Giovanni Ciatto, Stefano Mariani, Maxime Louvel, Andrea Omicini, and Franco Zambonelli. 2018. Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives. In Coordination Models and Languages - 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings, 51–80. doi:10.1007/978-3-319-92408-3_3

  24. Hans-Dieter A. Hiep. 2018. A Reo Semantics for Reasoning about Speculative Execution (Master's thesis). Vrije Universiteit Amsterdam / Universiteit van Amsterdam. Available at: https://www.hansdieterhiep.nl/2018/10/thesis-final.pdf

2017

  1. Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, and Simon Bliudze. 2017. Combine and conquer: Relating BIP and Reo. J. Log. Algebr. Meth. Program. 86, 1 (2017), 134–156. doi:10.1016/j.jlamp.2016.09.008

  2. Sung-Shik T. Q. Jongmans, Tobias Kappé, and Farhad Arbab. 2017. Constraint automata with memory cells and their composition. Sci. Comput. Program. 146, (2017), 50–86. doi:10.1016/j.scico.2017.03.006

  3. Kasper Dokter and Farhad Arbab. 2017. Exposing Latent Mutual Exclusion by Work Automata. In Topics in Theoretical Computer Science - Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings, 59–73. doi:10.1007/978-3-319-68953-1_6

  4. Tobias Kappé, Farhad Arbab, and Carolyn L. Talcott. 2017. A Component-oriented Framework for Autonomous Agents. CoRR abs/1708.00072, (2017). Available at: http://arxiv.org/abs/1708.00072

  5. Marco Krauweel and Sung-Shik T. Q. Jongmans. 2017. Simpler Coordination of JavaScript Web Workers. In Coordination Models and Languages - 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings, 40–58. doi:10.1007/978-3-319-59746-1_3

  6. José Proença and Dave Clarke. 2017. Typed connector families and their semantics. Sci. Comput. Program. 146, (2017), 28–49. doi:10.1016/j.scico.2017.03.002

  7. Guillermina Cledou, José Proença, and Barbosa Luı́s Soares. 2017. Composing Families of Timed Automata. In Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers, 51–66. doi:10.1007/978-3-319-68972-2_4

  8. Yi Li, Xiyue Zhang, Yuanyi Ji, and Meng Sun. 2017. Capturing Stochastic and Real-Time Behavior in Reo Connectors. In Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings, 287–304. doi:10.1007/978-3-319-70848-5_18

  9. Weijiang Hong, M. Saqib Nawaz, Xiyue Zhang, Yi Li, and Meng Sun. 2017. Using Coq for Formal Modeling and Verification of Timed Connectors. In Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers, 558–573. doi:10.1007/978-3-319-74781-1_37

  10. Bernie van Veen. 2017. Improving scalability of concurrency in Reo (Master's thesis). Open Universiteit Nederland. hdl:1820/9471

  11. Davide Bresolin and Ivan Lanese. 2017. Most General Property-Preserving Updates. In Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, 367–379. doi:10.1007/978-3-319-53733-7_27

  12. Farhad Arbab. 2017. Diagnosis of Deviations in Distributed Systems of Autonomous Agents. ERCIM News 2017, 109 (2017). Available at: https://ercim-news.ercim.eu/en109/special/diagnosis-of-deviations-in-distributed-systems-of-autonomous-agents

2016

  1. Sung-Shik Theodorus Quirinus Jongmans. 2016. Automata-theoretic protocol programming (PhD thesis). Centrum Wiskunde & Informatica (CWI), Faculty of Science, Leiden University. hdl:1887/38223

  2. Sung-Shik T. Q. Jongmans and Farhad Arbab. 2016. Data optimizations for constraint automata. Logical Methods in Computer Science 12, 3 (2016). doi:10.2168/LMCS-12(3:11)2016

  3. Narges Khakpour, Farhad Arbab, and Éric Rutten. 2016. Synthesizing structural and behavioral control for reconfigurations in component-based systems. Formal Asp. Comput. 28, 1 (2016), 21–43. doi:10.1007/s00165-015-0346-y

  4. Sung-Shik T. Q. Jongmans and Farhad Arbab. 2016. Global consensus through local synchronization: A formal basis for partially-distributed coordination. Sci. Comput. Program. 115-116, (2016), 199–224. doi:10.1016/j.scico.2015.09.001

  5. Farhad Arbab. 2016. Proper Protocol. In Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, 65–87. doi:10.1007/978-3-319-30734-3_7

  6. Kasper Dokter, Sung-Shik Jongmans, and Farhad Arbab. 2016. Scheduling Games for Concurrent Systems. In Coordination Models and Languages - 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings, 84–100. doi:10.1007/978-3-319-39519-7_6

  7. Sung-Shik T. Q. Jongmans and Farhad Arbab. 2016. PrDK: Protocol Programming with Automata. In Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, 547–552. doi:10.1007/978-3-662-49674-9_33

  8. Tobias Kappé, Farhad Arbab, and Carolyn L. Talcott. 2016. A Compositional Framework for Preference-Aware Agents. In Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems, V2CPS@IFM 2016, Reykjavı́k, Iceland, June 4-5, 2016., 21–35. doi:10.4204/EPTCS.232.6

  9. Sung-Shik T. Q. Jongmans, Dave Clarke, and José Proença. 2016. A procedure for splitting data-aware processes and its application to coordination. Sci. Comput. Program. 115-116, (2016), 47–78. doi:10.1016/j.scico.2014.02.017

  10. Sung-Shik T. Q. Jongmans. 2016. (Context-Sensitivity In) Reo, Revisited. In Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers, 191–209. doi:10.1007/978-3-319-57666-4_12

  11. Xiyue Zhang, Weijiang Hong, Yi Li, and Meng Sun. 2016. Reasoning About Connectors in Coq. In Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers, 172–190. doi:10.1007/978-3-319-57666-4_11

  12. Yi Li, Meng Sun, and Yiwu Wang. 2016. Active Learning from Blackbox to Timed Connectors. In 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17-19, 2016, 132–135. doi:10.1109/TASE.2016.24

  13. Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein, and Sascha Klüppelholz. 2016. Modeling Role-Based Systems with Exogenous Coordination. In Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, Erika Ábrahám, Marcello Bonsangue and Einar Broch Johnsen (eds.). Springer International Publishing, Cham, 122–139. doi:10.1007/978-3-319-30734-3_10

  14. Esther Palomar, Xiaohong Chen, Zhiming Liu, Sabita Maharjan, and Jonathan Bowen. 2016. Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response Systems. Sensors 16, 11 (2016). doi:10.3390/s16111810

2015

  1. Sung-Shik T. Q. Jongmans, Francesco Santini, and Farhad Arbab. 2015. Partially distributed coordination with Reo and constraint automata. Service Oriented Computing and Applications 9, 3-4 (2015), 311–339. doi:10.1007/s11761-015-0177-y

  2. Carolyn L. Talcott, Farhad Arbab, and Maneesh Yadav. 2015. Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems. In Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, 273–290. doi:10.1007/978-3-319-15545-6_18

  3. Sung-Shik T. Q. Jongmans and Farhad Arbab. 2015. Take Command of Your Constraints! In Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings, 117–132. doi:10.1007/978-3-319-19282-6_8

  4. Sung-Shik T. Q. Jongmans, Tobias Kappé, and Farhad Arbab. 2015. Composing Constraint Automata, State-by-State. In Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, 217–236. doi:10.1007/978-3-319-28934-2_12

  5. Sung-Shik T. Q. Jongmans and Farhad Arbab. 2015. Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code? In Fundamentals of Software Engineering - 6th International Conference, FSEN 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers, 238–258. doi:10.1007/978-3-319-24644-4_17

  6. Farhad Arbab and Sung-Shik T. Q. Jongmans. 2015. Coordinating Multicore Computing. In Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures, 57–96. doi:10.1007/978-3-319-18941-3_2

  7. Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, and Simon Bliudze. 2015. Relating BIP and Reo. In Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015., 3–20. doi:10.4204/EPTCS.189.3

  8. Yi Li and Meng Sun. 2015. Modeling and verification of component connectors in Coq. Sci. Comput. Program. 113, (2015), 285–301. doi:10.1016/j.scico.2015.10.016

  9. Shaodong Li, Xiaohong Chen, Yiwu Wang, and Meng Sun. 2015. A Framework for Off-Line Conformance Testing of Timed Connectors. In 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015, 15–22. doi:10.1109/TASE.2015.9

  10. Nuno Oliveira, Alexandra Silva, and Barbosa Luı́s Soares. 2015. IMC\(_\mboxReo\): interactive Markov chains for Stochastic Reo. J. Internet Serv. Inf. Secur. 5, 1 (2015), 3–28. Available at: http://isyou.info/jisis/vol5/no1/jisis-2015-vol5-no1-01.pdf

  11. Natallia Kokash. 2015. Handshaking Protocol for Distributed Implementation of Reo. CoRR abs/1504.03553, (2015). Available at: http://arxiv.org/abs/1504.03553

  12. Nuno Oliveira and Luís S. Barbosa. 2015. Self-adaptation by coordination-targeted reconfigurations. Journal of Software Engineering Research and Development 3, 1 (May 2015), 6. doi:10.1186/s40411-015-0021-2

  13. Mohammad Izadi, Saeed Masoudian, and Sahand Mozaffari. 2015. Joining Transition Systems of Records: Some Congruency and Language-Theoretic Results. CoRR abs/1511.05070, (2015). Available at: http://arxiv.org/abs/1511.05070

  14. Flávio Rodrigues, Nuno Oliveira, and Barbosa Luı́s Soares. 2015. Towards an engine for coordination-based architectural reconfigurations. Comput. Sci. Inf. Syst. 12, 2 (2015), 607–634. doi:10.2298/CSIS140912019R

  15. Nuno Ernesto Salgado Oliveira. 2015. Architectural reconfiguration of interacting services (PhD thesis). Universidade do Minho. hdl:1822/36574

  16. Matthijs van de Nes. 2015. Developing Efficient Concurrent C Application Programs Using Reo (Master's thesis). Leiden University. Available at: https://theses.liacs.nl/344

2014

  1. Christel Baier, Joachim Klein, and Sascha Klüppelholz. 2014. Synthesis of Reo Connectors for Strategies and Controllers. FI 130, 1 (2014), 1–20. doi:10.3233/FI-2014-980

  2. Xiaohong Chen, Jun Sun, and Meng Sun. 2014. A Hybrid Model of Connectors in Cyber-Physical Systems. In Proceedings of ICFEM 2014, Stephan Merz and Jun Pang (eds.). Springer, 59–74. doi:10.1007/978-3-319-11737-9_5

  3. Sung-Shik Jongmans and Farhad Arbab. 2014. Toward Sequentializing Overparallelized Protocol Code. In Proceedings of ICE 2014, Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova and Hugo Torres-Vieira (eds.). CoRR, 38–44. doi:10.4204/EPTCS.166.5

  4. Sung-Shik Jongmans, Sean Halle, and Farhad Arbab. 2014. Automata-based Optimization of Interaction Protocols for Scalable Multicore Platforms. In Proceedings of COORDINATION 2014, Eva Kühn and Rosario Pugliese (eds.). Springer, 65–82. doi:10.1007/978-3-662-43376-8_5

  5. Sung-Shik Jongmans, Sean Halle, and Farhad Arbab. 2014. Reo: A Dataflow Inspired Language for Multicore. In Proceedings of DFM 2014, 42–50. doi:10.1109/DFM.2013.14

  6. Sung-Shik Jongmans, Francesco Santini, and Farhad Arbab. 2014. Partially-Distributed Coordination with Reo. In Proceedings of PDP 2014, 697–706. doi:10.1109/PDP.2014.19

  7. Sung-Shik Jongmans, Francesco Santini, Mahdi Sargolzaei, Farhad Arbab, and Hamideh Afsarmanesh. 2014. Orchestrating web services using Reo: from circuits and behaviors to automatically generated code. SOCA 8, 4 (2014), 277–297. doi:10.1007/s11761-013-0147-1

  8. Ahmet Kara, Halit Oguztüzün, and Nedim Alpdemir. 2014. Heterogeneous DEVS Simulations with Connectors and Reo Based Compositions. In Proceedings of DEVS 2014. Available at: http://dl.acm.org/citation.cfm?id=2665008.2665009

  9. Yi Li and Meng Sun. 2014. Modeling and Analysis of Component Connectors in Coq. In Proceedings of FACS 2013, José-Luiz Fiadeiro, Zhiming Liu and Jinyun Xue (eds.). Springer, 273–290. doi:10.1007/978-3-319-07602-7_17

  10. Young-Joo Moon, Alexandra Silva, Christian Krause, and Farhad Arbab. 2014. A compositional model to reason about end-to-end QoS in Stochastic Reo connectors. SCP 80, A (2014), 3–24. doi:10.1016/j.scico.2011.11.007

  11. Nuno Oliveira and Orlando Belo. 2014. On the conceptualization of ETL patterns: a Reo approach. In Proceedings of IDEAS 2014, 348–351. doi:10.1145/2628194.2628247

  12. Nuno Oliveira, Alexandra Silva, and Luís Barbosa. 2014. Quantitative Analysis of Reo-based Service Coordination. In Proceedings of SAC 2014, 1247–1254. doi:10.1145/2554850.2555025

  13. Flávio Rodrigues, Nuno Oliveira, and Luís Barbosa. 2014. ReCooPLa: a DSL for Coordination-based Reconfiguration of Software Architectures. In Proceedings of SLATE 2014, 61–76. doi:10.4230/OASIcs.SLATE.2014.61

  14. Meng Sun and Yi Li. 2014. Formal modeling and verification of complex interactions in e-government applications. In Proceedings of the 8th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2014, Guimaraes, Portugal, October 27-30, 2014, 506–507. doi:10.1145/2691195.2691296

  15. Farhad Arbab, Sung-Shik Jongmans, and Frank S. de Boer. 2014. High-Level Protocol Engineering without Performance Penalty for Multi-Core. ERCIM News 2014, 99 (2014). Available at: http://ercim-news.ercim.eu/en99/special/high-level-protocol-engineering-without-performance-penalty-for-multi-core

2013

  1. Farhad Arbab and Francesco Santini. 2013. Preference and Similarity-Based Behavioral Discovery of Services. In Proceedings of WS-FM 2012, Maurice Ter Beek and Niels Lohmann (eds.). Springer, 118–133. doi:10.1007/978-3-642-38230-7_8

  2. Maurice Ter Beek, Fabio Gadducci, and Francesco Santini. 2013. Validating Reconfigurations of Reo Circuits in an e-Banking Scenario. In Proceedings of ISARCS 2013, 39–48. doi:10.1145/2465470.2465474

  3. Sung-Shik Jongmans and Farhad Arbab. 2013. Global Consensus Through Local Synchronization. In Proceedings of FOCLASA 2013, Carlos Canal and Massimo Villari (eds.). Springer, 174–188. doi:10.1007/978-3-642-45364-9_15

  4. Sung-Shik Jongmans and Farhad Arbab. 2013. Modularizing and Specifying Protocols among Threads. In Proceedings of PLACES 2012, Simon Gay and Paul Kelly (eds.). CoRR, 34–45. doi:10.4204/EPTCS.109.6

  5. Natallia Kokash and Farhad Arbab. 2013. Formal Design and Verification of Long-Running Transactions with Eclipse Coordination Tools. TSC 6, 2 (2013), 186–200. doi:10.1109/TSC.2011.46

  6. Natallia Kokash, Mohammad-Mahdi Jaghoori, and Farhad Arbab. 2013. From Timed Reo Networks to Networks of Timed Automata. In Proceedings of FESCA 2012, Barbora Bühnová, Lucia Kapová and Kofron̆ Jan (eds.). Elsevier, 11–29. doi:10.1016/j.entcs.2013.04.004

  7. Christian Krause, Holger Giese, and Erik De Vink. 2013. Compositional and behavior-preserving reconfiguration of component connectors in Reo. JVLC 24, 3 (2013), 153–168. doi:10.1016/j.jvlc.2012.09.002

  8. Nuno Oliveira and Luís Barbosa. 2013. On the reconfiguration of software connectors. In Proceedings of SAC 2013, 1885–1892. doi:10.1145/2480362.2480712

  9. Nuno Oliveira and Luís Barbosa. 2013. Reconfiguration Mechanisms for Service Coordination. In Proceedings of WS-FM 2012, Maurice Ter Beek and Niels Lohmann (eds.). Springer, 134–149. doi:10.1007/978-3-642-38230-7_9

  10. Nuno Oliveira and Orlando Belo. 2013. Using REO on ETL Conceptual Modelling: A First Approach. In Proceedings of DOLAP 2013, 55–60. doi:10.1145/2513190.2513202

  11. José Proença and Dave Clarke. 2013. Interactive Interaction Constraints. In Proceedings of COORDINATION 2013, Rocco De Nicola and Christine Julien (eds.). Springer, 211–225. doi:10.1007/978-3-642-38493-6_15

2012

  1. Marcello Bonsangue, Dave Clarke, and Alexandra Silva. 2012. A model of context-dependent component connectors. SCP 77, 6 (2012), 685–706. doi:10.1016/j.scico.2011.01.006

  2. Christoph Brandt, Francesco Santini, Natallia Kokash, and Farhad Arbab. 2012. Modeling and Simulation of Selected Operational IT Risks in the Banking Sector. In Proceedings of ESM 2012, 192–200. Available at: https://www.modelica.org/publications/papers/2012-10_Brandt-Santini-ESM12.pdf

  3. Dave Clarke and José Proença. 2012. Partial Connector Colouring. In Proceedings of COORDINATION 2012, Marjan Sirjani (ed.). Springer, 59–73. doi:10.1007/978-3-642-30829-1_5

  4. Behnaz Changizi, Natallia Kokash, and Farhad Arbab. 2012. A Constraint-based Method to Compute Semantics of Channel-based Coordination Models. In Proceedings of ICSEA 2012, 530–539. Available at: http://www.thinkmind.org/index.php?view=article&articleid=icsea_2012_19_20_10346

  5. Sung-Shik Jongmans and Farhad Arbab. 2012. Overview of Thirty Semantic Formalisms for Reo. SACS 22, 1 (2012), 201–251. doi:10.7561/SACS.2012.1.201

  6. Sung-Shik Jongmans, Dave Clarke, and José Proença. 2012. A Procedure for Splitting Processes and its Application to Coordination. In Proceedings of FOCLASA 2012, Natallia Kokash and António Ravara (eds.). CoRR, 79–96. doi:10.4204/EPTCS.91.6

  7. Jenc̆ik Marián and Daniel Mihályi. 2012. Program Components & Abstract Behavioral Types. AEI 12, 1 (2012), 38–43. doi:10.2478/v10198-012-0007-5

  8. Sung-Shik Jongmans, Francesco Santini, Mahdi Sargolzaei, Farhad Arbab, and Hamideh Afsarmanesh. 2012. Automatic Code Generation for the Orchestration of Web Services with Reo. In Proceedings of ESOCC 2012, Flavio De Paoli, Ernesto Pimentel and Gianluigi Zavattaro (eds.). Springer, 1–16. doi:10.1007/978-3-642-33427-6_1

  9. Stephanie Kemper. 2012. SAT-based verification for timed component connectors. SCP 77, 7–8 (2012), 779–798. doi:10.1016/j.scico.2011.02.003

  10. Sarmen Keshishzadeh, Mohammad Izadi, and Ali Movaghar. 2012. A Büchi Automata Based Model Checking Framework for Reo Connectors. In Proceedings of SAC 2012, 1536–1543. doi:10.1145/2245276.2232021

  11. Natallia Kokash, Christian Krause, and Erik De Vink. 2012. Reo+mCRL2: A framework for model-checking dataflow in service compositions. FAC 24, 2 (2012), 187–216. doi:10.1007/s00165-011-0191-6

  12. Sascha Klüppelholz. 2012. Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models (PhD thesis). TU Dresden. urn:nbn:de:bsz:14-qucosa-86211

  13. Ramtin Khosravi and Hamideh Sabouri. 2012. Using Coordinated Actors to Model Families of Distributed Systems. In Proceedings of COORDINATION 2012, Marjan Sirjani (ed.). Springer, 74–88. doi:10.1007/978-3-642-30829-1_6

  14. Sun Meng, Farhad Arbab, Bernhard Aichernig, Lăcrămioara Aştefănoaei, Frank De Boer, and Jan Rutten. 2012. Connectors as designs: Modeling, refinement and test case generation. SCP 77, 7–8 (2012), 799–822. doi:10.1016/j.scico.2011.04.002

  15. Sun Meng. 2012. Connectors as Designs: The Time Dimension. In Proceedings of TASE 2012, 201–208. doi:10.1109/TASE.2012.36

  16. José Proença, Dave Clarke, Erik De Vink, and Farhad Arbab. 2012. Dreams: a framework for distributed synchronous coordination. In Proceedings of SAC 2012, 1510–1515. doi:10.1145/2245276.2232017

  17. Bahman Pourvatan, Marjan Sirjani, Farhad Arbab, and Marcello Bonsangue. 2012. Decomposition of Constraint Automata. In Proceedings of FACS 2010, Luís Barbosa and Markus Lumpe (eds.). Springer, 237–258. doi:10.1007/978-3-642-27269-1_14

  18. Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, and Farhad Arbab. 2012. Symbolic execution of Reo circuits using constraint automata. SCP 77, 7–8 (2012), 848–869. doi:10.1016/j.scico.2011.04.001

  19. Farhad Arbab and Sung-Shik Jongmans. 2012. Software Engineering for Multi-core Platforms. ERCIM News 2012, 91 (2012). Available at: http://ercim-news.ercim.eu/en91/ri/software-engineering-for-multi-core-platforms

2011

  1. Farhad Arbab. 2011. Puff, The Magic Protocol. In Talcott Festschrift, Gul Agha, Olivier Danvy and José Meseguer (eds.). Springer, 169–206. doi:10.1007/978-3-642-24933-4_9

  2. Lăcrămioara Aştefănoaei. 2011. An Executable Theory of Multi-Agent Systems Refinement (PhD thesis). Leiden University. hdl:1887/16343

  3. Christel Baier, Joachim Klein, and Sascha Klüppelholz. 2011. Modeling and Verification of Components and Connectors. In Proceedings of SFM 2011, Marco Bernardo and Valerie Issarny (eds.). Springer, 114–147. doi:10.1007/978-3-642-21455-4_4

  4. Dave Clarke, José Proença, Alexander Lazovik, and Farhad Arbab. 2011. Channel-based coordination via constraint satisfaction. SCP 76, 8 (2011), 681–710. doi:10.1016/j.scico.2010.05.004

  5. Zahr-Ahmadi Danesh and Mohammad Izadi. 2011. Modeling Real-Time Coordination Systems Using Timed Büchi Automata. In Proceedings of CSSE 2011, 17–24. doi:10.1109/CSICSSE.2011.5963996

  6. Abbas Heydarnoori and Walter Binder. 2011. A Graph-based Approach for Deploying Component-based Applications into Channel-based Distributed Environments. JSW 6, 8 (2011), 1381–1394. doi:10.4304/jsw.6.8.1381-1394

  7. Mohammad Izadi, Marcello Bonsangue, and Dave Clarke. 2011. Büchi automata for modeling component connectors. SoSyM 10, 2 (2011), 183–200. doi:10.1007/s10270-010-0152-1

  8. Mohammad Izadi. 2011. Model Checking of Component Connectors (PhD thesis). Leiden University. hdl:1887/18189

  9. Sung-Shik Jongmans and Farhad Arbab. 2011. Correlating Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata. In Proceedings of ICE 2011, Alexandra Silva, Simon Bliudze, Roberto Bruni and Marco Carbone (eds.). CoRR, 84–103. doi:10.4204/EPTCS.59.8

  10. Sung-Shik Jongmans, Christian Krause, and Farhad Arbab. 2011. Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models. In Proceedings of COORDINATION 2011, Wolfgang De Meuter and Gruia-Catalin Roman (eds.). Springer, 31–48. doi:10.1007/978-3-642-21464-6_3

  11. Natallia Kokash, Farhad Arbab, Behnaz Changizi, and Leonid Makhnist. 2011. Input-output Conformance Testing for Channel-based Service Connectors. In Proceedings of PACO 2011, Luca Aceto and Mohammad-Reza Mousavi (eds.). CoRR, 19–35. doi:10.4204/EPTCS.60.2

  12. Stephanie Kemper. 2011. Modelling and Analysis of Real-Time Coordination Patterns (PhD thesis). Leiden University. hdl:1887/18260

  13. Joachim Klein, Sascha Klüppelholz, Andries Stam, and Christel Baier. 2011. Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy. In Proceedings of FMICS 2011, Gwen Salaün and Bernhard Schätz (eds.). Springer, 228–243. doi:10.1007/978-3-642-24431-5_17

  14. Christian Krause, Ziyan Maraikar, Alexander Lazovik, and Farhad Arbab. 2011. Modeling dynamic reconfigurations in Reo using high-level replacement systems. SCP 76, 1 (2011), 23–36. doi:10.1016/j.scico.2009.10.006

  15. Christian Krause. 2011. Distributed Port Automata. In Proceedings of GTVMT 2011, Fabio Gadducci and Leonardo Mariani (eds.). EASST, 1–14. doi:10.14279/tuj.eceasst.41.568

  16. Christian Krause. 2011. Reconfigurable Component Connectors (PhD thesis). Universiteit Leiden. hdl:1887/17718

  17. Sun Meng, Farhad Arbab, and Christel Baier. 2011. Synthesis of Reo circuits from scenario-based interaction specifications. SCP 76, 8 (2011), 651–680. doi:10.1016/j.scico.2010.03.002

  18. Young-Joo Moon. 2011. Stochastic Models for Quality of Service of Component Connectors (PhD thesis). Leiden University. hdl:1887/17975

  19. José Proença, Dave Clarke, Erik De Vink, and Farhad Arbab. 2011. Decoupled execution of synchronous coordination models via behavioural automata. In Proceedings of FOCLASA 2011, Mohammad-Reza Mousavi and António Ravara (eds.). CoRR, 65–79. doi:10.4204/EPTCS.58.5

  20. José Proença. 2011. Synchronous Coordination of Distributed Components (PhD thesis). Universiteit Leiden. hdl:1887/17624

  21. Carolyn Talcott, Marjan Sirjani, and Shangping Ren. 2011. Comparing three coordination models: Reo, ARC, and PBRD. SCP 76, 1 (2011), 3–22. doi:10.1016/j.scico.2009.11.006

  22. Chrétien Verhoef, Christian Krause, Oscar Kanters, and Rob van der Mei. 2011. Simulation-Based Performance Analysis of Channel-Based Coordination Models. In Proceedings of COORDINATION 2011, Wolfgang De Meuter and Gruia-Catalin Roman (eds.). Springer, 187–201. doi:10.1007/978-3-642-21464-6_13

2010

  1. Farhad Arbab. 2010. Elements of Interaction. In Complex Systems Design & Management, Marc Aiguier, Francis Bretaudeau and Daniel Krob (eds.). Springer, 1–28. doi:10.1007/978-3-642-15654-0_1

  2. Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz, and Wolfgang Leister. 2010. Design and Verification of Systems with Exogenous Coordination Using Vereofy. In Proceedings of ISoLA 2010, Tiziana Margaria and Bernhard Steffen (eds.). Springer, 97–111. doi:10.1007/978-3-642-16561-0_15

  3. Marcello Bonsangue and Mohammad Izadi. 2010. Automata Based Model Checking for Reo Connectors. In Proceedings of FSEN 2009, Farhad Arbab and Marjan Sirjani (eds.). Springer, 260–275. doi:10.1007/978-3-642-11623-0_15

  4. Christel Baier and Sascha Klüppelholz. 2010. Alternating-time stream logic for multi-agent systems. SCP 75, 6 (2010), 398–425. doi:10.1016/j.scico.2009.07.007

  5. David Costa. 2010. Formal Models for Component Connectors (PhD thesis). Free University Amsterdam. hdl:1871/16380

  6. Mohammad Izadi and Ali Movaghar. 2010. Failure-based equivalence of constraint automata. IJCM 87, 11 (2010), 2426–2443. doi:10.1080/00207160902915886

  7. Natallia Kokash, Behnaz Changizi, and Farhad Arbab. 2010. A Semantic Model for Service Composition with Coordination Time Delays. In Proceedings of ICFEM 2010, Jin Song Dong and Huibiao Zhu (eds.). Springer, 106–121. doi:10.1007/978-3-642-16901-4_9

  8. Stephanie Kemper. 2010. Compositional Construction of Real-Time Dataflow Networks. In Proceedings of COORDINATION 2010, Dave Clarke and Gul Agha (eds.). Springer, 92–106. doi:10.1007/978-3-642-13414-2_7

  9. Natallia Kokash, Christian Krause, and Erik De Vink. 2010. Data-Aware Design and Verification of Service Compositions with Reo and mCRL2. In Proceedings of SAC 2010, 2406–2413. doi:10.1145/1774088.1774590

  10. Natallia Kokash, Christian Krause, and Erik De Vink. 2010. Time and Data-Aware Analysis of Graphical Service Models in Reo. In Proceedings of SEFM 2010, 125–134. doi:10.1109/SEFM.2010.26

  11. Natallia Kokash, Christian Krause, and Erik De Vink. 2010. Verification of Context-Dependent Channel-Based Service Models. In Proceedings of FMCO 2009, Frank de Boer, Marcello Bonsangue, Stefan Hallerstede and Michael Leuschel (eds.). Springer, 21–40. doi:10.1007/978-3-642-17071-3_2

  12. Sun Meng and Farhad Arbab. 2010. A Model for Web Service Coordination in Long-Running Transactions. In Proceedings of SOSE 2010, 121–128. doi:10.1109/SOSE.2010.51

  13. Young-Joo Moon, Alexandra Silva, Christian Krause, and Farhad Arbab. 2010. A Compositional Semantics for Stochastic Reo Connectors. In Proceedings of FOCLASA 2010, Mohammad-Reza Mousavi and Gwen Salaün (eds.). CoRR, 93–107. doi:10.4204/EPTCS.30.7

  14. Oscar Kanters. 2010. QoS analysis by simulation in Reo (Master's thesis). Vrije Universiteit Amsterdam. Available at: https://beta.vu.nl/nl/Images/stageverslag-kanters_tcm235-150425.pdf

  15. Roald de Vries. 2010. Physical Reo (Master's thesis). Leiden University. Available at: https://theses.liacs.nl/434

2009

  1. Bernhard Aichernig, Farhad Arbab, Lăcrămioara Aştefănoaei, Frank De Boer, Sun Meng, and Jan Rutten. 2009. Fault-Based Test Case Generation for Component Connectors. In Proceedings of TASE 2009, 147–154. doi:10.1109/TASE.2009.14

  2. Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, and Ugo Montanari. 2009. Tiles for Reo. In Proceedings of WADT 2008, Andrea Corradini and Ugo Montanari (eds.). Springer, 37–55. doi:10.1007/978-3-642-03429-9_4

  3. Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, Young-Joo Moon, and Chrétien Verhoef. 2009. From Coordination to Stochastic Models of QoS. In Proceedings of COORDINATION 2009, John Field and Vasco Vasconcelos (eds.). Springer, 268–287. doi:10.1007/978-3-642-02053-7_14

  4. Farhad Arbab, Sun Meng, and Christel Baier. 2009. Synthesis of Reo Circuits from Scenario-based Specifications. In Proceedings of FOCLASA 2008, Carlos Canal, Pascal Poizat and Marjan Sirjani (eds.). Elsevier, 21–41. doi:10.1016/j.entcs.2009.06.027

  5. Farhad Arbab, Sun Meng, Young-Joo Moon, Marta Kwiatkowska, and Hongyang Qu. 2009. Reo2MC: a Tool Chain for Performance Analysis of Coordination Models. In Proceedings of ESEC/FSE 2009, 287–288. doi:10.1145/1595696.1595745

  6. Christel Baier, Tobias Blechmann, Joachim Klein, and Sascha Klüppelholz. 2009. A Uniform Framework for Modeling and Verifying Components and Connectors. In Proceedings of COORDINATION 2009, John Field and Vasco Vasconcelos (eds.). Springer, 247–267. doi:10.1007/978-3-642-02053-7_13

  7. Christel Baier, Tobias Blechmann, Joachim Klein, and Sascha Klüppelholz. 2009. Formal Verification for Components and Connectors. In Proceedings of FMCO 2008, Frank De Boer, Marcello Bonsangue and Eric Madelaine (eds.). Springer, 82–101. doi:10.1007/978-3-642-04167-9_5

  8. Marcello Bonsangue, Dave Clarke, and Alexandra Silva. 2009. Automata for Context-Dependent Connectors. In Proceedings of COORDINATION 2009, John Field and Vasco Vasconcelos (eds.). Springer, 184–203. doi:10.1007/978-3-642-02053-7_10

  9. Dave Clarke, José Proença, Alexander Lazovik, and Farhad Arbab. 2009. Deconstructing Reo. In Proceedings of FOCLASA 2008, Carlos Canal, Pascal Poizat and Marjan Sirjani (eds.). Elsevier, 43–58. doi:10.1016/j.entcs.2009.06.028

  10. Dave Clarke and José Proença. 2009. Coordination via Interaction Constraints I: Local Logic. In Proceedings of ICE 2009, Filippo Bonchi, Davide Grohmann, Paola Spoletini and Emilio Tuosto (eds.). CoRR, 17–39. doi:10.4204/EPTCS.12.2

  11. Mohammad Izadi and Ali Movaghar. 2009. Compositional Failure-based Equivalence of Constraint Automata. In Proceedings of AVoCS 2007, Michael Goldsmith and Bill Roscoe (eds.). Elsevier, 105–122. doi:10.1016/j.entcs.2009.08.008

  12. Natallia Kokash and Farhad Arbab. 2009. Applying Reo to Service Coordination in Long-Running Business Transactions. In Proceedings of SAC 2009, 1381–1382. doi:10.1145/1529282.1529590

  13. Natallia Kokash and Farhad Arbab. 2009. Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems. In Proceedings of FMCO 2008, Frank De Boer, Marcello Bonsangue and Eric Madelaine (eds.). Springer, 21–41. doi:10.1007/978-3-642-04167-9_2

  14. Christian Koehler, Farhad Arbab, and Erik De Vink. 2009. Reconfiguring Distributed Reo Connectors. In Proceedings of WADT 2008, Andrea Corradini and Ugo Montanari (eds.). Springer, 221–235. doi:10.1007/978-3-642-03429-9_15

  15. Sascha Klüppelholz and Christel Baier. 2009. Symbolic model checking for channel-based component connectors. SCP 74, 9 (2009), 688–701. doi:10.1016/j.scico.2008.09.020

  16. Christian Koehler and Dave Clarke. 2009. Decomposing Port Automata. In Proceedings of SAC 2009, 1369–1373. doi:10.1145/1529282.1529587

  17. Stephanie Kemper. 2009. SAT-based Verification for Timed Component Connectors. In Proceedings of FOCLASA 2009, Gwen Salaün and Marjan Sirjani (eds.). Elsevier, 103–118. doi:10.1016/j.entcs.2009.10.027

  18. Christian Krause. 2009. Integrated Structure and Semantics for Reo Connectors and Petri Nets. In Proceedings of ICE 2009, Filippo Bonchi, Davide Grohmann, Paola Spoletini and Emilio Tuosto (eds.). CoRR, 57–69. doi:10.4204/EPTCS.12.4

  19. Sun Meng and Farhad Arbab. 2009. Connectors as Designs. In Proceedings of FOCLASA 2009, Gwen Salaün and Marjan Sirjani (eds.). Elsevier, 119–135. doi:10.1016/j.entcs.2009.10.028

  20. Sun Meng and Farhad Arbab. 2009. QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata. FI 95, 1 (2009), 103–128. doi:10.3233/FI-2009-144

  21. Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, and Farhad Arbab. 2009. Automated Analysis of Reo Circuits using Symbolic Execution. In Proceedings of FOCLASA 2009, Gwen Salaün and Marjan Sirjani (eds.). Elsevier, 137–158. doi:10.1016/j.entcs.2009.10.029

  22. Samira Tasharofi and Marjan Sirjani. 2009. Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM. In Proceedings of FOCLASA 2008, Carlos Canal, Pascal Poizat and Marjan Sirjani (eds.). Elsevier, 155–174. doi:10.1016/j.entcs.2009.06.034

2008

  1. Farhad Arbab, Lăcrămioara Aştefănoaei, Frank De Boer, Mehdi Dastani, John-Jules Meyer, and Nick Tinnermeier. 2008. Reo Connectors as Coordination Artifacts in 2APL Systems. In Proceedings of PRIMA 2008, The Duy Bui, Tuong Vinh Ho and Quang Thuy Ha (eds.). Springer, 42–53. doi:10.1007/978-3-540-89674-6_8

  2. Farhad Arbab, Natallia Kokash, and Sun Meng. 2008. Towards Using Reo for Compliance-Aware Business Process Modeling. In Proceedings of ISoLA 2008, Tiziana Margaria and Bernhard Steffen (eds.). Springer, 108–123. doi:10.1007/978-3-540-88479-8_9

  3. Farhad Arbab and Sun Meng. 2008. Synthesis of Connectors from Scenario-Based Interaction Specifications. In Proceedings of CBSE 2008, Michel Chaudron, Clemens Szyperski and Ralf Reussner (eds.). Springer, 114–129. doi:10.1007/978-3-540-87891-9_8

  4. Tobias Blechmann and Christel Baier. 2008. Checking Equivalence for Reo Networks. In Proceedings of FACS 2007, Markus Lumpe and Eric Madelaine (eds.). Elsevier, 209–226. doi:10.1016/j.entcs.2008.06.029

  5. Dave Clarke. 2008. A Basic Logic for Reasoning about Connector Reconfiguration. FI 82, 4 (2008), 361–390. Available at: https://content.iospress.com/articles/fundamenta-informaticae/fi82-4-04

  6. Dave Clarke. 2008. Coordination: Reo, Nets, and Logic. In Proceedings of FMCO 2007, Frank De Boer, Marcello Bonsangue, Susanne Graf and Willem-Paul De Roever (eds.). Springer, 226–256. doi:10.1007/978-3-540-92188-2_10

  7. Mohammad Izadi and Marcello Bonsangue. 2008. Recasting Constraint Automata into Büchi Automata. In Proceedings of ICTAC 2008, John Fitzgerald, Anne Haxthausen and Husnu Yenigun (eds.). Springer, 156–170. doi:10.1007/978-3-540-85762-4_11

  8. Mohammad Izadi, Marcello Bonsangue, and Dave Clarke. 2008. Modeling Component Connectors: Synchronisation and Context-Dependency. In Proceedings of SEFM 2008, 303–312. doi:10.1109/SEFM.2008.24

  9. Mohammad Izadi and Ali Movaghar. 2008. Model checking of component based software using compositional reductions. IJSEKE 18, 5 (2008), 683–712. doi:10.1142/S0218194008003775

  10. Christian Koehler, Alexander Lazovik, and Farhad Arbab. 2008. Connector Rewriting with High-Level Replacement Systems. In Proceedings of FOCLASA 2007, Carlos Canal, Pascal Poizat and Mirko Viroli (eds.). Elsevier, 77–92. doi:10.1016/j.entcs.2008.03.100

  11. Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, and Hamed Iravanchi. 2008. Modeling and Analysis of Reo Connectors Using Alloy. In Proceedings of COORDINATION 2008, Doug Lea and Gianluigi Zavattaro (eds.). Springer, 169–183. doi:10.1007/978-3-540-68265-3_11

  12. Farzad Mahdikhani, Mahmoud-Reza Hashemi, and Marjan Sirjani. 2008. QoS Aspects in Web Services Compositions. In Proceedings of SOSE 2008, 239–244. doi:10.1109/SOSE.2008.39

  13. Ziyan Maraikar, Alexander Lazovik, and Farhad Arbab. 2008. Building Mashups for the Enterprise with SABRE. In Proceedings of ICSOC 2008, Athman Bouguettaya, Ingolf Krueger and Tiziana Margaria (eds.). Springer, 70–83. doi:10.1007/978-3-540-89652-4_9

  14. Sara Navid-Pour, Mohammad Izadi, and Ali Movaghar. 2008. Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps. In Proceedings of COMPSAC 2008, 211–218. doi:10.1109/COMPSAC.2008.130

  15. José Proença and Dave Clarke. 2008. Coordination Models Orc and Reo Compared. In Proceedings of FOCLASA 2007, Carlos Canal, Pascal Poizat and Mirko Viroli (eds.). Elsevier, 57–76. doi:10.1016/j.entcs.2008.03.099

  16. Carolyn Talcott, Marjan Sirjani, and Shangping Ren. 2008. Comparing Three Coordination Models: Reo, ARC, and RRD. In Proceedings of FOCLASA 2007, Carlos Canal, Pascal Poizat and Mirko Viroli (eds.). Elsevier, 39–55. doi:10.1016/j.entcs.2008.03.098

  17. Samira Tasharofi, Mohsen Vakilian, Roshanak Zilouchian Moghaddam, and Marjan Sirjani. 2008. Modeling Web Service Interactions Using the Coordination Language Reo. In Proceedings of WS-FM 2007, Marlon Dumas and Reiko Heckel (eds.). Springer, 108–123. doi:10.1007/978-3-540-79230-7_8

2007

  1. Farhad Arbab, Christel Baier, Frank De Boer, and Jan Rutten. 2007. Models and temporal logical specifications for timed component connectors. SoSyM 6, 1 (2007), 59–82. doi:10.1007/s10270-006-0009-9

  2. Farhad Arbab, Tom Chothia, Sun Meng, and Young-Joo Moon. 2007. Component Connectors with QoS Guarantees. In Proceedings of COORDINATION 2007, Amy Murphy and Jan Vitek (eds.). Springer, 286–304. doi:10.1007/978-3-540-72794-1_16

  3. Silvia Amaro, Ernesto Pimentel, and Ana Roldán. 2007. A Preliminary Comparative Study on the Expressive Power of Reo and Linda. In Proceedings of FOCLASA 2004, Antonio Brogi, Jean-Marie Jacquet and Ernesto Pimentel (eds.). Elsevier, 3–19. doi:10.1016/j.entcs.2006.10.043

  4. Dave Clarke, David Costa, and Farhad Arbab. 2007. Connector colouring I: Synchronisation and context dependency. SCP 66, 3 (2007), 205–225. doi:10.1016/j.scico.2007.01.009

  5. Juan Guillen Scholten. 2007. Mobile Channels for Exogenous Coordination of Distributed Systems (PhD thesis). Leiden University. hdl:1887/8598

  6. Mohammad Izadi and Ali Movaghar. 2007. Compositional Failure-based Semantic Equivalences for Reo Specifications. In Proceedings of SAVCBS 2007, 99–100. doi:10.1145/1292316.1292329

  7. Mohammad Izadi, Ali Movaghar, and Farhad Arbab. 2007. Model Checking of Component Connectors. In Proceedings of COMPSAC 2007, 673–675. doi:10.1109/COMPSAC.2007.153

  8. Sascha Klüppelholz and Christel Baier. 2007. Symbolic Model Checking for Channel-based Component Connectors. In Proceedings of FOCLASA 2006, Carlos Canal and Mirko Viroli (eds.). Elsevier, 19–37. doi:10.1016/j.entcs.2007.03.003

  9. Christian Koehler, Alexander Lazovik, and Farhad Arbab. 2007. ReoService: Coordination Modeling Tool. In Proceedings of ICSOC 2007, Bernd Krämer, Kwei-Jay Lin and Priya Narasimhan (eds.). Springer, 625–626. doi:10.1007/978-3-540-74974-5_60

  10. Alexander Lazovik and Farhad Arbab. 2007. Using Reo for Service Coordination. In Proceedings of ICSOC 2007, Bernd Krämer, Kwei-Jay Lin and Priya Narasimhan (eds.). Springer, 398–403. doi:10.1007/978-3-540-74974-5_34

  11. Sun Meng and Farhad Arbab. 2007. On Resource-Sensitive Timed Component Connectors. In Proceedings of FMOODS 2007, Marcello Bonsangue and Einar Broch Johnsen (eds.). Springer, 301–316. doi:10.1007/978-3-540-72952-5_19

  12. Sun Meng and Farhad Arbab. 2007. Web Services Choreography and Orchestration in Reo and Constraint Automata. In Proceedings of SAC 2007, 346–353. doi:10.1145/1244002.1244085

  13. Bahman Pourvatan and Nima Rouhy. 2007. An Alternative Algorithm for Constraint Automata Product. In Proceedings of FSEN 2007, Farhad Arbab and Marjan Sirjani (eds.). Springer, 412–422. doi:10.1007/978-3-540-75698-9_29

  14. Niloofar Razavi and Marjan Sirjani. 2007. Compositional Semantics of System-Level Designs Written in SystemC. In Proceedings of FSEN 2007, Farhad Arbab and Marjan Sirjani (eds.). Springer, 113–128. doi:10.1007/978-3-540-75698-9_8

2006

  1. Farhad Arbab and Joost Kok. 2006. Interaction and Coordination of Tools for Structured Data. In Proceedings of ISoLA 2004, Tiziana Margaria and Bernhard Steffen (eds.). Springer, 1–8. doi:10.1007/11925040_1

  2. Silvia Amaro, Ernesto Pimentel, and Ana Roldán. 2006. Reo Based Interaction Model. In Proceedings of FACS 2005, Zhiming Liu and Luís Barbosa (eds.). Elsevier, 3–14. doi:10.1016/j.entcs.2006.05.012

  3. Farhad Arbab. 2006. Composition of Interacting Computations. In Interactive Computation: The New Paradigm, Dina Goldin, Scott A. Smolka and Peter Wegner (eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 277–321. doi:10.1007/3-540-34874-3_12

  4. Farhad Arbab. 2006. Computing and Interaction. In Interactive Computation: The New Paradigm, Dina Goldin, Scott A. Smolka and Peter Wegner (eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 9–23. doi:10.1007/3-540-34874-3_2

  5. Farhad Arbab. 2006. Coordination for Component Composition. In Proceedings of FACS 2005, Zhiming Liu and Luís Barbosa (eds.). Elsevier, 15–40. doi:10.1016/j.entcs.2006.05.013

  6. Roberto Bruni, Ivan Lanese, and Ugo Montanari. 2006. A basic algebra of stateless connectors. TCS 366, 1–2 (2006), 95–120. doi:10.1016/j.tcs.2006.07.005

  7. Christel Baier, Marjan Sirjani, Farhad Arbab, and Jan Rutten. 2006. Modeling component connectors in Reo by constraint automata. SCP 61, 2 (2006), 75–113. doi:10.1016/j.scico.2005.10.008

  8. Christel Baier and Verena Wolf. 2006. Stochastic Reasoning About Channel-Based Component Connectors. In Proceedings of COORDINATION 2006, Paolo Ciancarini and Herbert Wiklicky (eds.). Springer, 1–15. doi:10.1007/11767954_1

  9. Dave Clarke, David Costa, and Farhad Arbab. 2006. Connector Colouring I: Synchronisation and Context Dependency. In Proceedings of FOCLASA 2005, Carlos Canal and Mirko Viroli (eds.). Elsevier, 101–119. doi:10.1016/j.entcs.2005.12.035

  10. Dave Clarke, David Costa, and Farhad Arbab. 2006. Modelling Coordination in Biological Systems. In Proceedings of ISoLA 2004, Tiziana Margaria and Bernhard Steffen (eds.). Springer, 9–25. doi:10.1007/11925040_2

  11. Dave Clarke. 2006. Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic. In Proceedings of FSEN 2005, Farhad Arbab and Marjan Sirjani (eds.). Elsevier, 61–77. doi:10.1016/j.entcs.2005.12.062

  12. Fatemeh Ghassemi, Samira Tasharofi, and Marjan Sirjani. 2006. Automated Mapping of Reo Circuits to Constraint Automata. In Proceedings of FSEN 2005, Farhad Arbab and Marjan Sirjani (eds.). Elsevier, 99–115. doi:10.1016/j.entcs.2005.12.064

  13. Abbas Heydarnoori, Farhad Mavaddat, and Farhad Arbab. 2006. Towards an Automated Deployment Planner for Composition of Web Services as Software Components. In Proceedings of FACS 2005, Zhiming Liu and Luís Barbosa (eds.). Elsevier, 239–253. doi:10.1016/j.entcs.2006.05.026

  14. Mohammad Izadi and Ali Movaghar. 2006. An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata. In Proceedings of FSEN 2005, Farhad Arbab and Marjan Sirjani (eds.). Elsevier, 171–186. doi:10.1016/j.entcs.2005.12.068

  15. Mohammed-Reza Mousavi, Marjan Sirjani, and Farhad Arbab. 2006. Formal Semantics and Analysis of Component Connectors in Reo. In Proceedings of FOCLASA 2005, Carlos Canal and Mirko Viroli (eds.). Elsevier, 83–99. doi:10.1016/j.entcs.2005.12.034

  16. Niloofar Razavi and Marjan Sirjani. 2006. Using Reo for Formal Specification and Verification of System Designs. In Proceedings of MEMOCODE 2006, 113–122. doi:10.1109/MEMCOD.2006.1695912

  17. Marjan Sirjani, Mohammad-Mahdi Jaghoori, Christel Baier, and Farhad Arbab. 2006. Compositional Semantics of an Actor-Based Language Using Constraint Automata. In Proceedings of COORDINATION 2006, Paolo Ciancarini and Herbert Wiklicky (eds.). Springer, 281–297. doi:10.1007/11767954_18

  18. Samira Tasharofi, Sepand Ansari, and Marjan Sirjani. 2006. Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm. In Proceedings of ICFEM 2006, Zhiming Liu and Jifeng He (eds.). Springer, 478–493. doi:10.1007/11901433_26

2005

  1. Farhad Arbab, Christel Baier, Frank De Boer, Jan Rutten, and Marjan Sirjani. 2005. Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications. In Proceedings of COORDINATION 2005, Jean-Marie Jacquet and Gian Pietro Picco (eds.). Springer, 236–251. doi:10.1007/11417019_16

  2. Silvia Amaro, Ernesto Pimentel, and Ana Roldán. 2005. Coordinating Behavioral Descriptions of Components. JUCS 11, 10 (2005), 1676–1694. doi:10.3217/jucs-011-10-1676

  3. Farhad Arbab. 2005. Abstract Behavior Types: a foundation model for components and their composition. SCP 55, 1–3 (2005), 3–52. doi:10.1016/j.scico.2004.05.010

  4. Christel Baier. 2005. Probabilistic Models for Reo Connector Circuits. JUCS 11, 10 (2005), 1718–1748. doi:10.3217/jucs-011-10-1718

  5. Mehdi Dastani, Farhad Arbab, and Frank De Boer. 2005. Coordination and Composition in Multi-Agent Systems. In Proceedings of AAMAS 2005, 439–446. doi:10.1145/1082473.1082540

2004

  1. Farhad Arbab, Christel Baier, Frank De Boer, and Jan Rutten. 2004. Models and Temporal Logics for Timed Component Connectors. In Proceedings of SEFM 2004, 198–207. doi:10.1109/SEFM.2004.10016

  2. Farhad Arbab, Christel Baier, Jan Rutten, and Marjan Sirjani. 2004. Modeling Component Connectors in Reo by Constraint Automata (Extended Abstract). In Proceedings of FOCLASA 2003, Antonio Brogi, Jean-Marie Jacquet and Ernesto Pimentel (eds.). Elsevier, 25–46. doi:10.1016/j.entcs.2004.04.028

  3. Farhad Arbab. 2004. Reo: a channel-based coordination model for component composition. MSCS 14, 3 (2004), 329–366. doi:10.1017/S0960129504004153

  4. Jan Rutten. 2004. Component Connectors. In Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems, Prakash Panangaden and Franck Van Breugel (eds.). AMS, 73–87. Available at: http://www.ams.org/bookpages/crmm-23

  5. Marjan Sirjani. 2004. Formal Specification and Verification of Concurrent and Reactive Systems (PhD thesis). Sharif University of Technology. Available at: http://rebeca-lang.org/assets/theses/Marjan-Sirjani-PhD-Thesis.pdf

  6. Mohammad Reza Mousavi, Marjan Sirjani, and Farhad Arbab. 2004. Specification, simulation, and verification of component connectors in Reo. Department of Computer Science, Eindhoven University of Technology. urn:nbn:de:bsz:14-qucosa-86211

2003

  1. Farhad Arbab and Jan Rutten. 2003. A Coinductive Calculus of Component Connectors. In Proceedings of WADT 2002, Martin Wirsing, Dirk Pattinson and Rolf Hennicker (eds.). Springer, 34–55. doi:10.1007/978-3-540-40020-2_2

  2. Farhad Arbab. 2003. Abstract Behavior Types: A Foundation Model for Components and their Composition. In Proceedings of FMCO 2002, Frank De Boer, Marcello Bonsangue, Susanne Graf and Willem-Paul De Roever (eds.). Springer, 33–70. doi:10.1007/978-3-540-39656-7_2

  3. Juan Guillen Scholten, Farhad Arbab, Frank De Boer, and Marcello Bonsangue. 2003. A Channel-based Coordination Model for Components. In Proceedings of FOCLASA 2002, Antonio Brogi and Jean-Marie Jacquet (eds.). Elsevier, 419–438. doi:10.1016/S1571-0661(05)80381-0

2002

  1. Farhad Arbab and Farhad Mavaddat. 2002. Coordination through Channel Composition. In Proceedings of COORDINATION 2002, Farhad Arbab and Carolyn Talcott (eds.). Springer, 275–297. doi:10.1007/3-540-46000-4_6

2001

  1. Farhad Arbab. 2001. Coordination of Mobile Components. In Proceedings of ConCoord 2001, Ugo Montanari and Vladimiro Sassone (eds.). Elsevier, 1–16. doi:10.1016/S1571-0661(04)00231-2

  2. Juan V. Guillen Scholten. 2001. MoCha, a model for distributed mobile channels (Master's thesis). Leiden University / Centrum Wiskunde & Informatica. Available at: https://ir.cwi.nl/pub/11031

1998

  1. Farhad Arbab. 1998. What do you mean, coordination? Bulletin of the Dutch Association for Theoretical Computer Science (NVTI). Available at: http://homepages.cwi.nl/%7Efarhad/Papers/NVTIpaper.pdf