Faisal Abouzaid

According to our database, Faisal Abouzaid authored at least 12 papers between 2004 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Towards a formal analysis of dynamic reconfiguration in WS-BPEL.

Faisal Abouzaid, Manuel Mazzara, John Mullins, Nafees Qamar

Intell. Decis. Technol., 2013

2012

Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus.

Faisal Abouzaid, John Mullins, Manuel Mazzara, Nicola Dragoni

Proceedings of the Agent and Multi-Agent Systems. Technologies and Applications, 2012

2011

Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations - A Process Algebra Perspective.

Manuel Mazzara, Faisal Abouzaid, Nicola Dragoni, Anirban Bhattacharyya

Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011

Design, Modelling and Analysis of a Workflow Reconfiguration.

Manuel Mazzara, Faisal Abouzaid, Nicola Dragoni, Anirban Bhattacharyya

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011

2009

Model-checking Web Services Orchestrations using BP-calculus.

Faisal Abouzaid, John Mullins

Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2009

2008

Formal Specification of Correlation in WS Orchestrations Using BP-calculus.

Faisal Abouzaid, John Mullins

Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008

2007

A Calculus for Generation, Verification and Refinement of BPEL Specifications.

Faisal Abouzaid, John Mullins

Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, 2007

Blender plugin implementations for 3D collaborative work.

Martin Lesage, Omar Cherkaoui, Faysal Abouzaid, Martin Poirier, Gilles Raîche, Martin Riopel

Proceedings of the IEEE International Conference on Systems, 2007

A Blender Plugin for Collaborative Work on the Articiel Platform.

Martin Lesage, Omar Cherkaoui, Faysal Abouzaid, Martin Poirier, Gilles Raîche

Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007

2006

A Mapping from Pi-Calculus into BPEL.

Faisal Abouzaid

Proceedings of the Leading the Web in Concurrent Engineering. Next Generation Concurrent Engineering, 2006

Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations.

Faisal Abouzaid

Proceedings of the Computer Supported Activity Coordination, 2006

2004

ARTICIEL: A supporting platform for collaborative work - Application to the creation of 3D-persons.

Sabri Boutemedjet, Faysal Abouzaid, Omar Cherkaoui, Gilles Gauthier

Proceedings of the Computer Supported Activity Coordination, 2004