| 2026 | IWCMC | Block-FRL: A Reputation-Aware Blockchain Framework for Secure Federated Reinforcement Learning in Internet of Vehicles. | Mohamed Mazouzi, Wassim Jerbi, Omar Cheikhrouhou, Mohamed Mosbah |
| 2026 | SAC | A Hybrid Map-Matching Approach for GPS-Based Analysis of Cyclist Behaviour and Infrastructure Use in Urban Environments. | Royston Fernandes, Mohamed Mosbah, Albric de Lachze-Murel |
| 2026 | VEHITS | A Data-Driven Framework for Climate-Aware Asset Failure Explanation in Urban Tram Systems. | Mohamed Amine Ayachi, Mohamed Mosbah, Akka Zemmari, Margot Quantin, Pauline Gautier |
| 2026 | VEHITS | IMAP: Enhancing First- and Last-Mile Accessibility through Public Transport-Aware Intermodal Micro-Mobility Allocation. | Rania Swessi, Zeineb El Khalfi, Mohamed Mosbah |
| 2025 | AINA | Cooperative Trust Based Detection Mechanism for Fake Objects in Collective Perception Messages. | Oumaima Zanouni, Aida Ben Chehida Douss, Mohamed Mosbah |
| 2025 | ISORC | Optimization of Micromobility Integration in IoV Systems: Energy-Efficient Management Through Mobile RSUs and Machine-Learning Based Approaches. | Rima Boughariou, Hend Marouane, Mohamed Mosbah, Hassene Mnif, Amel Meddeb-Makhlouf |
| 2025 | IWCMC | AHARP: An Adaptive Hybrid Agent-Based Routing Protocol for Internet of Vehicles. | Mohamed Mazouzi, Omar Cheikhrouhou, Mohamed Mosbah |
| 2025 | KES | Smart Fleet Management for Shared Micro-mobility: Balanced demand, Redistribution and Charging via Deep Reinforcement Learning. | Rania Swessi, Zeineb El Khalfi, Mohamed Mosbah |
| 2025 | MSWIM | Hybrid V2X Communication for Micromobility in C-ITS: A DDQN-Driven Strategy for High Reliability and Sustainable Connectivity. | Rima Boughariou, Hend Marouane, Mohamed Mosbah, Hassene Mnif, Amel Meddeb-Makhlouf |
| 2025 | NOMS | A Three-Layer LSTM Approach for Proactive Train Schedule Variability Alerts for Individuals with Reduced Mobility. | Mayssa Dardour, Mohamed Mosbah, Toufik Ahmed |
| 2024 | AINA | Integrated Vehicle Access Protocol with Priority-Based Messaging for VANETs. | Mayssa Dardour, Mohamed Mosbah, Toufik Ahmed |
| 2024 | CBMI | A Hybrid AI System for Fusion of Object and Context Information: Application to the Rail Line Defect Detection. | Alexey Zhukov, Jenny Benois-Pineau, Alain Rivero, Akka Zemmari, Mohamed Mosbah, Danilo Crispiani |
| 2024 | IWCMC | Efficient IoV-Based Geofencing Model for V2X Communication Using Energy Saving Approach. | Rima Boughariou, Hend Marouane, Mohamed Mosbah, Hassene Mnif, Amel Meddeb-Makhlouf |
| 2024 | WiMob | Optimizing Shared Micro-Mobility Services: Edge-Enabled Rebalance for Dock-Based Systems. | Rania Swessi, Zeineb El Khalfi, Mohamed Mosbah |
| 2024 | WiMob | Enhancing Vehicle Orientation in Toll Stations Using vMEC and Hybrid Vehicular Communications. | Badreddine Yacine Yacheur, Cesar Vargas Anamuro, Moad Dehbi, Mohamed Amine Bouzaidi Tiali, Mohamed Mosbah, Jean-Marie Bonnin, Marwane Ayaida, Toufik Ahmed |
| 2023 | AINA | Distribution of the Training Data Over the Shortest Path Between the Servers. | Ibrahim Dahaoui, Mohamed Mosbah, Akka Zemmari |
| 2023 | ISCC | Adaptive Deep Reinforcement Learning Approach for Service Migration in MEC-Enabled Vehicular Networks. | Sabri Khamari, Rachedi Abdennour, Toufik Ahmed, Mohamed Mosbah |
| 2023 | ISCC | Throughput Enhancement in Hybrid Vehicular Networks Using Deep Reinforcement Learning. | Badreddine Yacine Yacheur, Toufik Ahmed, Mohamed Mosbah |
| 2023 | NOMS | Multi-Agent Advantage Actor-Critic Learning For Message Content Selection in Cooperative Perception Networks. | Imed Ghnaya, Mohamed Mosbah, Hasna Aniss, Toufik Ahmed |
| 2023 | VTC | Optimized Intelligent Driver Model for a Fluid Traffic Flow and Accidents Avoidance. | Mayssa Dardour, Mohamed Mosbah, Toufik Ahmed |
| 2023 | VTC | DRL-Based RAT Selection in a Hybrid Vehicular Communication Network. | Badreddine Yacine Yacheur, Toufik Ahmed, Mohamed Mosbah |
| 2023 | WCNC | A Distributed Double Deep Q-Learning Method for Object Redundancy Mitigation in Vehicular Networks. | Imed Ghnaya, Hasna Aniss, Toufik Ahmed, Mohamed Mosbah |
| 2022 | AINA | Distributed Training from Multi-sourced Data. | Ibrahim Dahaoui, Mohamed Mosbah, Akka Zemmari |
| 2022 | CNSM | Maximizing Information Usefulness in Vehicular CP Networks Using Actor-Critic Reinforcement Learning. | Imed Ghnaya, Toufik Ahmed, Mohamed Mosbah, Hasna Aniss |
| 2022 | GLOBECOM | Efficient Edge Server Placement under Latency and Load Balancing Constraints for Vehicular Networks. | Sabri Khamari, Toufik Ahmed, Mohamed Mosbah |
| 2022 | SIN | Keynote Speaker 2: Cybersecurity of connected Vehicules. | Mohamed Mosbah |
| 2021 | AINA | A Lightweight Authentication Scheme for SDN-Based Architecture in IoT. | Nadia Kammoun, Ryma Abassi, Sihem Guemara El Fatmi, Mohamed Mosbah |
| 2021 | AINA | High-Level Approach for the Reconfiguration of Distributed Algorithms in Wireless Sensor Networks. | Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem |
| 2021 | IWCMC | End-to-End Network Slicing for ITS-G5 Vehicular Communications. | Rachedi Abdennour, Toufik Ahmed, Mohamed Mosbah |
| 2021 | IWCMC | Edge-based Safety Intersection Assistance Architecture for Connected Vehicles. | Sabri Khamari, Toufik Ahmed, Mohamed Mosbah |
| 2020 | AINA | A New SDN Architecture Based on Trust Management and Access Control for IoT. | Nadia Kammoun, Ryma Abassi, Sihem Guemara El Fatmi, Mohamed Mosbah |
| 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 |
| 2020 | NOMS | A OneM2M Intrusion Detection and Prevention System based on Edge Machine Learning. | Nadia Chaabouni, Mohamed Mosbah, Akka Zemmari, Cyrille Sauvignac |
| 2020 | VTC | On the Application of Machine Learning for Cut-in Maneuver Recognition in Platooning Scenarios. | Afaf Bouhoute, Mohamed Mosbah, Akka Zemmari, Ismail Berrada |
| 2019 | ICTAC | A Comparative Study of Vehicle Detection Methods in a Video Sequence. | Ameni Chetouane, Sabra Mabrouk, Imen Jemili, Mohamed Mosbah |
| 2019 | ICTAC | VANETs Routing Protocols Survey: Classifications, Optimization Methods and New Trends. | Chahrazed Ksouri, Imen Jemili, Mohamed Mosbah, Abdelfettah Belghith |
| 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 |
| 2019 | SAC | Leveraging the link quality awareness for body node coordinator (BNC) placement in WBANs. | Rim Negra, Imen Jemili, Akka Zemmari, Mohamed Mosbah, Abdelfettah Belghith, Nesrine Ouled Abdallah |
| 2018 | IWCMC | Data Gathering for Internet of Vehicles Safety. | Chahrazed Ksouri, Imen Jemili, Mohamed Mosbah, Abdelfettah Belghith |
| 2018 | IWCMC | WBAN Path Loss Based Approach For Human Activity Recognition With Machine Learning Techniques. | Rim Negra, Imen Jemili, Akka Zemmari, Mohamed Mosbah, Abdelfettah Belghith |
| 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 | ANT | Electing a Leader in Dynamic Networks using Mobile Agents and Local Computations. | Mouna Ktari, Mohamed Mosbah, Ahmed Hadj Kacem |
| 2017 | ANT | An Efficient Broadcast Authentication Scheme in Wireless Sensor Networks. | Bacem Mbarek, Aref Meddeb, Wafa Ben Jaballah, Mohamed Mosbah |
| 2017 | CNSM | Delay-aware VNF placement and chaining based on a flexible resource allocation approach. | Abdelhamid Alleg, Toufik Ahmed, Mohamed Mosbah, Roberto Riggio, Raouf Boutaba |
| 2017 | CRiSIS | Unraveling Reflection Induced Sensitive Leaks in Android Apps. | Jyoti Gajrani, Vijay Laxmi, Meenakshi Tripathi, Manoj Singh Gaur, Daya Ram Sharma, Akka Zemmari, Mohamed Mosbah, Mauro Conti |
| 2017 | ISDA | Algorithms for Finding Maximal and Maximum Cliques: A Survey. | Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem |
| 2017 | TrustCom | SniffDroid: Detection of Inter-App Privacy Leaks in Android. | Vineeta Jain, Shweta Bhandari, Vijay Laxmi, Manoj Singh Gaur, Mohamed Mosbah |
| 2017 | WETICE | Adaptable Monitoring for Intrusion Detection in Wireless Sensor Networks. | Takoua Abdellatif, Kais Rouis, Mohamed Mosbah |
| 2016 | AICCSA | A broadcast authentication scheme in IoT environments. | Bacem Mbarek, Aref Meddeb, Wafa Ben Jaballah, Mohamed Mosbah |
| 2016 | AINA | A Fault-Tolerant Handshake Algorithm for Local Computations. | Allyx Fontaine, Mohamed Mosbah, Mohamed Tounsi, Akka Zemmari |
| 2016 | AINA | Distributed Computation and Maintenance of a Spanning Tree in Dynamic Networks by Mobile Agents. | Mouna Ktari, Mohamed Amine Haddar, Mohamed Mosbah, Ahmed Hadj Kacem |
| 2016 | ICISS | Detection of SQLite Database Vulnerabilities in Android Apps. | Vineeta Jain, Manoj Singh Gaur, Vijay Laxmi, Mohamed Mosbah |
| 2016 | IWCMC | NDRECT: Node-disjoint routes establishment for critical traffic in WSNs. | Dhouha Ghrab, Imen Jemili, Abdelfettah Belghith, Mohamed Mosbah |
| 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 | WCNC | Study of context-awareness efficiency applied to duty cycled wireless sensor networks. | Dhouha Ghrab, Imen Jemili, Abdelfettah Belghith, Mohamed Mosbah |
| 2016 | WCNC | Fast synchronisation protocol with collision handling for wireless ad hoc networks. | Imen Jemili, Hamida Jarraya, Abdelfettah Belghith, 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 | AICCSA | Proving distributed algorithms for mobile agents: Examples of spanning tree computation in dynamic networks. | Mouna Ktari, Mohamed Amine Haddar, Ahmed Hadj Kacem, Mohamed Mosbah |
| 2015 | AICCSA | A secure authentication mechanism for resource constrained devices. | Bacem Mbarek, Aref Meddeb, Wafa Ben Jaballah, Mohamed Mosbah |
| 2015 | ICTAC | A Totally Distributed Fair Scheduler for Population Protocols by Randomized Handshakes. | Nesrine Ouled Abdallah, Mohamed Jmaiel, Mohamed Mosbah, Akka Zemmari |
| 2015 | IWCMC | ECAB: An Efficient Context-Aware multi-hop Broadcasting protocol for wireless sensor networks. | Dhouha Ghrab, Imen Jemili, Abdelfettah Belghith, 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 | AINA | Greedy Flooding in Redoubtable Sensor Networks. | Nesrine Ouled Abdallah, Mohamed Jmaiel, Mohamed Mosbah, Akka Zemmari |
| 2014 | ANT | Hybrid Live P2P Streaming Protocol. | Chourouk Hammami, Imen Jemili, Achraf Gazdar, Abdelfettah Belghith, Mohamed Mosbah |
| 2014 | WETICE | Enhancing Proofs of Local Computations through Formal Event-B Modularization. | Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah |
| 2013 | AINA | Lightweight Source Authentication Mechanisms for Group Communications in Wireless Sensor Networks. | Wafa Ben Jaballah, Mohamed Mosbah, Habib Youssef, Akka Zemmari |
| 2013 | CRiSIS | MASS: An efficient and secure broadcast authentication scheme for resource constrained devices. | Wafa Ben Jaballah, Mauro Conti, Roberto Di Pietro, Mohamed Mosbah, Nino Vincenzo Verde |
| 2013 | ICCCN | Secure Verification of Location Claims on a Vehicular Safety Application. | Wafa Ben Jaballah, Mauro Conti, Mohamed Mosbah, Claudio E. Palazzi |
| 2013 | PERCOM | Performance evaluation of key disclosure delay-based schemes in wireless sensor networks. | Wafa Ben Jaballah, Mohamed Mosbah, Habib Youssef |
| 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 |
| 2012 | IV | Debugging the Execution of Distributed Algorithms over Anonymous Networks. | Thomas Morsellino, Cdric Aguerre, Mohamed Mosbah |
| 2011 | FM | Refinement-Based Verification of Local Synchronization Algorithms. | Dominique Mry, Mohamed Mosbah, Mohamed Tounsi |
| 2010 | AICCSA | A layered cluster based routing for an ad hoc environment. | Imen Jemili, Abdelfettah Belghith, Mohamed Mosbah |
| 2010 | IC3K | Time Constraints Extension on Frequent Sequential Patterns. | Asma Ben Zakour, Marc Sistiaga, Sofian Maabout, Mohamed Mosbah |
| 2009 | AICCSA | Exploiting a clustering mechanism for power saving in ad hoc networks: Performance evaluation. | Imen Jemili, Abdelfettah Belghith, Mohamed Mosbah |
| 2008 | AICCSA | Electing a leader in the local computation model using mobile agents. | Med Amine Haddar, Ahmed Hadj Kacem, Yves Mtivier, Mohamed Mosbah, Mohamed Jmaiel |
| 2008 | CRiSIS | A formal security framework for mobile agent systems: Specification and verification. | Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Mohamed Mosbah |
| 2008 | ICDCN | Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks. | Med Amine Haddar, Ahmed Hadj Kacem, Yves Mtivier, Mohamed Mosbah, Mohamed Jmaiel |
| 2007 | ISPA | Distributed Local 2-Connectivity Test of Graphs and Applications. | Brahim Hamid, Bertrand Le Sac, Mohamed Mosbah |
| 2007 | PRIMA | A Generic Distributed Algorithm for Computing by Random Mobile Agents. | Shehla Abbas, Mohamed Mosbah, Akka Zemmari |
| 2007 | PRIMA | A Distributed Computational Model for Mobile Agents. | Med Amine Haddar, Ahmed Hadj Kacem, Yves Mtivier, Mohamed Mosbah, Mohamed Jmaiel |
| 2006 | DAIS | A Local Self-stabilizing Enumeration Algorithm. | Brahim Hamid, Mohamed Mosbah |
| 2005 | IV | Visualization of Self-Stabilizing Distributed Algorithms. | Brahim Hamid, Mohamed Mosbah |
| 2005 | SNPD | An Automatic Approach to Self-Stabilization. | Brahim Hamid, Mohamed Mosbah |
| 2005 | SAFECOMP | A Formal Model for Fault-Tolerance in Distributed Systems. | Brahim Hamid, Mohamed Mosbah |
| 2004 | GD | Convex Drawings of 3-Connected Plane Graphs. | Nicolas Bonichon, Stefan Felsner, Mohamed Mosbah |
| 2003 | IV | Distributing the Execution of a Distributed Algorithm over a Network. | Bilel Derbel, Mohamed Mosbah |
| 2002 | ICALP | Wagner's Theorem on Realizers. | Nicolas Bonichon, Bertrand Le Sac, Mohamed Mosbah |
| 2002 | WG | Optimal Area Algorithm for Planar Polyline Drawings. | Nicolas Bonichon, Bertrand Le Sac, Mohamed Mosbah |
| 2001 | OPODIS | A Distributed Algorithm for Computing a Spanning Tree in Anonymous Tprime Graph. | Yves Mtivier, Mohamed Mosbah, Pierre-Andr Wacrenier, Stefan Gruner |
| 1997 | WG | A Syntactic Approach to Random Walks on Graphs. | Mohamed Mosbah, Nasser Saheb |
| 1992 | WG | Probabilistic Graph Grammars. | Mohamed Mosbah |
| 1991 | WG | Monadic Second-Order Evaluations on Tree-Decomposable Graphs. | Bruno Courcelle, Mohamed Mosbah |