×

zbMATH — the first resource for mathematics

Arbab, Farhad

Compute Distance To:
Author ID: arbab.farhad Recent zbMATH articles by "Arbab, Farhad"
Published as: Arbab, F.; Arbab, Farhad
Documents Indexed: 50 Publications since 1991, including 10 Books
Biographic References: 1 Publication

Publications by Year

Citations contained in zbMATH

30 Publications have been cited 205 times in 92 Documents Cited by Year
Reo: a channel-based coordination model for component composition. Zbl 1085.68552
Arbab, Farhad
60
2004
Modeling component connectors in Reo by constraint automata. Zbl 1105.68058
Baier, Christel; Sirjani, Marjan; Arbab, Farhad; Rutten, Jan
35
2006
A coinductive calculus of component connectors. Zbl 1278.68200
Arbab, F.; Rutten, J. J. M. M.
19
2003
Connector colouring. I: Synchronisation and context dependency. Zbl 1121.68015
Clarke, Dave; Costa, David; Arbab, Farhad
16
2007
Abstract behavior types: a foundation model for components and their composition. Zbl 1075.68014
Arbab, Farhad
12
2005
Tiles for Reo. Zbl 1253.68090
Arbab, Farhad; Bruni, Roberto; Clarke, Dave; Lanese, Ivan; Montanari, Ugo
7
2009
Connector rewriting with high-level replacement systems. Zbl 1277.68193
Koehler, Christian; Lazovik, Alexander; Arbab, Farhad
7
2008
Modeling dynamic reconfigurations in Reo using high-level replacement systems. Zbl 1211.68052
Krause, Christian; Maraikar, Ziyan; Lazovik, Alexander; Arbab, Farhad
6
2011
An algorithm for generating NC tool paths for arbitrarily shaped pockets with islands. Zbl 0757.68063
Hansen, Allan; Arbab, Farhad
6
1992
Abstract behavior types: a foundation model for components and their composition. Zbl 1254.68071
Arbab, Farhad
5
2003
Deconstructing image. Zbl 1347.68077
Clarke, Dave; Proença, José; Lazovik, Alexander; Arbab, Farhad
3
2009
QoS-driven service selection and composition using quantitative constraint automata. Zbl 1214.68081
Meng, Sun; Arbab, Farhad
3
2009
Composition of interacting computations. Zbl 1266.68089
Arbab, Farhad
3
2006
Coordination through channel composition. Zbl 1053.68800
Arbab, Farhad; Mavaddat, Farhad
3
2002
Configuration and dynamic reconfiguration of components using the coordination paradigm. Zbl 1032.68053
Papadopoulos, G. A.; Arbab, F.
3
2001
Combine and conquer: relating BIP and Reo. Zbl 1353.68201
Dokter, Kasper; Jongmans, Sung-Shik; Arbab, Farhad; Bliudze, Simon
2
2017
Synthesis of Reo circuits from scenario-based interaction specifications. Zbl 1237.68064
Meng, Sun; Arbab, Farhad; Baier, Christel
2
2011
Relating BIP and Reo. Zbl 1433.68093
Dokter, 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.68148
Talcott, Carolyn; Arbab, Farhad; Yadav, Maneesh
1
2015
A compositional model to reason about end-to-end QoS in stochastic Reo connectors. Zbl 1412.68065
Moon, Young-Joo; Silva, Alexandra; Krause, Christian; Arbab, Farhad
1
2014
Overview of thirty semantic formalisms for Reo. Zbl 1424.68105
Jongmans, Sung-Shik T. Q.; Arbab, Farhad
1
2012
Connectors as designs: modeling, refinement and test case generation. Zbl 1242.68070
Meng, Sun; Arbab, Farhad; Aichernig, Bernhard K.; Aştefănoaei, Lăcrămioara; de Boer, Frank S.; Rutten, Jan
1
2012
Channel-based coordination via constraint satisfaction. Zbl 1220.68049
Clarke, Dave; Proença, José; Lazovik, Alexander; Arbab, Farhad
1
2011
Automated analysis of Reo circuits using symbolic execution. Zbl 1364.68142
Pourvatan, Bahman; Sirjani, Marjan; Hojjat, Hossein; Arbab, Farhad
1
2009
Connectors as designs. Zbl 1364.68140
Meng, Sun; Arbab, Farhad
1
2009
Synthesis of Reo circuits from scenario-based specifications. Zbl 1347.68024
Arbab, Farhad; Sun, Meng; Baier, Christel
1
2009
On resource-sensitive timed component connectors. Zbl 1202.68070
Meng, Sun; Arbab, Farhad
1
2007
Distributed evolutionary optimization, in manifold: Rosenbrock’s function case study. Zbl 1147.68621
Bouvry, Pascal; Arbab, Farhad; Seredynski, Franciszek
1
2000
A transition system semantics for the control-driven coordination language MANIFOLD. Zbl 0954.68107
Bonsangue, M. M.; Arbab, F.; de Bakker, J. W.; Rutten, J. J. M. M.; Scutellà, A.
1
2000
Coordination languages for parallel programming. Zbl 0908.68083
Arbab, F.; Ciancarini, P.; Hankin, C.
1
1998
Combine and conquer: relating BIP and Reo. Zbl 1353.68201
Dokter, Kasper; Jongmans, Sung-Shik; Arbab, Farhad; Bliudze, Simon
2
2017
Relating BIP and Reo. Zbl 1433.68093
Dokter, 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.68148
Talcott, Carolyn; Arbab, Farhad; Yadav, Maneesh
1
2015
A compositional model to reason about end-to-end QoS in stochastic Reo connectors. Zbl 1412.68065
Moon, Young-Joo; Silva, Alexandra; Krause, Christian; Arbab, Farhad
1
2014
Overview of thirty semantic formalisms for Reo. Zbl 1424.68105
Jongmans, Sung-Shik T. Q.; Arbab, Farhad
1
2012
Connectors as designs: modeling, refinement and test case generation. Zbl 1242.68070
Meng, 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.68052
Krause, Christian; Maraikar, Ziyan; Lazovik, Alexander; Arbab, Farhad
6
2011
Synthesis of Reo circuits from scenario-based interaction specifications. Zbl 1237.68064
Meng, Sun; Arbab, Farhad; Baier, Christel
2
2011
Channel-based coordination via constraint satisfaction. Zbl 1220.68049
Clarke, Dave; Proença, José; Lazovik, Alexander; Arbab, Farhad
1
2011
Tiles for Reo. Zbl 1253.68090
Arbab, Farhad; Bruni, Roberto; Clarke, Dave; Lanese, Ivan; Montanari, Ugo
7
2009
Deconstructing image. Zbl 1347.68077
Clarke, Dave; Proença, José; Lazovik, Alexander; Arbab, Farhad
3
2009
QoS-driven service selection and composition using quantitative constraint automata. Zbl 1214.68081
Meng, Sun; Arbab, Farhad
3
2009
Automated analysis of Reo circuits using symbolic execution. Zbl 1364.68142
Pourvatan, Bahman; Sirjani, Marjan; Hojjat, Hossein; Arbab, Farhad
1
2009
Connectors as designs. Zbl 1364.68140
Meng, Sun; Arbab, Farhad
1
2009
Synthesis of Reo circuits from scenario-based specifications. Zbl 1347.68024
Arbab, Farhad; Sun, Meng; Baier, Christel
1
2009
Connector rewriting with high-level replacement systems. Zbl 1277.68193
Koehler, Christian; Lazovik, Alexander; Arbab, Farhad
7
2008
Connector colouring. I: Synchronisation and context dependency. Zbl 1121.68015
Clarke, Dave; Costa, David; Arbab, Farhad
16
2007
On resource-sensitive timed component connectors. Zbl 1202.68070
Meng, Sun; Arbab, Farhad
1
2007
Modeling component connectors in Reo by constraint automata. Zbl 1105.68058
Baier, Christel; Sirjani, Marjan; Arbab, Farhad; Rutten, Jan
35
2006
Composition of interacting computations. Zbl 1266.68089
Arbab, Farhad
3
2006
Abstract behavior types: a foundation model for components and their composition. Zbl 1075.68014
Arbab, Farhad
12
2005
Reo: a channel-based coordination model for component composition. Zbl 1085.68552
Arbab, Farhad
60
2004
A coinductive calculus of component connectors. Zbl 1278.68200
Arbab, F.; Rutten, J. J. M. M.
19
2003
Abstract behavior types: a foundation model for components and their composition. Zbl 1254.68071
Arbab, Farhad
5
2003
Coordination through channel composition. Zbl 1053.68800
Arbab, Farhad; Mavaddat, Farhad
3
2002
Configuration and dynamic reconfiguration of components using the coordination paradigm. Zbl 1032.68053
Papadopoulos, G. A.; Arbab, F.
3
2001
Distributed evolutionary optimization, in manifold: Rosenbrock’s function case study. Zbl 1147.68621
Bouvry, Pascal; Arbab, Farhad; Seredynski, Franciszek
1
2000
A transition system semantics for the control-driven coordination language MANIFOLD. Zbl 0954.68107
Bonsangue, M. M.; Arbab, F.; de Bakker, J. W.; Rutten, J. J. M. M.; Scutellà, A.
1
2000
Coordination languages for parallel programming. Zbl 0908.68083
Arbab, F.; Ciancarini, P.; Hankin, C.
1
1998
An algorithm for generating NC tool paths for arbitrarily shaped pockets with islands. Zbl 0757.68063
Hansen, Allan; Arbab, Farhad
6
1992
all top 5

Cited by 168 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 Melgratti, Hernán
4 Meng, Sun
4 Ren, Shangping
3 Baranov, Eduard
3 de Vink, Erik P.
3 Izadi, Mohammad A.
3 Lanese, Ivan
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 Dokter, Kasper
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 Bresolin, Davide
1 Brodo, Linda
1 Brogi, Antonio
1 Bukhari, Faisal
1 Bulling, Nils
1 Cambronero, María Emilia
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
1 Khakpour, Narges
...and 68 more Authors

Citations by Year