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

 

Hoogleraar Software compositie

  • Wiskunde en Natuurwetenschappen
  • Leiden Inst Advanced Computer Sciences

Werkadres

Snellius
Niels Bohrweg 1
2333 CA Leiden
Kamernummer 169

Contact

  • 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.'refereed' congresbijdrage
  • 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.'refereed' congresbijdrage
  • 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.'refereed' artikel in een tijdschrift
  • 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.'refereed' congresbijdrage
  • Jongmans S.-S.T.Q. & Arbab F. (2016), Data optimizations for constraint automata, Logical Methods in Computer Science (LMCS) 12(3): 1-38.'refereed' artikel in een tijdschrift
  • 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.'refereed' congresbijdrage
  • 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
  • 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.'refereed' artikel in een tijdschrift
  • 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.'refereed' artikel in een tijdschrift
  • 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
  • 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.'refereed' congresbijdrage
  • 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.'refereed' congresbijdrage
  • 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.'refereed' congresbijdrage
  • 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. 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.'refereed' congresbijdrage
  • 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.'refereed' congresbijdrage
  • 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.'refereed' congresbijdrage
  • 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.'refereed' artikel in een tijdschrift
  • Arbab F. & Csaba Ölveczky P. (red.) (2014), Special issue of Science of Computer Programming on Formal Aspects of Component Software (selected papers of FACS 2011).boekredactie
  • Jongmans S.-S.T.Q. & Arbab F. (2014), Toward Sequentializing Overparallelized Protocol Code. In: Proceedings 7th Interaction and Concurrency Experience, ICE 2014.. 38-44.'refereed' congresbijdrage
  • 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
  • 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.'refereed' congresbijdrage
  • 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.'refereed' congresbijdrage
  • 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.'refereed' artikel in een tijdschrift
  • 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)..'refereed' congresbijdrage
  • Arbab F. & Sirjani M. (red.) (2013), Fundamentals of Software Engineering - 5th International Conference (FSEN 2013), Revised Selected Papers nr. 8161: Springer-Verlag.boekredactie
  • 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.'refereed' congresbijdrage
  • 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.'refereed' artikel in een tijdschrift
  • 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.'refereed' artikel in een tijdschrift
  • 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.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.'refereed' congresbijdrage
  • Pourvatan B., Sirjani M., Hojjat H. & Arbab F. (2012), Symbolic Execution of Reo Circuits using Constraint Automata, Science of Computer Programming 77: 848-869.'refereed' artikel in een tijdschrift
  • Jongmans T.Q. & Arbab F. (2012), Overview of Thirty Semantic Formalisms for Reo, Scientific Annals of Computer Science 12(1): 201-251.'refereed' artikel in een tijdschrift
  • 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).'refereed' congresbijdrage
  • 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).. 277-285.'refereed' congresbijdrage
  • 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)..'refereed' congresbijdrage
  • 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)..'refereed' congresbijdrage
  • 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
  • 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)..'refereed' congresbijdrage
  • 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.'refereed' artikel in een tijdschrift
  • 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)..'refereed' congresbijdrage
  • 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)..'refereed' congresbijdrage
  • 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)..'refereed' congresbijdrage
  • Arbab F. & Sirjani M. (red.) (2012), Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011. Heidelberg: Springer Verlag.boekredactie
  • 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 .'refereed' artikel in een tijdschrift
  • 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 .'refereed' artikel in een tijdschrift
  • Clarke D., Proenca J., Lazovik A. & Arbab F. (2011), Channel-based coordination via constraint satisfaction, Science of Computer Programming 76(8): 681-710.'refereed' artikel in een tijdschrift
  • 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.'refereed' congresbijdrage
  • 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.'refereed' artikel in een tijdschrift
  • Meng S., Arbab F. & Baier C. (2011), Synthesis of Reo Circuits from Scenario-Based Interaction Specifications, Science of Computer Programming 76(8): 651-680.'refereed' artikel in een tijdschrift
  • 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).. 31-48.'refereed' congresbijdrage
  • 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)..'refereed' congresbijdrage
  • 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.'refereed' congresbijdrage
  • 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).: Springer. 237-258.'refereed' congresbijdrage
  • 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.'refereed' congresbijdrage
  • 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
  • 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.'refereed' congresbijdrage
  • 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.'refereed' congresbijdrage
  • 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.'refereed' congresbijdrage
  • 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.'refereed' congresbijdrage
  • 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)..'refereed' congresbijdrage
  • 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
  • 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)..'refereed' congresbijdrage
  • 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.: Springer. 106-121.'refereed' congresbijdrage
  • 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)..'refereed' congresbijdrage
  • Clarke D., Proenca J., Lazovik A. & Arbab F. (2009), Deconstructing Reo, Electronic Notes in Theoretical Computer Science (ENTCS) 229(2): 43-58.'refereed' artikel in een tijdschrift
  • 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.'refereed' congresbijdrage
  • Meng S. & Arbab F. (2009), QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata, Fundamenta Informaticae 95(1): 103-128.'refereed' artikel in een tijdschrift
  • 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.: Springer. 268-287.'refereed' congresbijdrage
  • 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.'refereed' artikel in een tijdschrift
  • 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.'refereed' congresbijdrage
  • 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.'refereed' artikel in een tijdschrift
  • Arbab F. & Meng S. (2009), Connectors as Designs, Electronic Notes in Theoretical Computer Science (ENTCS) 255: 119-135.'refereed' artikel in een tijdschrift
  • 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.'refereed' congresbijdrage
  • 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.'refereed' congresbijdrage
  • Sun M. & Arbab F. (2008), Modelling Connectors as Designs in Unifying Theories of Programming. In: The second International Symposium on Unifying Theories of Programming..'refereed' congresbijdrage
  • Krzysztof R.A., Arbab F. & Ma H. (2008), A Distributed Platform for Mechanism Design. In: The 1st International Workshop on Market-Based Control..'refereed' congresbijdrage
  • Clarke D., Proenca J., Lazovik A. & Arbab F. (2008), Deconstructing Reo. In: 7th International Workshop on the Foundations of Coordination Languages and Software Architectures..'refereed' congresbijdrage
  • 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..'refereed' congresbijdrage
  • 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.'refereed' congresbijdrage
  • 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)..'refereed' congresbijdrage
  • 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)..'refereed' congresbijdrage
  • Koehler C., Costa D., Proenca J. & Arbab F. (2008), Reconfiguration of Reo Connectors Triggered by Dataflow, Electronic Communications of the EASST 10: 1-13.'refereed' artikel in een tijdschrift
  • Arbab F., Kokash N. & Meng S. (2008), Towards Using Reo for Compliance-Aware Business Process Modeling. In: . ISoLA 2008.. 108-123.'refereed' congresbijdrage
  • Sun M. & Arbab F. (2008), Services and Contracts: Coalgebraically, Electronic Notes in Theoretical Computer Science 212: 207-223.'refereed' artikel in een tijdschrift
  • Goldin D. & Arbab F. (2008), Preface, Electronic Notes in Theoretical Computer Science (ENTCS) 203(3): 1-3.'refereed' artikel in een tijdschrift
  • Arbab F. & Sun M. (2008), Synthesis of Connectors from Scenario-based Interaction Specifications. In: Component-Based Software Engineering. Heidelberg Berlin: Springer. 114-129.boekdeel
  • 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).. 70-83.'refereed' congresbijdrage
  • 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
  • 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.'refereed' congresbijdrage
  • 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.'refereed' congresbijdrage
  • Clarke D., Costa D. & Arbab F. (2007), Connector colouring I: Synchronisation and context dependency, Science of Computer Programming 66(3): 205-255.'refereed' artikel in een tijdschrift
  • 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.'refereed' artikel in een tijdschrift
  • 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.'refereed' congresbijdrage
  • 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.'refereed' congresbijdrage
  • 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.: Springer. 301-316.'refereed' congresbijdrage
  • 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.: Springer. 625-626.'refereed' congresbijdrage
  • 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.'refereed' artikel in een tijdschrift
  • Arbab F. & Sirjani M. (2007), International Symposium on Fundamentals of Software Engineering Heidelberg: Springer.boek
  • 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.: Springer. 286-304.'refereed' congresbijdrage
  • 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.: Springer. 398-403.'refereed' congresbijdrage
  • Arbab F. (2007), Composition by Anonymous Third Parties. In: Lumpe, M., Vanderperren, W. (red.) Software Composition, 6th International Symposium SC 2007.: Springer Verlag. 1.'refereed' congresbijdrage
  • 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..'refereed' congresbijdrage
  • 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.'refereed' congresbijdrage
  • 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.'refereed' artikel in een tijdschrift
  • Arbab F. (2006), A Behavioral Model for Composition of Software Components, L'Objet 12(1): 33-76.'refereed' artikel in een tijdschrift
  • 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
  • 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.'refereed' artikel in een tijdschrift
  • 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.'refereed' artikel in een tijdschrift
  • 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.'refereed' artikel in een tijdschrift
  • 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.'refereed' artikel in een tijdschrift
  • 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
  • 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.'refereed' artikel in een tijdschrift
  • 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.: Springer. 1-8.'refereed' congresbijdrage
  • Heydarnoori A., Mavaddat F. & Arbab F. (2006), Deploying Loosely Coupled, Component-based Applications into Distributed Environments. In: ECBS.. 93-102.boekdeel
  • Arbab F. & Sirjani M. (2006), Preface -- special issue on Foundations of Software Engineering, Electronic Notes in Theoretical Computer Science (ENTCS) 159: 1-2.'refereed' artikel in een tijdschrift
  • 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.'refereed' congresbijdrage
  • 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.'refereed' congresbijdrage
  • 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.'refereed' congresbijdrage
  • Arbab F. (2005), Abstract Behavior Types: a foundation model for components and their composition, Science of Computer Programming 55: 3-52.'refereed' artikel in een tijdschrift
  • 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.'refereed' congresbijdrage
  • 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.'refereed' congresbijdrage
  • 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.'refereed' congresbijdrage
  • 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.'refereed' congresbijdrage
  • 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.'refereed' congresbijdrage
  • 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.'refereed' congresbijdrage
  • 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.'refereed' congresbijdrage
  • CWI Senior Researcher