Current State
Member of the Research Unit on Development and Control of Distributed Applications.
Education
M.S. degree (DEA) in Computer Science from the National School of Engineering of Sfax-Tunisia, in 2010.
gratuated in computer science from the Faculty of Sciences of Sfax-Tunisia, in 2008.
Address
National School of Engineering of Sfax (ENIS)
Department of the Computer Science and Applied Mathematics (DGIMA)
Route de Soukra Km 4, PB 1173, Sfax-Tunisie
Email : baklouti@polytech.unice.fr
Research activities
Research Topics
My current research works are concentrated on the Test and validation of the behavior of distributed cooperative objects, application to sensor networks.
A sensor network consists of a set of communicating entities that must ensure a certain services.
These different entities communicate with each other (internal communications) and with the environment (external communications) in order to collaborate and make the expected service. The approach for the validation of system behavior is to check various properties. We will focus on two types of properties to be satisfied by system entities: local properties and global properties. There are many verification techniques such as: Model-based Simulation, Model-based Testing, Theorem Proving or Model checking. We will focus on the verification environment based on Model checking .
Educational activities
2010-2011 : Higher Institute of Computer Science and Multimedia of -Tunisia
- Architecture N/3 and oriented services
- Web integration and databases