Zohra Sbai

Doctorant(e)
Equipe SYS
Parti depuis le 01/05/2009
Mail : zohra.sbai

gmail.com
Tel : (33)15880
Fax : (33)15880
http://cedric.cnam.fr/~
Directeur de thèse : Kamel Barkaoui
Co-Directeur(s) : R. Ben Ayed

Zohra's Tag-Cloud :

[SB15] Z. Sbai, K. Barkaoui. "On quantitative Analysis of Time Open Workflow Nets and Parametric Extension", The 9th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, September 2015, Vol. 1431, pp.97-10, Series CEUR Workshop Proceedings, Bucharest, Romania,
[LBS15] A. Louati, K. Barkaoui, Z. Sbai. "Formal Verification of UML2 Timing Diagrams Based on Time Petri Nets", The 5th International Conference on Information Systems and Technologies (ICIST 2015), March 2015, pp.12-22, Istanbul, Turkey,

[MSB10] A. Missaoui, Z. Sbai, K. Barkaoui. "VÃ©rification Formelle des Aspects de CohÃ©rence dÂ’un Workflow net", Revue Ã©lectronique Sciences et Technologies de lÂ’Automatique (e-STA), vol. 7(1), pp. 37-41, 2010

[MSBa10] A. Missaoui, Z. Sbai, K. Barkaoui. "Model Checking Verification of Web Services Composition", ACT4SOC'10, 4th International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing, Athens, Greece, 23 July, July 2010, pp.80-92,
[SMB10] Z. Sbai, A. Missaoui, K. Barkaoui, R. Ben Ayed. "On the Verification of Business Processes by Model Checking Techniques", ICSTE'10, 2nd International Conference on Software Technology and Engineering, San Juan, Puerto Rico, USA. October 3-5, January 2010, pp.97-103,

[SBB09] Z. Sbai, K. Barkaoui, R. Ben Ayed. "Workflow Modeling and Analysis using Petri Nets", ICICS'09, 7th International Conference on Information, Communications and Signal Processing, Macau, 8-10 December, 2009, January 2009, pp.25-33,

[SBB08] Z. Sbai, K. Barkaoui, R. Ben Ayed. "Sur la vÃ©rification de la cohÃ©rence de processus workflow temporisÃ©s", GEI'08, 8iÃ¨mes JournÃ©es Scientifiques des Jeunes Chercheurs en GÃƒÂ©nie Electrique et Informatique, Sousse, Tunisia, January 2008, pp.57-68,

[BBSa07] K. Barkaoui, R. Benayed, Z. Sbai. "Workflow Soundness Verification Based on Structure Theory of Petri Nets", International Journal of Computing & Information Sciences (IJCIS Journal), vol. 5(1), pp. 51-62, 2007

[BBS07] K. Barkaoui, R. Ben Ayed, Z. Sbai. "VÃ©rification ParamÃ©trÃ©e de la CohÃ©rence des Processus Workflow", MSR'07, 6ÃƒÂ¨me Colloque Francophone sur la ModÃƒÂ©lisation des SystÃƒÂ¨mes RÃƒÂ©actifs, Lyon, France, January 2007, pp.255-268,

[SBB06] Z. Sbai, R. Ben Ayed, K. Barkaoui. "Vers l'analyse des processus d'entreprise jPdl fondÃ©e sur les rÃ©seaux de Petri", GEI'06, 6ÃƒÂ¨mes JournÃƒÂ©es Scientifiques des Jeunes Chercheurs en GÃƒÂ©nie ÃƒÂ‰lectrique et Informatique, Hammamet, Tunisia, January 2006, pp.171-181, Series CPU Ed.,