F. Arbab
发表
Farhad Arbab,
Sung-Shik T. Q. Jongmans,
Sean Halle,
2014,
COORDINATION.
Farhad Arbab,
Michiel Helvensteijn,
F. Arbab,
2016,
Theory and Practice of Formal Methods.
Farhad Arbab,
Sung-Shik T. Q. Jongmans,
S. Jongmans,
2016,
Log. Methods Comput. Sci..
Farhad Arbab,
Nikolay Diakov,
F. Arbab,
2006
.
Christel Baier,
Farhad Arbab,
Frank S. de Boer,
2005,
COORDINATION.
F. Arbab,
1998
.
F. Arbab,
1995
.
Farhad Arbab,
F. Arbab,
1995
.
G. A. Papadopoulos,
F. Arbab,
2002
.
F. Arbab,
1995
.
Farhad Arbab,
Pascal Bouvry,
Franciszek Seredynski,
1997,
Euro-PDS.
C. Talcott,
F. Arbab,
Tobias Kappé,
2018
.
F. Arbab,
É. Rutten,
I. Herman,
1992
.
Farhad Arbab,
F. Arbab,
1989
.
Leendert van der Torre,
S. Hoppenbrouwers,
H. Proper,
2017,
Enterprise Architecture at Work, 4th ed..
Farhad Arbab,
Marc M. Lankhorst,
F. S. de Boer,
2005
.
Farhad Arbab,
Marcello M. Bonsangue,
Marc M. Lankhorst,
2005
.
Farhad Arbab,
Dina Q. Goldin,
F. Arbab,
2008,
Electron. Notes Theor. Comput. Sci..
Farhad Arbab,
Leon van der Torre,
Joost Jacob,
2017,
Enterprise Architecture at Work, 4th ed..
Farhad Arbab,
Ivan Herman,
F. Arbab,
1990
.
F. Arbab,
1992
.
F. Arbab,
1992
.
Farhad Arbab,
Michel A. Melkanoff,
Larry Lichten,
1982
.
Farhad Arbab,
Marjan Sirjani,
F. Arbab,
2010,
FSEN.
Farhad Arbab,
F. Arbab,
1998
.
Farhad Arbab,
Marjan Sirjani,
F. Arbab,
2012,
Sci. Comput. Program..
Farhad Arbab,
Joost N. Kok,
J. Kok,
2005,
J. Univers. Comput. Sci..
Farhad Arbab,
Farhad Mavaddat,
F. Arbab,
1997,
Lecture Notes in Computer Science.
Farhad Arbab,
Pascal Bouvry,
F. Arbab,
1996,
COORDINATION.
Farhad Arbab,
Carolyn L. Talcott,
C. Talcott,
2002
.
Farhad Arbab,
Marcello M. Bonsangue,
F. S. deBoer,
2009
.
Farhad Arbab,
Tetsuo Tomiyama,
F. Arbab,
1990,
Comput. Graph..
Christel Baier,
Farhad Arbab,
F. Arbab,
2007,
SYANCO.
Farhad Arbab,
Ivan Herman,
F. Arbab,
1990
.
Farhad Arbab,
Z. Liu,
Jiyin He,
2006
.
Farhad Arbab,
Carolyn L. Talcott,
C. Talcott,
2002
.
Farhad Arbab,
Jeannette M. Wing,
F. Arbab,
1985
.
Farhad Arbab,
Remco C. Veltkamp,
R. Veltkamp,
1991
.
Farhad Arbab,
Marjan Sirjani,
F. Arbab,
2013,
Sci. Comput. Program..
Farhad Arbab,
Peter Csaba Õlveczky,
F. Arbab,
2011
.
Farhad Arbab,
Marjan Sirjani,
F. Arbab,
2006
.
Farhad Arbab,
Marjan Sirjani,
F. Arbab,
2007
.
Farhad Arbab,
Ivan Herman,
Eric Rutten,
1992
.
Farhad Arbab,
George A. Papadopoulos,
Theophilos A. Limniotes,
2006
.
Farhad Arbab,
F. Arbab,
1999,
PDPTA.
Farhad Arbab,
P. C. Ölveczky,
F. Arbab,
2012
.
Farhad Arbab,
Telematica Instituut,
F. S. de Boer,
2006
.
Farhad Arbab,
George Angelos Papadopoulos,
G. A. Papadopoulos,
1997,
COORDINATION.
Farhad Arbab,
Marjan Sirjani,
F. Arbab,
2011
.
Farhad Arbab,
Marcello M. Bonsangue,
J. W. de Bakker,
1997
.
Farhad Arbab,
F. Arbab,
2001,
JISBD.
Farhad Arbab,
P. C. Ölveczky,
F. Arbab,
2012
.
Farhad Arbab,
F. Arbab,
2017,
ERCIM News.
Farhad Arbab,
Marjan Sirjani,
F. Arbab,
2010
.
Farhad Arbab,
Dina Q. Goldin,
F. Arbab,
2008
.
Farhad Arbab,
Ivan Herman,
F. Arbab,
1994
.
Farhad Arbab,
Meng Sun,
F. Arbab,
2009
.
F. Arbab,
1998
.
M. Bonsangue,
F. Arbab,
F. D. Boer,
2007
.
M. Bonsangue,
F. Arbab,
F. D. Boer,
2000
.
F. Arbab,
Christoph Brandt,
N. Kokash,
2013
.
F. Arbab,
Christoph Brandt,
N. Kokash,
2012
.
F. Arbab,
1995
.
Farhad Arbab,
George Angelos Papadopoulos,
G. A. Papadopoulos,
1998,
Adv. Comput..
Farhad Arbab,
Chris Hankin,
Paolo Ciancarini,
1998,
Parallel Comput..
Farhad Arbab,
F. Arbab,
2006
.
Farhad Arbab,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
2000,
Theor. Comput. Sci..
Farhad Arbab,
Barry Koren,
C. T. H. Everaars,
1999,
Concurr. Pract. Exp..
Farhad Arbab,
Sung-Shik T. Q. Jongmans,
S. Jongmans,
2015,
COORDINATION.
Farhad Arbab,
Michael Luck,
Peter McBurney,
2005,
FInCo@ETAPS.
Farhad Arbab,
Roel Wieringa,
Henk Jonkers,
2006,
Inf. Syst. Frontiers.
Farhad Arbab,
Allan Hansen,
F. Arbab,
1992,
TOGS.
Farhad Arbab,
F. Arbab,
1996,
COORDINATION.
Farhad Arbab,
Michel A. Melkanoff,
Larry Lichten,
1982,
19th Design Automation Conference.
Farhad Arbab,
Alexander Lazovik,
Ziyan Maraikar,
2011,
Sci. Comput. Program..
Farhad Arbab,
Barry Koren,
C. T. H. Everaars,
2004,
Proceedings of the ACM/IEEE SC2004 Conference.
Farhad Arbab,
Barry Koren,
C. T. H. Everaars,
2003
.
Farhad Arbab,
Barry Koren,
C. T. H. Everaars,
2001,
Proceedings IEEE International Conference on Software Maintenance. ICSM 2001.
Farhad Arbab,
Barry Koren,
C. T. H. Everaars,
2000
.
Farhad Arbab,
Eric Monfroy,
F. Arbab,
1998,
SIAP.
Farhad Arbab,
Eric Monfroy,
F. Arbab,
1998,
SAC '98.
Farhad Arbab,
F. Arbab,
1997,
Proceedings of the Thirtieth Hawaii International Conference on System Sciences.
Farhad Arbab,
C. T. H. Everaars,
F. J. Burger,
1996,
1996 Proceedings of International Conference on Software Maintenance.
Farhad Arbab,
C. T. H. Everaars,
C. L. Blom,
1996,
Softw. Pract. Exp..
Farhad Arbab,
C. T. H. Everaars,
F. Arbab,
1996,
IRREGULAR.
Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue,
2006,
Fundam. Informaticae.
Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue,
2005,
SAC '05.
Farhad Arbab,
Juan Guillen Scholten,
F. Arbab,
2004,
FIDJI.
Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue,
2003,
FOCLASA.
Farhad Arbab,
Kasper Dokter,
Sung-Shik Jongmans,
2016,
COORDINATION.
Farhad Arbab,
Roberto Bruni,
Ivan Lanese,
2009,
WADT.
Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue,
2006,
FOCLASA.
Natallia Kokash,
Farhad Arbab,
Behnaz Changizi,
2021,
Sci. Comput. Program..
Farhad Arbab,
Natallia Kokash,
Behnaz Changizi,
2019,
FSEN.
Farhad Arbab,
Marjan Sirjani,
Hossein Hojjat,
2012,
Sci. Comput. Program..
Farhad Arbab,
George Angelos Papadopoulos,
G. A. Papadopoulos,
1997,
PaCT.
Farhad Arbab,
Pål Spilling,
Ivan Herman,
1993,
Concurr. Pract. Exp..
Farhad Arbab,
Kasper Dokter,
F. Arbab,
2018,
COORDINATION.
Farhad Arbab,
Sun Meng,
F. Arbab,
2009,
Fundam. Informaticae.
Farhad Arbab,
Natallia Kokash,
F. Arbab,
2013,
IEEE Transactions on Services Computing.
Farhad Arbab,
Sung-Shik T. Q. Jongmans,
S. Jongmans,
2012,
Sci. Ann. Comput. Sci..
Farhad Arbab,
Natallia Kokash,
Behnaz Changizi,
2010,
ICFEM.
Farhad Arbab,
Marjan Sirjani,
Hossein Hojjat,
2009,
FOCLASA.
Farhad Arbab,
Sun Meng,
Natallia Kokash,
2008,
ISoLA.
Farhad Arbab,
F. Arbab,
2006,
FACS.
Farhad Arbab,
Mohammad Reza Mousavi,
Marjan Sirjani,
2006,
FOCLASA.
Christel Baier,
Farhad Arbab,
Jan J. M. M. Rutten,
2004,
Sci. Comput. Program..
Farhad Arbab,
F. Arbab,
A. Heydarnoori,
2005
.
Farhad Arbab,
Jan J. M. M. Rutten,
F. Arbab,
2002,
WADT.
Erik P. de Vink,
Farhad Arbab,
Dave Clarke,
2012,
SAC '12.
Farhad Arbab,
Ali Movaghar-Rahimabadi,
Mohammad Izadi,
2007,
31st Annual International Computer Software and Applications Conference (COMPSAC 2007).
Farhad Arbab,
Sun Meng,
F. Arbab,
2008,
2008 8th International Conference on Application of Concurrency to System Design.
Farhad Arbab,
Bernhard K. Aichernig,
Frank S. de Boer,
2012,
Sci. Comput. Program..
Farhad Arbab,
Sun Meng,
F. Arbab,
2008,
CBSE.
Farhad Arbab,
Sun Meng,
Tom Chothia,
2007,
COORDINATION.
Farhad Arbab,
Sun Meng,
F. Arbab,
2007,
FMOODS.
Farhad Arbab,
Sun Meng,
F. Arbab,
2007,
SAC '07.
Ivan Herman,
Farhad Arbab,
F. Arbab,
1994,
Future Gener. Comput. Syst..
Farhad Arbab,
Alexandra Silva,
Christian Krause,
2014,
Sci. Comput. Program..
Farhad Arbab,
Alexandra Silva,
Christian Krause,
2010,
FOCLASA.
Farhad Arbab,
Sun Meng,
Tom Chothia,
2009,
COORDINATION.
Farhad Arbab,
Bin Wang,
Bin Wang,
1992
.
Christel Baier,
Farhad Arbab,
Sun Meng,
2011,
Sci. Comput. Program..
Christel Baier,
Farhad Arbab,
Sun Meng,
2009,
FOCLASA@ICALP.
Farhad Arbab,
Kasper Dokter,
F. Arbab,
2018,
MeTRiD@ETAPS.
Farhad Arbab,
F. Arbab,
2006
.
Farhad Arbab,
Ebrahim Ardeshir-Larijani,
F. Arbab,
2018,
STAF Workshops.
Farhad Arbab,
Sung-Shik Jongmans,
Luís Cruz-Filipe,
2018,
ArXiv.
Farhad Arbab,
Frank S. de Boer,
Mehdi Dastani,
2005,
AAMAS '05.
F. Arbab,
1998
.
Farhad Arbab,
F. Arbab,
2002,
Sci. Comput. Program..
Farhad Arbab,
Sung-Shik T. Q. Jongmans,
S. Jongmans,
2015,
SFM.
Farhad Arbab,
Sun Meng,
F. Arbab,
2009,
FOCLASA.
Farhad Arbab,
Bernhard K. Aichernig,
Frank S. de Boer,
2009,
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.
F. Arbab,
A. Movaghar,
M. Izadi,
2007,
31st Annual International Computer Software and Applications Conference (COMPSAC 2007).
Farhad Arbab,
Juan Guillen Scholten,
Frank de Boer,
2002,
Formal Methods and Component Interaction @ ICALP.
Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue,
2002,
Proceedings 26th Annual International Computer Software and Applications.
Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue,
2000,
SAC '00.
Farhad Arbab,
Pål Spilling,
Ivan Herman,
1992,
Proceedings ICCI `92: Fourth International Conference on Computing and Information.
Farhad Arbab,
F. Arbab,
2011,
Formal Modeling: Actors, Open Systems, Biological Systems.
Farhad Arbab,
F. Arbab,
2010,
CSDM.
Farhad Arbab,
Marcello M. Bonsangue,
Hui Feng,
2019,
ICFEM.
Farhad Arbab,
George Angelos Papadopoulos,
G. A. Papadopoulos,
2001,
Future Gener. Comput. Syst..
Farhad Arbab,
Sung-Shik T. Q. Jongmans,
S. Jongmans,
2016,
Sci. Comput. Program..
Farhad Arbab,
Ivan Herman,
Graham J. Reynolds,
1993,
Comput. Graph. Forum.
Farhad Arbab,
Ebrahim Ardeshir-Larijani,
Alireza Farhadi,
2020,
2020 CSI/CPSSI International Symposium on Real-Time and Embedded Systems and Technologies (RTEST).
Farhad Arbab,
Carolyn L. Talcott,
Tobias Kappé,
2019,
Sci. Comput. Program..
Farhad Arbab,
Paola Inverardi,
Massimo Tivoli,
2019,
Models, Languages, and Tools for Concurrent and Distributed Programming.
Farhad Arbab,
Samir Chouali,
Benjamin Lion,
2018,
MoDELS.
Farhad Arbab,
Nikolay K. Diakov,
F. Arbab,
2018,
WSMAI.
Farhad Arbab,
Sung-Shik T. Q. Jongmans,
Tobias Kappé,
2017,
Sci. Comput. Program..
Farhad Arbab,
Sung-Shik T. Q. Jongmans,
Tobias Kappé,
2015,
FACS.
S. Jongmans,
F. Arbab,
Francesco Santini,
2015,
Service Oriented Computing and Applications.
Farhad Arbab,
Kasper Dokter,
Sung-Shik Jongmans,
2015,
ICE.
Farhad Arbab,
Sung-Shik T. Q. Jongmans,
S. Jongmans,
2015,
Service Oriented Computing and Applications.
Farhad Arbab,
Sung-Shik T. Q. Jongmans,
S. Jongmans,
2015,
FSEN.
Farhad Arbab,
Hamideh Afsarmanesh,
Francesco Santini,
2014,
Service Oriented Computing and Applications.
Farhad Arbab,
Francesco Santini,
Sung-Shik T. Q. Jongmans,
2014,
2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.
Farhad Arbab,
Francesco Santini,
Sung-Shik T. Q. Jongmans,
2013
.
Farhad Arbab,
Sung-Shik T. Q. Jongmans,
S. Jongmans,
2013
.
Farhad Arbab,
Sung-Shik T. Q. Jongmans,
S. Jongmans,
2013,
ESOCC Workshops.
Farhad Arbab,
Sung-Shik T. Q. Jongmans,
Sean Halle,
2013,
2013 Data-Flow Execution Models for Extreme Scale Computing.
Farhad Arbab,
Mohammad Mahdi Jaghoori,
Natallia Kokash,
2013,
FESCA.
Farhad Arbab,
Sung-Shik T. Q. Jongmans,
S. Jongmans,
2013,
PLACES.
Farhad Arbab,
Natallia Kokash,
Behnaz Changizi,
2012,
ICSEA 2012.
Farhad Arbab,
Hamideh Afsarmanesh,
Francesco Santini,
2012,
ESOCC.
Farhad Arbab,
Dave Clarke,
Alexander Lazovik,
2011,
Sci. Comput. Program..
Farhad Arbab,
Sung-Shik T. Q. Jongmans,
S. Jongmans,
2011,
ICE.
Erik P. de Vink,
Farhad Arbab,
Dave Clarke,
2011,
FOCLASA.
Farhad Arbab,
Natallia Kokash,
Behnaz Changizi,
2011,
PACO.
Farhad Arbab,
Christian Krause,
Sung-Shik T. Q. Jongmans,
2011,
COORDINATION.
Farhad Arbab,
Marcello M. Bonsangue,
Marjan Sirjani,
2010,
FACS.
Farhad Arbab,
Sun Meng,
F. Arbab,
2010,
2010 Fifth IEEE International Symposium on Service Oriented System Engineering.
Farhad Arbab,
Claudia Diamantini,
Domenico Potena,
2010,
SEBD.
Farhad Arbab,
Natallia Kokash,
Behnaz Changizi,
2010
.
Erik P. de Vink,
Farhad Arbab,
Christian Krause,
2009,
WADT.
Farhad Arbab,
Sun Meng,
Hongyang Qu,
2009,
ESEC/SIGSOFT FSE.
Farhad Arbab,
Natallia Kokash,
F. Arbab,
2009,
FMCO.
Farhad Arbab,
Dave Clarke,
Alexander Lazovik,
2009,
FOCLASA@ICALP.
Farhad Arbab,
Natallia Kokash,
F. Arbab,
2009,
SAC '09.
Farhad Arbab,
Frank S. de Boer,
Mehdi Dastani,
2008,
PRIMA.
Farhad Arbab,
Alexander Lazovik,
Ziyan Maraikar,
2008,
ICSOC.
Farhad Arbab,
David Costa,
José Proença,
2008,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Farhad Arbab,
Alexander Lazovik,
Christian Krause,
2008,
FOCLASA.
Farhad Arbab,
Alexander Lazovik,
F. Arbab,
2007,
ICSOC.
Farhad Arbab,
Alexander Lazovik,
Christian Krause,
2007,
ICSOC.
Christel Baier,
Farhad Arbab,
Frank S. de Boer,
2007,
Software & Systems Modeling.
Farhad Arbab,
Farhad Mavaddat,
Abbas Heydarnoori,
2006,
FACS.
Christel Baier,
Farhad Arbab,
Mohammad Mahdi Jaghoori,
2006,
COORDINATION.
Farhad Arbab,
Dave Clarke,
David Costa,
2006,
Sci. Comput. Program..
Farhad Arbab,
Farhad Mavaddat,
Abbas Heydarnoori,
2006,
13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06).
Farhad Arbab,
F. Arbab,
2005
.
Farhad Arbab,
Joost N. Kok,
J. Kok,
2004,
ISoLA.
Farhad Arbab,
Dave Clarke,
David Costa,
2004,
ISoLA.
Christel Baier,
Farhad Arbab,
Frank S. de Boer,
2004,
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
Farhad Arbab,
Nenad Medvidovic,
Marjan Sirjani,
2004,
Proceedings. 19th International Conference on Automated Software Engineering, 2004..
F. Arbab,
F. Mavaddat,
2002,
COORDINATION.
Farhad Arbab,
F. Arbab,
2016,
Theory and Practice of Formal Methods.
Farhad Arbab,
Sung-Shik T. Q. Jongmans,
S. Jongmans,
2015,
FM 2015.
Farhad Arbab,
Sung-Shik T. Q. Jongmans,
Tobias Kappé,
2015,
FM 2015.
Farhad Arbab,
Francesco Santini,
Christoph Brandt,
2012
.
Farhad Arbab,
Mohammad Mahdi Jaghoori,
Natallia Kokash,
2012
.
Farhad Arbab,
Alexandra Silva,
Andries Stam,
2011
.
F. Arbab,
N. Kokash,
S. Park,
2010
.
Farhad Arbab,
Natallia Kokash,
Behnaz Changizi,
2010
.
Farhad Arbab,
Ziyan Maraikar,
José Proença,
2008
.
Farhad Arbab,
F. Arbab,
2006,
Obj. Logiciel Base données Réseaux.
Farhad Arbab,
Nikolay Diakov,
F. Arbab,
2005
.
Farhad Arbab,
Mohammad Reza Mousavi,
Marjan Sirjani,
2004
.
Farhad Arbab,
Marjan Sirjani,
Nikunj R. Mehta,
2003
.
Farhad Arbab,
Marcello M. Bonsangue,
Frank S. de Boer,
2002
.
Farhad Arbab,
F. Arbab,
1989
.
Farhad Arbab,
Krzysztof R. Apt,
Huiye Ma,
2008,
2008 International Conference on Computational Intelligence for Modelling Control & Automation.
Farhad Arbab,
Krzysztof R. Apt,
Huiye Ma,
2007,
ArXiv.
Farhad Arbab,
Frank S. de Boer,
Leon van der Torre,
2007,
Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model..
Farhad Arbab,
Jeannette M. Wing,
F. Arbab,
1985
.
F. Arbab,
2002
.
F. Arbab,
É. Rutten,
Narges Khakpour,
2016,
Formal Aspects of Computing.
Farhad Arbab,
Hamideh Afsarmanesh,
Francesco Santini,
2013,
SEFM.