Concepedia

Faisal Abouzaid

FA

Statistics

Publications

4

Citations

65

H-Index

4

Active since

2006

Affiliations

Polytechnique Montréal(Current)

Faisal Abouzaid is an author at Polytechnique Montréal specializing in automated reasoning, formal verification, and formal specification.

Top concepts

EngineeringVerificationFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSystems Engineering

Publications per year

2006–2011

4

Publications

4

A Calculus for Generation, Verification and Refinement of BPEL Specifications

Faisal Abouzaid, John Mullins · Electronic Notes in Theoretical Computer Science · 2008 · 30 citations · Full text

Web Service Specification, Engineering, Verification +23

Model-checking Web Services Orchestrations using BP-calculus

Faisal Abouzaid, John Mullins · Electronic Notes in Theoretical Computer Science · 2009 · 14 citations · Full text

Web Service Specification, Engineering, Bpel Implementations +17

A Mapping from Pi-Calculus into BPEL

Faisal Abouzaid · 2006 · 11 citations

Design, Modelling and Analysis of a Workflow Reconfiguration

Manuel Mazzara, Faisal Abouzaid, Nicola Dragoni et al. · PolyPublie (École Polytechnique de Montréal) · 2011 · 10 citations

1–4 of 4