| A calculus for generation, verification and refinement of bpel specifications F Abouzaid, J Mullins Electronic Notes in Theoretical Computer Science 200 (3), 43-65, 2008 | 45 | 2008 |
| Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations: A Process Algebra Perspective M Mazzara, F Abouzaid, N Dragoni, A Bhattacharyya Web Services and Formal Methods: 8th International Workshop, WS-FM 2011 …, 2012 | 32 | 2012 |
| Model-checking web services orchestrations using bp-calculus F Abouzaid, J Mullins Electronic Notes in Theoretical Computer Science 255, 3-21, 2009 | 19 | 2009 |
| A mapping from pi-calculus into BPEL F Abouzaid Frontiers in artificial intelligence and applications 143, 235, 2006 | 17 | 2006 |
| Towards a formal analysis of dynamic reconfiguration in WS-BPEL F Abouzaid, M Mazzara, J Mullins, N Qamar Intelligent Decision Technologies 7 (3), 213-224, 2013 | 14 | 2013 |
| Design, modelling and analysis of a workflow reconfiguration M Mazzara, F Abouzaid, N Dragoni, A Bhattacharyya School of Computing Science Technical Report Series, 2011 | 11 | 2011 |
| A case study of workflow reconfiguration: Design, modelling, analysis and implementation F Abouzaid, A Bhattacharyya, N Dragoni, JS Fitzgerald, M Mazzara, ... School of Computing Science Technical Report Series, 2011 | 10 | 2011 |
| Formal specification of correlation in WS orchestrations using BP-calculus F Abouzaid, J Mullins Electronic Notes in Theoretical Computer Science 260, 3-24, 2010 | 10 | 2010 |
| Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations. F Abouzaid Computer Supported Acitivity Coordination, 23-34, 2006 | 7 | 2006 |
| Modelling and analysis of dynamic reconfiguration in bp-calculus F Abouzaid, J Mullins, M Mazzara, N Dragoni KES International Symposium on Agent and Multi-Agent Systems: Technologies …, 2012 | 4 | 2012 |
| ARTICIEL: A supporting platform for collaborative work-Application to the creation of 3D-persons. S Boutemedjet, F Abouzaid, O Cherkaoui, G Gauthier Computer Supported Acitivity Coordination, 239-245, 2004 | 4 | 2004 |
| Merging contributions in cooperative creation of 3D persons F Abouzaid, O Cherkaoui, S Boutemedjet, G Lemire, G Gauthier International Symposium on Collaborative Technologies and Systems (CTS’04 …, 2004 | 4 | 2004 |
| Blender plugin implementations for 3D collaborative work M Lesage, O Cherkaoui, F Abouzaid, M Poirier, G Raîche, M Riopel 2007 IEEE International Conference on Systems, Man and Cybernetics, 2557-2569, 2007 | 3 | 2007 |
| Translating bp-calculus specifications to verified bpel code: A proof of correctness F Abouzaid, J Mullins Technical report, Ecole Polytechnique de Montreal, www. polymtl. ca/crac …, 2009 | 1 | 2009 |
| Formal Specification of Correlation patterns for WS-BPEL F Abouzaid, J Mullins | | 2009 |
| A framework for Automatic Generation of Verified Business Process Orchestrations F Abouzaid Practical Approaches for Software Adaptation, 15, 2007 | | 2007 |
| A Blender Plugin for Collaborative Work on the Artificiel Platform M Lesage, O Cherkaoui, F Abouzaid, M Poirier, G Raîche | | 2007 |
| PLUGIN_BLENDER 1.0 F Abouzaid, M Lesage, M Poirier Revue Formelle Date 25, 02, 2005 | | 2005 |
| Towards a formal analysis of dynamic reconfiguration in WS-BPEL services F Abouzaid, M Mazzara, J Mullins, N Qamar | | |
| Translating BP-calculus specifications to Verified BPEL Code MF Abouzaid, J Mullins | | |
Manuel MazzaraDean of the Faculty of Computer Science and EngineeringVerified email at innopolis.ru
