ARTICIEL: A supporting platform for collaborative work - Application to the creation of 3D-persons. - Sabri Boutemedjet; Faysal Abouzaid; Omar Cherkaoui; Gilles Gauthier (Computer Supported Acitivity Coordination, 2004)

Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations. - Faisal Abouzaid (Computer Supported Acitivity Coordination, 2006)

A Mapping from Pi-Calculus into BPEL. - Faisal Abouzaid (CE, 2006)

A Blender Plugin for Collaborative Work on the Articiel Platform. - Martin Lesage; Omar Cherkaoui; Faysal Abouzaid; Martin Poirier; Gilles Raîche (Software Engineering Research and Practice, 2007)

Blender plugin implementations for 3D collaborative work. - Martin Lesage; Omar Cherkaoui; Faysal Abouzaid; Martin Poirier; Gilles Raîche; Martin Riopel (SMC, 2007)

A Calculus for Generation, Verification and Refinement of BPEL Specifications. - Faisal Abouzaid; John Mullins (WWV, 2007)

Formal Specification of Correlation in WS Orchestrations Using BP-calculus. - Faisal Abouzaid; John Mullins (FACS, 2008)

Model-checking Web Services Orchestrations using BP-calculus. - Faisal Abouzaid; John Mullins (FOCLASA, 2009)

Design, Modelling and Analysis of a Workflow Reconfiguration. - Manuel Mazzara; Faisal Abouzaid; Nicola Dragoni; Anirban Bhattacharyya (PNSE, 2011)

Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations - A Process Algebra Perspective. - Manuel Mazzara; Faisal Abouzaid; Nicola Dragoni; Anirban Bhattacharyya (WS-FM, 2011)

Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus. - Faisal Abouzaid; John Mullins; Manuel Mazzara; Nicola Dragoni (KES-AMSTA, 2012)

Towards a formal analysis of dynamic reconfiguration in WS-BPEL. - Faisal Abouzaid; Manuel Mazzara; John Mullins; Nafees Qamar (Intell. Decis. Technol., 2013)