Edit Profile (opens in new tab) Arbab, Farhad Compute Distance To: Compute Author ID: arbab.farhad Published as: Arbab, Farhad; Arbab, F. Documents Indexed: 42 Publications since 1992 10 Contributions as Editor Biographic References: 1 Publication Co-Authors: 44 Co-Authors with 44 Joint Publications 828 Co-Co-Authors all top 5 Co-Authors 6 single-authored 10 Sirjani, Marjan 5 Jongmans, Sung-Shik T. Q. 5 Meng, Sun 4 Clarke, Dave 4 Lazovik, Alexander 4 Rutten, Jan J. M. M. 3 Baier, Christel 3 Dokter, Kasper 2 Bliudze, Simon 2 Bonsangue, Marcello Maria 2 de Boer, Frank S. 2 Hojjat, Hossein 2 Krause, Christian 2 Pourvatan, Bahman 2 Proença, José 2 Talcott, Carolyn L. 1 Aichernig, Bernhard K. 1 Aştefănoaei, Lăcrămioara 1 Bouvry, Pascal 1 Bruni, Roberto 1 Ciancarini, Paolo 1 Costa, David Goldstein 1 de Bakker, Jacobus W. 1 Goldin, Dina Q. 1 Guillen-Scholten, Juan 1 Hankin, Chris L. 1 Hansen, Allan 1 Helvensteijn, Michiel 1 Khakpour, Narges 1 Köhler, Christian 1 Lanese, Ivan 1 Maraikar, Ziyan 1 Mavaddat, Farhad 1 Montanari, Ugo G. 1 Moon, Young-Joo 1 Papadopoulos, George A. 1 Rutten, Eric 1 Scutellà, A. 1 Seredyński, Franciszek 1 Silva, Alexandra 1 Sun, Meng 1 Tomiyama, T. 1 Yadav, Maneesh K. 1 Zoeteweij, Peter all top 5 Serials 10 Science of Computer Programming 5 Lecture Notes in Computer Science 4 Fundamenta Informaticae 1 Information Sciences 1 Theoretical Computer Science 1 Parallel Computing 1 ACM Transactions on Graphics 1 CWI Quarterly 1 Formal Aspects of Computing 1 FGCS. Future Generation Computer Systems 1 MSCS. Mathematical Structures in Computer Science 1 Electronic Notes in Theoretical Computer Science 1 Logical Methods in Computer Science 1 Scientific Annals of Computer Science 1 Journal of Logical and Algebraic Methods in Programming all top 5 Fields 51 Computer science (68-XX) 10 General and overarching topics; collections (00-XX) 2 Mathematical logic and foundations (03-XX) 2 Systems theory; control (93-XX) 1 Quantum theory (81-XX) 1 Relativity and gravitational theory (83-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 30 Publications have been cited 208 times in 94 Documents Cited by ▼ Year ▼ Reo: a channel-based coordination model for component composition. Zbl 1085.68552Arbab, Farhad 62 2004 Modeling component connectors in Reo by constraint automata. Zbl 1105.68058Baier, Christel; Sirjani, Marjan; Arbab, Farhad; Rutten, Jan 36 2006 A coinductive calculus of component connectors. Zbl 1278.68200Arbab, F.; Rutten, J. J. M. M. 19 2003 Connector colouring. I: Synchronisation and context dependency. Zbl 1121.68015Clarke, Dave; Costa, David; Arbab, Farhad 16 2007 Abstract behavior types: a foundation model for components and their composition. Zbl 1075.68014Arbab, Farhad 12 2005 Tiles for Reo. Zbl 1253.68090Arbab, Farhad; Bruni, Roberto; Clarke, Dave; Lanese, Ivan; Montanari, Ugo 7 2009 Modeling dynamic reconfigurations in Reo using high-level replacement systems. Zbl 1211.68052Krause, Christian; Maraikar, Ziyan; Lazovik, Alexander; Arbab, Farhad 7 2011 Connector rewriting with high-level replacement systems. Zbl 1277.68193Koehler, Christian; Lazovik, Alexander; Arbab, Farhad 7 2008 An algorithm for generating NC tool paths for arbitrarily shaped pockets with islands. Zbl 0757.68063Hansen, Allan; Arbab, Farhad 6 1992 Abstract behavior types: a foundation model for components and their composition. Zbl 1254.68071Arbab, Farhad 5 2003 Configuration and dynamic reconfiguration of components using the coordination paradigm. Zbl 1032.68053Papadopoulos, G. A.; Arbab, F. 3 2001 QoS-driven service selection and composition using quantitative constraint automata. Zbl 1214.68081Meng, Sun; Arbab, Farhad 3 2009 Coordination through channel composition. Zbl 1053.68800Arbab, Farhad; Mavaddat, Farhad 3 2002 Composition of interacting computations. Zbl 1266.68089Arbab, Farhad 3 2006 Deconstructing image. Zbl 1347.68077Clarke, Dave; Proença, José; Lazovik, Alexander; Arbab, Farhad 3 2009 Synthesis of Reo circuits from scenario-based interaction specifications. Zbl 1237.68064Meng, Sun; Arbab, Farhad; Baier, Christel 2 2011 A transition system semantics for the control-driven coordination language MANIFOLD. Zbl 0954.68107Bonsangue, M. M.; Arbab, F.; de Bakker, J. W.; Rutten, J. J. M. M.; Scutellà, A. 1 2000 Distributed evolutionary optimization, in manifold: Rosenbrock’s function case study. Zbl 1147.68621Bouvry, Pascal; Arbab, Farhad; Seredynski, Franciszek 1 2000 Channel-based coordination via constraint satisfaction. Zbl 1220.68049Clarke, Dave; Proença, José; Lazovik, Alexander; Arbab, Farhad 1 2011 Coordination languages for parallel programming. Zbl 0908.68083Arbab, F.; Ciancarini, P.; Hankin, C. 1 1998 Relating BIP and Reo. Zbl 1433.68093Dokter, Kasper; Jongmans, Sung-Shik; Arbab, Farhad; Bliudze, Simon 1 2015 Connectors as designs. Zbl 1364.68140Meng, Sun; Arbab, Farhad 1 2009 Automated analysis of Reo circuits using symbolic execution. Zbl 1364.68142Pourvatan, Bahman; Sirjani, Marjan; Hojjat, Hossein; Arbab, Farhad 1 2009 On resource-sensitive timed component connectors. Zbl 1202.68070Meng, Sun; Arbab, Farhad 1 2007 Overview of thirty semantic formalisms for Reo. Zbl 1424.68105Jongmans, Sung-Shik T. Q.; Arbab, Farhad 1 2012 A compositional model to reason about end-to-end QoS in stochastic Reo connectors. Zbl 1412.68065Moon, Young-Joo; Silva, Alexandra; Krause, Christian; Arbab, Farhad 1 2014 Connectors as designs: modeling, refinement and test case generation. Zbl 1242.68070Meng, Sun; Arbab, Farhad; Aichernig, Bernhard K.; Aştefănoaei, Lăcrămioara; de Boer, Frank S.; Rutten, Jan 1 2012 Combine and conquer: relating BIP and Reo. Zbl 1353.68201Dokter, Kasper; Jongmans, Sung-Shik; Arbab, Farhad; Bliudze, Simon 1 2017 Synthesis of Reo circuits from scenario-based specifications. Zbl 1347.68024Arbab, Farhad; Sun, Meng; Baier, Christel 1 2009 Soft agents: exploring soft constraints to model robust adaptive distributed cyber-physical agent systems. Zbl 1454.68148Talcott, Carolyn; Arbab, Farhad; Yadav, Maneesh 1 2015 Combine and conquer: relating BIP and Reo. Zbl 1353.68201Dokter, Kasper; Jongmans, Sung-Shik; Arbab, Farhad; Bliudze, Simon 1 2017 Relating BIP and Reo. Zbl 1433.68093Dokter, Kasper; Jongmans, Sung-Shik; Arbab, Farhad; Bliudze, Simon 1 2015 Soft agents: exploring soft constraints to model robust adaptive distributed cyber-physical agent systems. Zbl 1454.68148Talcott, Carolyn; Arbab, Farhad; Yadav, Maneesh 1 2015 A compositional model to reason about end-to-end QoS in stochastic Reo connectors. Zbl 1412.68065Moon, Young-Joo; Silva, Alexandra; Krause, Christian; Arbab, Farhad 1 2014 Overview of thirty semantic formalisms for Reo. Zbl 1424.68105Jongmans, Sung-Shik T. Q.; Arbab, Farhad 1 2012 Connectors as designs: modeling, refinement and test case generation. Zbl 1242.68070Meng, Sun; Arbab, Farhad; Aichernig, Bernhard K.; Aştefănoaei, Lăcrămioara; de Boer, Frank S.; Rutten, Jan 1 2012 Modeling dynamic reconfigurations in Reo using high-level replacement systems. Zbl 1211.68052Krause, Christian; Maraikar, Ziyan; Lazovik, Alexander; Arbab, Farhad 7 2011 Synthesis of Reo circuits from scenario-based interaction specifications. Zbl 1237.68064Meng, Sun; Arbab, Farhad; Baier, Christel 2 2011 Channel-based coordination via constraint satisfaction. Zbl 1220.68049Clarke, Dave; Proença, José; Lazovik, Alexander; Arbab, Farhad 1 2011 Tiles for Reo. Zbl 1253.68090Arbab, Farhad; Bruni, Roberto; Clarke, Dave; Lanese, Ivan; Montanari, Ugo 7 2009 QoS-driven service selection and composition using quantitative constraint automata. Zbl 1214.68081Meng, Sun; Arbab, Farhad 3 2009 Deconstructing image. Zbl 1347.68077Clarke, Dave; Proença, José; Lazovik, Alexander; Arbab, Farhad 3 2009 Connectors as designs. Zbl 1364.68140Meng, Sun; Arbab, Farhad 1 2009 Automated analysis of Reo circuits using symbolic execution. Zbl 1364.68142Pourvatan, Bahman; Sirjani, Marjan; Hojjat, Hossein; Arbab, Farhad 1 2009 Synthesis of Reo circuits from scenario-based specifications. Zbl 1347.68024Arbab, Farhad; Sun, Meng; Baier, Christel 1 2009 Connector rewriting with high-level replacement systems. Zbl 1277.68193Koehler, Christian; Lazovik, Alexander; Arbab, Farhad 7 2008 Connector colouring. I: Synchronisation and context dependency. Zbl 1121.68015Clarke, Dave; Costa, David; Arbab, Farhad 16 2007 On resource-sensitive timed component connectors. Zbl 1202.68070Meng, Sun; Arbab, Farhad 1 2007 Modeling component connectors in Reo by constraint automata. Zbl 1105.68058Baier, Christel; Sirjani, Marjan; Arbab, Farhad; Rutten, Jan 36 2006 Composition of interacting computations. Zbl 1266.68089Arbab, Farhad 3 2006 Abstract behavior types: a foundation model for components and their composition. Zbl 1075.68014Arbab, Farhad 12 2005 Reo: a channel-based coordination model for component composition. Zbl 1085.68552Arbab, Farhad 62 2004 A coinductive calculus of component connectors. Zbl 1278.68200Arbab, F.; Rutten, J. J. M. M. 19 2003 Abstract behavior types: a foundation model for components and their composition. Zbl 1254.68071Arbab, Farhad 5 2003 Coordination through channel composition. Zbl 1053.68800Arbab, Farhad; Mavaddat, Farhad 3 2002 Configuration and dynamic reconfiguration of components using the coordination paradigm. Zbl 1032.68053Papadopoulos, G. A.; Arbab, F. 3 2001 A transition system semantics for the control-driven coordination language MANIFOLD. Zbl 0954.68107Bonsangue, M. M.; Arbab, F.; de Bakker, J. W.; Rutten, J. J. M. M.; Scutellà, A. 1 2000 Distributed evolutionary optimization, in manifold: Rosenbrock’s function case study. Zbl 1147.68621Bouvry, Pascal; Arbab, Farhad; Seredynski, Franciszek 1 2000 Coordination languages for parallel programming. Zbl 0908.68083Arbab, F.; Ciancarini, P.; Hankin, C. 1 1998 An algorithm for generating NC tool paths for arbitrarily shaped pockets with islands. Zbl 0757.68063Hansen, Allan; Arbab, Farhad 6 1992 all cited Publications top 5 cited Publications all top 5 Cited by 171 Authors 14 Arbab, Farhad 7 Bliudze, Simon 7 Bruni, Roberto 6 Baier, Christel 6 Clarke, Dave 6 Montanari, Ugo G. 6 Sifakis, Joseph 6 Talcott, Carolyn L. 5 Lazovik, Alexander 5 Sirjani, Marjan 4 Klüppelholz, Sascha 4 Krause, Christian 4 Lanese, Ivan 4 Melgratti, Hernán 4 Meng, Sun 4 Ren, Shangping 3 Baranov, Eduard 3 de Vink, Erik P. 3 Proença, José 3 Rutten, Jan J. M. M. 2 Aichernig, Bernhard K. 2 Barbosa, Luís Soares 2 Bonsangue, Marcello Maria 2 Bozga, Marius 2 Bresolin, Davide 2 Dokter, Kasper 2 Izadi, Mohammad A. 2 Jaber, Mohamad Y. 2 Jongmans, Sung-Shik T. Q. 2 Klein, Joachim 2 Kokash, Natallia 2 Lee, Edward Ashford 2 Silva, Alexandra 1 Aceto, Luca 1 Achermann, Franz 1 Aiello, Marco 1 Andova, Suzana 1 Antonino, Pedro 1 Arya, Sunil 1 Aştefănoaei, Lăcrămioara 1 Attie, Paul C. 1 Barbosa, Marco Antonio 1 Bayram, Ergin 1 Bensalem, Saddek 1 Berberich, Eric 1 Bhattacharyya, Anirban 1 Bibel, Wolfgang 1 Blechmann, Tobias 1 Bodei, Chiara 1 Bodeveix, Jean-Paul 1 Bonakdarpour, Borzoo 1 Brandt, Christoph 1 Brodo, Linda 1 Brogi, Antonio 1 Bukhari, Faisal Fareed 1 Bulling, Nils 1 Cambronero, María Emilia 1 Casadei, Roberto 1 Cassel, Sofia 1 Cheng, Siu-Wing 1 Corradini, Andrea 1 Dailey, Matthew N. 1 Dastani, Mehdi M. 1 de Bakker, Jacobus W. 1 de Boer, Frank S. 1 de Melo, Ana C. V. 1 De Nicola, Rocco 1 Di, Xiaofeng 1 Diaz, Gregorio 1 Dong, Ruzhen 1 Ehrig, Hartmut 1 Ehrig, Karsten 1 Ermel, Claudia 1 Evrard, Hugues 1 Faber, Johannes 1 Fan, Yushun 1 Fares, Elie 1 Ferrari, Gian Luigi 1 Filali, Mamoun 1 Gadducci, Fabio 1 Gibbons, Jeremy 1 Gidey, Habtom Kashay 1 Goriac, Eugen-Ioan 1 Grelck, Clemens 1 Groenewegen, Luuk P. J. 1 Güler, Fatma 1 Halperin, Dan 1 Hasuo, Ichiro 1 Hojjat, Hossein 1 Howar, Falk 1 Ingólfsdóttir, Anna 1 Jacobs, Bart 1 Jalili, Saeed 1 Jonej, Ajay 1 Jonsson, Bengt 1 Kaldeli, Eirini 1 Kasap, Emin 1 Ke, Wei 1 Kemper, Stephanie 1 Kerber, Michael ...and 71 more Authors all top 5 Cited in 24 Serials 18 Science of Computer Programming 8 Formal Aspects of Computing 7 Theoretical Computer Science 5 Journal of Logical and Algebraic Methods in Programming 4 Acta Informatica 3 Logical Methods in Computer Science 2 Artificial Intelligence 2 Computers & Mathematics with Applications 2 Information and Computation 2 MSCS. Mathematical Structures in Computer Science 1 Information Processing Letters 1 International Journal of Production Research 1 Computer Aided Geometric Design 1 Discrete & Computational Geometry 1 International Journal of Parallel Programming 1 International Journal of Computational Geometry & Applications 1 International Journal of Computer Mathematics 1 Distributed Computing 1 Journal of Mathematical Imaging and Vision 1 Formal Methods in System Design 1 Applied Mathematics. Series B (English Edition) 1 Theory and Practice of Logic Programming 1 International Journal of Geometric Methods in Modern Physics 1 Mathematics in Computer Science all top 5 Cited in 11 Fields 89 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 4 Operations research, mathematical programming (90-XX) 3 Numerical analysis (65-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Algebraic geometry (14-XX) 1 Category theory; homological algebra (18-XX) 1 Convex and discrete geometry (52-XX) 1 Differential geometry (53-XX) 1 Probability theory and stochastic processes (60-XX) 1 Systems theory; control (93-XX) Citations by Year