Mohamed Benmohamed

	2011
17		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: 704-713
16		Maamar Sedrati, Azeddine Bilami, Mohamed Benmohamed: M-AODV : AODV variant to improve quality of service in MANETs CoRR abs/1104.1186: (2011)
	2009
15		Ali Lemouari, Mohamed Benmohamed: Une Méthode d'Optimisation par Essaimes Particulaire pour le Problème de Collectes et de Livraisons (PCL). CIIA 2009
	2008
14		Samia Boucherkha, Mohamed Benmohamed: Using Statistical Texture Analysis for Medical Image Tamper Proofing. IJISP 2(3): 18-27 (2008)
	2007
13		Fatima Zohra Hadjam, Claudio Moraga, Mohamed Benmohamed: Cluster-based evolutionary design of digital circuits using all improved multi-expression programming. GECCO (Companion) 2007: 2475-2482
12		Samia Boucherkha, Mohamed Benmohamed: A Texture Based Image Signature Using Second Order Statistics Characterisation. OTM Workshops (1) 2007: 44-45
	2006
11		Samia Boucherkha, Mohamed Benmohamed: A Multi-tier Architecture to Safely Share Digital Medical Images. DepCoS-RELCOMEX 2006: 319-326
	2005
10		Mustapha Bourahla, Mohamed Benmohamed: Efficient partition of state space for parallel reachability analysis. AICCSA 2005: 21
9		Mustapha Bourahla, Mohamed Benmohamed: Formal Specification and Verification of Multi-Agent Systems. Electr. Notes Theor. Comput. Sci. 123: 5-17 (2005)
8		Mustapha Bourahla, Mohamed Benmohamed: Analysis of Real-Time Systems with CTL Model Checkers. Electr. Notes Theor. Comput. Sci. 133: 41-60 (2005)
7		Mustapha Bourahla, Mohamed Benmohamed: Model Checking Multi-Agent Systems. Informatica (Slovenia) 29(2): 189-198 (2005)
6		Azeddine Bilami, Mustapha Lalam, Mehammed Daoui, Mohamed Benmohamed: Design and Evaluation of an Input Buffered Packet Switch. Int. Arab J. Inf. Technol. 2(4): 309-317 (2005)
	2004
5		Samia Boucherkha, Mohamed Benmohamed: A Lossless Watermarking Based Authentication System For Medical Images. International Conference on Computational Intelligence 2004: 240-243
	2003
4		Mustapha Bourahla, Mohamed Benmohamed: Verification of Real-Time Systems by Abstraction of Time Constraints. IPDPS 2003: 238
3		Mohamed Larbi Rebaiaia, Mohamed Benmohamed, Jihad Mohamad Jaam, Ahmad Hasnah: A Toolset for the Specification and Verification of Embedded Systems. PDPTA 2003: 1539-1545
2		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: 573-579
	2002
1		Mustapha Bourahla, Mohamed Benmohamed: Predicate Abstraction and Refinement for Model Checking VHDL State Machines. Electr. Notes Theor. Comput. Sci. 66(2): 1-16 (2002)

Coauthor Index

1	Azeddine Bilami	[6] [16] [17]
2	Samia Boucherkha	[5] [11] [12] [14]
3	Mustapha Bourahla	[1] [4] [7] [8] [9] [10]
4	Mehammed Daoui	[6]
5	Fatima Zohra Hadjam	[13]
6	Ahmad Hasnah	[2] [3]
7	Jihad Mohamad Jaam (Jihad Mohamad Al'Jaam)	[2] [3]
8	Mustapha Lalam	[6]
9	Ali Lemouari	[15]
10	Ramdane Maamri	[17]
11	Claudio Moraga	[13]
12	Mohamed Larbi Rebaiaia	[2] [3]
13	Maamar Sedrati	[16] [17]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page