 | 2009 |
|---|
| 113 |       | Farhad Arbab,
Tom Chothia,
Rob van der Mei,
Sun Meng,
Young-Joo Moon,
Chrétien Verhoef:
From Coordination to Stochastic Models of QoS.
COORDINATION 2009: 268-287 |
| 112 | | Farhad Arbab,
Sun Meng,
Young-Joo Moon,
Marta Z. Kwiatkowska,
Hongyang Qu:
Reo2MC: a tool chain for performance analysis of coordination models.
ESEC/SIGSOFT FSE 2009: 287-288 |
| 111 | | Natallia Kokash,
Farhad Arbab:
Applying Reo to service coordination in long-running business transactions.
SAC 2009: 1381-1382 |
| 110 | | Bernhard K. Aichernig,
Farhad Arbab,
Lacramioara Astefanoaei,
Frank S. de Boer,
Sun Meng,
Jan J. M. M. Rutten:
Fault-Based Test Case Generation for Component Connectors.
TASE 2009: 147-154 |
| 2008 |
|---|
| 109 | | Sun Meng,
Farhad Arbab:
QoS-driven service selection and composition.
ACSD 2008: 160-169 |
| 108 | | Farhad Arbab,
Sun Meng:
Synthesis of Connectors from Scenario-Based Interaction Specifications.
CBSE 2008: 114-129 |
| 107 | | Natallia Kokash,
Farhad Arbab:
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems.
FMCO 2008: 21-41 |
| 106 | | Ziyan Maraikar,
Alexander Lazovik,
Farhad Arbab:
Building Mashups for the Enterprise with SABRE.
ICSOC 2008: 70-83 |
| 105 | | Farhad Arbab,
Natallia Kokash,
Sun Meng:
Towards Using Reo for Compliance-Aware Business Process Modeling.
ISoLA 2008: 108-123 |
| 104 | | Farhad Arbab,
Lacramioara Astefanoaei,
Frank S. de Boer,
Mehdi Dastani,
John-Jules Ch. Meyer,
Nick A. M. Tinnemeier:
Reo Connectors as Coordination Artifacts in 2APL Systems.
PRIMA 2008: 42-53 |
| 103 | | Krzysztof R. Apt,
Farhad Arbab,
Huiye Ma:
A Distributed Platform for Mechanism Design
CoRR abs/0810.3199: (2008) |
| 102 | | Christian Koehler,
David Costa,
José Proença,
Farhad Arbab:
Reconfiguration of Reo Connectors Triggered by Dataflow.
ECEASST 10: (2008) |
| 101 | | Christian Koehler,
Alexander Lazovik,
Farhad Arbab:
Connector Rewriting with High-Level Replacement Systems.
Electr. Notes Theor. Comput. Sci. 194(4): 77-92 (2008) |
| 100 | | Dina Q. Goldin,
Farhad Arbab:
Preface.
Electr. Notes Theor. Comput. Sci. 203(3): 1-3 (2008) |
| 2007 |
|---|
| 99 |  | Farhad Arbab,
Christel Baier:
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, 2007
ACM 2007 |
| 98 | | Farhad Arbab,
Marjan Sirjani:
International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings
Springer 2007 |
| 97 | | Mohammad Izadi,
Ali Movaghar,
Farhad Arbab:
Model Checking of Component Connectors.
COMPSAC (1) 2007: 673-675 |
| 96 | | Farhad Arbab,
Tom Chothia,
Sun Meng,
Young-Joo Moon:
Component Connectors with QoS Guarantees.
COORDINATION 2007: 286-304 |
| 95 | | Farhad Arbab,
Christel Baier:
Syanco 2007: international workshop on synthesis and analysis of component connectors.
ESEC/SIGSOFT FSE 2007: 607-608 |
| 94 | | Farhad Arbab,
Christel Baier:
SYANCO 2007: international workshop on synthesis and analysis of component connectors.
ESEC/SIGSOFT FSE (Companion) 2007: 607-608 |
| 93 | | Sun Meng,
Farhad Arbab:
On Resource-Sensitive Timed Component Connectors.
FMOODS 2007: 301-316 |
| 92 | | Alexander Lazovik,
Farhad Arbab:
Using Reo for Service Coordination.
ICSOC 2007: 398-403 |
| 91 | | Christian Koehler,
Alexander Lazovik,
Farhad Arbab:
ReoService: Coordination Modeling Tool.
ICSOC 2007: 625-626 |
| 90 | | Sun Meng,
Farhad Arbab:
Web services choreography and orchestration in Reo and constraint automata.
SAC 2007: 346-353 |
| 89 | | Farhad Arbab:
Composition by Anonymous Third Parties.
Software Composition 2007: 1 |
| 88 | | Krzysztof R. Apt,
Farhad Arbab,
Huiye Ma:
A System for Distributed Mechanisms: Design, Implementation and Applications
CoRR abs/0711.2618: (2007) |
| 87 | | Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue,
Marc M. Lankhorst,
Erik Proper,
Leendert van der Torre:
Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise Architecture.
Enterprise Modelling and Information Systems Architectures 2(1): 40-57 (2007) |
| 86 | | Farhad Arbab,
Marjan Sirjani:
Applications of Formal Methods to System Design and Verification.
J. UCS 13(13): 1970-1971 (2007) |
| 85 | | Dave Clarke,
David Costa,
Farhad Arbab:
Connector colouring I: Synchronisation and context dependency.
Sci. Comput. Program. 66(3): 205-225 (2007) |
| 84 | | Farhad Arbab,
Christel Baier,
Frank S. de Boer,
Jan J. M. M. Rutten:
Models and temporal logical specifications for timed component connectors.
Software and System Modeling 6(1): 59-82 (2007) |
| 2006 |
|---|
| 83 | | Leendert W. N. van der Torre,
Marc M. Lankhorst,
Hugo W. L. ter Doest,
Jan T. P. Campschroer,
Farhad Arbab:
Landscape Maps for Enterprise Architectures.
CAiSE 2006: 351-366 |
| 82 | | Marjan Sirjani,
Mohammad Mahdi Jaghoori,
Christel Baier,
Farhad Arbab:
Compositional Semantics of an Actor-Based Language Using Constraint Automata.
COORDINATION 2006: 281-297 |
| 81 | | Abbas Heydarnoori,
Farhad Mavaddat,
Farhad Arbab:
Deploying Loosely Coupled, Component-based Applications into Distributed Environments.
ECBS 2006: 93-102 |
| 80 | | Dave Clarke,
David Costa,
Farhad Arbab:
Connector Colouring I: Synchronisation and Context Dependency.
Electr. Notes Theor. Comput. Sci. 154(1): 101-119 (2006) |
| 79 | | Juan Guillen Scholten,
Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue:
Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets.
Electr. Notes Theor. Comput. Sci. 154(1): 121-138 (2006) |
| 78 | | Mohammad Reza Mousavi,
Marjan Sirjani,
Farhad Arbab:
Formal Semantics and Analysis of Component Connectors in Reo.
Electr. Notes Theor. Comput. Sci. 154(1): 83-99 (2006) |
| 77 | | Farhad Arbab,
Marjan Sirjani:
Preface.
Electr. Notes Theor. Comput. Sci. 159: 1-2 (2006) |
| 76 | | Farhad Arbab:
Coordination for Component Composition.
Electr. Notes Theor. Comput. Sci. 160: 15-40 (2006) |
| 75 | | Abbas Heydarnoori,
Farhad Mavaddat,
Farhad Arbab:
Towards an Automated Deployment Planner for Composition of Web Services as Software Components.
Electr. Notes Theor. Comput. Sci. 160: 239-253 (2006) |
| 74 | | Juan Guillen Scholten,
Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue:
A Component Coordination Model Based on Mobile Channels.
Fundam. Inform. 73(4): 561-582 (2006) |
| 73 | | Henk Jonkers,
Marc M. Lankhorst,
Hugo W. L. ter Doest,
Farhad Arbab,
Hans Bosma,
Roel Wieringa:
Enterprise architecture: Management tool and blueprint for the organisation.
Information Systems Frontiers 8(2): 63-66 (2006) |
| 72 | | Farhad Arbab:
A Behavioral Model for Composition of Software Components.
L'OBJET 12(1): 33-76 (2006) |
| 71 | | Christel Baier,
Marjan Sirjani,
Farhad Arbab,
Jan J. M. M. Rutten:
Modeling component connectors in Reo by constraint automata.
Sci. Comput. Program. 61(2): 75-113 (2006) |
| 2005 |
|---|
| 70 | | Mehdi Dastani,
Farhad Arbab,
Frank S. de Boer:
Coordination and composition in multi-agent systems.
AAMAS 2005: 439-446 |
| 69 | | Farhad Arbab,
Christel Baier,
Frank S. de Boer,
Jan J. M. M. Rutten,
Marjan Sirjani:
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications.
COORDINATION 2005: 236-251 |
| 68 | | Juan Guillen Scholten,
Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue:
MoCha-pi, an exogenous coordination calculus based on mobile channels.
SAC 2005: 436-442 |
| 67 | | Peter Wegner,
Farhad Arbab,
Dina Q. Goldin,
Peter McBurney,
Michael Luck,
David Robertson:
The Role of Agent Interaction in Models of Computing: Panelist Reviews.
Electr. Notes Theor. Comput. Sci. 141(5): 181-198 (2005) |
| 66 | | Farhad Arbab,
Joost N. Kok:
Compositional Construction and Reasoning Techniques for Software.
J. UCS 11(10): 1577-1579 (2005) |
| 65 | | Farhad Arbab:
Abstract Behavior Types: a foundation model for components and their composition.
Sci. Comput. Program. 55(1-3): 3-52 (2005) |
| 2004 |
|---|
| 64 | | Nikunj R. Mehta,
Nenad Medvidovic,
Marjan Sirjani,
Farhad Arbab:
Modeling Behavior in Compositions of Software Architectural Primitives.
ASE 2004: 371-374 |
| 63 | | Theophilos A. Limniotes,
George A. Papadopoulos,
Farhad Arbab:
Coordinating Web Services Using Channel Based Communication.
COMPSAC 2004: 486-491 |
| 62 | | Peter Zoeteweij,
Farhad Arbab:
A Component-Based Parallel Constraint Solver.
COORDINATION 2004: 307-322 |
| 61 | | Juan Guillen Scholten,
Farhad Arbab:
Coordinated Anonymous Peer-to-Peer Connections with MoCha.
FIDJI 2004: 68-77 |
| 60 | | Farhad Arbab,
Joost N. Kok:
Interaction and Coordination of Tools for Structured Data.
ISoLA 2004: 1-8 |
| 59 | | Dave Clarke,
David Costa,
Farhad Arbab:
Modelling Coordination in Biological Systems.
ISoLA 2004: 9-25 |
| 58 | | Dave Clarke,
David Costa,
Farhad Arbab:
Modelling Coordination in Biological Systems.
ISoLA (Preliminary proceedings) 2004: 58-66 |
| 57 | | Theophilos A. Limniotes,
George A. Papadopoulos,
Farhad Arbab:
Web Services: separation of concerns: computation coordination communication.
SAC 2004: 492-497 |
| 56 | | C. T. H. Everaars,
Farhad Arbab,
Barry Koren:
Modernizing Existing Software: A Case Study.
SC 2004: 3 |
| 55 | | Farhad Arbab,
Christel Baier,
Frank S. de Boer,
Jan J. M. M. Rutten:
Models and Temporal Logics for Timed Component Connectors.
SEFM 2004: 198-207 |
| 54 | | Nikolay K. Diakov,
Farhad Arbab:
Compositional Construction of Web Services Using Reo.
WSMAI 2004: 49-58 |
| 53 | | Farhad Arbab,
Christel Baier,
Jan J. M. M. Rutten,
Marjan Sirjani:
Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract).
Electr. Notes Theor. Comput. Sci. 97: 25-46 (2004) |
| 52 | | Farhad Arbab:
Reo: a channel-based coordination model for component composition.
Mathematical Structures in Computer Science 14(3): 329-366 (2004) |
| 2003 |
|---|
| 51 | | Henk Jonkers,
René van Buuren,
Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue,
Hans Bosma,
Hugo W. L. ter Doest,
Luuk Groenewegen,
Juan Guillen Scholten,
Stijn Hoppenbrouwers,
Maria-Eugenia Iacob,
Wil Janssen,
Marc M. Lankhorst,
Diederik van Leeuwen,
Erik Proper,
Andries Stam,
Leendert W. N. van der Torre,
Gert Veldhuijzen van Zanten:
Towards a Language for Coherent Enterprise Architecture Descriptions.
EDOC 2003: 28-39 |
| 50 | | Juan Guillen Scholten,
Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue:
A Channel-based Coordination Model for Components.
Electr. Notes Theor. Comput. Sci. 68(3): (2003) |
| 49 | | Richard Banach,
Farhad Arbab,
George A. Papadopoulos,
John R. W. Glauert:
A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model.
J. UCS 9(1): 2-33 (2003) |
| 48 | | Farhad Arbab,
Khalil Drira:
Introduction.
The Journal of Supercomputing 24(2): 119-120 (2003) |
| 2002 |
|---|
| 47 | | Farhad Arbab,
Carolyn L. Talcott:
Coordination Models and Languages, 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings
Springer 2002 |
| 46 | | Farhad Arbab,
Frank S. de Boer,
Juan Guillen Scholten,
Marcello M. Bonsangue:
MoCha: A Middleware Based on Mobile Channels.
COMPSAC 2002: 667-673 |
| 45 | | Farhad Arbab,
Farhad Mavaddat:
Coordination through Channel Composition.
COORDINATION 2002: 22-39 |
| 44 | | Farhad Arbab:
Abstract Behavior Types: A Foundation Model for Components and Their Composition.
FMCO 2002: 33-70 |
| 43 | | Farhad Arbab,
Jan J. M. M. Rutten:
A Coinductive Calculus of Component Connectors.
WADT 2002: 34-55 |
| 42 | | Richard Banach,
Farhad Arbab,
George A. Papadopoulos,
John R. W. Glauert:
IWIM Semantics via Fibred Automata.
Electr. Notes Theor. Comput. Sci. 66(4): (2002) |
| 41 | | Juan Guillen Scholten,
Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue:
Mobile Channels, Implementation Within and Outside Components.
Electr. Notes Theor. Comput. Sci. 66(4): (2002) |
| 2001 |
|---|
| 40 | | C. T. H. Everaars,
Farhad Arbab,
Barry Koren:
Using Coordination to Restructure Sequential Source Code into a Concurrent Program.
ICSM 2001: 342- |
| 39 | | Farhad Arbab:
Panta Rei (Everything Flows): A Calculus of Channels.
JISBD 2001: 5 |
| 38 | | Eric Monfroy,
Farhad Arbab:
Constraints Solving as the Coordination of Inference Engines.
Coordination of Internet Agents: Models, Technologies, and Applications 2001: 399-419 |
| 37 | | Farhad Arbab:
Coordination of Mobile Components.
Electr. Notes Theor. Comput. Sci. 54: (2001) |
| 36 | | George A. Papadopoulos,
Farhad Arbab:
Configuration and dynamic reconfiguration of components using the coordination paradigm.
Future Generation Comp. Syst. 17(8): 1023-1038 (2001) |
| 2000 |
|---|
| 35 | | Farhad Arbab,
Eric Monfroy:
Distributed Splitting of Constraint Satisfaction Problems.
COORDINATION 2000: 115-132 |
| 34 | | Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue:
A Logical Interface Description Language for Components.
COORDINATION 2000: 249-266 |
| 33 | | George A. Papadopoulos,
Farhad Arbab:
Dynamic Reconfiguration in Coordination Languages.
HPCN Europe 2000: 197-206 |
| 32 | | Farhad Arbab,
Marcello M. Bonsangue,
Frank S. de Boer:
A Coordination Lanuage for Mobile Components.
SAC (1) 2000: 166-173 |
| 31 | | C. T. H. Everaars,
Farhad Arbab,
Barry Koren:
Dynamic Process Composition and Communication Patterns in Irregularly Structured Applications.
Concurrency - Practice and Experience 12(2-3): 157-174 (2000) |
| 30 | | Pascal Bouvry,
Farhad Arbab,
Franciszek Seredynski:
Distributed Evolutionary Optimization, in Manifold: Rosenbrock's Function Case Study.
Inf. Sci. 122(2-4): 141-159 (2000) |
| 29 | | Marcello M. Bonsangue,
Farhad Arbab,
J. W. de Bakker,
Jan J. M. M. Rutten,
A. Secutella,
Gianluigi Zavattaro:
A transition system semantics for the control-driven coordination language MANIFOLD.
Theor. Comput. Sci. 240(1): 3-47 (2000) |
| 1999 |
|---|
| 28 | | C. T. H. Everaars,
Barry Koren,
Farhad Arbab:
Dynamic Process Composition and Communication Patterns in Irregularly Structured Applications.
IPPS/SPDP Workshops 1999: 1046-1054 |
| 27 | | Farhad Arbab:
Coordination Programming for Parallel and Distributed Applications.
PDPTA 1999: 1-10 |
| 1998 |
|---|
| 26 | | Farhad Arbab:
Coordination and its Relevance.
DEXA Workshop 1998: 529-535 |
| 25 | | George A. Papadopoulos,
Farhad Arbab:
Modeling Electronic Commerce Activities Using Control-Driven Coordination.
DEXA Workshop 1998: 583-588 |
| 24 | | Farhad Arbab,
Eric Monfroy:
Using coordination for cooperative constraint solving.
SAC 1998: 139-148 |
| 23 | | George A. Papadopoulos,
Farhad Arbab:
Modelling activities in information systems using the coordination language MANIFOLD.
SAC 1998: 185-193 |
| 22 | | George A. Papadopoulos,
Farhad Arbab:
Coordination Models and Languages.
Advances in Computers 46: 330-401 (1998) |
| 21 | | Farhad Arbab,
Paolo Ciancarini,
Chris Hankin:
Coordination Languages for Parallel Programming.
Parallel Computing 24(7): 989-1004 (1998) |
| 20 | | Farhad Arbab,
C. L. Blom,
F. J. Burger,
C. T. H. Everaars:
Reusable Coordinator Modules for Massively Concurrent Applications.
Softw., Pract. Exper. 28(7): 703-735 (1998) |
| 1997 |
|---|
| 19 | | George A. Papadopoulos,
Farhad Arbab:
Control-Based Coordination of Human and Other Activities in Cooperative Information Systems.
COORDINATION 1997: 422-425 |
| 18 | | Franciszek Seredynski,
Pascal Bouvry,
Farhad Arbab:
Parallel Evolutionary Computation: Multi Agents Genetic Algorithms.
Euro-PDS 1997: 293-298 |
| 17 | | Farhad Arbab:
The Influence of Coordination on Program Structure.
HICSS (1) 1997: 300-309 |
| 16 | | George A. Papadopoulos,
Farhad Arbab:
Control-Driven Coordination Programming in Shared Dataspace.
PaCT 1997: 247-261 |
| 15 | | Franciszek Seredynski,
Pascal Bouvry,
Farhad Arbab:
Parallel and Distributed Evolutionary Computation with MANIFOLD.
PaCT 1997: 94-108 |
| 14 | | George A. Papadopoulos,
Farhad Arbab:
Coordination of Distributed and Parallel Activities in the IWIM Model.
International Journal of High Speed Computing 9(2): 127-160 (1997) |
| 1996 |
|---|
| 13 | | George A. Papadopoulos,
Farhad Arbab:
Coordination of Systems with Real-Time Properties in Manifold.
COMPSAC 1996: 50-55 |
| 12 | | Farhad Arbab:
The IWIM Model for Coordination of Concurrent Activities.
COORDINATION 1996: 34-56 |
| 11 | | Pascal Bouvry,
Farhad Arbab:
VISIFOLD: A Visual Environment for a Coordination Language.
COORDINATION 1996: 403-406 |
| 10 | | Farhad Arbab,
C. L. Blom,
F. J. Burger,
C. T. H. Everaars:
Reusable Coordinator Modules for Massively Concurrent Applications.
Euro-Par, Vol. I 1996: 664-677 |
| 9 | | C. T. H. Everaars,
Farhad Arbab,
F. J. Burger:
Restructuring sequential Fortran code into a parallel/distributed application.
ICSM 1996: 13-22 |
| 8 | | C. T. H. Everaars,
Farhad Arbab:
Coordination of Distributed/Parallel Multi-grid Domain Decomposition.
IRREGULAR 1996: 131-144 |
| 1993 |
|---|
| 7 | | Farhad Arbab,
Ivan Herman,
Graham J. Reynolds:
An Object Model for Multimedia Programming.
Comput. Graph. Forum 12(3): 101-113 (1993) |
| 6 | | Farhad Arbab,
Ivan Herman,
Pål Spilling:
An overview of manifold and its implementation.
Concurrency - Practice and Experience 5(1): 23-70 (1993) |
| 1992 |
|---|
| 5 | | Farhad Arbab,
Ivan Herman,
Pål Spilling:
Manifold: Concepts and Implementation.
CONPAR 1992: 793-794 |
| 4 | | Farhad Arbab,
Ivan Herman,
Pål Spilling:
Interaction Management of a Window Manager in Manifold.
ICCI 1992: 197-202 |
| 3 | | Allan Hansen,
Farhad Arbab:
An Algorithm for Generating NC Tool Paths for Arbitrarily Shaped Pockets with Islands.
ACM Trans. Graph. 11(2): 152-182 (1992) |
| 1991 |
|---|
| 2 | | Dirk Soede,
Farhad Arbab,
Ivan Herman,
Paul J. W. ten Hagen:
The GKS Input Model in MANIFOLD.
Comput. Graph. Forum 10(3): 209-224 (1991) |
| 1990 |
|---|
| 1 | | Tetsuo Tomiyama,
Farhad Arbab:
Guest editors' introduction : Features and geometric reasoning.
Computers & Graphics 14(2): 147-148 (1990) |
