<  Back to the Polytechnique Montréal portal

Items where Author is "Abouzaid, Faisal"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: A | M
Number of items: 6.

A

Abouzaid, F., Mullins, J., Mazzara, M., & Dragoni, N. (2012, June). Modelling and analysis of dynamic reconfiguration in BP-calculus [Paper]. 6th KES International Conference on Agent and Multi-Agent Systems: Technologies and Applications (KES-AMSTA 2012), Dubrovnik, Croatia. External link

Abouzaid, F., & Mullins, J. (2008, September). Formal Specification of Correlation in WS Orchestrations Using BP-calculus [Paper]. 5th International Workshop on Formal Aspects of Component Software (FACS 2008), Malaga, Spain. Published in Electronic Notes in Theoretical Computer Science, 260. External link

Abouzaid, F., & Mullins, J. (2009, July). Model-checking Web Services Orchestrations using BP-calculus [Paper]. 8th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2009), Rhodes, Greece. Published in Electronic Notes in Theoretical Computer Science, 255. External link

Abouzaid, F., & Mullins, J. (2007, December). A Calculus for Generation, Verification and Refinement of BPEL Specifications [Paper]. 3rd International Workshop on Automated Specification and Verification of Web Systems (WWV 2007), Venice, Italy. Published in Electronic Notes in Theoretical Computer Science, 200(3). External link

M

Mazzara, M., Abouzaid, F., Dragoni, N., & Bhattacharyya, A. (2011, September). Toward design, modelling and analysis of dynamic workflow reconfigurations: A process algebra perspective [Paper]. 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, Clermont-Ferrand, France. External link

Mazzara, M., Abouzaid, F., Dragoni, N., & Bhattacharyya, A. (2011, June). Design, modelling and analysis of a workflow reconfiguration [Paper]. International Workshop on Petri Nets and Software Engineering 2011, PNSE 2011, Newcastle upon Tyne, United kingdom. Unavailable

List generated on: Thu Feb 22 08:50:42 2024 EST