Mohamed Mosbah
Mohamed Mosbah
Professeur d'informatique, Bordeaux INP
Verified email at enseirb-matmeca.fr
Title
Cited by
Cited by
Year
Monadic second-order evaluations on tree-decomposable graphs
B Courcelle, M Mosbah
Theoretical Computer Science 109 (1-2), 49-82, 1993
2971993
Network intrusion detection for IoT security based on learning techniques
N Chaabouni, M Mosbah, A Zemmari, C Sauvignac, P Faruki
IEEE Communications Surveys & Tutorials 21 (3), 2671-2701, 2019
1802019
Convex drawings of 3-connected plane graphs
N Bonichon, S Felsner, M Mosbah
Algorithmica 47 (4), 399-420, 2007
1032007
Delay-aware VNF placement and chaining based on a flexible resource allocation approach
A Alleg, T Ahmed, M Mosbah, R Riggio, R Boutaba
2017 13th international conference on network and service management (CNSM), 1-7, 2017
552017
Fast and secure multihop broadcast solutions for intervehicular communication
WB Jaballah, M Conti, M Mosbah, CE Palazzi
IEEE Transactions on Intelligent Transportation Systems 15 (1), 433-450, 2013
472013
Wagner’s theorem on realizers
N Bonichon, B Le Saëc, M Mosbah
International Colloquium on Automata, Languages, and Programming, 1043-1053, 2002
452002
Android inter-app communication threats and detection techniques
S Bhandari, WB Jaballah, V Jain, V Laxmi, A Zemmari, MS Gaur, ...
Computers & Security 70, 392-421, 2017
35*2017
From local computations to asynchronous message passing systems
M Bauderon, Y Mtivier, M Mosbah, A Sellami
342002
A unified framework for designing, implementing and visualizing distributed algorithms
M Bauderon, M Mosbah
Electronic Notes in Theoretical Computer Science 72 (3), 13-24, 2003
332003
Visualization of distributed algorithms based on labeled rewriting systems
M Bauderon, S Gruner, Y Métivier, M Mosbah, A Sellami
Second International Workshop on Graph Transformation and Visual Modeling …, 2001
31*2001
Distributed computation of a spanning tree in a dynamic graph by mobile agents
S Abbas, M Mosbah, A Zemmari
2006 IEEE International Conference on Engineering of Intelligent Systems, 1-6, 2006
272006
Electing a leader in the local computation model using mobile agents
MA Haddar, AH Kacem, Y Métivier, M Mosbah, M Jmaiel
2008 IEEE/ACS International Conference on Computer Systems and Applications …, 2008
262008
Watermelon uniform random generation with applications
N Bonichon, M Mosbah
Theoretical Computer Science 307 (2), 241-256, 2003
252003
Termination detection of distributed algorithms by graph relabelling systems
E Godard, Y Métivier, M Mosbah, A Sellami
International Conference on Graph Transformation, 106-119, 2002
252002
Certifying distributed algorithms by embedding local computation systems in the coq proof assistant
P Castéran, V Filou, M Mosbah
Symbolic Computation in Software Science (SCSS 2009), To appear, 2009
242009
Hybrid live P2P streaming protocol
C Hammami, I Jemili, A Gazdar, A Belghith, M Mosbah
Procedia Computer Science 32, 158-165, 2014
222014
A synchronous tiered based clustering algorithm for large-scale ad hoc networks
I Jemili, A Belghith, M Mosbah
Joint IFIP Wireless and Mobile Networking Conference, 41-55, 2008
222008
A distributed clustering algorithm without an explicit neighborhood knowledge
A Belghith, I Jemili, M Mosbah
International Journal of Computing and Information Sciences 5 (1), 24-34, 2007
222007
Fast distributed graph partition and application
B Derbel, M Mosbah, A Zemmari
Proceedings 20th IEEE International Parallel & Distributed Processing …, 2006
202006
Proving Distributed Algorithms by Combining Refinement and Local Computations
M Tounsi, M Mosbah, D Méry
Electronic Communications of the EASST 35, 2011
192011
The system can't perform the operation now. Try again later.
Articles 1–20