Faisal Abouzaid

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013
Towards a formal analysis of dynamic reconfiguration in WS-BPEL.
Intell. Decis. Technol., 2013

2012
Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus.
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.
Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011

Design, Modelling and Analysis of a Workflow Reconfiguration.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011

2010
Formal Specification of Correlation in WS Orchestrations Using BP-calculus.
Electron. Notes Theor. Comput. Sci., 2010

2009
Model-checking Web Services Orchestrations using BP-calculus.
Electron. Notes Theor. Comput. Sci., 2009

2008
A Calculus for Generation, Verification and Refinement of BPEL Specifications.
Electron. Notes Theor. Comput. Sci., 2008

2007
Blender plugin implementations for 3D collaborative work.
Proceedings of the IEEE International Conference on Systems, 2007

A Blender Plugin for Collaborative Work on the Articiel Platform.
Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007

2006
A Mapping from Pi-Calculus into BPEL.
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.
Proceedings of the Computer Supported Activity Coordination, 2006

2004
ARTICIEL: A supporting platform for collaborative work - Application to the creation of 3D-persons.
Proceedings of the Computer Supported Activity Coordination, 2004


  Loading...