@InProceedings{DBLP_conf-icdcn-HaddarKMMJ08, Author = {Haddar, Med-Amine and Hadj-Kacem, Ahmed and Métivier, Yves and Mosbah, Mohamed and Jmaiel, Mohamed}, Title = {Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks}, BookTitle = {Distributed Computing and Networking}, Volume = {904}, Pages = {286--291}, Publisher = {Springer Berlin / Heidelberg}, Year = {2008} } @InProceedings{1544376, Author = {Haddar, Med-Amine and Hadj-Kacem, Ahmed and Métivier, Yves and Mosbah, Mohamed and Jmaiel, Mohamed}, Title = {Electing a leader in the local computation model using mobile agents}, BookTitle = {AICCSA '08: Proceedings of the 2008 IEEE/ACS International Conference on Computer Systems and Applications}, Pages = {473--480}, Publisher = {IEEE Computer Society}, Address = {Washington, DC, USA}, Year = {2008} } @article{1534033, Author = {Haddar, Med-Amine and Hadj-Kacem, Ahmed and Métivier, Yves and Mosbah, Mohamed and Jmaiel, Mohamed}, Title = {A Distributed Computational Model for Mobile Agents}, Journal = {Agent Computing and Multi-Agent Systems: 10th Pacific Rim International Conference on Multi-Agent Systems, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers}, Pages = {416--421}, Publisher = {Springer-Verlag}, Address = {Berlin, Heidelberg}, Year = {2007} } @InProceedings{TOUNSI_2009_HAL-00361933_1, Author = {Tounsi, Mohamed and Hadj-Kacem, Ahmed and Mosbah, Mohamed and Méry, Dominique}, Title = {{A} {R}efinement {A}pproach for {P}roving {D}istributed {A}lgorithms : {E}xamples of {S}panning {T}ree {P}roblems}, BookTitle = {{I}ntegration of {M}odel based {F}ormal {M}ethods and {T}ools({IM}{FMT} 2009)}, Address = {{D}{ü}sseldorf {A}llemagne}, Year = {2009} }