Mohamed Benmohamed

Publication Activity (10 Years)

Years Active: 2002-2011
Publications (10 Years): 0

Publications

Maamar Sedrati, Azeddine Bilami, Ramdane Maamri, Mohamed Benmohamed
Contention Window Optimization for Distributed Coordination Function (DCF) to Improve Quality of Service at MAC Layer. DICTAP (1) (2011)
Maamar Sedrati, Azeddine Bilami, Mohamed Benmohamed
M-AODV : AODV variant to improve quality of service in MANETs CoRR (2011)
Ali Lemouari, Mohamed Benmohamed
Une Méthode d'Optimisation par Essaimes Particulaire pour le Problème de Collectes et de Livraisons (PCL). CIIA (2009)
Samia Boucherkha, Mohamed Benmohamed
Using Statistical Texture Analysis for Medical Image Tamper Proofing. Int. J. Inf. Secur. Priv. 2 (3) (2008)
Samia Boucherkha, Mohamed Benmohamed
Textural features extraction for image integrity verification. Int. J. Electron. Secur. Digit. Forensics 1 (3) (2008)
Fatima Zohra Hadjam, Claudio Moraga, Mohamed Benmohamed
Cluster-based evolutionary design of digital circuits using all improved multi-expression programming. GECCO (Companion) (2007)
Samia Boucherkha, Mohamed Benmohamed
A Texture Based Image Signature Using Second Order Statistics Characterisation. OTM Workshops (1) (2007)
Samia Boucherkha, Mohamed Benmohamed
A Multi-tier Architecture to Safely Share Digital Medical Images. DepCoS-RELCOMEX (2006)
Azeddine Bilami, Mustapha Lalam, Mehammed Daoui, Mohamed Benmohamed
Design and Evaluation of an Input Buffered Packet Switch. Int. Arab J. Inf. Technol. 2 (4) (2005)
Mustapha Bourahla, Mohamed Benmohamed
Efficient partition of state space for parallel reachability analysis. AICCSA (2005)
Mustapha Bourahla, Mohamed Benmohamed
Model Checking Multi-Agent Systems. Informatica (Slovenia) 29 (2) (2005)
Mustapha Bourahla, Mohamed Benmohamed
Formal Specification and Verification of Multi-Agent Systems. Electron. Notes Theor. Comput. Sci. 123 (2005)
Mustapha Bourahla, Mohamed Benmohamed
Analysis of Real-Time Systems with CTL Model Checkers. Electron. Notes Theor. Comput. Sci. 133 (2005)
Mustapha Bourahla, Mohamed Benmohamed
Distributing State Space for Parallel Computation of CTL Model Checking. Informatica (Slovenia) 28 (3) (2004)
Samia Boucherkha, Mohamed Benmohamed
A Lossless Watermarking Based Authentication System For Medical Images. International Conference on Computational Intelligence (2004)
Mohamed Larbi Rebaiaia, Mohamed Benmohamed, Jihad Mohamad Jaam, Ahmad Hasnah
A Rewriting Logic-Based Computation and Deduction Approach to Avoid Reactive System Malfunctions. PDPTA (2003)
Mustapha Bourahla, Mohamed Benmohamed
Verification of Real-Time Systems by Abstraction of Time Constraints. IPDPS (2003)
Mohamed Larbi Rebaiaia, Mohamed Benmohamed, Jihad Mohamad Jaam, Ahmad Hasnah
A Toolset for the Specification and Verification of Embedded Systems. PDPTA (2003)
Mustapha Bourahla, Mohamed Benmohamed
Predicate Abstraction and Refinement for Model Checking VHDL State Machines. Electron. Notes Theor. Comput. Sci. 66 (2) (2002)