Farhad Arbab - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

2010

Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected PapersFarhad Arbab, Marjan Sirjani, editors, Volume 5961 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Towards Coordination Patterns for Complex Experimentations in Data MiningFarhad Arbab, Claudia Diamantini, Domenico Potena, Emanuele Storti. sebd 2010: 106-117

A Semantic Model for Service Composition with Coordination Time DelaysNatallia Kokash, Behnaz Changizi, Farhad Arbab. icfem 2010: 106-121 [doi]

2009

Fault-Based Test Case Generation for Component ConnectorsBernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Sun Meng, Jan J. M. M. Rutten. tase 2009: 147-154 [doi]

Reo2MC: a tool chain for performance analysis of coordination modelsFarhad Arbab, Sun Meng, Young-Joo Moon, Marta Z. Kwiatkowska, Hongyang Qu. FSE 2009: 287-288 [doi]

Synthesis of Reo Circuits from Scenario-based SpecificationsFarhad Arbab, Meng Sun, Christel Baier. ENTCS, 229(2):21-41, 2009. [doi]

From Coordination to Stochastic Models of QoSFarhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, Young-Joo Moon, Chrétien Verhoef. coordination 2009: 268-287 [doi]

Deconstructing ReoDave Clarke, JosÃ© ProenÃ§a, Alexander Lazovik, Farhad Arbab. ENTCS, 229(2):43-58, 2009. [doi]

Applying Reo to service coordination in long-running business transactionsNatallia Kokash, Farhad Arbab. SAC 2009: 1381-1382 [doi]

Connectors as DesignsSun Meng, Farhad Arbab. ENTCS, 255:119-135, 2009. [doi]

QoS-Driven Service Selection and Composition Using Quantitative Constraint AutomataSun Meng, Farhad Arbab. FUIN, 95(1):103-128, 2009. [doi]

Automated Analysis of Reo Circuits using Symbolic ExecutionBahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab. ENTCS, 255:137-158, 2009. [doi]

2008

A Distributed Platform for Mechanism DesignKrzysztof R. Apt, Farhad Arbab, Huiye Ma. cimca 2008: 767-772 [doi]

Reo Connectors as Coordination Artifacts in 2APL SystemsFarhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer, Nick A. M. Tinnemeier. prima 2008: 42-53 [doi]

Tiles for ReoFarhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari. WADT 2009: 37-55 [doi]

Synthesis of Connectors from Scenario-Based Interaction SpecificationsFarhad Arbab, Sun Meng. cbse 2008: 114-129 [doi]

Towards Using Reo for Compliance-Aware Business Process ModelingFarhad Arbab, Natallia Kokash, Sun Meng. isola 2008: 108-123 [doi]

PrefaceDina Q. Goldin, Farhad Arbab. ENTCS, 203(3):1-3, 2008. [doi]

Reconfiguration of Reo Connectors Triggered by DataflowChristian Koehler, David Costa, José Proença, Farhad Arbab. eceasst, 10, 2008. [doi]

Reconfiguring Distributed Reo ConnectorsChristian Koehler, Farhad Arbab, Erik P. de Vink. WADT 2009: 221-235 [doi]

Connector Rewriting with High-Level Replacement SystemsChristian Koehler, Alexander Lazovik, Farhad Arbab. ENTCS, 194(4):77-92, 2008. [doi]

Formal Behavioral Modeling and Compliance Analysis for Service-Oriented SystemsNatallia Kokash, Farhad Arbab. FMCO 2009: 21-41 [doi]

Building Mashups for the Enterprise with SABREZiyan Maraikar, Alexander Lazovik, Farhad Arbab. icsoc 2008: 70-83 [doi]

QoS-driven service selection and compositionSun Meng, Farhad Arbab. acsd 2008: 160-169 [doi]

2007

Models and temporal logical specifications for timed component connectorsFarhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten. SoSyM, 6(1):59-82, 2007. [doi]

Component Connectors with QoS GuaranteesFarhad Arbab, Tom Chothia, Sun Meng, Young-Joo Moon. coordination 2007: 286-304 [doi]

International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, ProceedingsFarhad Arbab, Marjan Sirjani, editors, Volume 4767 of Lecture Notes in Computer Science, Springer, 2007.

Composition by Anonymous Third PartiesFarhad Arbab. SC 2007: 1 [doi]

Applications of Formal Methods to System Design and VerificationFarhad Arbab, Marjan Sirjani. jucs, 13(13):1970-1971, 2007. [doi]

SYANCO 2007: international workshop on synthesis and analysis of component connectorsFarhad Arbab, Christel Baier. ESEC/FSE 2007: 607-608 [doi]

Syanco 2007: international workshop on synthesis and analysis of component connectorsFarhad Arbab, Christel Baier. ESEC/FSE 2007: 607-608 [doi]

Proceedings of the International Workshop on Synthesis and Analysis of Component Connectors: in conjunction with the 6th ESEC/FSE joint meeting, SYANCO 2007, Dubrovnik, Croatia, September 3-4, 2007Farhad Arbab, Christel Baier, editors, ACM, 2007.

Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise ArchitectureFarhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, Marc M. Lankhorst, Erik Proper, Leendert van der Torre. emisaij, 2(1):40-57, 2007. [doi]

Connector colouring I: Synchronisation and context dependencyDave Clarke, David Costa, Farhad Arbab. SCP, 66(3):205-225, 2007. [doi]

Model Checking of Component ConnectorsMohammad Izadi, Ali Movaghar, Farhad Arbab. compsac 2007: 673-675 [doi]

ReoService: Coordination Modeling ToolChristian Koehler, Alexander Lazovik, Farhad Arbab. icsoc 2007: 625-626 [doi]

Using Reo for Service CoordinationAlexander Lazovik, Farhad Arbab. icsoc 2007: 398-403 [doi]

On Resource-Sensitive Timed Component ConnectorsSun Meng, Farhad Arbab. fmoods 2007: 301-316 [doi]

Web services choreography and orchestration in Reo and constraint automataSun Meng, Farhad Arbab. SAC 2007: 346-353 [doi]

2006

PrefaceFarhad Arbab, Marjan Sirjani. ENTCS, 159:1-2, 2006. [doi]

Coordination for Component CompositionFarhad Arbab. ENTCS, 160:15-40, 2006. [doi]

A Behavioral Model for Composition of Software ComponentsFarhad Arbab. Lobjet, 12(1):33-76, 2006. [doi]

Modeling component connectors in Reo by constraint automataChristel Baier, Marjan Sirjani, Farhad Arbab, Jan J. M. M. Rutten. SCP, 61(2):75-113, 2006. [doi]

Connector Colouring I: Synchronisation and Context DependencyDave Clarke, David Costa, Farhad Arbab. ENTCS, 154(1):101-119, 2006. [doi]

Towards an Automated Deployment Planner for Composition of Web Services as Software ComponentsAbbas Heydarnoori, Farhad Mavaddat, Farhad Arbab. ENTCS, 160:239-253, 2006. [doi]

Deploying Loosely Coupled, Component-based Applications into Distributed EnvironmentsAbbas Heydarnoori, Farhad Mavaddat, Farhad Arbab. ECBS 2006: 93-102 [doi]

Enterprise architecture: Management tool and blueprint for the organisationHenk Jonkers, Marc M. Lankhorst, Hugo W. L. ter Doest, Farhad Arbab, Hans Bosma, Roel Wieringa. isf, 8(2):63-66, 2006. [doi]

Formal Semantics and Analysis of Component Connectors in ReoMohammad Reza Mousavi, Marjan Sirjani, Farhad Arbab. ENTCS, 154(1):83-99, 2006. [doi]

A Component Coordination Model Based on Mobile ChannelsJuan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue. FUIN, 73(4):561-582, 2006. [doi]

Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri NetsJuan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue. ENTCS, 154(1):121-138, 2006. [doi]

Compositional Semantics of an Actor-Based Language Using Constraint AutomataMarjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab. coordination 2006: 281-297 [doi]

Landscape Maps for Enterprise ArchitecturesLeendert W. N. van der Torre, Marc M. Lankhorst, Hugo W. L. ter Doest, Jan T. P. Campschroer, Farhad Arbab. caise 2006: 351-366 [doi]

2005

Synthesis of Reo Circuits for Implementation of Component-Connector Automata SpecificationsFarhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten, Marjan Sirjani. coordination 2005: 236-251 [doi]

Compositional Construction and Reasoning Techniques for SoftwareFarhad Arbab, Joost N. Kok. jucs, 11(10):1577-1579, 2005. [doi]

Abstract Behavior Types: a foundation model for components and their compositionFarhad Arbab. SCP, 55(1-3):3-52, 2005. [doi]

Coordination and composition in multi-agent systemsMehdi Dastani, Farhad Arbab, Frank S. de Boer. atal 2005: 439-446 [doi]

MoCha-pi, an exogenous coordination calculus based on mobile channelsJuan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue. SAC 2005: 436-442 [doi]

The Role of Agent Interaction in Models of Computing: Panelist ReviewsPeter Wegner, Farhad Arbab, Dina Q. Goldin, Peter McBurney, Michael Luck, David Robertson. ENTCS, 141(5):181-198, 2005. [doi]

2004

Models and Temporal Logics for Timed Component ConnectorsFarhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten. sefm 2004: 198-207 [doi]

Reo: a channel-based coordination model for component compositionFarhad Arbab. mscs, 14(3):329-366, 2004. [doi]

Interaction and Coordination of Tools for Structured DataFarhad Arbab, Joost N. Kok. isola 2006: 1-8 [doi]

Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract)Farhad Arbab, Christel Baier, Jan J. M. M. Rutten, Marjan Sirjani. ENTCS, 97:25-46, 2004. [doi]

Modelling Coordination in Biological SystemsDave Clarke, David Costa, Farhad Arbab. isola 2006: 9-25 [doi]

Modelling Coordination in Biological SystemsDave Clarke, David Costa, Farhad Arbab. isola 2004: 58-66

Compositional Construction of Web Services Using ReoNikolay K. Diakov, Farhad Arbab. wsmai 2004: 49-58

Modernizing Existing Software: A Case StudyC. T. H. Everaars, Farhad Arbab, Barry Koren. sc 2004: 3 [doi]

Web Services: separation of concerns: computation coordination communicationTheophilos A. Limniotes, George A. Papadopoulos, Farhad Arbab. SAC 2004: 492-497 [doi]

Coordinating Web Services Using Channel Based CommunicationTheophilos A. Limniotes, George A. Papadopoulos, Farhad Arbab. compsac 2004: 486-491 [doi]

Modeling Behavior in Compositions of Software Architectural PrimitivesNikunj R. Mehta, Nenad Medvidovic, Marjan Sirjani, Farhad Arbab. jckbse 2004: 371-374 [doi]

Coordinated Anonymous Peer-to-Peer Connections with MoChaJuan Guillen Scholten, Farhad Arbab. fidji 2005: 68-77 [doi]

A Component-Based Parallel Constraint SolverPeter Zoeteweij, Farhad Arbab. coordination 2004: 307-322 [doi]

2003

IntroductionFarhad Arbab, Khalil Drira. tjs, 24(2):119-120, 2003. [doi]

A Multiply Hierarchical Automaton Semantics for the IWIM Coordination ModelRichard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert. jucs, 9(1):2-33, 2003. [doi]

A Channel-based Coordination Model for ComponentsJuan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue. ENTCS, 68(3), 2003. [doi]

2002

A Coinductive Calculus of Component ConnectorsFarhad Arbab, Jan J. M. M. Rutten. WADT 2003: 34-55 [doi]

Coordination through Channel CompositionFarhad Arbab, Farhad Mavaddat. coordination 2002: 22-39 [doi]

Abstract Behavior Types: A Foundation Model for Components and Their CompositionFarhad Arbab. FMCO 2003: 33-70 [doi]

MoCha: A Middleware Based on Mobile ChannelsFarhad Arbab, Frank S. de Boer, Juan Guillen Scholten, Marcello M. Bonsangue. compsac 2002: 667-673 [doi]

Coordination Models and Languages, 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002, ProceedingsFarhad Arbab, Carolyn L. Talcott, editors, Volume 2315 of Lecture Notes in Computer Science, Springer, 2002.

IWIM Semantics via Fibred AutomataRichard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert. ENTCS, 66(4), 2002. [doi]

2001

2000

A Logical Interface Description Language for ComponentsFarhad Arbab, Frank S. de Boer, Marcello M. Bonsangue. coordination 2000: 249-266 [doi]

A Coordination Lanuage for Mobile ComponentsFarhad Arbab, Marcello M. Bonsangue, Frank S. de Boer. SAC 2000: 166-173

Distributed Splitting of Constraint Satisfaction ProblemsFarhad Arbab, Eric Monfroy. coordination 2000: 115-132 [doi]

A transition system semantics for the control-driven coordination language MANIFOLDMarcello M. Bonsangue, Farhad Arbab, J. W. de Bakker, Jan J. M. M. Rutten, A. Secutella, Gianluigi Zavattaro. TCS, 240(1):3-47, 2000. [doi]

Distributed Evolutionary Optimization, in Manifold: Rosenbrock s Function Case StudyPascal Bouvry, Farhad Arbab, Franciszek Seredynski. isci, 122(2-4):141-159, 2000.

Dynamic Process Composition and Communication Patterns in Irregularly Structured ApplicationsC. T. H. Everaars, Farhad Arbab, Barry Koren. concurrency, 12(2-3):157-174, 2000.

Dynamic Reconfiguration in Coordination LanguagesGeorge A. Papadopoulos, Farhad Arbab. hpcn 2000: 197-206 [doi]

1999

Coordination Programming for Parallel and Distributed ApplicationsFarhad Arbab. pdpta 1999: 1-10

Dynamic Process Composition and Communication Patterns in Irregularly Structured ApplicationsC. T. H. Everaars, Barry Koren, Farhad Arbab. ipps 1999: 1046-1054

1998

Coordination and its RelevanceFarhad Arbab. dexaw 1998: 529-535

PreviousNext