ReDCAD laboratory   |  ENIS   |  University of Sfax   |  My vCard
  Research Unit on Development and Control of Distributed Applications

Types [next]
Articles
Conference Papers
incollection
PhD Thesis
Book Chapters
Books
Proceedings
Technical Report
Master Thesis
misc

Years [next]
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
Publications indexed by DBLP
  Publications indexed by Google Scholar
 


Refereed Articles
2012
[1] Hatem Hadj Kacem, Imen Loulou, Ahmed Hadj Kacem, A formal approach to model and verify the behavior of Publish/Subscribe architectural style, In International Journal of Information Technology, Communications and Convergence, Inderscience publishers, volume , 2012. [bibtex]
Refereed Conference Papers
2012
[3] Wael SELLAMI, Hatem Hadj Kacem, Ahmed Hadj Kacem, BPELVT: A tool for formal validation of web service orchestrations., In In 21nd IEEE International Conference on Collaboration Technologies and Infrastructures (WETICE'2012), Toulouse, France June 25-27, 2012. [bibtex]
[2] Sirine REBAI, Hatem Hadj Kacem, Ahmed Hadj Kacem, Position paper: An integration approach of web service composition models: From choreography to orchestration, In In 21nd IEEE International Conference on Collaboration Technologies and Infrastructures (WETICE'2012), Toulouse, France June 25-27, 2012. [bibtex]
[1] Hatem Hadj Kacem, Wael Sellami, Ahmed Hadj Kacem, A Formal Approach for the Validation of Web Service Orchestrations, In In 21nd IEEE International Conference on Collaboration Technologies and Infrastructures (WETICE'2012), Toulouse, France June 25-27, 2012. [bibtex]
Contact Webmaster