Mohamed Benmohamed

According to our database, Mohamed Benmohamed authored at least 19 papers between 2002 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2011

M-AODV : AODV variant to improve quality of service in MANETs

Maamar Sedrati, Azeddine Bilami, Mohamed Benmohamed

CoRR, 2011

Contention Window Optimization for Distributed Coordination Function (DCF) to Improve Quality of Service at MAC Layer.

Maamar Sedrati, Azeddine Bilami, Ramdane Maamri, Mohamed Benmohamed

Proceedings of the Digital Information and Communication Technology and Its Applications, 2011

2009

Une Méthode d'Optimisation par Essaimes Particulaire pour le Problème de Collectes et de Livraisons (PCL).

Ali Lemouari, Mohamed Benmohamed

Proceedings of the 2nd Conférence Internationale sur l'Informatique et ses Applications (CIIA'09), 2009

2008

Using Statistical Texture Analysis for Medical Image Tamper Proofing.

Samia Boucherkha, Mohamed Benmohamed

Int. J. Inf. Secur. Priv., 2008

Textural features extraction for image integrity verification.

Samia Boucherkha, Mohamed Benmohamed

Int. J. Electron. Secur. Digit. Forensics, 2008

2007

A Texture Based Image Signature Using Second Order Statistics Characterisation.

Samia Boucherkha, Mohamed Benmohamed

Proceedings of the On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 2007

Cluster-based evolutionary design of digital circuits using all improved multi-expression programming.

Fatima Zohra Hadjam, Claudio Moraga, Mohamed Benmohamed

Proceedings of the Genetic and Evolutionary Computation Conference, 2007

2006

A Multi-tier Architecture to Safely Share Digital Medical Images.

Samia Boucherkha, Mohamed Benmohamed

Proceedings of the 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 2006

2005

Model Checking Multi-Agent Systems.

Mustapha Bourahla, Mohamed Benmohamed

Informatica (Slovenia), 2005

Design and Evaluation of an Input Buffered Packet Switch.

Azeddine Bilami, Mustapha Lalam, Mehammed Daoui, Mohamed Benmohamed

Int. Arab J. Inf. Technol., 2005

Efficient partition of state space for parallel reachability analysis.

Mustapha Bourahla, Mohamed Benmohamed

Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005

2004

Distributing State Space for Parallel Computation of CTL Model Checking.

Mustapha Bourahla, Mohamed Benmohamed

Informatica (Slovenia), 2004

Analysis of Real-Time Systems with CTL Model Checkers.

Mustapha Bourahla, Mohamed Benmohamed

Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

Formal Specification and Verification of Multi-Agent Systems.

Mustapha Bourahla, Mohamed Benmohamed

Proceedings of the 11th Workshop on Logic, Language, Information and Computation, 2004

A Lossless Watermarking Based Authentication System For Medical Images.

Samia Boucherkha, Mohamed Benmohamed

Proceedings of the International Conference on Computational Intelligence, 2004

2003

A Toolset for the Specification and Verification of Embedded Systems.

Mohamed Larbi Rebaiaia, Mohamed Benmohamed, Jihad Mohamad Jaam, Ahmad Hasnah

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

A Rewriting Logic-Based Computation and Deduction Approach to Avoid Reactive System Malfunctions.

Mohamed Larbi Rebaiaia, Mohamed Benmohamed, Jihad Mohamad Jaam, Ahmad Hasnah

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

Verification of Real-Time Systems by Abstraction of Time Constraints.

Mustapha Bourahla, Mohamed Benmohamed

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002

Predicate Abstraction and Refinement for Model Checking VHDL State Machines.

Mustapha Bourahla, Mohamed Benmohamed

Proceedings of the 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, 2002