R. Ben Ayed

Publications

[BB10] K. Barkaoui, R. Ben Ayed. "Uniform Verification of Workflow Soundness", Transactions of the Institute of Measurement and Control Journal, vol. 31, pp. 1-16, 2010
[ZBB10] H. Zayani, K. Barkaoui, R. Ben Ayed. "Probabilistic verification and evaluation of Backoff procedure of the WSN ECo-MAC protocol", International Journal of Wireless & Mobile Networks, vol. 2(2), pp. 156-170, 2010

[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,

[BBBa08] K. Barkaoui, R. Ben Ayed, H. Boucheneb, A. Hicheur. "Verification of Workflow processes under multilevel security considerations", CRiSIS'08, 3rd IEEE Int. Conf. on Risks and Security of Internet and Systems, Tozeur, Tunisia, January 2008, pp.77-84, Series IEEE-4,

[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,

[ZBDa07] H. Zayani, R. Ben Ayed, K. Djouani, K. Barkaoui. "ECoMAC: An energy-efficient and low-latency hybrid MAC protocol for wireless sensor networks", PMÃ‚Â²HWÃ‚Â²N'07, 2nd ACM International Workshop on Performance Monitoring, Measurement and Evaluation of Heterogeneous Wireless and Wired Networks, Chania, Crete Island, Greece, January 2007, pp.68-71, Series ACM,

[ZBD07] H. Zayani, R. Ben Ayed, K. Djouani, K. Barkaoui. "ECoMAC : Un protocole MAC Ã©conome en Ã©nergie pour les rÃ©seaux de capteurs sans fil", GRES'07, 8ÃƒÂ¨me Colloque Francophone sur la gestion de rÃƒÂ©seaux et de services, Hammamet, Tunisia, January 2007, pp.185-192,
[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,
[ZBDb07] H. Zayani, R. Ben Ayed, K. Djouani, K. Barkaoui. "Vers une optimisation des performances des RÃ©seaux de Capteurs Sans Fils par une approche multicouches", GEI'07, 7ÃƒÂ¨mes JournÃƒÂ©es Scientifiques des Jeunes Chercheurs en GÃƒÂ©nie ÃƒÂ‰lectrique et Informatique, Monastir, Tunisia, January 2007, pp.71-80,

[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.,
[ZBD06] H. Zayani, R. Ben Ayed, K. Djouani, K. Barkaoui. "Etude de protocole MAC dans les rÃ©seaux de capteurs sans fil", GEIÃ‚Â’06, 6ÃƒÂ¨mes JournÃƒÂ©es Scientifiques des Jeunes Chercheurs en GÃƒÂ©nie ÃƒÂ‰lectrique et Informatique, Hammamet, Tunisia, January 2006, pp.63-71, Series CPU Ed.,