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

Farhad Arbab Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Marjan Sirjani: Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers Springer 2012
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSun Meng, Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer, Jan J. M. M. Rutten: Connectors as designs: Modeling, refinement and test case generation. Sci. Comput. Program. 77(7-8): 799-822 (2012)
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab: Symbolic execution of Reo circuits using constraint automata. Sci. Comput. Program. 77(7-8): 848-869 (2012)
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Marjan Sirjani: Fundamentals of software engineering (selected papers of FSEN '09). Sci. Comput. Program. 77(7-8): 887-888 (2012)
2011
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSung-Shik T. Q. Jongmans, Christian Krause, Farhad Arbab: Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models. COORDINATION 2011: 31-48
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab: Decoupled execution of synchronous coordination models via behavioural automata FOCLASA 2011: 65-79
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab: Puff, The Magic Protocol. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 169-206
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSung-Shik T. Q. Jongmans, Farhad Arbab: Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata ICE 2011: 84-103
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatallia Kokash, Farhad Arbab, Behnaz Changizi, Leonid Makhnist: Input-output Conformance Testing for Channel-based Service Connectors PACO 2011: 19-35
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Krause, Ziyan Maraikar, Alexander Lazovik, Farhad Arbab: Modeling dynamic reconfigurations in Reo using high-level replacement systems. Sci. Comput. Program. 76(1): 23-36 (2011)
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSun Meng, Farhad Arbab, Christel Baier: Synthesis of Reo circuits from scenario-based interaction specifications. Sci. Comput. Program. 76(8): 651-680 (2011)
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke, José Proença, Alexander Lazovik, Farhad Arbab: Channel-based coordination via constraint satisfaction. Sci. Comput. Program. 76(8): 681-710 (2011)
2010
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Marjan Sirjani: Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers Springer 2010
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab: Elements of Interaction. CSDM 2010: 1-28
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBahman Pourvatan, Marjan Sirjani, Farhad Arbab, Marcello M. Bonsangue: Decomposition of Constraint Automata. FACS 2010: 237-258
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab: Will the Real Service Oriented Computing Please Stand Up? FACS 2010: 277-285
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoung-Joo Moon, Alexandra Silva, Christian Krause, Farhad Arbab: A Compositional Semantics for Stochastic Reo Connectors FOCLASA 2010: 93-107
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatallia Kokash, Behnaz Changizi, Farhad Arbab: A Semantic Model for Service Composition with Coordination Time Delays. ICFEM 2010: 106-121
124no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Claudia Diamantini, Domenico Potena, Emanuele Storti: Towards Coordination Patterns for Complex Experimentations in Data Mining. SEBD 2010: 106-117
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSun Meng, Farhad Arbab: A Model for Web Service Coordination in Long-Running Transactions. SOSE 2010: 121-128
2009
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad 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
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad 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
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatallia Kokash, Farhad Arbab: Applying Reo to service coordination in long-running business transactions. SAC 2009: 1381-1382
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard 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
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Sun Meng, Christel Baier: Synthesis of Reo Circuits from Scenario-based Specifications. Electr. Notes Theor. Comput. Sci. 229(2): 21-41 (2009)
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke, José Proença, Alexander Lazovik, Farhad Arbab: Deconstructing Reo. Electr. Notes Theor. Comput. Sci. 229(2): 43-58 (2009)
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSun Meng, Farhad Arbab: Connectors as Designs. Electr. Notes Theor. Comput. Sci. 255: 119-135 (2009)
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab: Automated Analysis of Reo Circuits using Symbolic Execution. Electr. Notes Theor. Comput. Sci. 255: 137-158 (2009)
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSun Meng, Farhad Arbab: QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata. Fundam. Inform. 95(1): 103-128 (2009)
2008
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSun Meng, Farhad Arbab: QoS-driven service selection and composition. ACSD 2008: 160-169
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Sun Meng: Synthesis of Connectors from Scenario-Based Interaction Specifications. CBSE 2008: 114-129
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrzysztof R. Apt, Farhad Arbab, Huiye Ma: A Distributed Platform for Mechanism Design. CIMCA/IAWTIC/ISE 2008: 767-772
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatallia Kokash, Farhad Arbab: Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems. FMCO 2008: 21-41
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZiyan Maraikar, Alexander Lazovik, Farhad Arbab: Building Mashups for the Enterprise with SABRE. ICSOC 2008: 70-83
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Natallia Kokash, Sun Meng: Towards Using Reo for Compliance-Aware Business Process Modeling. ISoLA 2008: 108-123
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad 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
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Koehler, Farhad Arbab, Erik P. de Vink: Reconfiguring Distributed Reo Connectors. WADT 2008: 221-235
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari: Tiles for Reo. WADT 2008: 37-55
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrzysztof R. Apt, Farhad Arbab, Huiye Ma: A Distributed Platform for Mechanism Design CoRR abs/0810.3199: (2008)
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Koehler, David Costa, José Proença, Farhad Arbab: Reconfiguration of Reo Connectors Triggered by Dataflow. ECEASST 10: (2008)
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Koehler, Alexander Lazovik, Farhad Arbab: Connector Rewriting with High-Level Replacement Systems. Electr. Notes Theor. Comput. Sci. 194(4): 77-92 (2008)
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDina Q. Goldin, Farhad Arbab: Preface. Electr. Notes Theor. Comput. Sci. 203(3): 1-3 (2008)
2007
100no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad 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
99no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Marjan Sirjani: International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings Springer 2007
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad Izadi, Ali Movaghar, Farhad Arbab: Model Checking of Component Connectors. COMPSAC (1) 2007: 673-675
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Tom Chothia, Sun Meng, Young-Joo Moon: Component Connectors with QoS Guarantees. COORDINATION 2007: 286-304
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Christel Baier: Syanco 2007: international workshop on synthesis and analysis of component connectors. ESEC/SIGSOFT FSE 2007: 607-608
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Christel Baier: SYANCO 2007: international workshop on synthesis and analysis of component connectors. ESEC/SIGSOFT FSE (Companion) 2007: 607-608
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSun Meng, Farhad Arbab: On Resource-Sensitive Timed Component Connectors. FMOODS 2007: 301-316
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Lazovik, Farhad Arbab: Using Reo for Service Coordination. ICSOC 2007: 398-403
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Koehler, Alexander Lazovik, Farhad Arbab: ReoService: Coordination Modeling Tool. ICSOC 2007: 625-626
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSun Meng, Farhad Arbab: Web services choreography and orchestration in Reo and constraint automata. SAC 2007: 346-353
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab: Composition by Anonymous Third Parties. Software Composition 2007: 1
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrzysztof R. Apt, Farhad Arbab, Huiye Ma: A System for Distributed Mechanisms: Design, Implementation and Applications CoRR abs/0711.2618: (2007)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad 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)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Marjan Sirjani: Applications of Formal Methods to System Design and Verification. J. UCS 13(13): 1970-1971 (2007)
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke, David Costa, Farhad Arbab: Connector colouring I: Synchronisation and context dependency. Sci. Comput. Program. 66(3): 205-225 (2007)
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad 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
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeendert 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
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab: Compositional Semantics of an Actor-Based Language Using Constraint Automata. COORDINATION 2006: 281-297
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbbas Heydarnoori, Farhad Mavaddat, Farhad Arbab: Deploying Loosely Coupled, Component-based Applications into Distributed Environments. ECBS 2006: 93-102
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke, David Costa, Farhad Arbab: Connector Colouring I: Synchronisation and Context Dependency. Electr. Notes Theor. Comput. Sci. 154(1): 101-119 (2006)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan 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)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad 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)
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Marjan Sirjani: Preface. Electr. Notes Theor. Comput. Sci. 159: 1-2 (2006)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab: Coordination for Component Composition. Electr. Notes Theor. Comput. Sci. 160: 15-40 (2006)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbbas 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)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan 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)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenk 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)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab: A Behavioral Model for Composition of Software Components. L'OBJET 12(1): 33-76 (2006)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel 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
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi Dastani, Farhad Arbab, Frank S. de Boer: Coordination and composition in multi-agent systems. AAMAS 2005: 439-446
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad 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
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan 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
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Joost N. Kok: Compositional Construction and Reasoning Techniques for Software. J. UCS 11(10): 1577-1579 (2005)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab: Abstract Behavior Types: a foundation model for components and their composition. Sci. Comput. Program. 55(1-3): 3-52 (2005)
2004
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikunj R. Mehta, Nenad Medvidovic, Marjan Sirjani, Farhad Arbab: Modeling Behavior in Compositions of Software Architectural Primitives. ASE 2004: 371-374
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTheophilos A. Limniotes, George A. Papadopoulos, Farhad Arbab: Coordinating Web Services Using Channel Based Communication. COMPSAC 2004: 486-491
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Zoeteweij, Farhad Arbab: A Component-Based Parallel Constraint Solver. COORDINATION 2004: 307-322
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Guillen Scholten, Farhad Arbab: Coordinated Anonymous Peer-to-Peer Connections with MoCha. FIDJI 2004: 68-77
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Joost N. Kok: Interaction and Coordination of Tools for Structured Data. ISoLA 2004: 1-8
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke, David Costa, Farhad Arbab: Modelling Coordination in Biological Systems. ISoLA 2004: 9-25
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke, David Costa, Farhad Arbab: Modelling Coordination in Biological Systems. ISoLA (Preliminary proceedings) 2004: 58-66
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTheophilos A. Limniotes, George A. Papadopoulos, Farhad Arbab: Web Services: separation of concerns: computation coordination communication. SAC 2004: 492-497
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. T. H. Everaars, Farhad Arbab, Barry Koren: Modernizing Existing Software: A Case Study. SC 2004: 3
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten: Models and Temporal Logics for Timed Component Connectors. SEFM 2004: 198-207
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikolay K. Diakov, Farhad Arbab: Compositional Construction of Web Services Using Reo. WSMAI 2004: 49-58
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad 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)
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab: Reo: a channel-based coordination model for component composition. Mathematical Structures in Computer Science 14(3): 329-366 (2004)
2003
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenk 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
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan 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): 419-438 (2003)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard 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)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Khalil Drira: Introduction. The Journal of Supercomputing 24(2): 119-120 (2003)
2002
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Carolyn L. Talcott: Coordination Models and Languages, 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings Springer 2002
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Frank S. de Boer, Juan Guillen Scholten, Marcello M. Bonsangue: MoCha: A Middleware Based on Mobile Channels. COMPSAC 2002: 667-673
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Farhad Mavaddat: Coordination through Channel Composition. COORDINATION 2002: 22-39
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab: Abstract Behavior Types: A Foundation Model for Components and Their Composition. FMCO 2002: 33-70
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Jan J. M. M. Rutten: A Coinductive Calculus of Component Connectors. WADT 2002: 34-55
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert: IWIM Semantics via Fibred Automata. Electr. Notes Theor. Comput. Sci. 66(4): 1-15 (2002)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan 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): 56-66 (2002)
2001
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. T. H. Everaars, Farhad Arbab, Barry Koren: Using Coordination to Restructure Sequential Source Code into a Concurrent Program. ICSM 2001: 342-
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab: Panta Rei (Everything Flows): A Calculus of Channels. JISBD 2001: 5
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric Monfroy, Farhad Arbab: Constraints Solving as the Coordination of Inference Engines. Coordination of Internet Agents: Models, Technologies, and Applications 2001: 399-419
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab: Coordination of Mobile Components. Electr. Notes Theor. Comput. Sci. 54: 1-16 (2001)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge A. Papadopoulos, Farhad Arbab: Configuration and dynamic reconfiguration of components using the coordination paradigm. Future Generation Comp. Syst. 17(8): 1023-1038 (2001)
2000
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Eric Monfroy: Distributed Splitting of Constraint Satisfaction Problems. COORDINATION 2000: 115-132
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Frank S. de Boer, Marcello M. Bonsangue: A Logical Interface Description Language for Components. COORDINATION 2000: 249-266
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge A. Papadopoulos, Farhad Arbab: Dynamic Reconfiguration in Coordination Languages. HPCN Europe 2000: 197-206
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Marcello M. Bonsangue, Frank S. de Boer: A Coordination Lanuage for Mobile Components. SAC (1) 2000: 166-173
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. 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)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Bouvry, Farhad Arbab, Franciszek Seredynski: Distributed Evolutionary Optimization, in Manifold: Rosenbrock's Function Case Study. Inf. Sci. 122(2-4): 141-159 (2000)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello 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
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. T. H. Everaars, Barry Koren, Farhad Arbab: Dynamic Process Composition and Communication Patterns in Irregularly Structured Applications. IPPS/SPDP Workshops 1999: 1046-1054
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab: Coordination Programming for Parallel and Distributed Applications. PDPTA 1999: 1-10
1998
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab: Coordination and its Relevance. DEXA Workshop 1998: 529-535
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge A. Papadopoulos, Farhad Arbab: Modeling Electronic Commerce Activities Using Control-Driven Coordination. DEXA Workshop 1998: 583-588
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Eric Monfroy: Using coordination for cooperative constraint solving. SAC 1998: 139-148
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge A. Papadopoulos, Farhad Arbab: Modelling activities in information systems using the coordination language MANIFOLD. SAC 1998: 185-193
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge A. Papadopoulos, Farhad Arbab: Coordination Models and Languages. Advances in Computers 46: 329-400 (1998)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Paolo Ciancarini, Chris Hankin: Coordination Languages for Parallel Programming. Parallel Computing 24(7): 989-1004 (1998)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad 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
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge A. Papadopoulos, Farhad Arbab: Control-Based Coordination of Human and Other Activities in Cooperative Information Systems. COORDINATION 1997: 422-425
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranciszek Seredynski, Pascal Bouvry, Farhad Arbab: Parallel Evolutionary Computation: Multi Agents Genetic Algorithms. Euro-PDS 1997: 293-298
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab: The Influence of Coordination on Program Structure. HICSS (1) 1997: 300-309
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge A. Papadopoulos, Farhad Arbab: Control-Driven Coordination Programming in Shared Dataspace. PaCT 1997: 247-261
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranciszek Seredynski, Pascal Bouvry, Farhad Arbab: Parallel and Distributed Evolutionary Computation with MANIFOLD. PaCT 1997: 94-108
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge A. Papadopoulos, Farhad Arbab: Coordination of Systems with Real-Time Properties in Manifold. COMPSAC 1996: 50-55
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab: The IWIM Model for Coordination of Concurrent Activities. COORDINATION 1996: 34-56
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Bouvry, Farhad Arbab: VISIFOLD: A Visual Environment for a Coordination Language. COORDINATION 1996: 403-406
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. T. H. Everaars, Farhad Arbab, F. J. Burger: Restructuring sequential Fortran code into a parallel/distributed application. ICSM 1996: 13-22
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. T. H. Everaars, Farhad Arbab: Coordination of Distributed/Parallel Multi-grid Domain Decomposition. IRREGULAR 1996: 131-144
1993
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Ivan Herman, Graham J. Reynolds: An Object Model for Multimedia Programming. Comput. Graph. Forum 12(3): 101-113 (1993)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Ivan Herman, Pål Spilling: An overview of manifold and its implementation. Concurrency - Practice and Experience 5(1): 23-70 (1993)
1992
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Ivan Herman, Pål Spilling: Manifold: Concepts and Implementation. CONPAR 1992: 793-794
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Ivan Herman, Pål Spilling: Interaction Management of a Window Manager in Manifold. ICCI 1992: 197-202
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAllan 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
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTetsuo Tomiyama, Farhad Arbab: Guest editors' introduction : Features and geometric reasoning. Computers & Graphics 14(2): 147-148 (1990)
1982
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Larry Lichten, Michel A. Melkanoff: Toward CAM-oriented CAD. DAC 1982: 239-245

Coauthor Index

1Bernhard K. Aichernig [119] [141]
2Krzysztof R. Apt [89] [104] [111]
3Lacramioara Astefanoaei [107] [119] [141]
4Christel Baier [54] [56] [70] [72] [83] [85] [95] [96] [100] [118] [132]
5J. W. de Bakker (Jaco de Bakker, Jacobus W. de Bakker) [30]
6Richard Banach [43] [50]
7C. L. Blom [11] [21]
8Frank S. de Boer [33] [35] [42] [47] [51] [52] [56] [69] [70] [71] [75] [80] [85] [88] [107] [119] [141]
9Marcello M. Bonsangue [30] [33] [35] [42] [47] [51] [52] [69] [75] [80] [88] [128]
10Hans Bosma [52] [74]
11Pascal Bouvry [12] [16] [19] [31]
12Roberto Bruni [105]
13F. J. Burger [10] [11] [21]
14René van Buuren [52]
15Jan T. P. Campschroer [84]
16Behnaz Changizi [125] [134]
17Tom Chothia [97] [122]
18Paolo Ciancarini [22]
19Dave Clarke (David G. Clarke) [59] [60] [81] [86] [105] [117] [131] [137]
20David Costa [59] [60] [81] [86] [103]
21Mehdi Dastani [71] [107]
22Nikolay K. Diakov [55]
23Claudia Diamantini [124]
24Hugo W. L. ter Doest [52] [74] [84]
25Khalil Drira [49]
26C. T. H. Everaars [9] [10] [11] [21] [29] [32] [41] [57]
27John R. W. Glauert [43] [50]
28Dina Q. Goldin [68] [101]
29Luuk Groenewegen [52]
30Paul J. W. ten Hagen [3]
31Chris Hankin [22]
32Allan Hansen [4]
33Ivan Herman (Iván Herman) [3] [5] [6] [7] [8]
34Abbas Heydarnoori [76] [82]
35Hossein Hojjat [115] [140]
36Stijn Hoppenbrouwers [52]
37Maria-Eugenia Iacob [52]
38Mohammad Izadi [98]
39Mohammad Mahdi Jaghoori [83]
40Wil Janssen [52]
41Sung-Shik T. Q. Jongmans [135] [138]
42Henk Jonkers [52] [74]
43Joost N. Kok [61] [67]
44Natallia Kokash [108] [110] [120] [125] [134]
45Barry Koren [29] [32] [41] [57]
46Christian Krause (Christian Koehler, Christian Köhler) [92] [102] [103] [106] [126] [133] [138]
47Marta Z. Kwiatkowska [121]
48Ivan Lanese [105]
49Marc M. Lankhorst [52] [74] [84] [88]
50Alexander Lazovik [92] [93] [102] [109] [117] [131] [133]
51Diederik van Leeuwen [52]
52Larry Lichten [1]
53Theophilos A. Limniotes [58] [64]
54Michael Luck [68]
55Huiye Ma [89] [104] [111]
56Leonid Makhnist [134]
57Ziyan Maraikar [109] [133]
58Farhad Mavaddat [46] [76] [82]
59Peter McBurney [68]
60Nenad Medvidovic [65]
61Nikunj R. Mehta [65]
62Robert D. van der Mei (Rob van der Mei) [122]
63Michel A. Melkanoff [1]
64Sun Meng [91] [94] [97] [108] [112] [113] [114] [116] [118] [119] [121] [122] [123] [132] [141]
65John-Jules Ch. Meyer [107]
66Eric Monfroy [25] [36] [39]
67Ugo Montanari [105]
68Young-Joo Moon [97] [121] [122] [126]
69Mohammad Reza Mousavi [79]
70Ali Movaghar-Rahimabadi (Ali Movaghar) [98]
71George Angelos Papadopoulos (George A. Papadopoulos) [14] [15] [17] [20] [23] [24] [26] [34] [37] [43] [50] [58] [64]
72Domenico Potena [124]
73Bahman Pourvatan [115] [128] [140]
74José Proença [103] [117] [131] [137]
75Henderik Alex Proper (Erik Proper) [52] [88]
76Hongyang Qu [121]
77Graham J. Reynolds [8]
78David Stuart Robertson (David Robertson) [68]
79Jan J. M. M. Rutten [30] [44] [54] [56] [70] [72] [85] [119] [141]
80Juan Guillen Scholten [42] [47] [51] [52] [62] [69] [75] [80]
81A. Secutella [30]
82Franciszek Seredynski [16] [19] [31]
83Alexandra Silva [126]
84Marjan Sirjani [54] [65] [70] [72] [78] [79] [83] [87] [99] [115] [128] [130] [139] [140] [142]
85Dirk Soede [3]
86Pål Spilling [5] [6] [7]
87Andries Stam [52]
88Emanuele Storti [124]
89Carolyn L. Talcott [48]
90Nick A. M. Tinnemeier [107]
91Tetsuo Tomiyama [2]
92Leendert W. N. van der Torre (Leendert van der Torre, Leon van der Torre) [52] [84] [88]
93Chrétien Verhoef [122]
94Erik P. de Vink [106] [137]
95Peter Wegner [68]
96Roel Wieringa [74]
97Gert Veldhuijzen van Zanten [52]
98Gianluigi Zavattaro [30]
99Peter Zoeteweij [63]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page