ReDCAD laboratory   |  ENIS   |  University of Sfax

Haddar Mohamed Amine's Home page

Current Position

Assistant professor in The Higher Institute of Business Administration Of Sfax

University Of Sfax, Tunisia

Education:


Phd degree in Computer Science from Bordeaux1 university (Bordeaux, France) and Sfax university(Sfax,Tunsia), in 2011.
M.S. degree in Computer Science from the National School of Engineering of Sfax-Tunisia, in 2005.
Engineer degree in Computer Science from the National School of Engineering of Sfax-Tunisia, in 2003.

Address:

Research Unit on Development and Control of Distributed Applications
National Engineering School of Sfax
Route de Soukra km 4 (B.P. 1173)
3038, Sfax-Tunisia
tel: +216 74 274 088
fax: +216 74 666 578

Research Activities:

My research focuses on using mobile agent to carry computation in distributed systems. We are interested by distributed computation using local information : the local computation model. In this model, the distributed system is presented by a graph where vertices denote machines and edges denote communication links. In this context and to formally present a mobile agent distributed algorithm, we propose a set of META transitions. The mobile agent algorithm is then formally presented by a transition system. We use mathematicall tool-box provided by local computation theory to prove the correctness of a list of designed algorithms (spanning tree, election, Rendez-vous). We also simulate the proposed algorithms in the ViSiDiA framework

Publications:


International Journal:

[1] M.  Amine HADDAR, A. HadjKacem, M. Mosbah, , Y. Métivier M. Jmaiel. A Distributed Computational Model for Mobile Agents. Journal of Grid Computing and Mobile Agent Systems(GCMAS), (to appear).


International Conferences:

[2] M. A. Haddar, A. Hadj-Kacem, Y. Métivier, M. Mosbah, and M. Jmaiel. Fault tolerant distributed algorithms for mobile agents. In 9ème Conférence Internationale sur les Nouvelles Technologies de REpartition (NOTERE'09), pages 108-117, Montreal - Canada, July 2009. [ BibTeX | PDF ]

[3] M. A. Haddar, A. Hadj-Kacem, Y. Métivier, M. Mosbah, and M. Jmaiel. A distributed computational model for mobile agents. In A. Ghose, G. Governatori, and R. Sadananda, editors, Proceedings of the 10th International Conference on Principals of Practice in Multi-Agent Systems PRIMA 2007, volume 5044 of Lecture Notes in Artificial Intelligence, pages 416-421. Springer, 2009. [ BibTeX | DOI ]

[4] M. A. Haddar, A. Hadj-Kacem, Y. Métivier, M. Mosbah, and M. Jmaiel. Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks. In Army L. Murphy and Jan Vitek, editors, Proceedings of the 9th International Conference on Distributed Computing and Networking ICDCN'2008, volume 4904 of Lecture Notes in Computer Sciences, pages 286-291, Kolkata, India, January 2008. Springer. [ BibTeX | DOI ]

[5] M. A. Haddar, A. Hadj-Kacem, Y. Métivier, M. Mosbah, and M. Jmaiel. Electing a Leader in the Local Computation Model Using Mobile Agents. In Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'08), Doha, Qatar, April 2008. [ BibTeX | DOI ]

Educational Activities:

  • Object Oriented Programming in JAVA
  • Distributed Algorithms
  • Java Web Programming
  • Operating systems
  • The Linux operating system

If you have any questions, feel free to contact us: