dblp.uni-trier.dewww.uni-trier.de

Farhad Arbab

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
108EENatallia Kokash, Farhad Arbab: Applying Reo to service coordination in long-running business transactions. SAC 2009: 1381-1382
2008
107EESun Meng, Farhad Arbab: QoS-driven service selection and composition. ACSD 2008: 160-169
106EEFarhad Arbab, Sun Meng: Synthesis of Connectors from Scenario-Based Interaction Specifications. CBSE 2008: 114-129
105EEZiyan Maraikar, Alexander Lazovik, Farhad Arbab: Building Mashups for the Enterprise with SABRE. ICSOC 2008: 70-83
104EEFarhad Arbab, Natallia Kokash, Sun Meng: Towards Using Reo for Compliance-Aware Business Process Modeling. ISoLA 2008: 108-123
103EEFarhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer, Nick Tinnermeier: Reo Connectors as Coordination Artifacts in 2APL Systems. PRIMA 2008: 42-53
102EEKrzysztof R. Apt, Farhad Arbab, Huiye Ma: A Distributed Platform for Mechanism Design CoRR abs/0810.3199: (2008)
101EEChristian Koehler, David Costa, José Proença, Farhad Arbab: Reconfiguration of Reo Connectors Triggered by Dataflow. ECEASST 10: (2008)
100EEChristian Koehler, Alexander Lazovik, Farhad Arbab: Connector Rewriting with High-Level Replacement Systems. Electr. Notes Theor. Comput. Sci. 194(4): 77-92 (2008)
99EEDina Q. Goldin, Farhad Arbab: Preface. Electr. Notes Theor. Comput. Sci. 203(3): 1-3 (2008)
2007
98 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
97 Farhad Arbab, Marjan Sirjani: International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings Springer 2007
96EEMohammad Izadi, Ali Movaghar, Farhad Arbab: Model Checking of Component Connectors. COMPSAC (1) 2007: 673-675
95EEFarhad Arbab, Tom Chothia, Sun Meng, Young-Joo Moon: Component Connectors with QoS Guarantees. COORDINATION 2007: 286-304
94EEFarhad Arbab, Christel Baier: Syanco 2007: international workshop on synthesis and analysis of component connectors. ESEC/SIGSOFT FSE 2007: 607-608
93EEFarhad Arbab, Christel Baier: SYANCO 2007: international workshop on synthesis and analysis of component connectors. ESEC/SIGSOFT FSE (Companion) 2007: 607-608
92EESun Meng, Farhad Arbab: On Resource-Sensitive Timed Component Connectors. FMOODS 2007: 301-316
91EEAlexander Lazovik, Farhad Arbab: Using Reo for Service Coordination. ICSOC 2007: 398-403
90EEChristian Koehler, Alexander Lazovik, Farhad Arbab: ReoService: Coordination Modeling Tool. ICSOC 2007: 625-626
89EESun Meng, Farhad Arbab: Web services choreography and orchestration in Reo and constraint automata. SAC 2007: 346-353
88EEFarhad Arbab: Composition by Anonymous Third Parties. Software Composition 2007: 1
87EEKrzysztof R. Apt, Farhad Arbab, Huiye Ma: A System for Distributed Mechanisms: Design, Implementation and Applications CoRR abs/0711.2618: (2007)
86EEFarhad Arbab, Marjan Sirjani: Applications of Formal Methods to System Design and Verification. J. UCS 13(13): 1970-1971 (2007)
85EEDave Clarke, David Costa, Farhad Arbab: Connector colouring I: Synchronisation and context dependency. Sci. Comput. Program. 66(3): 205-225 (2007)
84EEFarhad 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
83EELeendert 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
82EEMarjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab: Compositional Semantics of an Actor-Based Language Using Constraint Automata. COORDINATION 2006: 281-297
81EEAbbas Heydarnoori, Farhad Mavaddat, Farhad Arbab: Deploying Loosely Coupled, Component-based Applications into Distributed Environments. ECBS 2006: 93-102
80EEDave Clarke, David Costa, Farhad Arbab: Connector Colouring I: Synchronisation and Context Dependency. Electr. Notes Theor. Comput. Sci. 154(1): 101-119 (2006)
79EEJuan 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)
78EEMohammad 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)
77EEFarhad Arbab, Marjan Sirjani: Preface. Electr. Notes Theor. Comput. Sci. 159: 1-2 (2006)
76EEFarhad Arbab: Coordination for Component Composition. Electr. Notes Theor. Comput. Sci. 160: 15-40 (2006)
75EEAbbas 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)
74EEJuan 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)
73EEHenk 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)
72EEFarhad Arbab: A Behavioral Model for Composition of Software Components. L'OBJET 12(1): 33-76 (2006)
71EEChristel 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
70EEMehdi Dastani, Farhad Arbab, Frank S. de Boer: Coordination and composition in multi-agent systems. AAMAS 2005: 439-446
69EEFarhad 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
68EEJuan 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
67EEPeter 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)
66EEFarhad Arbab, Joost N. Kok: Compositional Construction and Reasoning Techniques for Software. J. UCS 11(10): 1577-1579 (2005)
65EEFarhad Arbab: Abstract Behavior Types: a foundation model for components and their composition. Sci. Comput. Program. 55(1-3): 3-52 (2005)
2004
64EENikunj R. Mehta, Nenad Medvidovic, Marjan Sirjani, Farhad Arbab: Modeling Behavior in Compositions of Software Architectural Primitives. ASE 2004: 371-374
63EETheophilos A. Limniotes, George A. Papadopoulos, Farhad Arbab: Coordinating Web Services Using Channel Based Communication. COMPSAC 2004: 486-491
62EEPeter Zoeteweij, Farhad Arbab: A Component-Based Parallel Constraint Solver. COORDINATION 2004: 307-322
61EEJuan Guillen Scholten, Farhad Arbab: Coordinated Anonymous Peer-to-Peer Connections with MoCha. FIDJI 2004: 68-77
60EEFarhad Arbab, Joost N. Kok: Interaction and Coordination of Tools for Structured Data. ISoLA 2004: 1-8
59EEDave 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
57EETheophilos A. Limniotes, George A. Papadopoulos, Farhad Arbab: Web Services: separation of concerns: computation coordination communication. SAC 2004: 492-497
56EEC. T. H. Everaars, Farhad Arbab, Barry Koren: Modernizing Existing Software: A Case Study. SC 2004: 3
55EEFarhad 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
53EEFarhad 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)
52EEFarhad Arbab: Reo: a channel-based coordination model for component composition. Mathematical Structures in Computer Science 14(3): 329-366 (2004)
2003
51EEHenk 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
50EEJuan 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)
49EERichard 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)
48EEFarhad 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
46EEFarhad Arbab, Frank S. de Boer, Juan Guillen Scholten, Marcello M. Bonsangue: MoCha: A Middleware Based on Mobile Channels. COMPSAC 2002: 667-673
45EEFarhad Arbab, Farhad Mavaddat: Coordination through Channel Composition. COORDINATION 2002: 22-39
44EEFarhad Arbab: Abstract Behavior Types: A Foundation Model for Components and Their Composition. FMCO 2002: 33-70
43EEFarhad Arbab, Jan J. M. M. Rutten: A Coinductive Calculus of Component Connectors. WADT 2002: 34-55
42EERichard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert: IWIM Semantics via Fibred Automata. Electr. Notes Theor. Comput. Sci. 66(4): (2002)
41EEJuan 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
40EEC. 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
37EEFarhad Arbab: Coordination of Mobile Components. Electr. Notes Theor. Comput. Sci. 54: (2001)
36EEGeorge A. Papadopoulos, Farhad Arbab: Configuration and dynamic reconfiguration of components using the coordination paradigm. Future Generation Comp. Syst. 17(8): 1023-1038 (2001)
2000
35EEFarhad Arbab, Eric Monfroy: Distributed Splitting of Constraint Satisfaction Problems. COORDINATION 2000: 115-132
34EEFarhad Arbab, Frank S. de Boer, Marcello M. Bonsangue: A Logical Interface Description Language for Components. COORDINATION 2000: 249-266
33EEGeorge 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)
29EEMarcello 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
24EEFarhad Arbab, Eric Monfroy: Using coordination for cooperative constraint solving. SAC 1998: 139-148
23EEGeorge 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
17EEFarhad 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
14EEGeorge 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
13EEGeorge 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
9EEC. 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)
6EEFarhad 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
3EEAllan 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
2EEDirk 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
1EETetsuo Tomiyama, Farhad Arbab: Guest editors' introduction : Features and geometric reasoning. Computers & Graphics 14(2): 147-148 (1990)

Coauthor Index

1Krzysztof R. Apt [87] [102]
2Lacramioara Astefanoaei [103]
3Christel Baier [53] [55] [69] [71] [82] [84] [93] [94] [98]
4J. W. de Bakker (Jaco de Bakker) [29]
5Richard Banach [42] [49]
6C. L. Blom [10] [20]
7Frank S. de Boer [32] [34] [41] [46] [50] [51] [55] [68] [69] [70] [74] [79] [84] [103]
8Marcello M. Bonsangue [29] [32] [34] [41] [46] [50] [51] [68] [74] [79]
9Hans Bosma [51] [73]
10Pascal Bouvry [11] [15] [18] [30]
11F. J. Burger [9] [10] [20]
12René van Buuren [51]
13Jan T. P. Campschroer [83]
14Tom Chothia [95]
15Paolo Ciancarini [21]
16Dave Clarke [58] [59] [80] [85]
17David Costa [58] [59] [80] [85] [101]
18Mehdi Dastani [70] [103]
19Nikolay K. Diakov [54]
20Hugo W. L. ter Doest [51] [73] [83]
21Khalil Drira [48]
22C. T. H. Everaars [8] [9] [10] [20] [28] [31] [40] [56]
23John R. W. Glauert [42] [49]
24Dina Q. Goldin [67] [99]
25Luuk Groenewegen [51]
26Paul J. W. ten Hagen [2]
27Chris Hankin [21]
28Allan Hansen [3]
29Ivan Herman (Iván Herman) [2] [4] [5] [6] [7]
30Abbas Heydarnoori [75] [81]
31Stijn Hoppenbrouwers [51]
32Maria-Eugenia Iacob [51]
33Mohammad Izadi [96]
34Mohammad Mahdi Jaghoori [82]
35Wil Janssen [51]
36Henk Jonkers [51] [73]
37Christian Koehler [90] [100] [101]
38Joost N. Kok [60] [66]
39Natallia Kokash [104] [108]
40Barry Koren [28] [31] [40] [56]
41Marc M. Lankhorst [51] [73] [83]
42Alexander Lazovik [90] [91] [100] [105]
43Diederik van Leeuwen [51]
44Theophilos A. Limniotes [57] [63]
45Michael Luck [67]
46Huiye Ma [87] [102]
47Ziyan Maraikar [105]
48Farhad Mavaddat [45] [75] [81]
49Peter McBurney [67]
50Nenad Medvidovic [64]
51Nikunj R. Mehta [64]
52Sun Meng [89] [92] [95] [104] [106] [107]
53John-Jules Ch. Meyer [103]
54Eric Monfroy [24] [35] [38]
55Young-Joo Moon [95]
56Mohammad Reza Mousavi [78]
57Ali Movaghar-Rahimabadi (Ali Movaghar) [96]
58George Angelos Papadopoulos (George A. Papadopoulos) [13] [14] [16] [19] [22] [23] [25] [33] [36] [42] [49] [57] [63]
59José Proença [101]
60Henderik Alex Proper (Erik Proper) [51]
61Graham J. Reynolds [7]
62David Robertson [67]
63Jan J. M. M. Rutten [29] [43] [53] [55] [69] [71] [84]
64Juan Guillen Scholten [41] [46] [50] [51] [61] [68] [74] [79]
65A. Secutella [29]
66Franciszek Seredynski [15] [18] [30]
67Marjan Sirjani [53] [64] [69] [71] [77] [78] [82] [86] [97]
68Dirk Soede [2]
69Pål Spilling [4] [5] [6]
70Andries Stam [51]
71Carolyn L. Talcott [47]
72Nick Tinnermeier [103]
73Tetsuo Tomiyama [1]
74Leendert W. N. van der Torre (Leendert van der Torre) [51] [83]
75Peter Wegner [67]
76Roel Wieringa [73]
77Gert Veldhuijzen van Zanten [51]
78Gianluigi Zavattaro [29]
79Peter Zoeteweij [62]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)