Predicate Abstraction and Refinement for Model Checking VHDL State Machines. - Mustapha Bourahla; Mohamed Benmohamed (FMICS, 2002)

Verification of Real-Time Systems by Abstraction of Time Constraints. - Mustapha Bourahla; Mohamed Benmohamed (IPDPS, 2003)

A Rewriting Logic-Based Computation and Deduction Approach to Avoid Reactive System Malfunctions. - Mohamed Larbi Rebaiaia; Mohamed Benmohamed; Jihad Mohamad Jaam; Ahmad Hasnah (PDPTA, 2003)

A Toolset for the Specification and Verification of Embedded Systems. - Mohamed Larbi Rebaiaia; Mohamed Benmohamed; Jihad Mohamad Jaam; Ahmad Hasnah (PDPTA, 2003)

A Lossless Watermarking Based Authentication System For Medical Images. - Samia Boucherkha; Mohamed Benmohamed (International Conference on Computational Intelligence, 2004)

Formal Specification and Verification of Multi-Agent Systems. - Mustapha Bourahla; Mohamed Benmohamed (WoLLIC, 2004)

Analysis of Real-Time Systems with CTL Model Checkers. - Mustapha Bourahla; Mohamed Benmohamed (FMICS, 2004)

Distributing State Space for Parallel Computation of CTL Model Checking. - Mustapha Bourahla; Mohamed Benmohamed (Informatica (Slovenia), 2004)

Efficient partition of state space for parallel reachability analysis. - Mustapha Bourahla; Mohamed Benmohamed (AICCSA, 2005)

Design and Evaluation of an Input Buffered Packet Switch. - Azeddine Bilami; Mustapha Lalam; Mehammed Daoui; Mohamed Benmohamed (Int. Arab J. Inf. Technol., 2005)

Model Checking Multi-Agent Systems. - Mustapha Bourahla; Mohamed Benmohamed (Informatica (Slovenia), 2005)

A Multi-tier Architecture to Safely Share Digital Medical Images. - Samia Boucherkha; Mohamed Benmohamed (DepCoS-RELCOMEX, 2006)

Cluster-based evolutionary design of digital circuits using all improved multi-expression programming. - Fatima Zohra Hadjam; Claudio Moraga; Mohamed Benmohamed (GECCO (Companion), 2007)

A Texture Based Image Signature Using Second Order Statistics Characterisation. - Samia Boucherkha; Mohamed Benmohamed (OTM Workshops (1), 2007)

Textural features extraction for image integrity verification. - Samia Boucherkha; Mohamed Benmohamed (Int. J. Electron. Secur. Digit. Forensics, 2008)

Using Statistical Texture Analysis for Medical Image Tamper Proofing. - Samia Boucherkha; Mohamed Benmohamed (Int. J. Inf. Secur. Priv., 2008)

Une Méthode d'Optimisation par Essaimes Particulaire pour le Problème de Collectes et de Livraisons (PCL). - Ali Lemouari; Mohamed Benmohamed (CIIA, 2009)

Contention Window Optimization for Distributed Coordination Function (DCF) to Improve Quality of Service at MAC Layer. - Maamar Sedrati; Azeddine Bilami; Ramdane Maamri; Mohamed Benmohamed (DICTAP (1), 2011)

M-AODV : AODV variant to improve quality of service in MANETs - Maamar Sedrati; Azeddine Bilami; Mohamed Benmohamed (CoRR, 2011)