Mohamed Mosbah

227 papers A* 1A 3B 43C 39Misc 3Journal 64Unranked 66

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Energy-aware vehicle localization in dynamic environments via efficient machine learning techniques for positioning and power management. Pervasive Mob. Comput. Hend Marouane, Mohamed Mosbah, Hassene Mnif, Amel Meddeb-Makhlouf
2026	J	`jnl`	Enhanced Traffic Management Approaches in Internet of Vehicles through LSTM-Driven Load Balancing for Mobile Edge Computing. J. Netw. Syst. Manag. Amal Hmaidi, Hend Marouane, Hassene Mnif, Mohamed Mosbah
2026	J	`jnl`	Integration of Micromobility Into Cooperative Intelligent Transportation Systems: Challenges and Emerging Technologies. IEEE Trans. Intell. Veh. Rima Boughariou, Hend Marouane, Mohamed Mosbah, Hassene Mnif, Amel Meddeb-Makhlouf
2025	B	`conf`	A Three-Layer LSTM Approach for Proactive Train Schedule Variability Alerts for Individuals with Reduced Mobility. NOMS Mayssa Dardour, Mohamed Mosbah, Toufik Ahmed
2025	B	`conf`	AHARP: An Adaptive Hybrid Agent-Based Routing Protocol for Internet of Vehicles. IWCMC Mohamed Mazouzi, Omar Cheikhrouhou, Mohamed Mosbah
2025	—	`conf`	Cooperative Trust Based Detection Mechanism for Fake Objects in Collective Perception Messages. AINA (5) Oumaima Zanouni, Aida Ben Chehida Douss, Mohamed Mosbah
2025	J	`jnl`	FusWay: Multimodal hybrid fusion approach. Application to Railway Defect Detection. CoRR Alexey Zhukov, Jenny Benois-Pineau, Amira Youssef, Akka Zemmari, Mohamed Mosbah, Virginie Taillandier
2025	A	`conf`	Hybrid V2X Communication for Micromobility in C-ITS: A DDQN-Driven Strategy for High Reliability and Sustainable Connectivity. MSWiM Rima Boughariou, Hend Marouane, Mohamed Mosbah, Hassene Mnif, Amel Meddeb-Makhlouf
2025	C	`conf`	Optimization of Micromobility Integration in IoV Systems: Energy-Efficient Management Through Mobile RSUs and Machine-Learning Based Approaches. ISORC Rima Boughariou, Hend Marouane, Mohamed Mosbah, Hassene Mnif, Amel Meddeb-Makhlouf
2025	B	`conf`	Smart Fleet Management for Shared Micro-mobility: Balanced demand, Redistribution and Charging via Deep Reinforcement Learning. KES Rania Swessi, Zeineb El Khalfi, Mohamed Mosbah
2024	C	`conf`	A Hybrid AI System for Fusion of Object and Context Information: Application to the Rail Line Defect Detection. CBMI Alexey Zhukov, Jenny Benois-Pineau, Alain Rivero, Akka Zemmari, Mohamed Mosbah, Danilo Crispiani
2024	J	`jnl`	A Hybrid System for Defect Detection on Rail Lines through the Fusion of Object and Context Information. Sensors Alexey Zhukov, Alain Rivero, Jenny Benois-Pineau, Akka Zemmari, Mohamed Mosbah
2024	—	`ed.`	Advances in Model and Data Engineering in the Digitalization Era - MEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2-4, 2023, Proceedings MEDI Workshops Mohamed Mosbah, M. Tahar Kechadi, Ladjel Bellatreche, Faïez Gargouri, Chirine Ghedira Guegan, Hassan Badir, Amin Beheshti, Mohamed Mohsen Gammoudi
2024	J	`jnl`	DRL-Based RAT Selection in a Hybrid Vehicular Communication Network. CoRR Badreddine Yacine Yacheur, Toufik Ahmed, Mohamed Mosbah
2024	—	`ed.`	Distributed Computing for Emerging Smart Networks - 4th International Workshop, DiCES-N 2023, Bizerte, Tunisia, May 27, 2023, Revised Selected Papers DiCES-N Imen Jemili, Mohamed Mosbah, Sabra Mabrouk, Léo Mendiboure
2024	B	`conf`	Efficient IoV-Based Geofencing Model for V2X Communication Using Energy Saving Approach. IWCMC Rima Boughariou, Hend Marouane, Mohamed Mosbah, Hassene Mnif, Amel Meddeb-Makhlouf
2024	B	`conf`	Enhancing Vehicle Orientation in Toll Stations Using vMEC and Hybrid Vehicular Communications. WiMob Badreddine Yacine Yacheur, Cesar Vargas Anamuro, Moad Dehbi, Mohamed Amine Bouzaidi Tiali, Mohamed Mosbah, Jean-Marie Bonnin, Marwane Ayaida, Toufik Ahmed
2024	—	`ed.`	Foundations and Practice of Security - 16th International Symposium, FPS 2023, Bordeaux, France, December 11-13, 2023, Revised Selected Papers, Part I FPS (1) Mohamed Mosbah, Florence Sèdes, Nadia Tawbi, Toufik Ahmed, Nora Boulahia-Cuppens, Joaquín García-Alfaro
2024	—	`ed.`	Foundations and Practice of Security - 16th International Symposium, FPS 2023, Bordeaux, France, December 11-13, 2023, Revised Selected Papers, Part II FPS (2) Mohamed Mosbah, Florence Sèdes, Nadia Tawbi, Toufik Ahmed, Nora Boulahia-Cuppens, Joaquín García-Alfaro
2024	J	`jnl`	Hybrid vehicular access protocol and message prioritization for real-time safety messaging. Internet Things Mayssa Dardour, Mohamed Mosbah, Toufik Ahmed
2024	J	`jnl`	Improving Emergency Response: An In-Depth Analysis of an ITS-G5 Messaging Strategy for Bus Blockage Emergencies at Level Crossings. J. Netw. Syst. Manag. Mayssa Dardour, Mohamed Mosbah, Toufik Ahmed
2024	—	`conf`	Integrated Vehicle Access Protocol with Priority-Based Messaging for VANETs. AINA (1) Mayssa Dardour, Mohamed Mosbah, Toufik Ahmed
2024	J	`jnl`	Investigating the impact of body node coordinator position on communication reliability in wireless body area networks. Netw. Model. Anal. Health Informatics Bioinform. Rim Negra, Imen Jemili, Akka Zemmari, Mohamed Mosbah, Abdelfattah Belghith
2024	C	`ed.`	Model and Data Engineering - 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2-4, 2023, Proceedings MEDI Mohamed Mosbah, M. Tahar Kechadi, Ladjel Bellatreche, Faïez Gargouri
2024	J	`jnl`	Network Slicing-Based Learning Techniques for IoV in 5G and Beyond Networks. IEEE Commun. Surv. Tutorials Wafa Hamdi, Chahrazed Ksouri, Hasan Bulut, Mohamed Mosbah
2024	B	`conf`	Optimizing Shared Micro-Mobility Services: Edge-Enabled Rebalance for Dock-Based Systems. WiMob Rania Swessi, Zeineb El Khalfi, Mohamed Mosbah
2024	—	`conf`	Optimizing Shared Micro-Mobility: Transitioning to Virtual Docking and Demand Prediction for Enhanced System Balance. ITSC Rania Swessi, Zeineb El Khalfi, Mohamed Mosbah
2023	B	`conf`	A Distributed Double Deep Q-Learning Method for Object Redundancy Mitigation in Vehicular Networks. WCNC Imed Ghnaya, Hasnaâ Aniss, Toufik Ahmed, Mohamed Mosbah
2023	C	`conf`	Adaptive Deep Reinforcement Learning Approach for Service Migration in MEC-Enabled Vehicular Networks. ISCC Sabri Khamari, Rachedi Abdennour, Toufik Ahmed, Mohamed Mosbah
2023	—	`conf`	DRL-Based RAT Selection in a Hybrid Vehicular Communication Network. VTC2023-Spring Badreddine Yacine Yacheur, Toufik Ahmed, Mohamed Mosbah
2023	—	`conf`	Distribution of the Training Data Over the Shortest Path Between the Servers. AINA (3) Ibrahim Dahaoui, Mohamed Mosbah, Akka Zemmari
2023	J	`jnl`	Efficient DRL-Based Selection Strategy in Hybrid Vehicular Networks. IEEE Trans. Netw. Serv. Manag. Badreddine Yacine Yacheur, Toufik Ahmed, Mohamed Mosbah
2023	—	`conf`	Free-Floating Micro-mobility Smart Redistribution Using Spatio-temporal Demand Forecasting. VNC Rania Swessi, Zeineb El Khalfi, Imen Jemili, Mohamed Mosbah
2023	B	`conf`	Multi-Agent Advantage Actor-Critic Learning For Message Content Selection in Cooperative Perception Networks. NOMS Imed Ghnaya, Mohamed Mosbah, Hasnaâ Aniss, Toufik Ahmed
2023	—	`conf`	Optimized Intelligent Driver Model for a Fluid Traffic Flow and Accidents Avoidance. VTC2023-Spring Mayssa Dardour, Mohamed Mosbah, Toufik Ahmed
2023	J	`jnl`	SAP: A Secure Low-Latency Protocol for Mitigating High Computation Overhead in WI-FI Networks. IEEE Access Vineeta Jain, Ulf Wetzker, Vijay Laxmi, Manoj Singh Gaur, Mohamed Mosbah, Dominique Méry
2023	—	`conf`	Securing Level Crossings with Edge Infrastructure and V2X Communications: A High-Performance Solution. DiCES-N Mayssa Dardour, Hend Marouane, Mohamed Mosbah, Hassene Mnif, Toufik Ahmed, Amel Meddeb-Makhlouf
2023	C	`conf`	Throughput Enhancement in Hybrid Vehicular Networks Using Deep Reinforcement Learning. ISCC Badreddine Yacine Yacheur, Toufik Ahmed, Mohamed Mosbah
2022	—	`conf`	A Messaging Strategy based on ITS-G5 for a Bus Blockage Emergency at a Level Crossing. WMNC Mayssa Dardour, Mohamed Mosbah, Toufik Ahmed
2022	—	`conf`	A RAN Slicing Architecture for ITS-G5 Cooperative Intelligent Transport System. CCNC Meroua Moussaoui, Rachedi Abdennour, Toufik Ahmed, Mohamed Mosbah
2022	J	`jnl`	A handshake algorithm for scheduling communications in wireless sensor networks. Concurr. Comput. Pract. Exp. Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Abdessalem Mnif, Ahmed Hadj Kacem
2022	J	`jnl`	Context-aware routing framework for duty-cycled wireless sensor networks. Concurr. Comput. Pract. Exp. Dhouha Ghrab, Imen Jemili, Abdelfettah Belghith, Mohamed Mosbah
2022	J	`jnl`	Cybersecurity attacks on CAN bus based vehicles: a review and open challenges. Libr. Hi Tech Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
2022	—	`ed.`	Distributed Computing for Emerging Smart Networks - Third International Workshop, DiCES-N 2022, Bizerte, Tunisia, February 11, 2022, Proceedings DiCES-N Imen Jemili, Mohamed Mosbah
2022	—	`conf`	Distributed Training from Multi-sourced Data. AINA (2) Ibrahim Dahaoui, Mohamed Mosbah, Akka Zemmari
2022	B	`conf`	Efficient Edge Server Placement under Latency and Load Balancing Constraints for Vehicular Networks. GLOBECOM Sabri Khamari, Toufik Ahmed, Mohamed Mosbah
2022	—	`conf`	Green Edge Servers Placement for Intelligent Transport Systems. NoF Sabri Khamari, Rachedi Abdennour, Toufik Ahmed, Mohamed Mosbah
2022	J	`jnl`	Hybrid routing for safety data with intermittent V2I connectivity. Veh. Commun. Chahrazed Ksouri, Imen Jemili, Mohamed Mosbah, Abdelfettah Belghith
2022	C	`conf`	Keynote Speaker 2: Cybersecurity of connected Vehicules. SIN Mohamed Mosbah
2022	B	`conf`	Maximizing Information Usefulness in Vehicular CP Networks Using Actor-Critic Reinforcement Learning. CNSM Imed Ghnaya, Toufik Ahmed, Mohamed Mosbah, Hasnaâ Aniss
2022	—	`conf`	Proactive C-ITS Decentralized Congestion Control Using LSTM. ICC Rachedi Abdennour, Toufik Ahmed, Mohamed Mosbah
2022	C	`ed.`	Risks and Security of Internet and Systems - 16th International Conference, CRiSIS 2021, Virtual Event, Ames, USA, November 12-13, 2021, Revised Selected Papers CRiSIS Bo Luo, Mohamed Mosbah, Frédéric Cuppens, Lotfi Ben Othmane, Nora Cuppens, Slim Kallel
2022	J	`jnl`	Towards general Internet of Vehicles networking: Routing protocols survey. Concurr. Comput. Pract. Exp. Chahrazed Ksouri, Imen Jemili, Mohamed Mosbah, Abdelfettah Belghith
2022	J	`jnl`	Vision-based vehicle detection for road traffic congestion classification. Concurr. Comput. Pract. Exp. Ameni Chetouane, Sabra Mabrouk, Imen Jemili, Mohamed Mosbah
2021	—	`conf`	A Lightweight Authentication Scheme for SDN-Based Architecture in IoT. AINA (3) Nadia Kammoun, Ryma Abassi, Sihem Guemara El Fatmi, Mohamed Mosbah
2021	J	`jnl`	Cross-layer multipath approach for critical traffic in duty-cycled wireless sensor networks. J. Netw. Comput. Appl. Imen Jemili, Dhouha Ghrab, Abdelfettah Belghith, Mohamed Mosbah, Saad A. Al-Ahmadi
2021	B	`conf`	Edge-based Safety Intersection Assistance Architecture for Connected Vehicles. IWCMC Sabri Khamari, Toufik Ahmed, Mohamed Mosbah
2021	B	`conf`	End-to-End Network Slicing for ITS-G5 Vehicular Communications. IWCMC Rachedi Abdennour, Toufik Ahmed, Mohamed Mosbah
2021	—	`conf`	High-Level Approach for the Reconfiguration of Distributed Algorithms in Wireless Sensor Networks. AINA (2) Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
2021	—	`conf`	Implementation and Assessment of IEEE 802.11BD for Improved Road Safety. CCNC Badreddine Yacine Yacheur, Toufik Ahmed, Mohamed Mosbah
2021	J	`jnl`	Infrastructure localization service and tracking scheme in uncovered areas for Internet of Vehicles. Ann. des Télécommunications Chahrazed Ksouri, Imen Jemili, Mohamed Mosbah, Abdelfettah Belghith
2021	J	`jnl`	Preface. Theor. Comput. Sci. Robert M. Hierons, Mohamed Mosbah
2020	—	`conf`	A New SDN Architecture Based on Trust Management and Access Control for IoT. AINA Workshops Nadia Kammoun, Ryma Abassi, Sihem Guemara El Fatmi, Mohamed Mosbah
2020	B	`conf`	A OneM2M Intrusion Detection and Prevention System based on Edge Machine Learning. NOMS Nadia Chaabouni, Mohamed Mosbah, Akka Zemmari, Cyrille Sauvignac
2020	—	`conf`	A Unified Smart Mobility System Integrating Terrestrial, Aerial and Marine Intelligent Vehicles. Nets4Cars/Nets4Trains/Nets4Aircraft Chahrazed Ksouri, Imen Jemili, Mohamed Mosbah, Abdelfettah Belghith
2020	—	`conf`	Analysis and Comparison of IEEE 802.11p and IEEE 802.11bd. Nets4Cars/Nets4Trains/Nets4Aircraft Badreddine Yacine Yacheur, Toufik Ahmed, Mohamed Mosbah
2020	J	`jnl`	Chapter Three - Effectiveness of state-of-the-art dynamic analysis techniques in identifying diverse Android malware and future enhancements. Adv. Comput. Jyoti Gajrani, Vijay Laxmi, Meenakshi Tripathi, Manoj Singh Gaur, Akka Zemmari, Mohamed Mosbah, Mauro Conti
2020	J	`jnl`	Cross-layer adaptive multipath routing for multimedia Wireless Sensor Networks under duty cycle mode. Ad Hoc Networks Imen Jemili, Dhouha Ghrab, Abdelfettah Belghith, Mohamed Mosbah
2020	—	`ed.`	Distributed Computing for Emerging Smart Networks - First International Workshop, DiCES-N 2019, Hammamet, Tunisia, October 30, 2019, Revised Selected Papers DiCES-N@ICTAC Imen Jemili, Mohamed Mosbah
2020	—	`ed.`	Distributed Computing for Emerging Smart Networks - Second International Workshop, DiCES-N 2020, Bizerte, Tunisia, December 18, 2020, Proceedings DiCES-N Imen Jemili, Mohamed Mosbah
2020	J	`jnl`	Efficient monitoring for intrusion detection in wireless sensor networks. Concurr. Comput. Pract. Exp. Takoua Abdellatif, Mohamed Mosbah
2020	B	`conf`	Formal specification and verification of a broadcasting protocol: a refinement-based approach. KES Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
2020	J	`jnl`	Joint Diversity and Redundancy for Resilient Service Chain Provisioning. IEEE J. Sel. Areas Commun. Abdelhamid Alleg, Toufik Ahmed, Mohamed Mosbah, Raouf Boutaba
2020	—	`conf`	Leveraging GPS Data for Vehicle Maneuver Detection. Nets4Cars/Nets4Trains/Nets4Aircraft Aymen Abdallah, Imen Jemili, Sabra Mabrouk, Mohamed Mosbah
2020	J	`jnl`	Modeling and Proving Distributed Algorithms for Dynamic Graphs. Future Gener. Comput. Syst. Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
2020	—	`conf`	On the Application of Machine Learning for Cut-in Maneuver Recognition in Platooning Scenarios. VTC Spring Afaf Bouhoute, Mohamed Mosbah, Akka Zemmari, Ismail Berrada
2020	B	`conf`	Towards an Efficient Clustering-Based Algorithm for Emergency Messages Broadcasting. ICCCI Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
2020	—	`conf`	Traffic Congestion Detection: Solutions, Open Issues and Challenges. DiCES-N Ameni Chetouane, Sabra Mabrouk, Mohamed Mosbah
2020	J	`jnl`	Vehicle Platooning Systems: Review, Classification and Validation Strategies. Int. J. Networked Distributed Comput. Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
2019	—	`conf`	A Comparative Study of Vehicle Detection Methods in a Video Sequence. DiCES-N@ICTAC Ameni Chetouane, Sabra Mabrouk, Imen Jemili, Mohamed Mosbah
2019	B	`conf`	A Comprehensive Survey on Broadcasting Emergency Messages. IWCMC Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
2019	B	`conf`	An Evaluative Review of the Formal Verification for VANET Protocols. IWCMC Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
2019	—	`conf`	An Intrusion Detection System for the OneM2M Service Layer Based on Edge Machine Learning. ADHOC-NOW Nadia Chaabouni, Mohamed Mosbah, Akka Zemmari, Cyrille Sauvignac
2019	J	`jnl`	ETGuard: Detecting D2D Attacks using Wireless Evil Twins. CoRR Vineeta Jain, Vijay Laxmi, Manoj Singh Gaur, Mohamed Mosbah
2019	J	`jnl`	ETGuard: Detecting D2D attacks using wireless Evil Twins. Comput. Secur. Vineeta Jain, Vijay Laxmi, Manoj Singh Gaur, Mohamed Mosbah
2019	—	`conf`	Energy Efficient Handshake Algorithm for Wireless Sensor Networks. DiCES-N@ICTAC Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
2019	J	`jnl`	Formal Modeling and Verification of a Distributed Algorithm for Constructing Maximal Cliques in Static Networks. Computación y Sistemas Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
2019	Misc	`conf`	Leveraging the link quality awareness for body node coordinator (BNC) placement in WBANs. SAC Rim Negra, Imen Jemili, Akka Zemmari, Mohamed Mosbah, Abdelfettah Belghith, Nesrine Ouled Abdallah
2019	—	`conf`	MTM-MAC: Medical Traffic Management MAC Protocol for Handling Healthcare Applications in WBANs. ADHOC-NOW Rim Negra, Imen Jemili, Abdelfettah Belghith, Mohamed Mosbah
2019	J	`jnl`	Network Intrusion Detection for IoT Security Based on Learning Techniques. IEEE Commun. Surv. Tutorials Nadia Chaabouni, Mohamed Mosbah, Akka Zemmari, Cyrille Sauvignac, Parvez Faruki
2019	C	`ed.`	Risks and Security of Internet and Systems - 13th International Conference, CRiSIS 2018, Arcachon, France, October 16-18, 2018, Revised Selected Papers CRiSIS Akka Zemmari, Mohamed Mosbah, Nora Cuppens-Boulahia, Frédéric Cuppens
2019	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings ICTAC Robert M. Hierons, Mohamed Mosbah
2019	—	`conf`	VANETs Routing Protocols Survey: Classifications, Optimization Methods and New Trends. DiCES-N@ICTAC Chahrazed Ksouri, Imen Jemili, Mohamed Mosbah, Abdelfettah Belghith
2018	C	`conf`	A Formal Approach for Distributed Computing of Maximal Cliques in Dynamic Networks. SEKE Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
2018	—	`conf`	APPLADroid: Automaton Based Inter-app Privacy Leak Analysis for Android. ISEA-ISAP Vineeta Jain, Vijay Laxmi, Manoj Singh Gaur, Mohamed Mosbah
2018	J	`jnl`	Context-aware medium access control protocols in wireless sensor networks. Internet Technol. Lett. Dhouha Ghrab, Imen Jemili, Abdelfettah Belghith, Mohamed Mosbah
2018	B	`conf`	Data Gathering for Internet of Vehicles Safety. IWCMC Chahrazed Ksouri, Imen Jemili, Mohamed Mosbah, Abdelfettah Belghith
2018	—	`conf`	Distributed Computations in Wireless Sensor Networks by Local Interactions. ADHOC-NOW Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
2018	B	`conf`	Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review. KES Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
2018	C	`conf`	Proving Distributed Algorithms for Wireless Sensor Networks by Combining Refinement and Local Computations. WETICE Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
2018	B	`conf`	WBAN Path Loss Based Approach For Human Activity Recognition With Machine Learning Techniques. IWCMC Rim Negra, Imen Jemili, Akka Zemmari, Mohamed Mosbah, Abdelfettah Belghith
2018	J	`jnl`	Whac-A-Mole: Smart node positioning in clone attack in wireless sensor networks. Comput. Commun. Wafa Ben Jaballah, Mauro Conti, Gilberto Filé, Mohamed Mosbah, Akka Zemmari
2017	C	`conf`	A correct-by-construction approach for proving distributed algorithms in spanning trees. ICIS Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Dominique Méry, Ahmed Hadj Kacem
2017	J	`jnl`	A secure electric energy management in smart home. Int. J. Commun. Syst. Bacem Mbarek, Aref Meddeb, Wafa Ben Jaballah, Mohamed Mosbah
2017	C	`conf`	Adaptable Monitoring for Intrusion Detection in Wireless Sensor Networks. WETICE Takoua Abdellatif, Kais Rouis, Mohamed Mosbah
2017	C	`conf`	Algorithms for Finding Maximal and Maximum Cliques: A Survey. ISDA Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
2017	—	`conf`	An Efficient Broadcast Authentication Scheme in Wireless Sensor Networks. ANT/SEIT Bacem Mbarek, Aref Meddeb, Wafa Ben Jaballah, Mohamed Mosbah
2017	J	`jnl`	Android inter-app communication threats and detection techniques. Comput. Secur. Shweta Bhandari, Wafa Ben Jaballah, Vineeta Jain, Vijay Laxmi, Akka Zemmari, Manoj Singh Gaur, Mohamed Mosbah, Mauro Conti
2017	J	`jnl`	Context-Aware Broadcast in Duty-Cycled Wireless Sensor Networks. Int. J. Semantic Web Inf. Syst. Imen Jemili, Dhouha Ghrab, Abdelfettah Belghith, Mohamed Mosbah
2017	—	`conf`	Correlation-Free MultiPath Routing for Multimedia Traffic in Wireless Sensor Networks. ADHOC-NOW Dhouha Ghrab, Imen Jemili, Abdelfettah Belghith, Mohamed Mosbah
2017	B	`conf`	Delay-aware VNF placement and chaining based on a flexible resource allocation approach. CNSM Abdelhamid Alleg, Toufik Ahmed, Mohamed Mosbah, Roberto Riggio, Raouf Boutaba
2017	—	`conf`	Electing a Leader in Dynamic Networks using Mobile Agents and Local Computations. ANT/SEIT Mouna Ktari, Mohamed Mosbah, Ahmed Hadj Kacem
2017	—	`conf`	Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques. SCSS Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
2017	J	`jnl`	Leader election and computation of a spanning tree in dynamic distributed networks using local computations and mobile agents. Int. J. Space Based Situated Comput. Mouna Ktari, Mohamed Mosbah, Ahmed Hadj Kacem
2017	J	`jnl`	Maintenance of a Spanning Tree For Dynamic Graphs by Mobile Agents and Local Computations. RAIRO Theor. Informatics Appl. Mouna Ktari, Mohamed Amine Haddar, Mohamed Mosbah, Ahmed Hadj Kacem
2017	J	`jnl`	Proving Distributed Coloring of Forests in Dynamic Networks. Computación y Sistemas Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Dominique Méry, Ahmed Hadj Kacem
2017	—	`ed.`	SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia SCSS Mohamed Mosbah, Michaël Rusinowitch
2017	—	`conf`	SniffDroid: Detection of Inter-App Privacy Leaks in Android. TrustCom/BigDataSE/ICESS Vineeta Jain, Shweta Bhandari, Vijay Laxmi, Manoj Singh Gaur, Mohamed Mosbah
2017	C	`conf`	Unraveling Reflection Induced Sensitive Leaks in Android Apps. CRiSIS Jyoti Gajrani, Vijay Laxmi, Meenakshi Tripathi, Manoj Singh Gaur, Daya Ram Sharma, Akka Zemmari, Mohamed Mosbah, Mauro Conti
2016	—	`conf`	A Fault-Tolerant Handshake Algorithm for Local Computations. AINA Workshops Allyx Fontaine, Mohamed Mosbah, Mohamed Tounsi, Akka Zemmari
2016	C	`conf`	A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs. WETICE Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
2016	C	`conf`	A broadcast authentication scheme in IoT environments. AICCSA Bacem Mbarek, Aref Meddeb, Wafa Ben Jaballah, Mohamed Mosbah
2016	Misc	`conf`	Detection of SQLite Database Vulnerabilities in Android Apps. ICISS Vineeta Jain, Manoj Singh Gaur, Vijay Laxmi, Mohamed Mosbah
2016	—	`conf`	Distributed Computation and Maintenance of a Spanning Tree in Dynamic Networks by Mobile Agents. AINA Workshops Mouna Ktari, Mohamed Amine Haddar, Mohamed Mosbah, Ahmed Hadj Kacem
2016	B	`conf`	Fast synchronisation protocol with collision handling for wireless ad hoc networks. WCNC Imen Jemili, Hamida Jarraya, Abdelfettah Belghith, Mohamed Mosbah
2016	C	`conf`	Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions. ABZ Maha Boussabbeh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
2016	J	`jnl`	From Event-B specifications to programs for distributed algorithms. Int. J. Auton. Adapt. Commun. Syst. Mohamed Tounsi, Mohamed Mosbah, Dominique Méry
2016	B	`conf`	NDRECT: Node-disjoint routes establishment for critical traffic in WSNs. IWCMC Dhouha Ghrab, Imen Jemili, Abdelfettah Belghith, Mohamed Mosbah
2016	B	`conf`	Study of context-awareness efficiency applied to duty cycled wireless sensor networks. WCNC Dhouha Ghrab, Imen Jemili, Abdelfettah Belghith, Mohamed Mosbah
2016	J	`jnl`	The impact of malicious nodes positioning on vehicular alert messaging system. Ad Hoc Networks Wafa Ben Jaballah, Mauro Conti, Mohamed Mosbah, Claudio E. Palazzi
2016	C	`conf`	Towards a General Framework for Ensuring and Reusing Proofs of Termination Detection in Distributed Computing. PDP Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
2015	C	`conf`	A Totally Distributed Fair Scheduler for Population Protocols by Randomized Handshakes. ICTAC Nesrine Ouled Abdallah, Mohamed Jmaiel, Mohamed Mosbah, Akka Zemmari
2015	C	`conf`	A formal pattern for dynamic networks through evolving graphs. AICCSA Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
2015	C	`conf`	A secure authentication mechanism for resource constrained devices. AICCSA Bacem Mbarek, Aref Meddeb, Wafa Ben Jaballah, Mohamed Mosbah
2015	B	`conf`	ECAB: An Efficient Context-Aware multi-hop Broadcasting protocol for wireless sensor networks. IWCMC Dhouha Ghrab, Imen Jemili, Abdelfettah Belghith, Mohamed Mosbah
2015	—	`conf`	Enhanced LEAP authentication delay for higher immunity against DoS attack. CFIP/NOTERE Bacem Mbarek, Aref Meddeb, Wafa Ben Jaballah, Mohamed Mosbah
2015	J	`jnl`	Functional dependencies are helpful for partial materialization of data cubes. Ann. Math. Artif. Intell. Eve Garnaud, Sofian Maabout, Mohamed Mosbah
2015	J	`jnl`	HLPSP: A Hybrid Live P2P Streaming Protocol. KSII Trans. Internet Inf. Syst. Chourouk Hammami, Imen Jemili, Achraf Gazdar, Abdelfettah Belghith, Mohamed Mosbah
2015	—	`conf`	Impact of security threats in vehicular alert messaging systems. ICC Workshops Wafa Ben Jaballah, Mauro Conti, Mohamed Mosbah, Claudio E. Palazzi
2015	J	`jnl`	Lightweight secure group communications for resource constrained devices. Int. J. Space Based Situated Comput. Wafa Ben Jaballah, Mohamed Mosbah, Habib Youssef, Akka Zemmari
2015	C	`conf`	Proving distributed algorithms for mobile agents: Examples of spanning tree computation in dynamic networks. AICCSA Mouna Ktari, Mohamed Amine Haddar, Ahmed Hadj Kacem, Mohamed Mosbah
2015	—	`conf`	Towards a Formal Model for Dynamic Networks Through Refinement and Evolving Graphs. SNPD (revised selected papers) Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
2014	J	`jnl`	A secure alert messaging system for safe driving. Comput. Commun. Wafa Ben Jaballah, Mauro Conti, Mohamed Mosbah, Claudio E. Palazzi
2014	C	`conf`	Enhancing Proofs of Local Computations through Formal Event-B Modularization. WETICE Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
2014	J	`jnl`	Fast and Secure Multihop Broadcast Solutions for Intervehicular Communication. IEEE Trans. Intell. Transp. Syst. Wafa Ben Jaballah, Mauro Conti, Mohamed Mosbah, Claudio E. Palazzi
2014	B	`conf`	Greedy Flooding in Redoubtable Sensor Networks. AINA Nesrine Ouled Abdallah, Mohamed Jmaiel, Mohamed Mosbah, Akka Zemmari
2014	—	`conf`	Hybrid Live P2P Streaming Protocol. ANT/SEIT Chourouk Hammami, Imen Jemili, Achraf Gazdar, Abdelfettah Belghith, Mohamed Mosbah
2014	J	`jnl`	Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Rachid Echahed, Annegret Habel, Mohamed Mosbah
2014	C	`conf`	ViSiDiA: A Java Framework for Designing, Simulating, and Visualizing Distributed Algorithms. DS-RT Wahabou Abdou, Nesrine Ouled Abdallah, Mohamed Mosbah
2013	C	`conf`	From Event-B Specifications to Programs for Distributed Algorithms. WETICE Mohamed Tounsi, Mohamed Mosbah, Dominique Méry
2013	J	`jnl`	Graph Computation Models 2012. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Rachid Echahed, Annegret Habel, Mohamed Mosbah
2013	B	`conf`	Lightweight Source Authentication Mechanisms for Group Communications in Wireless Sensor Networks. AINA Wafa Ben Jaballah, Mohamed Mosbah, Habib Youssef, Akka Zemmari
2013	C	`conf`	MASS: An efficient and secure broadcast authentication scheme for resource constrained devices. CRiSIS Wafa Ben Jaballah, Mauro Conti, Roberto Di Pietro, Mohamed Mosbah, Nino Vincenzo Verde
2013	—	`conf`	Performance evaluation of key disclosure delay-based schemes in wireless sensor networks. PerCom Workshops Wafa Ben Jaballah, Mohamed Mosbah, Habib Youssef
2013	J	`jnl`	Randomized broadcasting in wireless mobile sensor networks. Concurr. Comput. Pract. Exp. Nesrine Ouled Abdallah, Hatem Hadj Kacem, Mohamed Mosbah, Akka Zemmari
2013	B	`conf`	Secure Verification of Location Claims on a Vehicular Safety Application. ICCCN Wafa Ben Jaballah, Mauro Conti, Mohamed Mosbah, Claudio E. Palazzi
2013	C	`conf`	Towards Proved Distributed Algorithms through Refinement, Composition and Local Computations. WETICE Vincent Filou, Mohamed Mosbah, Mohamed Tounsi
2012	—	`conf`	A Multipath Layered Cluster Based Routing for Ad Hoc Networks. NTMS Imen Jemili, Nader Chaabouni, Abdelfettah Belghith, Mohamed Mosbah
2012	C	`conf`	Debugging the Execution of Distributed Algorithms over Anonymous Networks. IV Thomas Morsellino, Cédric Aguerre, Mohamed Mosbah
2012	—	`conf`	Extraction de séquences fréquentes avec intervalles d'incertitude. EGC Asma Ben Zakour, Sofian Maabout, Mohamed Mosbah, Marc Sistiaga
2012	—	`conf`	Fully-distributed Debugging and Visualization of Distributed Systems in Anonymous Networks. GRAPP/IVAPP Cédric Aguerre, Thomas Morsellino, Mohamed Mosbah
2012	J	`jnl`	Les dépendances fonctionnelles pour la sélection de vues dans les cubes de données. J. Decis. Syst. Eve Garnaud, Sofian Maabout, Mohamed Mosbah
2012	—	`conf`	Relaxing Time Granularity for Mining Frequent Sequences. EGC (best of volume) Asma Ben Zakour, Sofian Maabout, Mohamed Mosbah, Marc Sistiaga
2012	—	`conf`	Uncertainty Interval Temporal Sequences Extraction. ICISTM Asma Ben Zakour, Sofian Maabout, Mohamed Mosbah, Marc Sistiaga
2012	—	`conf`	Using Functional Dependencies for Reducing the Size of a Data Cube. FoIKS Eve Garnaud, Sofian Maabout, Mohamed Mosbah
2011	—	`conf`	Dépendances fonctionnelles et matérialisation partielle des cubes de données. EDA Eve Garnaud, Sofian Maabout, Mohamed Mosbah
2011	J	`jnl`	Graph Computation Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Rachid Echahed, Annegret Habel, Mohamed Mosbah
2011	B	`conf`	Refinement-Based Verification of Local Synchronization Algorithms. FM Dominique Méry, Mohamed Mosbah, Mohamed Tounsi
2010	C	`conf`	A layered cluster based routing for an ad hoc environment. AICCSA Imen Jemili, Abdelfettah Belghith, Mohamed Mosbah
2010	—	`conf`	Broadcast in wireless mobile sensor networks with population protocols and extension with the rendezvous model. NOTERE Nesrine Ouled Abdallah, Hatem Hadj Kacem, Mohamed Mosbah, Akka Zemmari
2010	B	`ed.`	Principles of Distributed Systems - 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings OPODIS Chenyang Lu, Toshimitsu Masuzawa, Mohamed Mosbah
2010	J	`jnl`	Proving Distributed Algorithms by Combining Refinement and Local Computations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Mohamed Tounsi, Mohamed Mosbah, Dominique Méry
2010	—	`conf`	Simplification de données de vol pour un stockage optimal et une visualisation accélérée. EGC Ibrahim Chahid, Sofian Maabout, Loic Martin, Mohamed Mosbah
2010	J	`jnl`	Sublinear Fully Distributed Partition with Applications. Theory Comput. Syst. Bilel Derbel, Mohamed Mosbah, Akka Zemmari
2010	—	`conf`	Time Constraints Extension on Frequent Sequential Patterns. KDIR Asma Ben Zakour, Marc Sistiaga, Sofian Maabout, Mohamed Mosbah
2009	—	`conf`	A DSL Framework for Policy-Based Security of Distributed Systems. SSIRI Hédi Hamdi, Mohamed Mosbah
2009	J	`jnl`	Dynamic security framework for mobile agent systems: specification, verification and enforcement. Int. J. Inf. Comput. Secur. Monia Loulou, Mohamed Jmaiel, Mohamed Mosbah
2009	C	`conf`	Exploiting a clustering mechanism for power saving in ad hoc networks: Performance evaluation. AICCSA Imen Jemili, Abdelfettah Belghith, Mohamed Mosbah
2008	—	`conf`	A Synchronous Tiered Based Clustering Algorithm for large-scale Ad hoc Networks. MWCN/PWC Imen Jemili, Abdelfattah Belghith, Mohamed Mosbah
2008	C	`conf`	A formal security framework for mobile agent systems: Specification and verification. CRiSIS Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Mohamed Mosbah
2008	C	`ed.`	CRiSIS '08, Third International Conference on Risks and Security of Internet and Systems, Tozeur, Tunisia, October 28-30, 2008 CRiSIS Mohamed Jmaiel, Mohamed Mosbah
2008	—	`conf`	Cluster based prioritized power conservation mechanism. Wireless Days Imen Jemili, Abdelfettah Belghith, Mohamed Mosbah
2008	C	`conf`	Electing a leader in the local computation model using mobile agents. AICCSA Med Amine Haddar, Ahmed Hadj Kacem, Yves Métivier, Mohamed Mosbah, Mohamed Jmaiel
2008	—	`conf`	Evaluating the Efficiency of Clustering on Routing and Network Performance. ICWN Imen Jemili, Abdelfattah Belghith, Mohamed Mosbah
2008	B	`conf`	Mobile Agents Implementing Local Computations in Graphs. ICGT Bilel Derbel, Mohamed Mosbah, Stefan Gruner
2008	Misc	`conf`	Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks. ICDCN Med Amine Haddar, Ahmed Hadj Kacem, Yves Métivier, Mohamed Mosbah, Mohamed Jmaiel
2008	B	`conf`	Workshop on Graph Computation Models. ICGT Mohamed Mosbah, Annegret Habel
2007	B	`conf`	A Distributed Computational Model for Mobile Agents. PRIMA Med Amine Haddar, Ahmed Hadj Kacem, Yves Métivier, Mohamed Mosbah, Mohamed Jmaiel
2007	—	`conf`	A Domain Specific Language for Securing Distributed Systems. ICSNC Hédi Hamdi, Mohamed Mosbah, Adel Bouhoula
2007	B	`conf`	A Generic Distributed Algorithm for Computing by Random Mobile Agents. PRIMA Shehla Abbas, Mohamed Mosbah, Akka Zemmari
2007	—	`conf`	A Self-stabilizing Distributed Algorithm for Resolving Conflicts. OTM Workshops (2) Brahim Hamid, Mohamed Mosbah, Akka Zemmari
2007	—	`conf`	A Software Architecture for Automatic Security Policy Enforcement in Distributed Systems. SECURWARE Hédi Hamdi, Adel Bouhoula, Mohamed Mosbah
2007	J	`jnl`	Convex Drawings of 3-Connected Plane Graphs. Algorithmica Nicolas Bonichon, Stefan Felsner, Mohamed Mosbah
2007	C	`conf`	Distributed Local 2-Connectivity Test of Graphs and Applications. ISPA Brahim Hamid, Bertrand Le Saëc, Mohamed Mosbah
2007	—	`conf`	Merging Time of Random Mobile Agents. LDIC Shehla Abbas, Mohamed Mosbah, Akka Zemmari
2006	J	`jnl`	A Local Enumeration Protocol in Spite of Corrupted Data. J. Comput. Brahim Hamid, Mohamed Mosbah
2006	C	`conf`	A Local Self-stabilizing Enumeration Algorithm. DAIS Brahim Hamid, Mohamed Mosbah
2006	A	`conf`	Fast distributed graph partition and application. IPDPS Bilel Derbel, Mohamed Mosbah, Akka Zemmari
2006	B	`conf`	Workshop on Graph Computation Models. ICGT Yves Métivier, Mohamed Mosbah
2005	B	`conf`	A Formal Model for Fault-Tolerance in Distributed Systems. SAFECOMP Brahim Hamid, Mohamed Mosbah
2005	C	`conf`	An Automatic Approach to Self-Stabilization. SNPD Brahim Hamid, Mohamed Mosbah
2005	—	`conf`	An Implementation of a Failure Detector for Local Computations in Graphs. Parallel and Distributed Computing and Networks Brahim Hamid, Mohamed Mosbah
2005	—	`conf`	Distributed Graph Traversals by Relabelling Systems with Applications. GT-VC@CONCUR Bilel Derbel, Mohamed Mosbah
2005	C	`conf`	Visualization of Self-Stabilizing Distributed Algorithms. IV Brahim Hamid, Mohamed Mosbah
2004	—	`conf`	A Programming Language for Local Computations in Graphs: Computational Completeness. ENC Mohamed Mosbah, Rodrigue Ossamy
2004	—	`conf`	Checking Global Properties for Local Computations in Graphs with Applications to Invariant Testing. ENC Mohamed Mosbah, Rodrigue Ossamy
2004	A	`conf`	Convex Drawings of 3-Connected Plane Graphs. GD Nicolas Bonichon, Stefan Felsner, Mohamed Mosbah
2004	J	`jnl`	Orthogonal drawings based on the stratification of planar graphs. Discret. Math. Nicolas Bonichon, Bertrand Le Saëc, Mohamed Mosbah
2004	B	`conf`	Synchronizers for Local Computations. ICGT Yves Métivier, Mohamed Mosbah, Rodrigue Ossamy, Afif Sellami
2003	C	`conf`	Distributing the Execution of a Distributed Algorithm over a Network. IV Bilel Derbel, Mohamed Mosbah
2003	J	`jnl`	Watermelon uniform random generation with applications. Theor. Comput. Sci. Nicolas Bonichon, Mohamed Mosbah
2002	—	`conf`	A Unified Framework for Designing, Implementing and Visualizing Distributed Algorithms. GT-VMT@ICGT Michel Bauderon, Mohamed Mosbah
2002	B	`conf`	Optimal Area Algorithm for Planar Polyline Drawings. WG Nicolas Bonichon, Bertrand Le Saëc, Mohamed Mosbah
2002	B	`conf`	Termination Detection of Distributed Algorithms by Graph Relabelling Systems. ICGT Emmanuel Godard, Yves Métivier, Mohamed Mosbah, Afif Sellami
2002	A*	`conf`	Wagner's Theorem on Realizers. ICALP Nicolas Bonichon, Bertrand Le Saëc, Mohamed Mosbah
2001	B	`conf`	A Distributed Algorithm for Computing a Spanning Tree in Anonymous Tprime Graph. OPODIS Yves Métivier, Mohamed Mosbah, Pierre-André Wacrenier, Stefan Gruner
2001	—	`conf`	Graph Relabelling Systems: a Tool for Encoding, Proving, Studying and Visualizing - Distributed Algorithms. GETGRATS Closing Workshop Michel Bauderon, Yves Métivier, Mohamed Mosbah, Afif Sellami
2001	—	`conf`	Visualization of Distributed Algorithms Based on Graph Relabelling Systems. GT-VMT@ICALP Michel Bauderon, Stefan Gruner, Yves Métivier, Mohamed Mosbah, Afif Sellami
2000	J	`jnl`	Formal rational fractions and random walks on cycles. Discret. Math. Mohamed Mosbah, Nasser Saheb
2000	J	`jnl`	Orthogonal Drawings Based On The Stratification Of Planar Graphs. Electron. Notes Discret. Math. Nicolas Bonichon, Bertrand Le Saëc, Mohamed Mosbah
1999	J	`jnl`	Non-Uniform Random Spanning Trees on Weighted Graphs. Theor. Comput. Sci. Mohamed Mosbah, Nasser Saheb
1997	B	`conf`	A Syntactic Approach to Random Walks on Graphs. WG Mohamed Mosbah, Nasser Saheb
1996	J	`jnl`	Probabilistic Graph Grammars. Fundam. Informaticae Mohamed Mosbah
1996	J	`jnl`	Probabilistic Hyperedge Replacement Grammars. Theor. Comput. Sci. Mohamed Mosbah
1993	J	`jnl`	Monadic Second-Order Evaluations on Tree-Decomposable Graphs. Theor. Comput. Sci. Bruno Courcelle, Mohamed Mosbah
1992	B	`conf`	Probabilistic Graph Grammars. WG Mohamed Mosbah
1991	B	`conf`	Monadic Second-Order Evaluations on Tree-Decomposable Graphs. WG Bruno Courcelle, Mohamed Mosbah