Supervision research
I participate in co-supervision of two masters degree in Computer Science
|
1.
|
Siwar KHELIFI, Specification and verification of the structural and behavioural properties of Publish/Subscribe architectures.
Defended on January 31, 2009 at Faculty of Economics and Management of Sfax.
|
|
2.
|
Nesrine OULEDABDALLAH, Sensor Networks and Population Protocols: Application of the diffusion and improved with the rendezvous model.
Will be defended on 9 January, 2010 at Faculty of Economics and Management of Sfax.
|
I Supervise also a master degree in Computer Science
|
1.
|
Issam GAIED, ACME-Refinement: a new approach to describe software architectures.
Will be Defended on January 15, 2010 at the Higher Institut of Computer Science and Multimedia of Gabes.
|
