| 2026 | COMPSAC | Personalizing LLMs for Financial Regulation Using RAG and Knowledge Graphs: A Case Study at Regnology. | Amal Ben Abdelhafidh, Montassar Ben Messaoud, Mohamed Tounsi, Mohamed Wiem Mkaouer |
| 2021 | AINA | High-Level Approach for the Reconfiguration of Distributed Algorithms in Wireless Sensor Networks. | Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem |
| 2020 | ICCCI | Towards an Efficient Clustering-Based Algorithm for Emergency Messages Broadcasting. | Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah |
| 2020 | KES | Formal specification and verification of a broadcasting protocol: a refinement-based approach. | Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah |
| 2019 | ICTAC | Energy Efficient Handshake Algorithm for Wireless Sensor Networks. | Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem |
| 2019 | IWCMC | An Evaluative Review of the Formal Verification for VANET Protocols. | Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah |
| 2019 | IWCMC | A Comprehensive Survey on Broadcasting Emergency Messages. | Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah |
| 2018 | KES | Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review. | Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem |
| 2018 | SEKE | A Formal Approach for Distributed Computing of Maximal Cliques in Dynamic Networks. | Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem |
| 2018 | WETICE | Proving Distributed Algorithms for Wireless Sensor Networks by Combining Refinement and Local Computations. | Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem |
| 2017 | ISDA | Algorithms for Finding Maximal and Maximum Cliques: A Survey. | Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem |
| 2016 | AINA | A Fault-Tolerant Handshake Algorithm for Local Computations. | Allyx Fontaine, Mohamed Mosbah, Mohamed Tounsi, Akka Zemmari |
| 2016 | PDP | Towards a General Framework for Ensuring and Reusing Proofs of Termination Detection in Distributed Computing. | Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah |
| 2016 | WETICE | A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs. | Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah |
| 2015 | AICCSA | A formal pattern for dynamic networks through evolving graphs. | Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah |
| 2015 | SNPD | Towards a Formal Model for Dynamic Networks Through Refinement and Evolving Graphs. | Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah |
| 2014 | ANT | On the Adequacy of Tabu Search for Global Robot Path Planning Problem in Grid Environments. | Imen Chari, Anis Kouba, Hachemi Bennaceur, Adel Ammar, Sahar Trigui, Mohamed Tounsi, Elhadi M. Shakshuki, Habib Youssef |
| 2014 | WETICE | Enhancing Proofs of Local Computations through Formal Event-B Modularization. | Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah |
| 2013 | WETICE | Towards Proved Distributed Algorithms through Refinement, Composition and Local Computations. | Vincent Filou, Mohamed Mosbah, Mohamed Tounsi |
| 2013 | WETICE | From Event-B Specifications to Programs for Distributed Algorithms. | Mohamed Tounsi, Mohamed Mosbah, Dominique Mry |
| 2011 | FM | Refinement-Based Verification of Local Synchronization Algorithms. | Dominique Mry, Mohamed Mosbah, Mohamed Tounsi |
| 2008 | PDPTA | Using a Greedy-Based Approach for Solving Data Allocation Problem in a Distributed Environment. | Hassan I. Abdalla, Mohamed Tounsi, Farhi Marir |
| 2002 | AISC | A Genetic-Based Approach for Satisfiability Problems. | Mohamed Tounsi |
| 2002 | ICTAI | Local Search Algorithm to Improve the Local Search. | Mohamed Tounsi, Philippe David |
| 2001 | ICTAI | Successive Search Method for Valued Constraint Satisfaction and Optimization Problems. | Mohamed Tounsi, Philippe David |