Mohamed Benmohamed

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