| 2007 |
|---|
| 93 | | Farhad Arbab,
Marjan Sirjani:
International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings
Springer 2007 |
| 92 | EE | Mohammad Izadi,
Ali Movaghar,
Farhad Arbab:
Model Checking of Component Connectors.
COMPSAC (1) 2007: 673-675 |
| 91 | EE | Farhad Arbab,
Tom Chothia,
Sun Meng,
Young-Joo Moon:
Component Connectors with QoS Guarantees.
COORDINATION 2007: 286-304 |
| 90 | EE | Farhad Arbab,
Christel Baier:
Syanco 2007: international workshop on synthesis and analysis of component connectors.
ESEC/SIGSOFT FSE 2007: 607-608 |
| 89 | EE | Sun Meng,
Farhad Arbab:
On Resource-Sensitive Timed Component Connectors.
FMOODS 2007: 301-316 |
| 88 | EE | Alexander Lazovik,
Farhad Arbab:
Using Reo for Service Coordination.
ICSOC 2007: 398-403 |
| 87 | EE | Christian Koehler,
Alexander Lazovik,
Farhad Arbab:
ReoService: Coordination Modeling Tool.
ICSOC 2007: 625-626 |
| 86 | EE | Sun Meng,
Farhad Arbab:
Web services choreography and orchestration in Reo and constraint automata.
SAC 2007: 346-353 |
| 85 | EE | Farhad Arbab:
Composition by Anonymous Third Parties.
Software Composition 2007: 1 |
| 84 | EE | Krzysztof R. Apt,
Farhad Arbab,
Huiye Ma:
A System for Distributed Mechanisms: Design, Implementation and Applications
CoRR abs/0711.2618: (2007) |
| 83 | EE | Farhad Arbab,
Marjan Sirjani:
Applications of Formal Methods to System Design and Verification.
J. UCS 13(13): 1970-1971 (2007) |
| 82 | EE | Dave Clarke,
David Costa,
Farhad Arbab:
Connector colouring I: Synchronisation and context dependency.
Sci. Comput. Program. 66(3): 205-225 (2007) |
| 81 | EE | 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 |
|---|
| 80 | EE | 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 |
| 79 | EE | Marjan Sirjani,
Mohammad Mahdi Jaghoori,
Christel Baier,
Farhad Arbab:
Compositional Semantics of an Actor-Based Language Using Constraint Automata.
COORDINATION 2006: 281-297 |
| 78 | EE | Abbas Heydarnoori,
Farhad Mavaddat,
Farhad Arbab:
Deploying Loosely Coupled, Component-based Applications into Distributed Environments.
ECBS 2006: 93-102 |
| 77 | EE | Dave Clarke,
David Costa,
Farhad Arbab:
Connector Colouring I: Synchronisation and Context Dependency.
Electr. Notes Theor. Comput. Sci. 154(1): 101-119 (2006) |
| 76 | EE | 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) |
| 75 | EE | 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) |
| 74 | EE | Farhad Arbab,
Marjan Sirjani:
Preface.
Electr. Notes Theor. Comput. Sci. 159: 1-2 (2006) |
| 73 | EE | Farhad Arbab:
Coordination for Component Composition.
Electr. Notes Theor. Comput. Sci. 160: 15-40 (2006) |
| 72 | EE | 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) |
| 71 | EE | 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) |
| 70 | EE | 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) |
| 69 | EE | 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 |
|---|
| 68 | EE | Mehdi Dastani,
Farhad Arbab,
Frank S. de Boer:
Coordination and composition in multi-agent systems.
AAMAS 2005: 439-446 |
| 67 | EE | 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 |
| 66 | EE | 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 |
| 65 | EE | Peter Wegner,
Farhad Arbab,
Dina Q. Goldin,
Peter McBurney,
Michael Luck,
Dave Robertson:
The Role of Agent Interaction in Models of Computing: Panelist Reviews.
Electr. Notes Theor. Comput. Sci. 141(5): 181-198 (2005) |
| 64 | EE | Farhad Arbab,
Joost N. Kok:
Compositional Construction and Reasoning Techniques for Software.
J. UCS 11(10): 1577-1579 (2005) |
| 63 | EE | Farhad Arbab:
Abstract Behavior Types: a foundation model for components and their composition.
Sci. Comput. Program. 55(1-3): 3-52 (2005) |
| 2004 |
|---|
| 62 | EE | Nikunj R. Mehta,
Nenad Medvidovic,
Marjan Sirjani,
Farhad Arbab:
Modeling Behavior in Compositions of Software Architectural Primitives.
ASE 2004: 371-374 |
| 61 | EE | Theophilos A. Limniotes,
George A. Papadopoulos,
Farhad Arbab:
Coordinating Web Services Using Channel Based Communication.
COMPSAC 2004: 486-491 |
| 60 | EE | Peter Zoeteweij,
Farhad Arbab:
A Component-Based Parallel Constraint Solver.
COORDINATION 2004: 307-322 |
| 59 | EE | Juan Guillen Scholten,
Farhad Arbab:
Coordinated Anonymous Peer-to-Peer Connections with MoCha.
FIDJI 2004: 68-77 |
| 58 | EE | Farhad Arbab,
Joost N. Kok:
Interaction and Coordination of Tools for Structured Data.
ISoLA 2004: 1-8 |
| 57 | EE | Dave Clarke,
David Costa,
Farhad Arbab:
Modelling Coordination in Biological Systems.
ISoLA 2004: 9-25 |
| 56 | EE | Theophilos A. Limniotes,
George A. Papadopoulos,
Farhad Arbab:
Web Services: separation of concerns: computation coordination communication.
SAC 2004: 492-497 |
| 55 | EE | C. T. H. Everaars,
Farhad Arbab,
Barry Koren:
Modernizing Existing Software: A Case Study.
SC 2004: 3 |
| 54 | EE | 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 |
| 53 | | Nikolay K. Diakov,
Farhad Arbab:
Compositional Construction of Web Services Using Reo.
WSMAI 2004: 49-58 |
| 52 | EE | 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) |
| 51 | EE | Farhad Arbab:
Reo: a channel-based coordination model for component composition.
Mathematical Structures in Computer Science 14(3): 329-366 (2004) |
| 2003 |
|---|
| 50 | EE | 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 |
| 49 | EE | 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) |
| 48 | EE | 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) |
| 47 | EE | Farhad Arbab,
Khalil Drira:
Introduction.
The Journal of Supercomputing 24(2): 119-120 (2003) |
| 2002 |
|---|
| 46 | | Farhad Arbab,
Carolyn L. Talcott:
Coordination Models and Languages, 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings
Springer 2002 |
| 45 | EE | Farhad Arbab,
Frank S. de Boer,
Juan Guillen Scholten,
Marcello M. Bonsangue:
MoCha: A Middleware Based on Mobile Channels.
COMPSAC 2002: 667-673 |
| 44 | EE | Farhad Arbab,
Farhad Mavaddat:
Coordination through Channel Composition.
COORDINATION 2002: 22-39 |
| 43 | EE | Farhad Arbab:
Abstract Behavior Types: A Foundation Model for Components and Their Composition.
FMCO 2002: 33-70 |
| 42 | EE | Farhad Arbab,
Jan J. M. M. Rutten:
A Coinductive Calculus of Component Connectors.
WADT 2002: 34-55 |
| 41 | EE | Richard Banach,
Farhad Arbab,
George A. Papadopoulos,
John R. W. Glauert:
IWIM Semantics via Fibred Automata.
Electr. Notes Theor. Comput. Sci. 66(4): (2002) |
| 40 | EE | 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 |
|---|
| 39 | EE | C. T. H. Everaars,
Farhad Arbab,
Barry Koren:
Using Coordination to Restructure Sequential Source Code into a Concurrent Program.
ICSM 2001: 342- |
| 38 | | Farhad Arbab:
Panta Rei (Everything Flows): A Calculus of Channels.
JISBD 2001: 5 |
| 37 | | Eric Monfroy,
Farhad Arbab:
Constraints Solving as the Coordination of Inference Engines.
Coordination of Internet Agents: Models, Technologies, and Applications 2001: 399-419 |
| 36 | EE | Farhad Arbab:
Coordination of Mobile Components.
Electr. Notes Theor. Comput. Sci. 54: (2001) |
| 35 | EE | 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 |
|---|
| 34 | EE | Farhad Arbab,
Eric Monfroy:
Distributed Splitting of Constraint Satisfaction Problems.
COORDINATION 2000: 115-132 |
| 33 | EE | Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue:
A Logical Interface Description Language for Components.
COORDINATION 2000: 249-266 |
| 32 | EE | George A. Papadopoulos,
Farhad Arbab:
Dynamic Reconfiguration in Coordination Languages.
HPCN Europe 2000: 197-206 |
| 31 | | Farhad Arbab,
Marcello M. Bonsangue,
Frank S. de Boer:
A Coordination Lanuage for Mobile Components.
SAC (1) 2000: 166-173 |
| 30 | | 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) |
| 29 | | Pascal Bouvry,
Farhad Arbab,
Franciszek Seredynski:
Distributed Evolutionary Optimization, in Manifold: Rosenbrock's Function Case Study.
Inf. Sci. 122(2-4): 141-159 (2000) |
| 28 | EE | 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 |
|---|
| 27 | | C. T. H. Everaars,
Barry Koren,
Farhad Arbab:
Dynamic Process Composition and Communication Patterns in Irregularly Structured Applications.
IPPS/SPDP Workshops 1999: 1046-1054 |
| 26 | | Farhad Arbab:
Coordination Programming for Parallel and Distributed Applications.
PDPTA 1999: 1-10 |
| 1998 |
|---|
| 25 | | Farhad Arbab:
Coordination and its Relevance.
DEXA Workshop 1998: 529-535 |
| 24 | | George A. Papadopoulos,
Farhad Arbab:
Modeling Electronic Commerce Activities Using Control-Driven Coordination.
DEXA Workshop 1998: 583-588 |
| 23 | EE | Farhad Arbab,
Eric Monfroy:
Using coordination for cooperative constraint solving.
SAC 1998: 139-148 |
| 22 | EE | George A. Papadopoulos,
Farhad Arbab:
Modelling activities in information systems using the coordination language MANIFOLD.
SAC 1998: 185-193 |
| 21 | | George A. Papadopoulos,
Farhad Arbab:
Coordination Models and Languages.
Advances in Computers 46: 330-401 (1998) |
| 20 | | Farhad Arbab,
Paolo Ciancarini,
Chris Hankin:
Coordination Languages for Parallel Programming.
Parallel Computing 24(7): 989-1004 (1998) |
| 19 | | 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 |
|---|
| 18 | | George A. Papadopoulos,
Farhad Arbab:
Control-Based Coordination of Human and Other Activities in Cooperative Information Systems.
COORDINATION 1997: 422-425 |
| 17 | | Franciszek Seredynski,
Pascal Bouvry,
Farhad Arbab:
Parallel Evolutionary Computation: Multi Agents Genetic Algorithms.
Euro-PDS 1997: 293-298 |
| 16 | EE | Farhad Arbab:
The Influence of Coordination on Program Structure.
HICSS (1) 1997: 300-309 |
| 15 | | George A. Papadopoulos,
Farhad Arbab:
Control-Driven Coordination Programming in Shared Dataspace.
PaCT 1997: 247-261 |
| 14 | | Franciszek Seredynski,
Pascal Bouvry,
Farhad Arbab:
Parallel and Distributed Evolutionary Computation with MANIFOLD.
PaCT 1997: 94-108 |
| 1996 |
|---|
| 13 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Tetsuo Tomiyama,
Farhad Arbab:
Guest editors' introduction : Features and geometric reasoning.
Computers & Graphics 14(2): 147-148 (1990) |
