| ReDCAD laboratory | ENIS | University of Sfax | | My vCard |
| Research Unit on Development and Control of Distributed Applications | |
| 2013 | |
| [2] | , A Formal Approach for the Validation of Web Service Orchestrations, In International Journal of Web Portals (IJWP), volume 5, 2013. [bibtex] [doi] |
| [1] | , Randomized broadcasting in wireless mobile sensor networks, In Concurrency and Computation: Practice and Experience, volume 25, 2013. [bibtex] [doi] |
| 2013 | |
| [2] | , Position paper: Multi-tenants context-aware service composition in cloud computing, In Proceedings of the Third International Conference on Cloud Computing and Services Science (CLOSER), 2013. [bibtex] |
| [1] | , PROMASC Track Report, In Proceedings of the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2013. [bibtex] [doi] |