Publications 2007
Academic Journals
- Shehla Abbas, Mohamed Mosbah, Akka Zemmari. A Generic Distributed Algorithm for Computing by Random Mobile Agents. 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 392-397, 2007.
- Shehla Abbas, Mohamed Mosbah, Akka Zemmari. Collecte d'informations par des agents mobiles. NOuvelles TEchnologies de la REpartition (NOTERE), pages 139-48, 2007.
- Jérémie Chalopin, Yves Métivier. An efficient message passing algorithm based on Mazurkiewicz s algorithm. Fundamenta Informaticae, 80(1):221-246, 2007.
- Med-Amine Haddar, Ahmed Hadj-Kacem, Yves Métivier, Mohamed Mosbah, Mohamed Jmaiel. A Distributed Computational Model for Mobile Agents. 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, 2007.
International Conferences
- Jérémie Chalopin, Emmanuel Godard, Yves Métivier, Gerard Tel. About the termination detection in the asynchronous message passing model. In Theory and Practice of Computer Science 33rd International conference on Current trends in theory and practice of computer science (SOFSEM 2007), Lecture notes in computer science, Volume 4362, Pages 200-211, Tchèque, République, 2007.
- Jérémie Chalopin, Shantanu Das, Nicola Santoro. Rendezvous of mobile agents in unknown graphs with faulty links. In Distributed Computing, Volume 4731, Pages 108-22, 2007.
- Hedi Hamdi, Mohamed Mosbah, Adel Bouhoula. A Domain Specific Language for Securing Distributed Systems. In ICSNC '07: Proceedings of the Second International Conference on Systems and Networks Communications, Washington, DC, USA, 2007.
- Hedi Hamdi, ADEL Bouhoula, Mohamed Mosbah. A Software Architecture for Automatic Security Policy Enforcement in Distributed Systems. In SECUREWARE '07: Proceedings of the The International Conference on Emerging Security Information, Systems, and Technologies, Pages 187-192, Washington, DC, USA, 2007.
- Brahim Hamid, Bertrand LeSaec, Mohamed Mosbah. Distributed Local 2-Connectivity Test of Graphs and Applications. In Parallel and Distributed Processing and Applications, Volume 4742, Pages 195-207, 2007.
- Brahim Hamid, Bertrand LeSaec, Mohamed Mosbah. Distributed $2$-Vertex Connectivity Test of Graphs Using Local Knowledge. In Proceeding of the International Conference on Parallel and Distributed Computing Systems, Pages 71-6, 2007.
- Brahim Hamid, Mohamed Mosbah, Akka Zemmari. A Self-stabilizing Distributed Algorithm for Resolving Conflicts. In On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, Volume 4806, Pages 1042-51, 2007.
- Brahim Hamid, Bertrand LeSaec, Mohamed Mosbah. A Simple Distributed Algorithm for the Maintenance of a Spanning Tree. In First International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2007), Algiers, Algeria, May 2007.
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.