Zohra SbaÃ¯

Laboratoire: ENIT (TN)

Publications

[SBBa14] Z. SbaÃ¯, K. Barkaoui, H. Boucheneb. "Compatibility Analysis of Time Open Workflow Nets", International Workshop on Petri Nets and Software Engineering (PNSE 2014), June 2014, Vol. 1160, pp.249-268, Series CEUR Workshop Proceedings, (DOI: ISSN 1613-0073)
[SB14] Z. SbaÃ¯, K. Barkaoui. "On compatibility analysis of inter organizational business processes", 10th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS 2014), June 2014, Vol. 191, pp.171-186, Series LNBIP, (DOI: ISBN 978-3-662-44860-1)

[SB13] Z. SbaÃ¯, K. Barkaoui. "VÃ©rification formelle des processus workflow - Extension aux workflows inter-organisationnels", revue IngÃ©nierie des SystÃ¨mes d'Information (ISI), 2013., vol. 18(No. 5,), pp. 33-57, 2013, (doi:1633-1311)

[RSB13] G. Rawand, Z. SbaÃ¯, K. Barkaoui. "Modeling and formal verification framework of Web services composition", International Conference on Control, Engineering & Information Technology (CEIT'13), Proceedings Engineering & Technology, June 2013, Vol. 2(2013), pp.140-145,

[SB12] Z. SbaÃ¯, K. Boudhar. "VÃ©rification Formelle des Processus Workflow Collaboratifs", Actes de la confÃ©rence francophone sur les SystÃ¨mes Collaboratifs (SysCo 2012), May 2012, pp.197-210,
[SBa12] Z. SbaÃ¯, K. Barkaoui. "VÃ©rification Formelle des Processus Workflow Collaboratifs", ConfÃ©rence francophone sur les SystÃ¨mes Collaboratifs (SysCoâ€™12), May 2012, pp.197-200,