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]
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
Publications indexed by DBLP
  Publications indexed by Google Scholar
 


Refereed Conference Papers
2008
[1] Siwar Khelifi, Hatem Hadj Kacem, Ahmed Hadj Kacem, Specification and verification of the structural and behavioural properties of Publish/Subscribe architectures., In Second International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008),, 2008. [bibtex]
Contact Webmaster