Publications of Mohamed Mosbah
Load the BibTeX file
Academic Journals
- Nesrine Ouled Abdallah, Hatem Hadj Kacem, Mohamed Mosbah, Akka Zemmari. Randomized broadcasting in wireless mobile sensor networks. Concurrency and Computation: Practice and Experience, 25(2):203-217, February 2013.
- Mohamed Tounsi, Mohamed Mosbah, Dominique Méry. Proving Distributed Algorithms by Combining Refinement and Local Computations. Electronic Communications of the EASST, 35:0-2122, November 2011.
- Bilel Derbel, Mohamed Mosbah, Akka Zemmari. Sublinear Fully Distributed Partition with Applications. Theory of Computing Systems, 47(3):368-404, 2010.
- Bilel Derbel, Mohamed Mosbah, Akka Zemmari. Sublinear Fully Distributed Partition with Applications. Theory of Computing Systems, To appear, 2009.
- 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.
- 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.
- Bilel Derbel, Mohamed Mosbah. Distributed Graph Traversals by Relabelling Systems with Applications. Electronic Notes in Theoretical Computer Science, Proceedings of the Workshop on Graph Transformation for Verification and Concurrency (GT-VC 2005), 154(2):79-94, 2006.
- Michel Bauderon, Mohamed Mosbah. A Unified Framework for Designing, Implementing and Visualizing Distributed Algorithms. Electronic Notes in Theoretical Computer Science, GT-VMT'2002, Graph Transformation and Visual Modeling Techniques (First International Conference on Graph Transformation), 72(3):13-24, 2003.
- Michel Bauderon, Yves Métivier, Mohamed Mosbah, Affif Sellami. Graph Relabelling Systems: A Tool for Encoding, Proving, Studying and Visualizing Distributed Algorithms. Electronic Notes in Theoretical Computer Science, GETGRATS Closing Workshop, 51(0):93-107, 2002.
Book Chapters
- Mohamed Mosbah, Rachid Echahed, Annegret Habel. Graph Computation Models.. In Graph Computation Models., Electronic Communications of the EASST, EASST, October 2011.
International Conferences
- Cédric Aguerre, Thomas Morsellino, Mohamed Mosbah. Debugging the Execution of Distributed Algorithms over Anonymous Networks. In Proceedings of the International Conference on Information Visualisation, Pages 464-470, Montpellier, France, July 2012.
- Cédric Aguerre, Thomas Morsellino, Mohamed Mosbah. Fully-Distributed Debugging and Visualization of Distributed Systems in Anonymous Networks. In Proceedings of the International Conference on Information Visualization Theory and Applications, M. Kraus, R. S. Laramee P. Richard, J. Braz (eds.), Pages 764-767, Rome, Italie, February 2012.
- Dominique Méry, Mohamed Mosbah, Mohamed Tounsi. Refinement-based Verification of Local Synchronization Algorithms. In Formal Methods FM2011, Lecture Notes in Computer Science, Limerick, Irlande, June 2011.
- Dominique Méry, Mohammed Mosbah, Mohammed Tounsi. Proving Distributed Algorithms by Combining Refinement and Local Computations. In AVOCS 2010 10th International Workshop on Automated Verification of Critical Systems, Michael Leuschel, Markus Roggenbach Jens Bendisposto (ed.), Dusseldorf, Allemagne, September 2010.
- Nesrine Ouled Abdallah, Hatem Hadj Kacem, Mohamed Mosbah, Akka Zemmari. Broadcast in wireless mobile sensor networks with population protocols and extension with the rendezvous model. In NOuvelles TEchnologies de la REpartition, Khalil Drira, Ahmed Hadj Kacem, Mohamed Jmaiel (eds.), IEEE, Pages 219-226, Tozeur, Tunisie, August 2010.
- 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.
- 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.
- 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.
- 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.
- 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.
- Med-Amine Haddar, Ahmed Hadj-Kacem, Yves Métivier, Mohamed Mosbah, Mohamed Jmaiel. Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks. In Distributed Computing and Networking, Volume 904, Pages 286-291, 2008.
- Med-Amine Haddar, Ahmed Hadj-Kacem, Yves Métivier, Mohamed Mosbah, Mohamed Jmaiel. Electing a leader in the local computation model using mobile agents. In AICCSA '08: Proceedings of the 2008 IEEE/ACS International Conference on Computer Systems and Applications, Pages 473-480, Washington, DC, USA, 2008.
- Bilel Derbel, Mohamed Mosbah, Stefan Gruner. Mobile Agents Implementing Local Computations in Graphs. In ICGT '08: Proceedings of the 4th international conference on Graph Transformations, Pages 99-114, Berlin, Heidelberg, 2008.
- Shehla Abbas, Mohamed Mosbah, Akka Zemmari. Merging Time of Random Mobile Agents. In Dynamics in Logistics, Pages 179-90, 2008.
- 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.
- 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.
- 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. 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.
- Bilel Derbel, Mohamed Mosbah, Akka Zemmari. Fast distributed graph partition and application. In Parallel and Distributed Processing Symposium, 2006. IPDPS 2006. 20th International, 2006.
- Shehla Abbas, Mohamed Mosbah, Akka Zemmari. Distributed Computation of a Spanning Tree in a Dynamic Graph by Mobile Agents. In IEEE International Conference on Engineering of Intelligent Systems, 2006, 2006.
- Mohamed Mosbah, Rodrigue Ossamy. Distributed Recognition of Graph Properties with Local Computations. In International Symposium and School on Advance Distributed Systems (ISSADS 2006), Guadalajara, Mexico, January 2006.
- Brahim Hamid, Mohamed Mosbah. A Formal Model for Fault-Tolerance in Distributed Systems. In Computer Safety, Reliability, and Security, Volume 3688, Pages 108-21, 2005.
- Brahim Hamid, Mohamed Mosbah. An Automatic Approach to Self-Stabilization. In SNPD-SAWN '05: Proceedings of the Sixth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing and First ACIS International Workshop on Self-Assembling Wireless Networks, Pages 123-128, Washington, DC, USA, 2005.
- Brahim Hamid, Mohamed Mosbah. An Implementation of a Failure Detector for Local Computations in Graphs. In International Conference on Parallel and Distributed Computing Networks, PDCN 2005, Pages 473-8, Innsbruck, Austria, 2005.
- Bilel Derbel, Mohamed Mosbah. Fully Distributed Linear Time Algorithm for Cluster Network Decomposition. In 16th International Conference on PARALLEL AND DISTRIBUTED COMPUTING AND SYSTEMS, PDCS 2004, Pages 548-53, Cambridge, MA, USA, 2004.
- Yves Métivier, Mohamed Mosbah, Rodrigue Ossamy, Affif Sellami. Synchronizers for Local Computations. In Graph Transformations, Volume 3256, Pages 271-86, 2004.
- Mohamed Mosbah, Rodrigue Ossamy. A Programming Language for Local Computations in Graphs: Computational Completeness. In ENC '04: Proceedings of the Fifth Mexican International Conference in Computer Science, Pages 12-19, Washington, DC, USA, 2004.
- Mohamed Mosbah, Rodrigue Ossamy. Checking Global Properties for Local Computations in Graphs with Applications to Invariant Testing. In ENC '04: Proceedings of the Fifth Mexican International Conference in Computer Science, Pages 35-42, Washington, DC, USA, 2004.
- Mohamed Mosbah, Rodrigue Ossamy. A Programming Language for Local Computation Graphs. In MCSEAI'04, Eighth Maghrebian Conference on Software Engineering and Artificial Intelligence, Sousse, Tunisia, May 2004.
- Mohamed Mosbah, Affif Sellami. Visidia: un environnement général pour étudier et implémenter les algorithmes distribués. In MCSEAI'04, Eighth Maghrebian Conference on Software Engineering and Artificial Intelligence, Sousse, Tunisia, May 2004.
- Bilel Derbel, Mohamed Mosbah. Distributing the Execution of a Distributed Algorithm over a Network. In IV '03: Proceedings of the Seventh International Conference on Information Visualization, Washington, DC, USA, 2003.
- Bilel Derbel, Mohamed Mosbah. Distribution de l'exécution d'un algorithme distribué sur un réseau. In Conférence Internationale Sciences Electroniques, Technologies de l'Information et des Técommunications (SETIT 2002), IEEE, Sousse, Tunisia, March 2003.
- Mohamed Mosbah, Affif Sellami. Un modèle général pour l'étude, l'implémentation et la visualisation d'algorithmes distribués. In Conférence Internationale Sciences Electroniques, Technologies de l'Information et des Técommunications (SETIT 2002), IEEE, Sousse, Tunisia, March 2003.
- Emmanuel Godard, Yves Métivier, Mohamed Mosbah, Afif Sellami. Termination Detection of Distributed Algorithms by Graph Relabelling Systems. In ICGT '02: Proceedings of the First International Conference on Graph Transformation, Pages 106-119, London, UK, 2002.
- Yves Métivier, Mohamed Mosbah, Affif Sellami. Proving Distributed Algorithms by Graph Relabelling Systems: Examples of Trees in Networks with Processor Identities. In AGT2002, ETAPS, Grenoble, France, April 2002.
- Stefan Gruner, Yves Métivier, Mohamed Mosbah, Pierre-André Wacrenier. Distributed Algorithm for Computing a Spanning Tree in Anonymous T-prime Graphs. In OPODIS'2001, International Conference On Principles of DIstributed Systems, Manzanillo, Mexico, December 2001.
- Mohamed Mosbah, Affif Sellami. Implementation of an Enumeration Protocol Algorithm Using Local Graph Computations. In Second International Workshop on Graph Transformation and Visual Modeling Techniques, Crete, Greece, July 2001.
- Michel Bauderon, Stefan Gruner, Yves Métivier, Mohamed Mosbah, Affif Sellami. Visualization of Distributed Algorithms Based on Labeled Rewriting Systems. In Second International Workshop on Graph Transformation and Visual Modeling Techniques, Volume 50(3), Pages 229-39, Crete, Greece, July 2001.
- Michel Bauderon, Stefan Gruner, Mohamed Mosbah. A New Tool for the Simulation And Visualization of Distributed Algorithms. In MFI'01, Volume I, Pages 165-77, Toulouse, France, May 2001.
Research Reports
- Pierre Castéran, Vincent Filou, Mohamed Mosbah. Formal Proofs of Local Computation Systems. March 2009.
Misc
- Michel Bauderon, Yves Métivier, Mohamed Mosbah, Affif Sellami. From Local Computations to Asynchronous Message Passing Systems. 2002.
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.