Publications 2009

Academic Journals

  1. Bilel Derbel, Mohamed Mosbah, Akka Zemmari. Sublinear Fully Distributed Partition with Applications. Theory of Computing Systems, To appear, 2009. details

International Conferences

  1. Pierre Castéran, Vincent Filou, Mohamed Mosbah. Certifying Distributed Algorithms by Embedding Local Computation Systems in the Coq Proof Assistant. In Symbolic Computation in Software Science (SCSS'09), 2009. details
  2. Pierre Castéran, Vincent Filou, Mohamed Mosbah. Certifying Distributed Algorithms by Embedding Local Computation Systems in the Coq Proof Assistant. In Proceedings of Symbolic Computation in Software Science (SCSS 2009) Symbolic Computation in Software Science (SCSS 2009), Tunisie, 2009. details ppt
  3. Imen Jemili, Abdelfattah Belghith, Mohamed Mosbah. Exploiting a clustering mechanism for power saving in ad hoc networks: Performance evaluation. In AICCSA 2009 IEEE/ACS International Conference on Computer Systems and Applications, 2009. AICCSA 2009, Pages 717-724, Rabat Maroc, 2009. details ppt
  4. Jean-Francois Marckert, Nasser Saheb-Djahromi, Akka Zemmari. Election Algorithms with Random Delays in Trees. In 21st Formal Power Series and Algebraic Combinatorics (FPSAC), to be published, 2009. details
  5. Mohamed Mosbah, Mohamed Tounsi. Automatic Implementation of Distributed Algorithms Specified in Event-B. In proceedings of Symbolic Computation in Software Science ( SCSS 2009) Symbolic Computation in Software Science (SCSS 2009), Tunisie, 2009. details ppt
  6. Yves Métivier, John-Michael Robson, Nasser Saheb-Djahromi, Akka Zemmari. A Bit Complexity Efficient Randomized Distributed MIS Algorithm. In 16th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2009), 2009. details
  7. Yves Métivier, John-Michael Robson, Nasser Saheb-Djahromi, Akka Zemmari. Analysis of an Optimal Bit Complexity Randomised Distributed Vertex Colouring Algorithm. In 13th International Conference On Principles Of DIstributed Systems (OPODIS 2009), to be published, 2009. details
  8. Yves Métivier, John Michael Robson, Nasser Saheb-Djahromi, Akka Zemmari. An Optimal Bit Complexity Randomized Distributed MIS Algorithm. In SIROCCO 2009, Lecture Notes in Computer Science, Volume 5869, Pages 323-337, Piran, Slovénie, 2009. details ppt
  9. Mohamed Tounsi, Ahmed Hadj-Kacem, Mohamed Mosbah, Dominique Méry. A Refinement Approach for Proving Distributed Algorithms : Examples of Spanning Tree Problems. In Integration of Model based Formal Methods and Tools(IMFMT 2009), Düsseldorf Allemagne, 2009. details

Research Reports

  1. Emmanuel Godard, Yves Métivier, Gerard Tel. Termination Detection of Local Computations. December 2009. details pdf
  2. Pierre Castéran, Vincent Filou, Mohamed Mosbah. Formal Proofs of Local Computation Systems. March 2009. details pdf

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.