Follow
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
452008
Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations: A Process Algebra Perspective
M Mazzara, F Abouzaid, N Dragoni, A Bhattacharyya
Web Services and Formal Methods: 8th International Workshop, WS-FM 2011 …, 2012
312012
Model-checking web services orchestrations using bp-calculus
F Abouzaid, J Mullins
Electronic Notes in Theoretical Computer Science 255, 3-21, 2009
192009
A mapping from pi-calculus into BPEL
F Abouzaid
Frontiers in artificial intelligence and applications 143, 235, 2006
172006
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
142013
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
102011
Formal specification of correlation in WS orchestrations using BP-calculus
F Abouzaid, J Mullins
Electronic Notes in Theoretical Computer Science 260, 3-24, 2010
102010
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations.
F Abouzaid
Computer Supported Acitivity Coordination, 23-34, 2006
72006
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
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
22007
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
Formal Specification of Correlation patterns for WS-BPEL
F Abouzaid, J Mullins
2009
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–20