Mohamed Mosbah
Orcid: 0000-0001-6031-4237Affiliations:
- University of Bordeaux, Bordeaux INP, France
According to our database1,
Mohamed Mosbah
authored at least 187 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on linkedin.com
-
on labri.fr
-
on orcid.org
On csauthors.net:
Bibliography
2024
Improving Emergency Response: An In-Depth Analysis of an ITS-G5 Messaging Strategy for Bus Blockage Emergencies at Level Crossings.
J. Netw. Syst. Manag., April, 2024
A Hybrid System for Defect Detection on Rail Lines through the Fusion of Object and Context Information.
Sensors, February, 2024
Proceedings of the Advanced Information Networking and Applications, 2024
2023
IEEE Trans. Netw. Serv. Manag., September, 2023
SAP: A Secure Low-Latency Protocol for Mitigating High Computation Overhead in WI-FI Networks.
IEEE Access, 2023
A Distributed Double Deep Q-Learning Method for Object Redundancy Mitigation in Vehicular Networks.
Proceedings of the IEEE Wireless Communications and Networking Conference, 2023
Proceedings of the 97th IEEE Vehicular Technology Conference, 2023
Proceedings of the 97th IEEE Vehicular Technology Conference, 2023
Free-Floating Micro-mobility Smart Redistribution Using Spatio-temporal Demand Forecasting.
Proceedings of the IEEE Vehicular Networking Conference, 2023
Multi-Agent Advantage Actor-Critic Learning For Message Content Selection in Cooperative Perception Networks.
Proceedings of the NOMS 2023, 2023
Throughput Enhancement in Hybrid Vehicular Networks Using Deep Reinforcement Learning.
Proceedings of the IEEE Symposium on Computers and Communications, 2023
Adaptive Deep Reinforcement Learning Approach for Service Migration in MEC-Enabled Vehicular Networks.
Proceedings of the IEEE Symposium on Computers and Communications, 2023
Proceedings of the Advanced Information Networking and Applications, 2023
2022
Veh. Commun., 2022
Libr. Hi Tech, 2022
Concurr. Comput. Pract. Exp., 2022
Concurr. Comput. Pract. Exp., 2022
Concurr. Comput. Pract. Exp., 2022
Concurr. Comput. Pract. Exp., 2022
Proceedings of the 15th International Conference on Security of Information and Networks, 2022
Proceedings of the 13th International Conference on Network of the Future, 2022
A Messaging Strategy based on ITS-G5 for a Bus Blockage Emergency at a Level Crossing.
Proceedings of the 14th IFIP Wireless and Mobile Networking Conference, 2022
Proceedings of the IEEE International Conference on Communications, 2022
Efficient Edge Server Placement under Latency and Load Balancing Constraints for Vehicular Networks.
Proceedings of the IEEE Global Communications Conference, 2022
Maximizing Information Usefulness in Vehicular CP Networks Using Actor-Critic Reinforcement Learning.
Proceedings of the 18th International Conference on Network and Service Management, 2022
Proceedings of the 19th IEEE Annual Consumer Communications & Networking Conference, 2022
Proceedings of the Advanced Information Networking and Applications, 2022
2021
Cross-layer multipath approach for critical traffic in duty-cycled wireless sensor networks.
J. Netw. Comput. Appl., 2021
Infrastructure localization service and tracking scheme in uncovered areas for Internet of Vehicles.
Ann. des Télécommunications, 2021
Proceedings of the 17th International Wireless Communications and Mobile Computing, 2021
Proceedings of the 17th International Wireless Communications and Mobile Computing, 2021
Proceedings of the 18th IEEE Annual Consumer Communications & Networking Conference, 2021
High-Level Approach for the Reconfiguration of Distributed Algorithms in Wireless Sensor Networks.
Proceedings of the Advanced Information Networking and Applications, 2021
Proceedings of the Advanced Information Networking and Applications, 2021
2020
IEEE J. Sel. Areas Commun., 2020
Int. J. Networked Distributed Comput., 2020
Future Gener. Comput. Syst., 2020
Concurr. Comput. Pract. Exp., 2020
Cross-layer adaptive multipath routing for multimedia Wireless Sensor Networks under duty cycle mode.
Ad Hoc Networks, 2020
Chapter Three - Effectiveness of state-of-the-art dynamic analysis techniques in identifying diverse Android malware and future enhancements.
Adv. Comput., 2020
On the Application of Machine Learning for Cut-in Maneuver Recognition in Platooning Scenarios.
Proceedings of the 91st IEEE Vehicular Technology Conference, 2020
Proceedings of the NOMS 2020, 2020
Proceedings of the Communication Technologies for Vehicles, 2020
A Unified Smart Mobility System Integrating Terrestrial, Aerial and Marine Intelligent Vehicles.
Proceedings of the Communication Technologies for Vehicles, 2020
Proceedings of the Communication Technologies for Vehicles, 2020
Formal specification and verification of a broadcasting protocol: a refinement-based approach.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, 2020
Proceedings of the Computational Collective Intelligence - 12th International Conference, 2020
Proceedings of the Distributed Computing for Emerging Smart Networks, 2020
Proceedings of the Web, Artificial Intelligence and Network Applications, 2020
2019
Formal Modeling and Verification of a Distributed Algorithm for Constructing Maximal Cliques in Static Networks.
Computación y Sistemas, 2019
IEEE Commun. Surv. Tutorials, 2019
Leveraging the link quality awareness for body node coordinator (BNC) placement in WBANs.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
Proceedings of the 15th International Wireless Communications & Mobile Computing Conference, 2019
Proceedings of the 15th International Wireless Communications & Mobile Computing Conference, 2019
Proceedings of the Distributed Computing for Emerging Smart Networks, 2019
VANETs Routing Protocols Survey: Classifications, Optimization Methods and New Trends.
Proceedings of the Distributed Computing for Emerging Smart Networks, 2019
Proceedings of the Distributed Computing for Emerging Smart Networks, 2019
MTM-MAC: Medical Traffic Management MAC Protocol for Handling Healthcare Applications in WBANs.
Proceedings of the Ad-Hoc, Mobile, and Wireless Networks, 2019
An Intrusion Detection System for the OneM2M Service Layer Based on Edge Machine Learning.
Proceedings of the Ad-Hoc, Mobile, and Wireless Networks, 2019
2018
Internet Technol. Lett., 2018
Comput. Commun., 2018
Proving Distributed Algorithms for Wireless Sensor Networks by Combining Refinement and Local Computations.
Proceedings of the 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2018
Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018
Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, 2018
WBAN Path Loss Based Approach For Human Activity Recognition With Machine Learning Techniques.
Proceedings of the 14th International Wireless Communications & Mobile Computing Conference, 2018
Proceedings of the 14th International Wireless Communications & Mobile Computing Conference, 2018
Proceedings of the Security and Privacy - Second ISEA International Conference, 2018
Proceedings of the Ad-hoc, Mobile, and Wireless Networks, 2018
2017
Maintenance of a Spanning Tree For Dynamic Graphs by Mobile Agents and Local Computations.
RAIRO Theor. Informatics Appl., 2017
Int. J. Semantic Web Inf. Syst., 2017
Leader election and computation of a spanning tree in dynamic distributed networks using local computations and mobile agents.
Int. J. Space Based Situated Comput., 2017
Computación y Sistemas, 2017
Comput. Secur., 2017
Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017
Proceedings of the 2017 IEEE Trustcom/BigDataSE/ICESS, Sydney, Australia, August 1-4, 2017, 2017
Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques.
Proceedings of the SCSS 2017, 2017
Proceedings of the Intelligent Systems Design and Applications, 2017
Proceedings of the Risks and Security of Internet and Systems, 2017
Delay-aware VNF placement and chaining based on a flexible resource allocation approach.
Proceedings of the 13th International Conference on Network and Service Management, 2017
Proceedings of the 8th International Conference on Ambient Systems, 2017
Proceedings of the 8th International Conference on Ambient Systems, 2017
Correlation-Free MultiPath Routing for Multimedia Traffic in Wireless Sensor Networks.
Proceedings of the Ad-hoc, Mobile, and Wireless Networks, 2017
A correct-by-construction approach for proving distributed algorithms in spanning trees.
Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017
2016
Int. J. Auton. Adapt. Commun. Syst., 2016
Ad Hoc Networks, 2016
Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016
Proceedings of the IEEE Wireless Communications and Networking Conference, 2016
Study of context-awareness efficiency applied to duty cycled wireless sensor networks.
Proceedings of the IEEE Wireless Communications and Networking Conference, 2016
Towards a General Framework for Ensuring and Reusing Proofs of Termination Detection in Distributed Computing.
Proceedings of the 24th Euromicro International Conference on Parallel, 2016
Proceedings of the 2016 International Wireless Communications and Mobile Computing Conference (IWCMC), 2016
Proceedings of the Information Systems Security - 12th International Conference, 2016
Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016
Distributed Computation and Maintenance of a Spanning Tree in Dynamic Networks by Mobile Agents.
Proceedings of the 30th International Conference on Advanced Information Networking and Applications Workshops, 2016
Proceedings of the 30th International Conference on Advanced Information Networking and Applications Workshops, 2016
Proceedings of the 13th IEEE/ACS International Conference of Computer Systems and Applications, 2016
2015
Int. J. Space Based Situated Comput., 2015
Ann. Math. Artif. Intell., 2015
Proceedings of the Software Engineering, 2015
Proceedings of the International Conference on Protocol Engineering, 2015
ECAB: An Efficient Context-Aware multi-hop Broadcasting protocol for wireless sensor networks.
Proceedings of the International Wireless Communications and Mobile Computing Conference, 2015
A Totally Distributed Fair Scheduler for Population Protocols by Randomized Handshakes.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015
Proceedings of the IEEE International Conference on Communication, 2015
Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015
Proving distributed algorithms for mobile agents: Examples of spanning tree computation in dynamic networks.
Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015
Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015
2014
IEEE Trans. Intell. Transp. Syst., 2014
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014
ViSiDiA: A Java Framework for Designing, Simulating, and Visualizing Distributed Algorithms.
Proceedings of the 18th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2014
Proceedings of the 5th International Conference on Ambient Systems, 2014
Proceedings of the 28th IEEE International Conference on Advanced Information Networking and Applications, 2014
2013
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
Concurr. Comput. Pract. Exp., 2013
Towards Proved Distributed Algorithms through Refinement, Composition and Local Computations.
Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013
Performance evaluation of key disclosure delay-based schemes in wireless sensor networks.
Proceedings of the 2013 IEEE International Conference on Pervasive Computing and Communications Workshops, 2013
Proceedings of the 22nd International Conference on Computer Communication and Networks, 2013
MASS: An efficient and secure broadcast authentication scheme for resource constrained devices.
Proceedings of the 2013 International Conference on Risks and Security of Internet and Systems (CRiSIS), 2013
Lightweight Source Authentication Mechanisms for Group Communications in Wireless Sensor Networks.
Proceedings of the 27th IEEE International Conference on Advanced Information Networking and Applications, 2013
2012
J. Decis. Syst., 2012
Proceedings of the 5th International Conference on New Technologies, 2012
Proceedings of the 16th International Conference on Information Visualisation, 2012
Proceedings of the Information Systems, Technology and Management, 2012
Fully-distributed Debugging and Visualization of Distributed Systems in Anonymous Networks.
Proceedings of the GRAPP & IVAPP 2012: Proceedings of the International Conference on Computer Graphics Theory and Applications and International Conference on Information Visualization Theory and Applications, 2012
Proceedings of the Foundations of Information and Knowledge Systems, 2012
Proceedings of the Advances in Knowledge Discovery and Management, 2012
Proceedings of the Extraction et gestion des connaissances (EGC'2012), Actes, janvier 31, 2012
2011
Proceedings of the FM 2011: Formal Methods, 2011
Proceedings of the Actes des 7èmes journées francophones sur les Entrepôts de Données et l'Analyse en ligne, 2011
2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Broadcast in wireless mobile sensor networks with population protocols and extension with the rendezvous model.
Proceedings of the NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31, 2010
Time Constraints Extension on Frequent Sequential Patterns.
Proceedings of the KDIR 2010, 2010
Simplification de données de vol pour un stockage optimal et une visualisation accélérée.
Proceedings of the Extraction et gestion des connaissances (EGC'2010), 2010
Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010
2009
Dynamic security framework for mobile agent systems: specification, verification and enforcement.
Int. J. Inf. Comput. Secur., 2009
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009
Exploiting a clustering mechanism for power saving in ad hoc networks: Performance evaluation.
Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009
2008
Proceedings of the 1st IFIP Wireless Days, 2008
Proceedings of the Wireless and Mobile Networking, IFIP Joint Conference on Mobile and Wireless Communications Networks (MWCN'2008) and Personal Wireless Communications (PWC'2008), Toulouse, France, September 30, 2008
Evaluating the Efficiency of Clustering on Routing and Network Performance.
Proceedings of the 2008 International Conference on Wireless Networks, 2008
Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks.
Proceedings of the Distributed Computing and Networking, 9th International Conference, 2008
Proceedings of the Graph Transformations, 4th International Conference, 2008
Proceedings of the Graph Transformations, 4th International Conference, 2008
A formal security framework for mobile agent systems: Specification and verification.
Proceedings of the CRiSIS '08, 2008
Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008
2007
A Software Architecture for Automatic Security Policy Enforcement in Distributed Systems.
Proceedings of the First International Conference on Emerging Security Information, 2007
Proceedings of the Agent Computing and Multi-Agent Systems, 2007
Proceedings of the Agent Computing and Multi-Agent Systems, 2007
Proceedings of the On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 2007
Proceedings of the Dynamics in Logistics, First International Conference, 2007
Proceedings of the Parallel and Distributed Processing and Applications, 2007
Proceedings of the Second International Conference on Systems and Networks Communications (ICSNC 2007), 2007
2006
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006
Proceedings of the Graph Transformations, Third International Conference, 2006
Proceedings of the Distributed Applications and Interoperable Systems, 2006
2005
Proceedings of the Workshop on Graph Transformation for Verification and Concurrency, 2005
Proceedings of the 6th ACIS International Conference on Software Engineering, 2005
Proceedings of the Computer Safety, 2005
An Implementation of a Failure Detector for Local Computations in Graphs.
Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2005
Proceedings of the 9th International Conference on Information Visualisation, 2005
2004
Proceedings of the Graph Transformations, Second International Conference, 2004
Checking Global Properties for Local Computations in Graphs with Applications to Invariant Testing.
Proceedings of the 5th Mexican International Conference on Computer Science (ENC 2004), 2004
Proceedings of the 5th Mexican International Conference on Computer Science (ENC 2004), 2004
2003
Proceedings of the Seventh International Conference on Information Visualization, 2003
2002
A Unified Framework for Designing, Implementing and Visualizing Distributed Algorithms.
Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2002
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2002
Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002
Proceedings of the Graph Transformation, First International Conference, 2002
2001
Graph Relabelling Systems: a Tool for Encoding, Proving, Studying and Visualizing - Distributed Algorithms.
Proceedings of the GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001, 2001
Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2001
A Distributed Algorithm for Computing a Spanning Tree in Anonymous Tprime Graph.
Proceedings of the Procedings of the 5th International Conference on Principles of Distributed Systems. OPODIS 2001, 2001
2000
Electron. Notes Discret. Math., 2000
1999
1997
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1997
1996
1993
Theor. Comput. Sci., 1993