Faisal Abouzaid
Faisal Abouzaid
Associate Researcher - Computer Science, Polytechnic School of Montreal
Verified email at polymtl.ca - Homepage
Title
Cited by
Cited by
Year
A calculus for generation, verification and refinement of bpel specifications
F Abouzaid, J Mullins
Electronic Notes in Theoretical Computer Science 200 (3), 43-65, 2008
412008
Toward design, modelling and analysis of dynamic workflow reconfigurations
M Mazzara, F Abouzaid, N Dragoni, A Bhattacharyya
International Workshop on Web Services and Formal Methods, 64-78, 2011
272011
Model-checking web services orchestrations using bp-calculus
F Abouzaid, J Mullins
Electronic Notes in Theoretical Computer Science 255, 3-21, 2009
172009
A mapping from pi-calculus into bpel
F Abouzaid
Frontiers in artificial intelligence and applications 143, 235, 2006
142006
Towards a formal analysis of dynamic reconfiguration in WS-BPEL
F Abouzaid, M Mazzara, J Mullins, N Qamar
Intelligent Decision Technologies 7 (3), 213-224, 2013
132013
Design, modelling and analysis of a workflow reconfiguration
M Mazzara, F Abouzaid, N Dragoni, A Bhattacharyya
School of Computing Science Technical Report Series, 2011
112011
A case study of workflow reconfiguration: Design, modelling, analysis and implementation
F Abouzaid, A Bhattacharyya, N Dragoni, JS Fitzgerald, M Mazzara, ...
School of Computing Science Technical Report Series, 2011
92011
Formal specification of correlation in WS orchestrations using BP-calculus
F Abouzaid, J Mullins
Electronic Notes in Theoretical Computer Science 260, 3-24, 2010
82010
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations.
F Abouzaid
Computer Supported Acitivity Coordination, 23-34, 2006
62006
Modelling and analysis of dynamic reconfiguration in bp-calculus
F Abouzaid, J Mullins, M Mazzara, N Dragoni
KES International Symposium on Agent and Multi-Agent Systems: Technologies …, 2012
42012
ARTICIEL: A supporting platform for collaborative work-Application to the creation of 3D-persons.
S Boutemedjet, F Abouzaid, O Cherkaoui, G Gauthier
Computer Supported Acitivity Coordination, 239-245, 2004
42004
Merging contributions in cooperative creation of 3D persons
F Abouzaid, O Cherkaoui, S Boutemedjet, G Lemire, G Gauthier
International Symposium on Collaborative Technologies and Systems (CTS’04 …, 2004
42004
Translating bp-calculus specifications to verified bpel code: A proof of correctness
F Abouzaid, J Mullins
Technical report, Ecole Polytechnique de Montreal, www. polymtl. ca/crac …, 2009
12009
Blender Plugin Implementations for 3D Collaborative Work
M Lesage, O Cherkaoui, F Abouzaid, M Poirier, G Raîche, M Riopel
2007 IEEE International Conference on Systems, Man and Cybernetics, 2557-2569, 2007
12007
A framework for Automatic Generation of Verified Business Process Orchestrations
F Abouzaid
Practical Approaches for Software Adaptation, 15, 2007
2007
A Blender Plugin for Collaborative Work on the Artificiel Platform
M Lesage, O Cherkaoui, F Abouzaid, M Poirier, G Raîche
2007
PLUGIN_BLENDER 1.0
F Abouzaid, M Lesage, M Poirier
Revue Formelle Date 25, 02, 2005
2005
Towards a formal analysis of dynamic reconfiguration in WS-BPEL services
F Abouzaid, M Mazzara, J Mullins, N Qamar
Translating BP-calculus specifications to Verified BPEL Code
MF Abouzaid, J Mullins
The system can't perform the operation now. Try again later.
Articles 1–19