Universiteit Leiden

nl en

Farhad Arbab

Hoogleraar Software compositie

Naam
Prof.dr.ir. F. Arbab
Telefoon
+31 71 527 7108
E-mail
f.arbab@liacs.leidenuniv.nl

 

Meer informatie over Farhad Arbab

Hoogleraar Software compositie

  • Wiskunde en Natuurwetenschappen
  • Leiden Inst Advanced Computer Sciences

Werkadres

Snellius
Niels Bohrweg 1
2333 CA Leiden
Kamernummer 169

Contact

  • Jongmans S.-S.T.Q. & Arbab F. (2016), Data optimizations for constraint automata, Logical Methods in Computer Science (LMCS) 12(3): 1-38.artikel in tijdschrift (refereed)
  • Khakpour N., Arbab F. & Rutten E. (2016), Synthesizing structural and behavioral control for reconfigurations in component-based systems, Formal Aspects of Computing 28(1): 21-43.artikel in tijdschrift (refereed)
  • Jongmans S.-S.T.Q. & Arbab F. (2016), Global consensus through local synchronization: A formal basis for partially-distributed coordination, Science of Computer Programming 115-116: 199-224.artikel in tijdschrift (refereed)
  • Arbab F. (2016), Proper Protocol. In: Abraham E., Bonsangue M., Johnsen E.B. (red.) Theory and Practice of Formal Methods. Lecture Notes in Computer Science nr. 9660: Springer. 65-87.boekdeel
  • Helvensteijn M. & Arbab F. (2016), Toward a Formal Foundation for Time Travel in Stories and Games. In: Abraham E., Bonsangue M., Johnsen E.B. (red.) Theory and Practice of Formal Methods. Lecture Notes in Engineering and Computer Science nr. 9660: Springer. 261-276.boekdeel
  • Dokter K., Jongmans S.-S.T.Q. & Arbab F. (2016), Scheduling Games for Concurrent Systems. In: Lluch Lafuente A., Proença J. (red.) Coordination Models and Languages. nr. 9686 Cham: Springer. 84-100.congresbijdrage (refereed)
  • Dokter K.P.C., Jongmans S.-S.T.Q. & Arbab F. (2016), Scheduling Games for Concurrent Systems. In: Lluch Lafuente A., Proenca J. (red.) Proceedings Coordination 2016. Cham: Springer. 84-100.congresbijdrage (refereed)
  • Talcott C.L., Nigam V., Arbab F. & Kappé T. (2016), Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems. In: Bernardo M., Nicola R. De, Hilston J. (red.) Proceedings 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016. nr. 9700: Springer. 1-35.congresbijdrage (refereed)
  • Jongmans S.-S.T.Q. & Arbab F. (2016), PrDk: Protocol Programming with Automata. In: Chechik M., Raskin J.F. (red.) Proceedings 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016). nr. 9636 Berlin, Heidelberg: Springer. 547-552.congresbijdrage (refereed)
  • Hoijat H., Sirjani M. & Arbab F. (red.) (2015), Fundamentals of Software Engineering (selected papers of FSEN 2013) [special issue] Science of Computer Programming nr. 112.boekredactie
  • Jongmans S.-S.T.Q., Santini F. & Arbab F. (2015), Partially distributed coordination with Reo and constraint automata, Service Oriented Computing and Applications 9(3-4): 311-339.artikel in tijdschrift (refereed)
  • Talcott C.L., Arbab F. & Yadav M. (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. Lecture notes in computer science nr. 8950: Springer. 273-290.boekdeel
  • Jongmans S.-S.T.Q. & Arbab F. (2015), Take Command of Your Constraints!. In: Proceedings Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015. nr. LNCS 9037. 117-132.congresbijdrage (refereed)
  • Jongmans S.-S.T.Q., Kappé T. & Arbab F. (2015), Composing Constraint Automata, State-by-State. In: Formal Aspects of Component Software - 12th International Conference, FACS 2015 - Revised Selected Papers. nr. LNCS 9539. 217-236.congresbijdrage (refereed)
  • Jongmans S.-S.T.Q. & Arbab F. (2015), Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?. In: Proceedings Fundamentals of Software Engineering - 6th International Conference, FSEN 2015 - Revised Selected Papers. nr. LNCS 9392. 238-258.congresbijdrage (refereed)
  • Arbab F. & Jongmans S.-S.T.Q. (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, Advanced Lectures. nr. LNCS 9104. 57-96.congresbijdrage (refereed)
  • Dokter K., Jongmans S.-S.T.Q., Arbab F. & Bliudze S. (2015), Relating BIP and Reo. In: Proceedings Proceedings 8th Interaction and Concurrency Experience, ICE 2015. nr. EPTCS 189. 3-20.congresbijdrage (refereed)
  • Jongmans S.-S.T.Q., Halle S. & Arbab F. (2014), Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms. In: Proceedings COORDINATION 2014 nr. LNCS 8459: Springer. 65-82.congresbijdrage (refereed)
  • Jongmans S.-S.T.Q., Santini F. & Arbab F. (2014), Partially-Distributed Coordination with Reo. In: Proceedings 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014. 697-706.congresbijdrage (refereed)
  • Khakpour N., Arbab F. & Rutten E. (2014), Supervisory Controller Synthesis for Safe Software Adaptation. In: Proceedings 12th International Workshop on Discrete Event Systems, WODES 2014. 39-45.congresbijdrage (refereed)
  • Jongmans S.-S.T.Q. & Arbab F. (2014), Toward Sequentializing Overparallelized Protocol Code. In: Proceedings 7th Interaction and Concurrency Experience, ICE 2014. 38-44.congresbijdrage (refereed)
  • Moon Y.-J., Silva A., Krause C. & Arbab F. (2014), A compositional model to reason about end-to-end QoS in Stochastic Reo connectors, Science of Computer Programming 80: 3-24.artikel in tijdschrift (refereed)
  • Jongmans S.-S.T.Q., Santini F., Sargolzaei M., Arbab F. & Afsarmanesh H. (2014), Orchestrating web services using Reo: from circuits and behaviors to automatically generated code, Service Oriented Computing and Applications 8(4): 227-297.artikel in tijdschrift (refereed)
  • Arbab F. & Csaba Ölveczky P. (Eds.) (2014), Special issue of Science of Computer Programming on Formal Aspects of Component Software (selected papers of FACS 2011).boekredactie
  • Arbab F., Jongmans S.T.Q. & Boer F.S. de (2014), High-Level Protocol Engineering without Performance Penalty for Multi-Core, ERCIM News (99).bijdrage in dag-/weekblad of tijdschrift
  • Kokash N., Jaghoori M.M. & Arbab F. (2013), From Timed Reo Networks to Networks of Timed Automata, Electronic Notes in Theoretical Computer Science 295: 11-29.artikel in tijdschrift (refereed)
  • Kokash N. & Arbab F. (2013), Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools, IEEE Transactionson Services Computing 6(2): 186-200.artikel in tijdschrift (refereed)
  • Jongmans S.T.Q. & Arbab F. (2013), Global Consensus through Local Synchronization. In: Advances in Service-Oriented and Cloud Computing - Workshops of ESOCC 2013 - Revised Selected Papers: Springer-Verlag. 174-188.congresbijdrage (refereed)
  • Sargolzaei M., Santini F., Arbab F. & Afsarmanesh H. (2013), A Tool for Behaviour-Based Discovery of Approximately Matching Web Services. In: Proceedings 11th International Conference on Software Engineering and Formal Methods (SEFM 2013) nr. LNCS 8137: Springer-Verlag. 152-166.congresbijdrage (refereed)
  • Arbab F. & Sirjani M. (Red.) (2013), Fundamentals of Software Engineering - 5th International Conference (FSEN 2013), Revised Selected Papers Lectures notes in computer science nr. 8161: Springer-Verlag.boekredactie
  • Brandt, C., Santini, F., Kokash, N., Arbab & F (2013), Modeling and Simulation of Selected Operational IT Risks in the Banking Sector (Extended Version) nr. CWI Technical Report FM-1301: CWI Amsterdam.rapport
  • Jongmans S.-S.T.Q., Halle S. & Arbab F. (2013), Reo: A Dataflow Inspired Language for Multicore. In: Proceedings Data-Flow Execution Models for Extreme Scale Computing (DFM 2013).congresbijdrage (refereed)
  • Arbab F. & Sirjani M. (Red.) (2012), Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011. Heidelberg: Springer Verlag.boekredactie
  • Kokash N., Jaghoori M.M. & Arbab F. (2012), From Timed Reo Networks to Networks of Timed Automata. In: Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'12) Electronic Notes in Theoretical Computer Science (ENTCS).congresbijdrage (refereed)
  • Shik Sung, Jongmans T.Q. & Arbab F. (2012), Semantic Models of Connectors: A Study on Equivalence. In: Proceedings Fourth International Workshop on Interaction and Concurrency Experience (ICE 2011).congresbijdrage (refereed)
  • Changizi B., Kokash N. & Arbab F. (2012), A Constraint-based Method to Compute Semantics of Channel-based Coordination Models. In: International Conference on Software Engineering Advances (ICSEA).congresbijdrage (refereed)
  • Brandt C, Santini F., Kokash N. & Arbab F. (2012), Modeling and Simulation of Operational Risks in the Finance Industry. In: The European Simulation and Modelling Conference (ESM 2012).congresbijdrage (refereed)
  • Arbab F. & Ölveczky P.C. (2012), Post-Proceedings Eighth International Symposium on Formal Aspects of Component Software (FACS 2011)06. Berlin: Springer.boek
  • Arbab F. & Sirjani M. (Red.) (2012), Special Issue of Science of Computer Programming on Fundamentals of Software Engineering (selected papers of FSEN 2009). Amsterdam: Elsevier.boekredactie
  • Jongmans T.Q. & Arbab F. (2012), Overview of Thirty Semantic Formalisms for Reo, Scientific Annals of Computer Science 12(1): 201-251.artikel in tijdschrift (refereed)
  • Moon Y.-J., Silva A., Krause C. & Arbab F. (2012), A Compositional Model to Reason about end-to-end QoS in Stochastic Reo Connectors, Science of Computer Programming.artikel in tijdschrift (refereed)
  • Pourvatan B., Sirjani M., Hojjat H. & Arbab F. (2012), Symbolic Execution of Reo Circuits using Constraint Automata, Science of Computer Programming 77: 848-869.artikel in tijdschrift (refereed)
  • Meng S., Arbab F., Aichernig B.K., Astefanoaei L., Boer F.S. de & Rutten J.J.M.M. (2012), Connectors as Designs: Modelling, Refinement and Test Case Generation, Science of Computer Programming 77: 799-822.artikel in tijdschrift (refereed)
  • Kokash N. & Arbab F. (2012), Formal Design and Verification of Long-Running Transactions with Eclipse Coordination Tools, Formal Design and Verification of Long-Running Transactions with Eclipse Coordination Tools.artikel in tijdschrift (refereed)
  • Jongmans T.Q., Santini F., Sargolzaei M., Arbab F. & Afsarmanesh H. (2012), Automatic Code Generation for the Orchestration of Web Services with Reo. In: European Conference on Service-Oriented and Cloud Computing (ESOCC 2012).congresbijdrage (refereed)
  • Arbab F., Bistarelli S., Pirolandi D. & Santini F. (2012), Towards a Similarity-based Web Service Discovery through Soft Constraint Satisfaction Problems. In: Proceedings Second International Workshop on Semantic Search over the Web (SSW 2012) in conjunction with 38th International Conference on Very Large Databases (VLDB 2012).congresbijdrage (refereed)
  • Jongmans T.Q. & Arbab F. (2012), Modularizing and Specifying Protocols among Threads. In: Proceedings Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2012).congresbijdrage (refereed)
  • Arbab F. (2012), Will the Real Service Oriented Computing Please Stand Up. In: Post-Proceedings of the 7th International Workshop on Formal Aspects of Component Software (FACS 2010) Lecture notes in Computer Science. 277-285.congresbijdrage (refereed)
  • Meng S., Arbab F. & Baier C. (2011), Synthesis of Reo Circuits from Scenario-Based Interaction Specifications, Science of Computer Programming 76(8): 651-680.artikel in tijdschrift (refereed)
  • Proenca J., Clarke D., Vink E.P. de & Arbab F. (2011), Decoupled execution of synchronous coordination models via behavioural automata. In: Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures Electronic Proceedings in Theoretical Computer Science. 65-79.congresbijdrage (refereed)
  • Krause C., Maraikar Z., Lazovik A. & Arbab F. (2011), Modeling dynamic reconfigurations in Reo using high-level replacement systems, Science of Computer Programming 76(1): 23-36.artikel in tijdschrift (refereed)
  • Arbab F. (2011), Puff, The Magic Protocol. In: Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday: Springer. 169-206.boekdeel
  • Moon Y.-J., Arbab F., Silva A., Verhoef C. & Stam A. (2011), Stochastic Reo: a Case Study. In: Proceedings Fifth International Workshop on Harnessing Theories for Tool Suport in Software (TTSS 2011).congresbijdrage (refereed)
  • Clarke D., Proenca J., Lazovik A. & Arbab F. (2011), Channel-based coordination via constraint satisfaction, Science of Computer Programming 76(8): 681-710.artikel in tijdschrift (refereed)
  • Kokash N., Arbab F., Changizi B. & Makhnist L. (2011), Input-output Conformance Testing for Channel-based Service Connectors. In: Proceedings First International Workshop on Process Algebra and Coordination (PACO 2011) Electronic Proceedings in Theoretical Computer Science. 19-35.congresbijdrage (refereed)
  • Jongmans S.-S.T.Q. & Arbab F. (2011), Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata. In: Proceedings Fourth Interaction and Concurrency Experience Electronic Proceedings in Theoretical Computer Science. 84-103.congresbijdrage (refereed)
  • Kokash N. & Arbab F. (2011), Design and Verification of Long-running transactions with Extensible coordination Tools. In: IEEE Transactions on Service Computing: IEEE Computer Society.congresbijdrage (refereed)
  • Pourvatan B., Sirjani M., Arbab F. & Bonsangue M.M. (2011), Synthesis of Reo Circuits Through Decomposition of Complete Constraint Automata. In: Proceedings of the 7th International Workshop on Formal Aspects of component Software (FACS 2010) Lecture notes in Computer Science: Springer. 237-258.congresbijdrage (refereed)
  • Shik Sung, Jongmans T.Q., Krause C. & Arbab F. (2011), Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models. In: Proceedings 13th International Conference on Coordination Models and Languages (Coordination 2011) Lecture notes in Computer Science. 31-48.congresbijdrage (refereed)
  • Arbab F. & Sirjani M. (2010), Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers. Heidelberg Berlin: Springer.boek
  • Moon Y.-J., Silva A., Krause C. & Arbab F. (2010), A Compositional Semantics for Stochastic Reo Connectors. In: M.R. Mousavi G. Salaun (Red.) Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures Electronic Proceedings in Theoretical Computer Science. 93-107.congresbijdrage (refereed)
  • Kokash N., Changizi B. & Arbab F. (2010), A Semantic Model for Service Composition with Coordination Time Delays. In: J.s. Dong H. Zhu (Red.) Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010 Lecture notes in Computer Science: Springer. 106-121.congresbijdrage (refereed)
  • Arbab F. (2010), Elements of Interaction. In: M. Aiguier F. Bretaudeau D. Krob (Red.) proceedings of Complex Systems Design & Management (CSDM 2010): Springer. 1-28.congresbijdrage (refereed)
  • Pourvatan B., Sirjani M., Arbab F. & Bonsangue M.M. (2010), Synthesis of Reo Circuits Through Decomposition of Complete Constraint Automata. In: 7th International Workshop on Formal Aspects of Component Software (FACS 2010): Springer.congresbijdrage (refereed)
  • Arbab F., Diamantini C., Potena D. & Storti E. (2010), Towards Coordination Patterns for Complex Experimentations in Data Mining. In: 18th Italian Symposium on Advanced Database Systems (SEBD 2010).congresbijdrage (refereed)
  • Meng S. & Arbab F. (2010), A Model for Web Service Coordination in Long-Running Transactions. In: 5th International Symposium on Service-Oriented System Engineering (SOSE 2010).congresbijdrage (refereed)
  • Changizi B., Kokash N. & Arbab F. (2010), A unified toolset for business process model formalization. In: 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2010).congresbijdrage (refereed)
  • Aichernig B.K., Arbab F., Boer F.S. de, Meng S. & Rutten J.J.M.M. (2009), Fault-Based Test Case Generation for Component Connectors. In: TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering: IEEE Computer Society. 147-154.congresbijdrage (refereed)
  • Arbab F., Chothia T., Mei R. van der, Meng S., Moon Y.-J. & Verhoef C. (2009), From Coordination to Stochastic Models of QoS. In: Coordination Models and Languages, 11th International Conference, COORDINATION 2009 Lecture notes in Computer Science: Springer. 268-287.congresbijdrage (refereed)
  • Arbab F., Meng S., Moon Y.-J., Kwiatkowska M. & Qu H. (2009), Reo2MC: a tool chain for performance analysis of coordination models. In: Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009: ACM. 287-288.congresbijdrage (refereed)
  • Kokash N. & Arbab F. (2009), Applying Reo to service coordination in long-running business transactions. In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC): ACM. 1381-1382.congresbijdrage (refereed)
  • Arbab F., Meng S. & Baier C. (2009), Synthesis of Reo Circuits from Scenario-based Specifications, Electronic Notes in Theoretical Computer Science (ENTCS) 229(1): 21-41.artikel in tijdschrift (refereed)
  • Clarke D., Proenca J., Lazovik A. & Arbab F. (2009), Deconstructing Reo, Electronic Notes in Theoretical Computer Science (ENTCS) 229(2): 43-58.artikel in tijdschrift (refereed)
  • Arbab F. & Meng S. (2009), Connectors as Designs, Electronic Notes in Theoretical Computer Science (ENTCS) 255: 119-135.artikel in tijdschrift (refereed)
  • Pourvatan B., Sirjani M., Hojjat H. & Arbab F. (2009), Automated Analysis of Reo Circuits using Symbolic Execution, Electronic Notes in Theoretical Computer Science (ENTCS) 255: 137-158.artikel in tijdschrift (refereed)
  • Meng S. & Arbab F. (2009), QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata, Fundamenta informaticae 95(1): 103-128.artikel in tijdschrift (refereed)
  • Arbab F., Astefanoaei L., Boer F.S. de, Dastanil M., Meyer J.-J. & Tinnermeier N. (2008), Reo Connectors as Coordination Artifacts in 2APL Systems. In: proceedings of The 11th Pacific Rim International Conference on Multi-Agents. 42-53.congresbijdrage (refereed)
  • Sun M. & Arbab F. (2008), Modelling Connectors as Designs in Unifying Theories of Programming. In: The second International Symposium on Unifying Theories of Programming.congresbijdrage (refereed)
  • Krzysztof R.A., Arbab F. & Ma H. (2008), A Distributed Platform for Mechanism Design. In: The 1st International Workshop on Market-Based Control.congresbijdrage (refereed)
  • Clarke D., Proenca J., Lazovik A. & Arbab F. (2008), Deconstructing Reo. In: 7th International Workshop on the Foundations of Coordination Languages and Software Architectures.congresbijdrage (refereed)
  • Arbab F., Sun M. & Baier C. (2008), Synthesis of Reo Circuits from Scenario-based Specifications. In: the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures.congresbijdrage (refereed)
  • Sun M. & Arbab F. (2008), QoS-Driven Service Selection and Composition. In: the 8th International Conference on Application of Concurrency to System Design. 160-169.congresbijdrage (refereed)
  • Arbab F., Bruni R., Clarke D., Lanese I. & Montanari U. (2008), Tiles for Reo. In: the 19th International Workshop on Algebraic Development Techniques (WADT 2008).congresbijdrage (refereed)
  • Koehler C., Arbab F. & Vink E.P. de (2008), On Hierarchical Reconfiguration of Reo Connectors. In: the 19th International Workshop on Algebraic Development Techniques (WADT 2008).congresbijdrage (refereed)
  • Koehler C., Costa D., Proenca J. & Arbab F. (2008), Reconfiguration of Reo Connectors Triggered by Dataflow, Electronic Communications of the EASST 10: 1-13.artikel in tijdschrift (refereed)
  • Maraikar Z., Lazovik A. & Arbab F. (2008), Building Mashups for the Enterprise with SABRE. In: A. Bouguettaya and I. Krüger and T. Margaria (Red.) the 6th International Conference on Service Oriented Computing (ICSOC 2008) Lecture notes in Computer Science. 70-83.congresbijdrage (refereed)
  • Arbab F. & Sun M. (2008), Synthesis of Connectors from Scenario-based Interaction Specifications. In: Component-Based Software Engineering Lecture notes in Computer Science. Heidelberg Berlin: Springer. 114-129.boekdeel
  • Arbab F., Kokash N. & Sun M. (2008), Towards Using Reo for Compliance-aware Business Process Modeling. In: the third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Berlin / Heidelberg: Springer. 108-123.boekdeel
  • Sun M. & Arbab F. (2008), Services and Contracts: Coalgebraically, Electronic Notes in Theoretical Computer Science 212: 207-223.artikel in tijdschrift (refereed)
  • Goldin D. & Arbab F. (2008), Preface, Electronic Notes in Theoretical Computer Science (ENTCS) 203(3): 1-3.artikel in tijdschrift (refereed)
  • Arbab F., Kokash N. & Meng S. (2008), Towards Using Reo for Compliance-Aware Business Process Modeling. In: . ISoLA 2008. 108-123.congresbijdrage (refereed)
  • Arbab F. (2007), Composition by Anonymous Third Parties. In: Lumpe, M., Vanderperren, W. (Red.) Software Composition, 6th International Symposium SC 2007 Lecture notes in Computer Science: Springer Verlag. 1.congresbijdrage (refereed)
  • Arbab F., Baier C., Boer F.S. de & Rutten J. (2007), Models and temporal logical specifications for timed component connectors, Software and Systems Modeling 6(1): 59-82.artikel in tijdschrift (refereed)
  • Bonsangue M.M., Boer F.S. de, Arbab F., Torre L. van der, Proper E. & Lankhorst M. (2007), Integrating Architectural Models: Symbolic Semantics and Subjective Models in Enterprise Architecture, SIG-MoBIS 1(2): 40-57.artikel in tijdschrift (refereed)
  • Arbab F., Chothia T., Meng S. & Moon Y.-J. (2007), Component Connectors with QoS Guarantees. In: Murphy, A.L., Vitek, J. (Red.) Coordination Models and Languages, 9th International Conference, COORDINATION 2007 Lecture notes in Computer Science: Springer. 286-304.congresbijdrage (refereed)
  • Arbab F., Lazovik A. & Koehler C. (2007), Connector Rewriting With High-Level Replacement Systems. In: Proceedings Workshop on the Foundations of Coordination Languages and Software Architecture (FOCLASA): Elsevier. 1571-0661.congresbijdrage (refereed)
  • Clarke D., Costa D. & Arbab F. (2007), Connector colouring I: Synchronisation and context dependency, Science of Computer Programming 66(3): 205-255.artikel in tijdschrift (refereed)
  • Izadi M., Movaghar A. & Arbab F. (2007), Model Checking of Component Connectors. In: 31st Annual International Computer Software and Applications Conference (COMPSAC 2007) IEEE Computer Society. 673-675.congresbijdrage (refereed)
  • Koehler C., Lazovik A. & Arbab F. (2007), ReoService: Coordination Modeling Tool. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (Red.) Service-Oriented Computing - ICSOC 2007, Fifth International Conference Lecture notes in Computer Science: Springer. 625-626.congresbijdrage (refereed)
  • Lazovik A. & Arbab F. (2007), Using Reo for Service Coordination. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (Red.) Service-Oriented Computing - ICSOC 2007, Fifth International Conference Lecture notes in Computer Science: Springer. 398-403.congresbijdrage (refereed)
  • Meng S. & Arbab F. (2007), On Resource-Sensitive Timed Component Connectors. In: Bonsangue, M.M., Johnsen, E.B. (Red.) Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007 Lecture notes in Computer Science: Springer. 301-316.congresbijdrage (refereed)
  • Meng S. & Arbab F. (2007), Web services choreography and orchestration in Reo and constraint automata. In: Cho, Y., Wainwright, R.L., Haddad, H., Shin, S.Y., Koo, Y.W. (Red.) Proceedings of the 2007 ACM Symposium on Applied Computing (SAC): ACM. 346-353.congresbijdrage (refereed)
  • Arbab F. & Sirjani M. (2007), International Symposium on Fundamentals of Software Engineering Lecture notes in Computer Science. Heidelberg: Springer.boek
  • Arbab F. & Syanco C.B. (2007), synthesis and analysis of component connectors. In: Proceedings of the 6th joint meeting of the European Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007 (ESEC/SIGSOFT FSE): ACM. 607-608.congresbijdrage (refereed)
  • Limniotes T., Papadopoulos G.A. & Arbab F. (2006), A Channel Based Communication Model with a Weighted Mobility. In: Third International Conference on Parallel Computations and Control Problems.congresbijdrage (refereed)
  • Diakov N. & Arbab F. (2006), Software Adaptation in Integrated Tool Frameworks for Composite Services. In: Third International Workshop on Coordination and Adaptation Issues (WCAT 2006). 9-14.congresbijdrage (refereed)
  • Arbab F. (2006), Coordinated Composition of Software Components. In: Jifeng He and Zhiming Liu (Red.) Mathematical Frameworks for Component Software.- Models: World Scientific. 35-68.boekdeel
  • Arbab F. (2006), Computing and Interaction. In: Dina Goldin, Scott Smolka, and Peter Wegner (Red.) Interactive Computation: The New Paradigm: Springer.boekdeel
  • Arbab F. (2006), A Behavioral Model for Composition of Software Components, L'Objet 12(1): 33-76.artikel in tijdschrift (refereed)
  • Arbab F. & Sirjani M. (2006), Preface -- special issue on Foundations of Software Engineering, Electronic Notes in Theoretical Computer Science (ENTCS) 159: 1-2.artikel in tijdschrift (refereed)
  • Baier C., Sirjani M., Arbab F. & Rutten J.J.M.M. (2006), Modeling component connectors in {Reo} by constraint automata, Science of Computer Programming 61(2): 75-113.artikel in tijdschrift (refereed)
  • Clarke D., Costa D. & Arbab F. (2006), Connector Colouring I: Synchronisation and Context Dependency, Electronic Notes in Theoretical Computer Science (ENTCS) 154(1): 101-119.artikel in tijdschrift (refereed)
  • Clarke D., Costa D. & Arbab F. (2006), Modelling Coordination in Biological Systems. In: T. Margaria and B. Steffen (Red.) Leveraging Applications of Formal Methods: Springer. 9-25.boekdeel
  • Doest H. ter, Lankhorst M., Jonkers H., Bosma H., Wieringa R. & Arbab F. (2006), Introduction -- special issue on Enterprise Architecture, Information Systems 8: 63-66.artikel in tijdschrift (refereed)
  • Scholten J.V., Arbab F., Boer F.S. de & Bonsangue M.M. (2006), A component coordination model based on mobile channels, Fundamenta informaticae 73: 561-582.artikel in tijdschrift (refereed)
  • Guillen Scholten J.V., Arbab F., Boer F.S. de & Bonsangue M.M. (2006), Modeling the Exogenous Coordination of Mobile Channel based Systems with Petri Nets. In: C. Canal and M. Viroli (Red.) Foundation of Coordination Languages and Software Architectures (FoCLaSA 2005) Electronic Notes in Theoretical Computer Science: Elsevier Science. 121-138.congresbijdrage (refereed)
  • Heydarnoori A., Mavaddat F. & Arbab F. (2006), Towards an Automated Deployment Planner for Composition of Web Services as Software Components, Electronic Notes in Theoretical Computer Science (ENTCS) 160: 239-253.artikel in tijdschrift (refereed)
  • Heydarnoori A., Mavaddat F. & Arbab F. (2006), Deploying Loosely Coupled, Component-based Applications into Distributed Environments. In: ECBS. 93-102.boekdeel
  • Kok J.N. & Arbab F. (2006), Interaction and Coordination of Tools for Structured Data. In: T. Margaria and B. Steffen (Red.) International Symposium on Leveraging Applications of Formal Methods Lecture notes in Computer Science: Springer. 1-8.congresbijdrage (refereed)
  • Mousavi M.R., Sirjani M. & Arbab F. (2006), Formal Semantics and Analysis of Component Connectors in Reo, Electronic Notes in Theoretical Computer Science 154: 83-99.artikel in tijdschrift (refereed)
  • Arbab F. (2005), Abstract Behavior Types: a foundation model for components and their composition, Science of Computer Programming 55: 3-52.artikel in tijdschrift (refereed)
  • Arbab F., Baier C., Boer F.S. de, Rutten J. & Sirjani M. (2005), Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications. In: Proceedings of the 7th International Conference on Coordination Models and Languages (Coordination 2005). 236-251.congresbijdrage (refereed)
  • Dastani M., Arbab F. & Boer F.S. de (2005), Coordination and composition in multi-agent systems. In: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems (AAMAS'05). 439-446.congresbijdrage (refereed)
  • Diakov N. & Arbab F. (2005), Adaptation of Software Entities for Synchronous Exogenous Coordination - An Initial Approach. In: Proceedings of the 2nd International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT05). 39-46.congresbijdrage (refereed)
  • Guillen-Scholten J.V. & Arbab F. (2005), Coordinated Anonymous Peer-to-Peer Connection with MoCha. In: Proceedings of the Fourth International Workshop on Scientific Engineering of Distributed Java Applications (FIDJI 2004): Springer-Verlag. 68-77.congresbijdrage (refereed)
  • Guillen-Scholten J.V., Arbab F., Boer F.S. de & Bonsangue M.M. (2005), MoCha-pi, an Exogenous Coordination Calculus based on Mobile Channels. In: Proceedings of the 20th ACM Symposium on Applied Computing (SAC 2005): ACM press. 13-17.congresbijdrage (refereed)
  • Wegner P., Arbab F., Goldin D., McBurney P., Luck M. & Robertson D. (2005), The Role of Agent Interaction in Models of Computing: Panelist Reviews. In: Proceedings of Foundations of Interactive Computing (FInCo'05): Elsevier. 181-198.congresbijdrage (refereed)
  • Arbab F., Boer F.S. de, Bonsangue M.M. & Guillen Scholten J.V. (2002), A channel based coordination model for components. In: Brogi, A., Jacquet, J.-M. (Red.) Proceedings of the 1st International Workshop on Foundations of Coordination Languages and Software Architectures Electronic Notes in Theoretical Computer Science (ENTCS): Elsevier Science. 3.congresbijdrage (refereed)
  • Guillen Scholten J.V., Arbab F., Boer F.S. de & Bonsangue M.M. (2002), MoCha: a Middleware Based on Mobile Channels. In: Proc. of 26th International conference on Computer Software and Application Conference IEEE Computer Society. 667-673.congresbijdrage (refereed)
  • Guillen Scholten J.V., Arbab F., Boer F.S. de & Bonsangue M.M. (2002), Mobile Channels, Implementation Within and Outside Components. In: Brogi, A., Pimintel, E. (Red.) Proc. of Formal Methods and Component Interaction Electronic Notes in Theoretical Computer Science (ENTCS): Elsevier Science.congresbijdrage (refereed)
  • CWI Senior Researcher