PUBLICATIONS
Journals
Conferences
Books
Book
Chapters Others
CWI
Repository
dblp Google Scholar Semantic Scholar Free Search Microsoft Academic Search PubZone CiteSeer ACM DL CSB
Composition by Interaction (abstract) (full text)
Reo: A Channel-based Coordination Model for Component Composition
dblp Bibtex EE Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, and Simon Bliudze, “Combine and Conquer: Relating BIP and Reo,” Journal of Logical and Algebraic Methods in Programming, Vol. 86, Issue 1, Elsevier, January 2017.
dblp Bibtex EE Sung-Shik T. Q. Jongmans, and Farhad Arbab, “Data optimizations for constraint automata,” Logical Methods in Computer Science, Vol. 12, Issue 3, September 2016.
dblp BibTex EE Narges Khakpour, Farhad Arbab, and Eric Rutten, "Synthesizing structural and behavioral control for reconfigurations in component-based systems," Formal Aspects of Computing, Vol. 28, no. 1, pp. 21-43, 2016.
dblp BibTex EE Sung-Shik T.Q. Jongmans and Farhad Arbab, "Global Consensus through Local Synchronization,” Science of Computer Programming, Elsevier, Vol. 115-116, pp. 199-224, 2016.
dblp BibTex EE Sung-Shik T. Q. Jongmans, Francesco Santini, and Farhad Arbab, “Partially-distributed coordination with Reo and Constraint Automata,” Service Oriented Computing and Applications 9(3-4): 311-339, 2015.
dblp BibTex EE Sung-Shik T. Q. Jongmans, Francesco Santini, Mahdi Sargolzaei, Farhad Arbab, Hamideh Afsarmanesh: Orchestrating web services using Reo: from circuits and behaviors to automatically generated code. Service Oriented Computing and Applications, 8(4): 277-297, Springer (2014).
dblp BibTex EE Young-Joo Moon, Alexandra Silva, Christian Krause, and Farhad Arbab "A Compositional Model to Reason about end-to-end QoS in Stochastic Reo Connectors," Science of Computer Programming, Elsevier, Vol. 80 Part A, pp. 3-24, 2014.
dblp BibTex EE Natallia Kokash, Mohammad Mahdi Jaghoori, Farhad Arbab, "From Timed Reo Networks to Networks of Timed Automata," Electr. Notes Theor. Comput. Sci. Vol. 295, pp. 11-29, 2013.
dblp BibTex EE Natallia Kokash and Farhad Arbab "Formal Design and Verification of Long-Running Transactions with Eclipse Coordination Tools," IEEE Transactions on Service Computing, Vol. 6, Issue 2, pp. 186-200, 2013.
dblp BibTex EE Sung-Shik T.Q. Jongmans and Farhad Arbab, "Overview of Thirty Semantic Formalisms for Reo," Scientific Annals of Computer Science, vol. 12, Issue 1, pp. 201-251, 2012.
dblp BibTex EE Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, and Farhad Arbab "Symbolic Execution of Reo Circuits using Constraint Automata," Science of Computer Programming, Elsevier, Vol. 77, Issue 7, pp. 848-869, 2012.
dblp BibTex EE Sun Meng, Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer, and Jan Rutten "Connectors as Designs: Modelling, Refinement and Test Case Generation," Science of Computer Programming, Elsevier, Vol. 77, Issue 7, pp. 799-822, 2012.
dblp BibTex EE Sun Meng, Farhad Arbab, and Christel Baier "Synthesis of Reo circuits from scenario-based interaction specifications," Science of Computer Programming, Elsevier, Vol. 76, Issue 8, pp. 651-680, 2011.
dblp BibTex EE Dave Clarke, Jose Proenca, Alexander Lazovik, and Farhad Arbab "Channel-based Coordination via Constraint Satisfaction," Science of Computer Programming, Elsevier, Vol. 76, Issue 8, pp. 681-710, 2011.
dblp BibTex EE Christian Krause, Ziyan Maraikar, Alexander Lazovik, and Farhad Arbab "Modeling Dynamic Reconfigurations in Reo using High-Level Replacement Systems," Science of Computer Programming, Elsevier, Vol. 76, Issue 1, pp. 23-36, 2011.
dblp BibTex EE Sun Meng and Farhad Arbab "QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata," Fundamenta Informaticae, IOS Press, Vol. 95, No. 1, pp. 103-128, 2009.
Farhad Arbab, Frank de Boer, Marcello Bonsangue, Marc Lankhorst, Erik Proper, Leendert van der Torre, "Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise Architecture," .Mobis, SIG-MoBIS, Vol. 2, No. 1, June 2007.
dblp BibTex EE Dave Clarke, David Costa, and Farhad Arbab, "Connector Coloring I: Synchronization and Context Dependency," Science of Computer Programming, Elsevier, Vol. 66, No. 3, May 2007.
dblp BibTex EE Farhad Arbab, Christel Baier, Frank S. de Boer, and Jan J. M. M. Rutten, "Models and Temporal Logical Specifications for Timed Component Connectors," International Journal on Software and Systems Modeling, pp. 59-82, Vol. 6, No. 1, March 2007, Springer.
dblp BibTeX EE Christel Baier, Marjan Sirjani, Farhad Arbab, and Jan J. M. M. Rutten, "Modeling Component Connectors in Reo by Constraint Automata," Science of Computer Programming, Elsevier, Vol. 61, Issue 2, pp. 75-113, July 2006.
Farhad Arbab, "A Behavioral Model for Composition of Software Components," L'Objet, Lavoisier, Vol. 12, No. 1, pp. 33-76, 2006.
dblp BibTeX EE Juan Guillen-Scholten, Farhad Arbab, Frank S. de Boer, and Marcello M. Bonsangue, "A Component Coordination Model Based on Mobile Channels," Fundamenta Informaticae, IOS Press, Vol. 73, No. 4, pp. 561-582, 2006.
dblp BibTex EE Farhad Arbab, "Abstract Behavior Types: A Foundation Model for Components and Their Composition," Science of Computer Programming, Elsevier, Vol. 55, pp. 3-52, March 2005.
ACM BibTeX Farhad Arbab, "Reo: A Channel-based Coordination Model for Component Composition," Mathematical Structures in Computer Science, Cambridge University Press, Vol. 14, Issue 3, pp. 329-366, June 2004.
dblp BibTex EE Richard Banach, Farhad Arbab, George A. Papadopoulos, and John R. W. Glauert, "A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model," Journal of Universal Computer Science, Vol. 9, Issue 1, 2003, pp. 2-33.
BibTeX George A. Papadopoulos and Farhad Arbab, "Configuration and Dynamic Reconfiguration of Components Using the Coordination Paradigm," Future Generation Computer Systems, Elsevier Science, Vol. 17, No. 8, 2001, pp. 1023-1038.
dblp BibTex C. T. H. Everaars, Farhad Arbab, and Barry Koren, "Dynamic process composition and communication patterns in irregularly structured applications," Concurrency: Practice and Experience, John Wiley & Sons, Ltd., Vol. 12, pp. 157-174, 2000.
dblp BibTex ACM Pascal Bouvry, Farhad Arbab, and Franciszek Seredynski, "Distributed evolutionary optimization in Manifold: Rosenbrack's function case study," Information Sciences, Elsevier, Vol. 122, pp. 141-159, February 2000.
BibTex ACM George A. Papadopoulos and Farhad Arbab, "Coordinating electronic commerce activities in Manifold," Netnomics, Baltzer Science Publishers, 2 (2000) 2, pp. 101-116.
dblp BibTex EE ACM Marcello M. Bonsangue, Farhad Arbab, Jaco W. de Bakker, Jan J. M. M. Rutten, Adriano Secutella, and Gianluigi Zavattaro, "A Transition System Semantics for the Control-Driven Coordination Language Manifold," Theoretical Computer Science, Elsevier, Vol. 240, No. 1, pp. 3-47, 2000.
BibTex ACM Farhad Arbab and Eric Monfroy, "Coordination of Heterogeneous Distributed Cooperative Constraint Solving," Applied Computing Review, Vol. 6, No. 2, pp. 4-17, ACM, 1998.
dblp BibTeX ACM Farhad Arbab, Paolo Ciancarini, and Chris Hankin, "Coordination Languages for Parallel Programming," Parallel Computing, Elsevier, Vol. 24, No. 7, pp. 989-1004, July 1998.
dblp BibTex ACM Farhad Arbab, C. L. Blom, F. J. Burger, and C. T. H. Everaars, "Reusable Coordinator Modules for Massively Concurrent Applications," Software: Practice and Experience, Vol. 28, No. 7, pp. 703-735, June 1998.
George A. Papadopoulos and Farhad Arbab, "Coordination of Distributed and Parallel Activities in the IWIM Model," International Journal of High Speed Computing, World Scientific, Vol. 9, No. 2, pp. 127-160, June 1997.
BibTex ACM Farhad Arbab and Ivan Herman, "Manifold," Future Generation Computer Systems, Vol. 10, No. 2-3, pp. 273-277, June 1994.
dblp BibTex Farhad Arbab, Ivan Herman, and Graham J. Reynolds, "An Object Model for Multimedia Programming," Computer Graphics Forum, Vol. 12, No. 3, pp. 101-113, September 1993.
BibTex ACM Farhad Arbab, Ivan Herman, and Per Spilling, "An Overview of Manifold and its Implementation," Concurrency: Practice and Experience, Vol. 5, No. 1, John Wiley, February 1993.
Farhad Arbab and Ivan Herman, "A processor Farm Example in Manifold," CWI Quarterly, pp. 189-205, September 1992.
dblp EE BibTeX ACM Allan Hansen and Farhad Arbab, "An Algorithm for Generating NC Tool Paths for Arbitrarily Shaped Pockets with Islands," ACM Transactions on Graphics, Vol. 11, No. 2, pp. 152-182, April 1992.
dblp EE BibTeX Dirk Soede, Farhad Arbab, Ivan Herman, and Paul J. W. ten Hagen, "The GKS Input Model in Manifold," Computer Graphics Forum, Vol. 10, No. 3, September 1991.
BibTeX ACM Farhad Arbab, "Set Models and Boolean Operations for Solids and Assemblies," Computer Graphics and Applications, Vol. 10, No. 6, IEEE, November 1990.
BibTeX Allan Hansen and Farhad Arbab, "Fixed-Axis Tool Positioning With Built-in Global Interference Checking for NC Path Generation," Journal of Robotics and Automation, Vol. 4, No. 6, pp. 610-621, IEEE, December 1988.
Larry Lichten, Farhad Arbab, and Michel A. Melkanoff, "An Overview of CAD/CAM with Special Emphasis on Mechanical Applications," Quarterly, Vol 9 No 4, UCLA Computer Science Department, Fall 1981.
dblp BibTex EE Farhad Arbab, Marjan Sirjani (Eds.): Fundamentals of Software Engineering - 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8161, Springer 2013, ISBN 978-3-642-40212-8
dblp BibTex EE Farhad Arbab and Peter Csaba Olveczky, post-proceedings of the 8th International Symposium on Formal Aspects of Component Software (FACS 2011), September 14-16, 2011, Oslo, Norway, Revised Selected Papers, LNCS, vol. 7253, Springer 2012.
dblp BibTex EE Farhad Arbab and Marjan Sirjani, Fundamentals of Software Engineering, 4th IPM International Conference (FSEN 2011) Tehran, Iran, April 20-22, 2011, Revised Selected Papers, LNCS vol. 7141, Springer 2012.
dblp BibTex EE Farhad Arbab and Marjan Sirjani, Fundamentals of Software Engineering, Third IPM International Conference (FSEN 2009) Kish Island, Iran, April 15-17, 2009, Revised Selected Papers, LNCS vol. 5961, Springer 2010
BibTeX International Symposium on Fundamentals of Software Engineering, LNCS vol. 4767, Springer, October 2007. (with M. Sirjani)
Co-editor, Enterprise Architecture at Work: Modeling, Communication, and Analysis, Springer, 2005. (with M. Lankhorst et al.)
dblp BibTeX ACM Co-editor, Coordination Languages and Models: Proc. Coordination 2002, Lecture Notes in Computer Science, Vol. 2315, Springer-Verlag, April 2002. (with C. Talcott)
Co-editor, Proceedings of the 6th Eurographics Workshop on Programming Paradigms in Graphics, Eurographics, 1997. (with P. Slusallek)
BibTex ACM Co-editor, Intelligent CAD, III, Elsevier Science Publishers, 1991. (with H. Yoshikawa)
Farhad Arbab: "Coordinated Composition of Software Components," Mathematical Frameworks for Component Software -- Models for Analysis and Synthesis, J. He and Z. Liu (Eds.), World Scientific, 2006.
Farhad Arbab: "Computing and Interaction," Interactive Computation: The New Paradigm, D. Goldin, S. Smolka, and P. Wegner (Eds.), Springer-Verlag, 2006 (Amazon link).
Farhad Arbab: "Composition of Interacting Computations," Interactive Computation: The New Paradigm, D. Goldin, S. Smolka, and P. Wegner (Eds.), Springer-Verlag, 2006 (Amazon link).
F. Arbab, F.S. de Boer, M.m. Bonsangue, L.W.N. van der Torre, et al.: "Foundations, Chapter III," Enterprise Architecture at Work: Modeling, Communication, and Analysis, Springer, 2005.
dblp BibTex "Constraints Solving as the Coordination of Inference Engines," Coordination of Internet Agents: Models, Technologies, and Applications, A. Omicini, F. Zambonelli, M. Klusch, R. Tolksdorf (Eds.), Chapter 16, pp. 399-422, ISBN 3-540-41613-7, Springer, 2001. (with E. Monfroy)
"Coordination Models and Languages," Advances in Computers, Vol. 46, Academic Press, 1998. (with G. A. Papadopoulos)
"Geometric Constraint Propagation with Quantum Labels," Computer Graphics and Mathematics, pp. 211-228, B. Falcidieno and I. Herman, eds., Springer-Verlag 1992. (with R. Veltkamp)
"Design Object Representation" in Intelligent CAD, III, edited by H. Yoshikawa and F. Arbab, Elsevier Science Publishers, 1991.
Farhad Arbab: "Coordination of Cooperative Agents," in monograph published on the occasion of the 50th anniversary of the SMC, G.Y. Nieuwland, ed., SMC, 1996.
"Features and Geometric Reasoning," in Intelligent CAD, II, edited by H. Yoshikawa and T. Holden, North-Holland, 1990.
"A Geometric Constraint Management System in Oar," in Intelligent CAD Systems 3: Practical Experience and Evaluation, edited by P. J. W. ten Hagen and P. J. Veerkamp, Springer-Verlag, 1990. (with Wang, B.)
"Reasoning About Geometric Constraints," Proceedings of Second IFIP 5.2 Workshop on Intelligent CAD, edited by H. Yoshikawa and T. Holden, North-Holland, 1989. (with Wang, B.)
"Design Object Modeling," Proceedings of First IFIP 5.2 Workshop on Intelligent CAD, edited by H. Yoshikawa and D. Gossard, North-Holland, 1989.
"Examples of Geometric Reasoning in Oar," in Intelligent CAD Systems 2: Implementational Issues, edited by P. J. W. ten Hagen, T. Tomiyama, and V. Akman, Springer-Verlag, 1989.
"A Paradigm for Intelligent CAD," in Intelligent CAD Systems 1: Theoretical and Methodological Aspects, edited by P. J. W. ten Hagen and T. Tomiyama, Springer-Verlag, August 1987.
"The Geometric Reasoning Paradigm for Geometric Modeling," in Design Theory for CAD, edited by H. Yoshikawa and E. A. Warman, North-Holland, 1987. (with Wing, Jeannette M.)
dblp BibTex EE Carolyn L. Talcott, Vivek Nigam, Farhad Arbab, and Tobias Kappé, "Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems," Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016 (SFM 2016), Advanced Lectures. LNCS vol. 9700, pp. 1-35.
dblp BibTex EE Kasper Dokter, Sung-Shik T.Q. Jongmans, and Farhad Arbab, "Scheduling Games for Concurrent Systems," Coordination 2016, the 18th IFIP International Conference on Coordination Models and Languages. Held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion Crete, June 6-9, 2016, LNC vol. 9686, pp. 84-100.
dblp BibTex EE Tobias Kappé, Farhad Arbab, and Carolyn Talcott, "A Compositional Framework for Preference-Aware Agents," the first International Workshop on Verification and Validation of Cyber-Physical Systems (V2CPS 2016), co-located with iFM 2016, 1-4 June 2016, Reykjavik, Iceland, EPTCS, vol. 232, pp. 21-35, 2016.
dblp BibTex EE Sung-Shik T.Q. Jongmans, and Farhad Arbab, "PrDK: Protocol Programming with Automata," TACAS 2016, the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Held as part of ETAPS 2016, the European Joint Conferences on Theory and Practice of Software, Eindhoven, the Netherlands, April 2-8, 2016, LNCS vol 9636, pp. 547-552.
dblp BibTex EE Farhad Arbab, "Proper Protocol," Theory and Practice of Formal Models, March 2016, LNCS vol. 9660, pp. 65-87.
dblp BibTex EE Michiel Helvensteijn and Farhad Arbab, "Toward a Formal Foundation for Time Travel in Stories and Games," Theory and Practice of Formal Models, March 2016, LNCS vol. 9660, pp. 261-276.
dblp BibTex EE Sung-Shik T.Q. Jongmans, Tobias Kappé and Farhad Arbab, "Composing Constraint Automata, State-by-State," the 12th International Symposium on Formal Aspects of Component Software (FACS 2015), October 14-16, 2015, Rio de Janeiro, Brazil.
dblp BibTex EE Farhad Arbab, Sung-Shik T. Q. Jongmans, “Coordinating Multicore Computing,” 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, LNCS vol. 9104, pp. 57-96.
dblp BibTex EE Sung-Shik T. Q. Jongmans, Farhad Arbab, “Take Command of Your Constraints!,” 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, LNC vol 9037, pp. 117-132.
dblp BibTex EE Kasper Dokter, Sung-Shik T. Q. Jongmans, Farhad Arbab, and Simon Bliudze, “Relating BIP and Reo,” the 8th International workshop on Interaction and Concurrency Experience (ICE 2015), June 4-5, 2015, Grenoble, France, EPTCS, vol. 189, pp. 3-20, 2015.
dblp BibTex EE Sung-Shik T.Q. Jongmans and Farhad Arbab, "Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?" Fundamentals of Software Engineering - 6th International Conference, (FSEN 2015), Tehran, Iran, April 22-24, 2015, LNCS vol 9392 pp. 238-258.
dblp BibTex EE Carolyn L. Talcott, Farhad Arbab, and Maneesh Yadav, “Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems,” Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, LNCS vol 8950, pp. 273-290.
dblp BibTex EE Sung-Shik T. Q. Jongmans, Farhad Arbab: Toward Sequentializing Overparallelized Protocol Code. ICE 2014: 38-44.
dblp BibTex EE Narges Khakpour, Farhad Arbab, Eric Rutten: Supervisory Controller Synthesis for Safe Software Adaptation. WODES 2014: 39-45.
dblp BibTex EE Sung-Shik T. Q. Jongmans, Sean Halle, Farhad Arbab, "Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms," the 16th International Conference on Coordination Models and Languages (Coordination 2014), June 3-6, 2014, Berlin, Germany, LNCS 8459, pp 65-82.
dblp BibTex EE Sung-Shik T.Q. Jongmans, Francesco Santini, and Farhad Arbab, "Partially-Distributed Coordination with Reo," special session on FORmal approaches to PArallel and Distributed systems (4PAD 2014), the 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2014), Turin, Italy, February 12-14, 2014.
dblp BibTex EE Mahdi Sargolzaei, Francesco Santini, Farhad Arbab and Hamideh Afsarmanesh, "A Tool for Behavior-based Discovery of Approximately Matching Web Services," the 11th International Conference on Software Engineering and Formal Methods (SEFM 2013), September 25-27, 2013, Madrid, Spain.
dblp BibTex EE Sung-Shik T. Q. Jongmans and Farhad Arbab, "Global Consensus through Local Synchronization," the 12th International Workshop on the Foundations of Coordination Languages and Self Adaptation (FOCLASA 2013), in Advances in Service-Oriented and Cloud Computing Communications in Computer and Information Science, Vol. 393, pp 174-188, September 13, 2013, Malaga, Spain; satellite workshop of ESOCC 2013.
dblp BibTex EE Sung-Shik T.Q. Jongmans, Sean Halle and Farhad Arbab, "Reo: A Dataflow Inspired Language for Multicore," Data-Flow Execution Models for Extreme Scale Computing (DFM 2013), Edinburgh, Scotland, September 8, 2013; affiliated workshop of the 22nd International Conference on Parallel Architectures and Compilation Techniques (PACT 2013).
dblp BibTex EE Christoph Brandt, Francesco Santini, Natallia Kokash, and Farhad Arbab, "Modeling and Simulation of Operational Risks in the Finance Industry," the 26th European Simulation and Modeling Conference (ESM 2012), October 22-24, 2012, FOM, Essen, Germany.
dblp BibTex EE Sung-Shik T.Q. Jongmans, Francesco Santini, Mahdi Sargolzaei, Farhad Arbab, and Hamideh Afsarmanesh, "Automatic Code Generation for the Orchestration of Web Services with Reo," European Conference on Service-Oriented and Cloud Computing (ESOCC 2012), September 19-21, 2012, Bertinoro, Italy.
dblp BibTex EE Farhad Arbab and Francesco Santini, "Preference and Similarity-based Behavioral Discovery of Services," the 9th International Workshop on Web Services and Formal Methods (WS-FM 2012), September 6-7, 2012, Tallinn, Estonia; co-located with the 10th International Conference on Business Process Management (BPM 2012), September 3-6, 2012, Tallinn, Estonia.
dblp BibTex EE Farhad Arbab, Stefano Bistarelli, Daniele Pirolandi, and Francesco Santini, "Towards a Similarity-based Web Service Discovery through Soft Constraint Satisfaction Problems," the second international workshop on semantic search over the web (SSW 2012), in conjunction with the 38th International Conference on Very Large Databases (VLDB 2012), August 27, 2012, Istanbul, Turkey.
dblp BibTex EE Sung-Shik T.Q. Jongmans and Farhad Arbab, "Modularizing and Specifying Protocols among Threads," Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2012), March 31, Tallinn, Estonia; affiliated workshop of ETAPS 2012.
dblp BibTex EE Natallia Kokash, Mohammad Mahdi Jaghoori, and Farhad Arbab, "From Timed Reo Networks to Networks of Timed Automata," the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2012), March 31, 2012, Tallinn, Estonia; satellite event of ETAPS 2012.
dblp BibTex EE Jose Proenca, Dave Clarke, Erik de Vink, and Farhad Arbab, "Dreams: A Framework for Distributed Synchronous Coordination," Coordination Models, Languagesand Applications (CM) track of the 27th ACM Symposium on Applied Computing (SAC 2012), March 25-29, 2012, Trento, Italy.
dblp BibTex EE Farhad Arbab, "Will the Real Service Oriented Computing Please Stand Up?" post-proceedings of the 7th International Workshop on Formal Aspects of Component Software (FACS 2010), October 14-16, 2010, Guimaraes, Portugal; Lecture Notes in Computer Science, Springer, vol. 6921 pp. 277-285, 2012.
dblp BibTex EE Bahman Pourvatan, Marjan Sirjani, Farhad Arbab, and Marcello Bonsangue, "Decomposition of Constraint Automata," 7th International Workshop on Formal Aspects of Component Software (FACS 2010), October 14-16, 2010, Guimaraes, Portugal; LNCS, vol. 6921, pp. 237-258, Springer, 2012.
dblp BibTex EE F. Arbab "Puff, The Magic Protocol," Formal Modeling: Actors, Open Systems, Biological Systems 2011, SRI International, Menlo Park, California, November 3-4, 2011, Lecture Notes in Computer Science, Springer, vol. 7000, pp. 169-206.
dblp BibTex EE Y.-J. Moon, F. Arbab, A. Silva, C. Verhoef, and A. Stam, "Stochastic Reo: a Case Study," the 5th International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2011), September 13, 2011, Oslo, Norway.
dblp BibTex EE Jose Proenca, Dave Clarke, Erik de Vink, and Farhad Arbab, "Decoupled execution of synchronous coordination models via behavioural automata," the 10th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2011), Aachen, Germany, September 10, 2011; satellite workshop of CONCUR 2011, EPTCS, vol. 58, pp. 65-79.
dblp BibTex EE Natallia Kokash, Farhad Arbab, Behnaz Changizi, and Leonid Makhnist, "Input-output Conformance Testing for Channel-based Service Connectors," post-proceedings of the International Workshop on Process Algebra and Coordination (PACO 2011), Satellite event of DisCoTec 2011, June 9, 2011, Reykjavik, Iceland; EPTCS, vol. 60, pp. 19-35.
dblp BibTex EE Sung-Shik T.Q. Jongmans and Farhad Arbab, "Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata," Proceedings of the 4th International Workshop on Interaction and Concurrency Experience (ICE 2011), June 9th, 2011, Reykjavik, Iceland; satellilte event of DisCoTec 2011; EPTCS, vol. 59, pp. 84-103.
dblp BibTex EE Sung-Shik T.Q. Jongmans, Christian Krause and Farhad Arbab, "Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models," Proceedings of the 13th International Conference on Coordination Models and Languages (Coordination 2011), Reykjavik, Iceland, June 6-9, 2011; Lecture Notes in Computer Science, Springer, vol. 6721 pp. 31-48, 2012.
dblp BibTex EE Natallia Kokash, Behnaz Changizi, and Farhad Arbab, "A Semantic Model for Service Composition with Coordination Time Delays," Proceedings of the 12th international conference on Formal Engineering Methods (ICFEM 2010), Shanghai, China, November 17-19, 2010, Lecture Notes in Computer Science, vol. 6447, pp. 106-121, Springer.
dblp BibTex EE Farhad Arbab, "Elements of Interaction," in proceedings of Complex Systems Design & Management (CSDM 2010), October 27-29, 2010, Paris, France, M. Aiguier, F. Bretaudeau, and D. Krob, eds., pp. 1-28, Springer 2010.
dblp BibTex EE Young-Joo Moon, Alexandra Silva, Christian Krause, and Farhad Arbab, "A Compositional Semantics for Stochastic Reo Connectors," 9th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2010), satellite workshop of CONCUR 2010, September 4, 2010, Paris, France.
dblp BibTex EE Farhad Arbab, Claudia Diamantini, Domenico Potena, and Emanuele Storti, "Towards Coordination Patterns for Complex Experimentations in Data Mining," 18th Italian Symposium on Advanced Database Systems (SEBD 2010), June 20th - 23rd 2010, Rimini, Italy.
dblp BibTex EE Sun Meng and Farhad Arbab, "A Model for Web Service Coordination in Long-Running Transactions," 5th International Symposium on Service-Oriented System Engineering (SOSE 2010), Nanjing, China, June 4-5, 2010.
dblp BibTex EE Behnaz Changizi, Natallia Kokash, and Farhad Arbab, "A unified toolset for business process model formalization," 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2010), 27 March 2010, Paphos, Cyprus; satellite event of ETAPS 2010.
dblp BibTex EE Natallia Kokash and Farhad Arbab, "Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems," Post-proceedings of the 7th International Symposium on Formal Methods for Components and Objects, (FMCO 2008); Lecture Notes in Computer Science, Springer, Vol. 5751 pp. 21-4, October 2009.
dblp BibTex EE Farhad Arbab, Sun Meng, Young-Joo Moon, Marta Kwiatkowska, and Hongyang Qu, "Reo2MC: a Tool Chain for Performance Analysis of Coordination Models," Demonstrations track of the 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), August 24-28 2009 Amsterdam, The Netherlands.
dblp BibTex EE Bernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Sun Meng, and Jan Rutten, "Fault-based Test Case Generation for Component Connectors," Proceedings of the 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2009), July 29 - 31, 2009, Tianjin, China.
dblp BibTex EE Sun Meng and Farhad Arbab, "Connectors as Designs," the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2009), 11 July 2009, Rhodes, Greece; satellite workshop of the 36th International Colloquium on Automata, Languages and Programming (ICALP 2009).
dblp BibTex EE Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, and Farhad Arbab, "Automated Analysis of Reo Circuits using Symbolic Execution," the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2009), 11 July 2009, Rhodes, Greece; satellite workshop of the 36th International Colloquium on Automata, Languages and Programming (ICALP 2009).
dblp BibTex EE Farhad Arbab, Tom Chothia, Rob van der Mei, Meng Sun, Young-Joo Moon, and Chretien Verhoef, "From Coordination to Stochastic Models of QoS," Proceedings of the 11th international conference on Coordination Models and Languages (Coordination 2009), Lisbon, Portugal, June 9-11, 2009, LNCS, vol. 5521, pp. 268-287, Springer.
dblp BibTex EE Natallia Kokash and Farhad Arbab, "Applying Reo to service coordination in long-running business transactions," Coordination Models, Languages and Architectures (CM), Special Track of the 24th ACM Symposium on Applied Computing (SAC 2009), March 8-12, 2009, Waikiki Beach, Honolulu, Hawaii, USA.
dblp BibTex EE Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Meyer, Nick Tinnermeier: "Reo Connectors as Coordination Artifacts in 2APL Systems," the 11th Pacific Rim International Conference on Multi-Agents (PRIMA 2008), 15-16 December 2008, Hanoi, Vietnam.
Krzysztof R. Apt, Farhad Arbab, Huiye Ma: "A Distributed Platform for Mechanism Design," The 1st IEEE International Conference on Computational Intelligence for Modeling, Control and Automation (CIMCA 2008), Vienna, Austria, 10-12 December 2008.
dblp BibTex EE Ziyan Maraikar, Alexander Lazovik, and Farhad Arbab: "Building Mashups for the Enterprise with SABRE," the 6th International Conference on Service Oriented Computing (ICSOC 2008), 1-5 December 2008, Sydney, Australia.
dblp BibTex EE Farhad Arbab, Sun Meng: "Synthesis of Connectors from Scenario-based Interaction Specifications," Proceedings of the 11th International Symposium on Component-Based Software Engineering (CBSE 2008), 14-17 October 2008, Karlsruhe, Germany; member of CompArch 2008, LNCS, vol. 5258, pp. 114-129, Springer.
dblp BibTex EE Farhad Arbab, Natallia Kokash, Sun Meng: "Towards Using Reo for Compliance-aware Business Process Modeling," the third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008), 13-15 October 2008, Porto Sani (Kassandra, Chalkidiki), Greece.
dblp BibTex EE Sun Meng , Farhad Arbab: "Modelling Connectors as Designs in Unifying Theories of Programming," The second International Symposium on Unifying Theories of Programming (UTP 2008), 8-10 September 2008, Trinity College Dublin, Ireland.
Farhad Arbab, Christian Krause, Ziyan Maraikar, Young-Joo Moon, and Jose Proenca: "Modeling, Testing and Executing Reo Connectors with the Eclipse Coordination Tools," in proceedings of the International Workshop on Formal Aspects of Component Software (FACS 2008), September 10-12, Malaga, Spain.
dblp BibTex EE Krzysztof R. Apt, Farhad Arbab, Huiye Ma: "A Distributed Platform for Mechanism Design," The 1st International Workshop on Market-Based Control (MBC 2008), 1-2 September 2008, Liverpool, UK.
dblp BibTex EE Dave Clarke, Jose Proenca, Alexander Lazovik and Farhad Arbab: "Deconstructing Reo," the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2008), July 13, 2008, Reykjavik, Iceland; satellite event of ICALP 2008.
dblp BibTex EE Farhad Arbab, Meng Sun and Christel Baier: "Synthesis of Reo Circuits from Scenario-based Specifications," the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2008), July 13, 2008, Reykjavik, Iceland; satellite event of ICALP 2008.
dblp BibTex EE Sun Meng, Farhad Arbab: "QoS-Driven Service Selection and Composition," the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), June 23-27, 2008, Xi'an, China.
dblp BibTex EE Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese and Ugo Montanari: "Tiles for Reo," the 19th International Workshop on Algebraic Development Techniques (WADT 2008), June 13-16, 2008, Pisa, Italy; Lecture Notes in Computer Science, Springer, Vol. 5486, pp. 37-55.
dblp BibTex EE Christian Koehler, Farhad Arbab and Erik de Vink: "Reconfiguring Distributed Reo Connectors," the 19th International Workshop on Algebraic Development Techniques (WADT 2008), June 13-16, 2008, Pisa, Italy; Lecture Notes in Computer Science, Springer, Vol. 5486, pp. 221-235.
dblp BibTex EE Sun Meng , Farhad Arbab: "Services and Contracts: Coalgebraically," the first International Conference on Foundations of Informatics, Computing and Software, (FICS 2008), June 3-6, 2008, Shanghai, China.
dblp BibTex EE Christian Koehler, David Costa, Jose Proenca, Farhad Arbab: "Reconfiguration of Reo Connectors Triggered by Dataflow," the 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008), March 29-30, 2008, Budapest, Hungary.
BibTex EE "Composition by Anonymous Third Parties," abstract of invited talk, in Software Composition, 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, LNCS vol. 4829.
dblp EE Bibtex "Using Reo for Service Coordination," International Conference on Service Oriented Computing (ICSOC 2007), pp. 398-403, September 17-20, 2007, Vienna, Austria. (with A. Lazovik)
dblp EE Bibtex "ReoService: Coordination Modeling Tool," International Conference on Service Oriented Computing (ICSOC 2007), pp. 625-626, September 17-20, 2007, Vienna, Austria. (with C. Koehler and A. Lazovik)
dblp EE Bibtex "Connector Rewriting with High-Level Replacement Systems," 6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2007), September 8, 2007, Lisbon, Portugal; satellite workshop of CONCUR 2007. (with C. Koehler and A. Lazovik)
dblp EE Bibtex "Model Checking of Component Connectors," 31st Annual IEEE International Computer Software and Applications Conference (COMPSAC 2007), pp. 673-675, July 23-27, 2007, Beiging, China. (with M. Izadi and A. Movaghar)
dblp EE Bibtex "On Resouorce-Sensitive Timed Component Connectors," the ninth IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS 2007), pp. 301-316, June 5-8, 2007, Paphos, Cyprus. (with M. Sun)
dblp EE Bibtex "Component Connectors with QoS Guaranteers," the ninth International Conference on Coordination Models and Languages (Coordination 2007), pp. 286-304, June 5-8, 2007, Paphos, Cyprus. (with T. Chothia, M. Sun, and Y-J Moon)
dblp EE "Web Services Choreography and Orchestration in Reo and Constraint Automata," The 22nd Annual ACM Symposium on Applied Computing (SAC 2007), pp. 346-353 March 11-15, 2007, Seoul, Korea. (with M. Sun)
Joost N. Kok and Farhad Arbab: "Interaction and Coordination of Tools for Structured data," 2nd International Symposium on Leveraging Applications of Formal Methods (ISoLA 2006), Paphos, Cyprus, Nov. 15-19, 2006, LNCS vol. 4313, Springer, 2006.
"A Channel Based Communication Model with a Weighted Mobility," The third International Conference on Parallel Computations and Control Problems (PACO 2006), October 2-4, 2006, Moscow, Russia. (with T. Limniotes and G.A. Papadopoulos)
"Software Adaptation in Integrated Tool Frameworks for Composite Services," Proc. of the Third International Workshop on Coordination and Adaptation Issues (WCAT 2006), pp. 9-14, July 4, 2006, Nantes, France; satellite workshop of ECOOP 2006. (with N. Diakov)
dblp EE Bibtex "Towards an Automated Deployment Planner for Composition of Web Services as Software Components," post-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'05), UNU-IIST, October 24-25, 2005, Macao, China, ENTCS vol. 160, pp. 239-253, August 2006. (with A. Heydarnoori and F. Mavaddat)
dblp EE BibTex "Compositional Semantics of an Actor-Based Language Using Constraint Automata," The 8th International Conference on Coordination Models and Languages (Coordination 2006), June 13-16, 2006, Bologna, Italy. (with M. Sirjani, M.M. Jaghoori, and C. Baier)
dblp EE BibTex "Landscape Maps for Enterprise Architectures," The 18th International Conference on Advanced Information Systems Engineering (CAiSE'06), June 5-9, 2006, Luxembourg, LNCS vol. 4001. (with L. van der Torre, M.M. Lankhorst, H. ter Doest, and J.T.P. Campschroer)
dblp EE BibTex "Deploying Loosely Coupled, Component-based Applications into Distributed Environments," Proc. of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), pp. 93-102, March 27-30, 2006, Potsdam, Germany. (with A. Heydarnoori and F. Mavaddat)
dblp EE BibTeX "Connector Coloring I: Synchronization and Context Dependency," 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005), August 2005, San Francisco, California, USA; satellite workshop of CONCUR 2005; in ENTCS Vol. 154, Issue 1, pp. 101-119, May 2006. (with D. Clarke and D. Costa)
Juan Guillen-Scholten, Farhad Arbab, Frank S. de Boer, and Marcello M. Bonsangue, "A Component Coordination Model Based on Mobile Channels," 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005), August 2005, San Francisco, California, USA; satellite workshop of CONCUR 2005; in ENTCS Vol. 154, Issue 1, pp. 101-119, May 2006.
dblp EE BibTeX "Formal Semantics and Analysis of Component Connectors in Reo," 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005), August 2005, San Francisco, California, USA; satellite workshop of CONCUR 2005; in ENTCS Vol. 154, Issue 1, pp. 83-99, May 2006. (with M. Mousavi and M. Sirjani)
dblp EE BibTeX "Modeling the Exogenous Coordination of Mobile Channel Based Systems with Petri Nets," 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005), August 2005, San Francisco, California, USA; satellite workshop of CONCUR 2005; in ENTCS Vol. 154, Issue 1, pp. 121-138, May 2006. (with J. Guillen-Scholten, F. de Boer, and M. Bonsangue)
"Adaptation of Software Entities for Synchronous Exogenous Coordination - An Initial Approach," Second International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT05), pp. 39-46, 25 July 2005, Glasgow, UK; satellite workshop of ECOOP 2005. (with N. Diakov)
dblp EE BibTex "Coordination and Composition in Multi-Agent Systems," Proc. of the 4th International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2005), Utrecht, The Netherlands, 25-29 July 2005. (with M. Dastani and F.S. de Boer)
dblp EE BibTex "Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications," Proc. of the 7th International Conference on Coordination Models and Languages (Coordination 2005), Namur, Belgium, 20-23 April 2005, Lecture Notes in Computer Science, Vol. 3454, pp. 236-251, Springer-Verlag, April 2005. (with C. Baier, F.S. de Boer, J.J.M.M. Rutten, and M. Sirjani)
dblp EE BibTex "The Role of Agent Interaction in Models of Computing: Panelist Reviews," ENTCS vol. 141, no. 5, Elsevier, Foundations of Interactive Computing (FInCo'05), satellite workshop of ETAPS 2005, April 9, 2005, Edinburgh, UK. (with P. Wegner, D. Goldin, P. McBurney, M. Luck, and D. Robertson)
dblp EE BibTex "MoCha-pi: An Exogenous Coordination Calculus Based on Mobile Channels," Proc. of the 20th ACM Symposium on Applied Computing (SAC 2005), Special Track on Coordination Models, Languages, and Applications, Santa Fe, New Mexico, USA, March 13-17, 2005. (with J. Guillen-Scholten, F. de Boer, and M. Bonsangue)
dblp EE BibTex "Coordinated Anonymous Peer-to-Peer Connections with MoCha," Proc. of the 4th International Workshop on Scientific Engineering of Distributed Java Applications (FIDJI 2004), Luxembourg, Luxembourg, 24-25 November 2004, Lecture Notes in Computer Science, Vol. 3409, pp. 68-77, Springer-Verlag, January 2005. (with J. Guillen-Scholten)
dblp EE BibTex "Modernizing Existing Software: A Case Study," Proc. of the IEEE High Performance Computing, Networking, and Storage Conference (SC2004), Pittsburgh, Pennsylvania, USA, 6-12 November 2004. (with C.T.H. Everaars and B. Koren)
"Modeling Coordination in Biological Systems," Proc. of the International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004), Paphos, Cyprus, 30 October - 2 November 2004; LNCS vol. 4313 November 2006. (with D. Clarke and D. Costa)
dblp EE BibTex "Models and Temporal Logics for Timed Component Connectors," Proc. of the IEEE International Conference on Software Engineering and Formal Methods (SEFM '04), pp. 198-207, Beijing, China, 26-30 September 2004. (with C. Baier, F. de Boer, and J. Rutten)
dblp EE BibTex "Coordinating Web Services Using Channel Based Communication," Proc. of the 28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, pp. 486-491, 27-30 September 2004, Hong Kong, China, IEEE Computer Society 2004. (with T.A. Lemniotes, G.A. Papadopoulos)
dblp EE BibTex "Modeling Behavior in Compositions of Software Architectural Primitives," Proc. of the IEEE Int. Conf. Automated Software Engineering (ASE '04), pp. 371-374, Linz, Austria, 20-24 September 2004. (with N.R. Mehta, N. Medvidovic, and M. Sirjani)
dblp BibTex "Compositional Construction of Web Services Using Reo," Proc. of International Workshop on Web Services: Modeling, Architecture and Infrastructure (WSMAI 2004), Porto, Portugal, INSTICC Press, pp. 49-58, April 2004. (with N. Diakov)
dblp EE BibTex ACM "Web Services: separation of concerns: computation coordination communication," Proc. of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, pp. 492-497, March 14-17, 2004. (with T.A. Limniotes and G.A. Papadopoulos)
dblp EE BibTex "A Component-Based Parallel Constraint Solver," Proc. of Coordination 2004, Pisa, Italy, Lecture Notes in Computer Science, Vol. 2949, pp. 307-322, Springer-Verlag, February 2004. (with P. Zoeteweij)
dblp EE BibTex ACM "Towards a Language for Coherent Enterprise Architecture Descriptions," Proc. of the 7th IEEE International Enterprise Distributed Object Computing Conference (EDOC '03), Brisbane, Australia, September 16-19, 2003, IEEE Computer Society Press. (with H. Jonkers, R van Buuren, F. de Boer, M. Bonsangue, H. Bosma, H. ter Doest, L. Groenewegen, J.V. Guillen-Scholten, S. Hoppenbrouwers, M.E. Iacob, W. Janssen, M. Lankhorst, D. van Leeuwen, E. Proper, A. Stam, L. van der Torre, and G. Veldhuijzen van Zanten)
dblp EE BibTex "A coinductive calculus of component connectors," post Proc. of the 16th International Workshop on Algebraic Development Techniques (WADT 2002), M. Wirsing, D. Pattinson and R. Hennicker (eds.), Lecture Notes in Computer Science, Springer-Verlag, Vol. 2755, pp. 35-56, 2003. (with J. Rutten)
dblp EE BibTex "Modeling Component Connectors in Reo by Constraint Automata," Proc. International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2003), CONCUR 2003, Marseille, France, September 2003, Electronic Notes in Theoretical Computer Science, 97.22, Elsevier Science, July 2004. (with C. Baier, J.J.M.M. Rutten, and M. Sirjani)
dblp EE BibTex "Abstract Behavior Types: A foundation model for components and their composition," International Symposium on Formal Methods for Components and Objects, (FMCO 2002), November 5-8, 2002, Leiden, The Netherlands. (invited speaker) Also in: Lecture Notes in Computer Science, F. S. de Boer and M. M. Bonsangue and S. Graf and W.-P. de Roever (eds.), Springer-Verlag, Vol. 2852, pp. 33-70, September 2003.
dblp EE BibTex ACM "MoCha, A Middleware Based on Mobile Channels," COMPSAC 2002, Oxford, UK, August 26-29 2002. (with J.V. Guillen Scholten, M. M. Bonsangue, and F. S. de Boer)
dblp EE BibTeX "A Channel-based Coordination Model for Components," FOCLASA 2002, Brno, Czech Republic, August 23-25 2002, ENTCS 68.3, Elsevier Science. (with J.V. Guillen Scholten, M. M. Bonsangue, and F. S. de Boer)
dblp EE BibTeX "Mobile Channels, Implementation Within and Outside Components," Formal Methods and Component Interaction workshop, ICALP 2002, Malaga, Spain, July 12-13 2002, ENTCS 66.4, Elsevier Science. (with J.V. Guillen Scholten, M. M. Bonsangue, and F. S. de Boer)
dblp EE BibTeX "IWIM Semantics via Fibred Automata," Formal Methods and Component Interaction workshop, ICALP 2002, Malaga, Spain, July 12-13 2002, ENTCS 66.4, Elsevier Science. (with R. Banach, G.A. Papadopoulos, and J.R.W. Glauert)
dblp EE BibTeX ACM "Coordination Through Channel Composition," Coordination Languages and Models: Proc. Coordination 2002, York, UK, April 2002, Lecture Notes in Computer Science, Springer-Verlag, Vol. 2315, pp.21-38. (with F. Mavaddat)
dblp BibTex "Panta Rei (Everything Flows): A Calculus of Channels," PROLE 2001: Primeras Jornadas sobre Programacion y Lenguajes, November 23-24, Almagro (Ciudad Real), Spain. (invited presentation)
dblp EE BibTeX "Coordination of Mobile Components," International Workshop on Concurrency and Coordination (ConCoord), Lipari, Italy, 6-8 July 2001, Electronic Notes in Theoretical Computer Science, Vol. 54, pp. 1-16, Elsevier Science, 2001.
"Apparent Causality for Distributed Termination Detection," Fifth International Workshop on Termination (WST '01), Utrecht, The Netherlands, 20-21 May 2001.
dblp EE BibTex "Using Coordination to Restructure Sequential Source Code into a Concurrent Program," Proceedings of the International Conference on Software Maintenance, Florence, Italy, November 2001. (with C. T. H. Everaars and B. Koren)
dblp EE BibTex ACM "Distributed Splitting of Constraint Satisfaction Problems," Proceedings of COORDINATION 2000, Limasol, Cyprus, 11-13 September 2000, Springer-Verlag LNCS 1906, pp. 115-132. (with E. Monfroy)
dblp EE BibTex ACM "A Logical Interface Description Language for Components," Proceedings of COORDINATION 2000, Limasol, Cyprus, 11-13 September 2000, Springer-Verlag LNCS 1906, pp. 249-266. (with M. M. Bonsangue, and F. S. de Boer)
dblp EE BibTex ACM "Dynamic Reconfiguration in Coordination Languages," Proceedings of the 8th International Conf. on High Performance Computing and Networking, HPCN Europe 2000, May 2000, Amsterdam, Springer-Verlag LNCS 1823, pp. 197-206. (with G. A. Papadopoulos)
dblp BibTex ACM "A coordination language for mobile components," Proceedings of the 2000 ACM Symposium on Applied Computing (SAC 2000), Como, Italy, March 19-21, pp. 166--173, ACM press, 2000. (with M. M. Bonsangue, and F. S. de Boer)
dblp BibTex "Coordination Programming for Parallel and Distributed Applications," Fifth International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA '99), Vol. 1, pp. 1-10, Las Vegas, Nevada, USA, June 28 - July 1, 1999. (invited paper, special session on Coordination)
dblp BibTex ACM "Dynamic Process Composition and Communication Patterns in Irrergularly Structured Applications," Proceedings of Irregular '99, Lecture Notes in Computer Science, Springer-Verlag, Porto Rico, April 1999. (with C. T. H. Everaars and B. Koren)
dblp BibTex ACM "Coordination and Its Relevance," Proceedings of the ninth International Workshop on Database and Expert Systems Applications (DEXA 98), IEEE Computer Society, pp. 529-535, Vienna, Austria, August '98. (invited paper)
dblp BibTex ACM "Modelling Electronic Commerce Activities Using Control-Driven Coordination," Proceedings of the ninth International Workshop on Database and Expert Systems Applications (DEXA 98), IEEE Computer Society, pp. 583-588, Vienna, Austria, August '98. (with G. A. Papadopoulos)
dblp EE BibTeX ACM "Using Coordination for Cooperative Constraint Solving," Proceedings of the 1998 ACM Symposium on Applied Computing (SAC '98), Atlanta, Georgia, March 1998. (with E. Monfroy)
dblp EE BibTeX ACM "Modelling Activities in Information Systems Using the Coordination Language Manifold," Proceedings of the 1998 ACM Symposium on Applied Computing (SAC '98), Atlanta, Georgia, March 1998. (with G. A. Papadopoulos)
dblp BibTex "Parallel Evolutionary Computation: Multi Agents Genetic Algorithm," International Conference on Parallel and Distributed Systems (Euro-PDS '97), Barcelona, Spain, June 1997. (with F. Seredynski and P. Bouvry)
dblp BibTeX ACM "Parallel and Distributed Evolutionary Computation with Manifold," Proceedings of PaCT-97, Lecture Notes in Computer Science, Vol. 1277, pp. 94-108, Springer-Verlag, September 1997. (with F. Seredynski and P. Bouvry)
dblp BibTeX ACM "Control-Driven Coordination Programming in Shared Dataspace," Proceedings of PaCT-97, Lecture Notes in Computer Science, Vol. 1277, pp. 247-261, Springer-Verlag, September 1997. (with G. A. Papadopoulos)
dblp BibTex ACM "Control-based Coordination of Human and Other Activities in Cooperative Information Systems," Proceedings of 2nd International Conference on Coordination Languages and Models, Berlin, Germany, September 1997. Lecture Notes in Computer Science, Springer-Verlag, pp. 422-425. (with G. A. Papadopoulos)
"Distributed Evolutionary Optimization in Manifold: the Rosenbrock's Function Case Study," Proceedings of the First International Workshop on Frontiers in Evolutionary Algorithms (part of the third Joint Conference on Information Sciences), Duke University (USA), March 1997. (with F. Seredynski and P. Bouvry)
dblp EE BibTeX ACM "The Influence of Coordination on Program Structure," Proceedings of the 30th Hawaii International Conference on System Sciences, IEEE, Maui, January 1997.
dblp EE BibTeX ACM "Restructuring Sequential Fortran Code into a Parallel/Distributed Application," Proceedings of the International Conference on Software Maintenance '96, Monterey, California, IEEE, November 1996. (with C. T. H. Everaars and F. J. Burger)
dblp BibTeX ACM "Reusable Coordinator Modules for Massively Concurrent Applications," (distinguished paper) in Proceedings of Euro-Par '96, Lyon, France, L. Bouge, P. Fraigniaud, A. Mignotte, and Y. Robert, editors, Lecture Notes in Computer Science, Vol. 1123, pp. 664-677, August, 1996. (with C. L. Blom, F. J. Burger, and C. T. H. Everaars)
dblp BibTex ACM "Coordination of Distributed/Parallel Multiple-grid Domain Decomposition," in Proceedings of Irregular '96, Santa Barbara, California, Lecture Notes in Computer Science, Vol. 1117, pp. 131-144, A. Ferreira, J. Rolim, Y. Saad, and T. Yang, editors, Springer-Verlag, August 1996. (with C. T. H. Everaars)
dblp EE BibTex ACM "Coordination of Systems with Real-Time Properties in Manifold," Proceedings of the 20th Annual International Computer Software and Applications Conference (Compsac '96), IEEE, Seoul, Korea, August 1996. (with G. A. Papadopoulos)
"IWIM: A Communication Model for Cooperative Systems," Proceedings of the 2nd International Conference on the Design of Cooperative Systems, pp. 567-585, INRIA, Juan-le-Pins, France, June 1996.
"Visifold: un langage visuel destine a la programmation concurrente et son environnement," Proceedings of Renpar8, Bordeaux, France, May 1996. (with P. Bouvry)
dblp BibTex ACM "The IWIM Model for Coordination of Concurrent Activities," in Coordination Languages and Models, Proceedings of Coordination '96, Cesena, Italy, P. Ciancarini and C. Hankin, editors, Lecture Notes in Computer Science, Vol. 1061, pp. 34-56, April 1996.
dblp BibTeX ACM "Visifold: A Visual Environment for a Coordination Language," in Coordination Languages and Models, Proceedings of Coordination '96, Cesena, Italy, P. Ciancarini and C. Hankin, editors, Lecture Notes in Computer Science, Vol. 1061, pp. 403-406, April 1996. (with P. Bouvry)
"The Manifold Project," European School of Computer Science, Parallel Programming Environments for High Performance Computing, IMAG-INRIA Grenoble, Alpe d'Huez, France, April 1996.
"Manifold, a concurrent coordination language and its environment," European School of Computer Science, Parallel Programming Environments for High Performance Computing, IMAG-INRIA Grenoble, Alpe d'Huez, France, April 1996. (with P. Bouvry)
"Manifold: a programming model for massive parallelism," Proceedings of the Working Conference on Massively Parallel Programming Models, IEEE, Berlin, September 1993. (with E.P.B.M. Rutten)
BibTeX "An Object Model for Multimedia Programming," Proceedings of Eurographics '93, pp. 101-113, Blackwell Publishers, 1993. (with I. Herman and G. J. Reynols)
BibTeX "The Skeleton of a Computing Farm in Manifold," Proceedings of the 26th Hawaii International Conference on System Sciences, IEEE, Maui, January 1993. (with I. Herman and E.P.B.M. Rutten)
dblp BibTex ACM "Manifold: Concepts and Implementation," Proceedings of the CONPAR 92 - VAPP V, L. Bouge et al., eds., Lyon, September 1992. (with I. Herman and P. Spilling)
dblp BibTex ACM "Interaction Management of a Window Manager in Manifold," Proceedings of the Fourth International Conference on Computing and Information, W. W. Koczkodaj et al., eds., IEEE, Toronto, May 1992. (with I. Herman and P. Spilling)
BibTex ACM "A geometric constraint management system in Oar," Proc. of Intelligent CAD systems III: practical experience and evaluation, Springer Tutorials And Perspectives In Computer Graphics, Springer-Verlag, pp. 205-231, 1991. (with B. Wang)
"Manifold: A language for specification of inter-process communication," Proceedings of EurOpen Autumn Conference, Budapest, September 1991. (with I. Herman)
"Manifold: A language for specification of inter-process communication," Proceedings of the Computer Science in the Netherlands (CSN'91), Utrecht, November 1991. (with I. Herman)
"A Constraint-based Design System Based on Operational Transformation Planning (OTP)," in Proceedings of Fourth International Conference on Applications of Artificial Intelligence in Engineering, Cambridge, UK, July 11-14, 1989. (with Wang, B.)
BibTex ACM "Examples of Geometric Reasoning in Oar," Proc. of Intelligent CAD systems II: implementational issues, Springer Tutorials And Perspectives In Computer Graphics, Springer-Verlag, pp. 32-57, 1989.
BibTex ACM "A Paradigm for Intelligent CAD," Proc. of Intelligent CAD systems I: theoretical and methodological aspects, Springer Tutorials And Perspectives In Computer Graphics, Springer-Verlag, pp. 20-39, 1989.
"Geometric Reasoning for Geometric Modeling," Proceedings of AIAA Aircraft Design, Systems and Operations Conference, Colorado Springs, October 1985. (with Wing, Jeannette M.)
"Geometric Reasoning: A New Paradigm for Processing Geometric Information," Proceedings of International Symposium on New Directions in Computing, Trondheim, Norway, August 1985. (with Wing, Jeannette M.)
"Geometric Reasoning for Geometric Modeling," Proceedings of IASTED International Conference on Computer Aided Design and Applications, Montreal, Canada, June 1985. (with Wing, Jeannette M.)
"RSC: A Calculus of Shapes," Proceedings of CAD '84, 6th International Conference on Computer Aided Design, Brighton, UK, April 1984.
BibTex ACM "Toward CAM-Oriented CAD," Proceedings of ACM-IEEE Design Automation Conference, June 1982. (with Lichten, L., and Melkanoff, M. A.)
BibTeX "DSG: A CAM-oriented solid modeling interface," Proceedings of Graphics Interface '82, May 17-21, 1982, Toronto, Ontario, Canada. (with Lichten, L., and Melkanoff, M. A.)
BibTeX "The DSG CAM-Oriented Modeling System," Proceedings of MIT Conference on CAD/CAM Technology in Mechanical Engineering, pp. 281-288, March 1982. (with Cantor, D. G., Lichten, L., and Melkanoff, M. A.)
BibTex EE dblp Farhad Arbab,
Marjan Sirjani, and Hossein Hojjat: Special issue of Science
of Computer Programming on
Fundamentals of Software Engineering (selected papers of FSEN
2013), 2015.
BibTex EE dblp Farhad Arbab and Peter Csaba Olveczky: Special issue of Science of Computer Programming on Formal Aspects of Component Software, vol 83 (selected papers of FACS 2011), 2014.
BibTex EE dblp Farhad Arbab and Marjan Sirjani: Special issue of Science of Computer Programming on Foundations of Software Engineering, vol 78, no 12 (selected papers of FSEN 2011), 2013.
BibTex EE dblp Farhad Arbab and Marjan Sirjani: Special issue of Science of Computer Programming on Foundations of Software Engineering (selected papers of FSEN 2009), vol. 8, July 2012.
BibTex EE dblp Farhad Arbab and Marjan Sirjani: Special Issue of Fundamenta Informaticae on Foundations of Software Engineering (selected papers of FSEN 2007), 2009.
BibTex EE dblp Dina Goldin and Farhad Arbab: Post-proceedings of the second International Workshop on the Foundations of Interactive Computation (FInCo 2007), satellite workshop of ETAPS 2007, March 31, 2007, Braga, Portugal, ENTCS Vol. 203, No. 3, pp. 1-106, May 2008.
BibTex EE "Applications of Formal Methods to System Design and Verification," guest editors introduction, special issue of the Journal of Universal Computer Science on Applications of Formal Methods to System Design and Verification, Vol. 13, No. 13, pp. 1970-1971, December 2007.
"Interaction and Coordination of Tools for Structured Data", Proc. of the International Symposium on Leveraging Applications of Formal Methods, LNCS vol. 4313, November 2006. (with J.N. Kok)
BibTeX "Preface," editor of the post-proceedings of the First IPM International Workshop on Foundations of Software Engineering (FSEN 2005), October 1-3, 2005, Tehran, Iran, ENTCS Vol. 159, pp. 1-324, May 2006. (with M. Sirjani)
"Enterprise architecture: Management tool and blueprint for the organization," guest editors' introduction, Special Issue on Enterprise Architecture, Information Systems Fronties, vol. 8, no. 2, pp. 63-66, Springer, 2006. (with H. ter Doest, M. Lankhorst, H. Jonkers, H. Bosma, and R. Wieringa)
BibTeX "Compositional Construction and Reasoning Techniques for Software," Guest editos' introduction, Special Issue of J.UCS, vol. 11, no. 10, 2005. (with J.N. Kok)
BibTeX ACM Guest editors' Introduction, The Journal of Supercomputing, Vol. 24, No. 2, pp. 119-120, February 2003. (with K. Drira)
BibTex ACM Guest editors' Introduction, Parallel Computing, Elsevier, Vol. 24, No. 7, pp. 989-1004, July 1998. (with P. Ciancarini and C. Hankin)
dblp EE BibTeX "Features and geometric reasoning," guest editors' introduction, Computers & Graphics, Vol. 14, No. 2, pp. 147-148, Pergamon Press, 1990. (with T. Tomiyama)
dblp BibTex EE Farhad Arbab, Sung-Shik T. Q. Jongmans, Frank S. de Boer: High-Level Protocol Engineering without Performance Penalty for Multi-Core. ERCIM News 2014(99) (2014).
dblp BibTex EE Farhad Arbab, Sung-Shik T. Q. Jongmans: "Software Engineering for Multi-core Platforms," ERCIM News, No. 91, 2012.
dblp BibTex EE Krzysztof R. Apt, Farhad Arbab, Huiye Ma: "A Distributed Platform for Mechanism Design ," The Computing Research Repository (CoRR), October 2008.
dblp BibTex EE Dina Q. Goldin, Farhad Arbab: "Preface," editor of the post-proceedings of the second International Workshop on the Foundations of Interactive Computation (FInCo 2007), satellite workshop of ETAPS 2007, March 31, 2007, Braga, Portugal, ENTCS Vol. 203, No. 3, pp. 1-106, May 2008.
BibTex EE "A System for Distributed Mechanisms: Design, Implementation and Applications," The Computing Research Repository (CoRR), November 2007. (with K.R. Apt and H. Ma)
BibTex EE Syanco 2007: international workshop on synthesis and analysis of component connectors. Satellite event of ESEC/SIGSOFT FSE 2007, ACM, pp. 607-608. (with C. Baier)
"Composition by Interaction," Inaugural Lecture, Leiden University, October 2005.
"Coordination for Component Composition," Invited lecture, Proc. of International Workshop on Formal Aspects of Component Software (FACS'05), UNU-IIST, October 24-25, 2005, Macao, China, ENTCS vol. 160, pp. 15-40, August 2006.
"A Calculus of Interaction for Software Composition," Invited lecture, The Second International Colloquium on Theoretical Aspects of Computing (ICTAC 2005), October 17-21, Hanoi, Vietnam.
BibTeX "Specification, Simulation, and Verification of Component Connectors in Reo," Technical Report No. 04-15, Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands, June 2004. (with M.R. Mousavi and M. Sirjani)
"Components and Software Composition," Component Based Software Day, CWI, April 27, 2001, Amsterdam. (invited presentation)
BibTex "Interactive Geometric Constraint Satisfaction," Technical Report No. CS-1996-36, Department of Computer Science, Utrecht University, February 2001. (with R.C. Veltkamp)
BibTeX "What Do You Mean, Coordination?" Bulletin of the Dutch Association for Theoretical Computer Science (NVTI), March 1998.
