Mohamed Benmohammed

	2011
12		Noureddine Chikouche, Foudil Cherif, Mohamed Benmohammed: Conception et Vérification d'un Protocole d'Authentification de Systéme Combiné RFID-Biométrique. CIIA 2011
11		Maâmar Kef, Leila Chergui, Mohamed Benmohammed: Self-organization and topology's control for mobile ad-hoc networks. Int. Arab J. Inf. Technol. 8(3): 227-234 (2011)
	2010
10		Tarek Djouad, Alain Mille, Christophe Reffay, Mohamed Benmohammed: A New Approach Based on Modelled Traces to Compute Collaborative and Individual Indicators Human Interaction. ICALT 2010: 53-54
9		Fateh Boutekkouk, Mohamed Benmohammed: Using UML as a Front-end for StreamIt Programs Verification and Generation. Journal of Multimedia 5(5): 501-513 (2010)
	2009
8		Fouzi Harrag, Mohamed Benmohammed: Étude Comparative des Algorithmes de Segmentation Thématique Pour la Langue Arabe. CIIA 2009
7		Leila Chergui, Maâmar Kef, Mohamed Benmohammed: La Théorie de la Résonance Adaptative et les Moments de Zernike pour la Reconnaissance de Mots Arabes Manuscrits. CIIA 2009
6		Fateh Boutekkouk, Mohamed Benmohammed: UML Modeling and Formal Verification of Control/Data Driven Embedded Systems. ICECCS 2009: 311-316
5		Fateh Boutekkouk, Mohamed Benmohammed, Sebastien Bilavarn, Michel Auguin: UML2.0 Profiles for Embedded Systems and Systems On a Chip (SOCs). Journal of Object Technology 8(1): 135-157 (2009)
4		Fateh Boutekkouk, Mohamed Benmohammed, Sebastien Bilavarn, Michel Auguin: UML for Modelling and Performance Estimation of Embedded Systems. Journal of Object Technology 8(2): 95-118 (2009)
	2008
3		Salah Merniz, Mohamed Benmohammed: A Scalable Proof Methodology for RISC Processor Designs: A Functional Approach. ITNG 2008: 241-246
	2007
2		Salah Merniz, Mohamed Benmohammed: A Methodology for the Formal Verification of RISC Microprocessors A Functional Approach. AICCSA 2007: 492-499
	2001
1		F. Z. Hadjam, Abdellatif Rahmoun, Mohamed Benmohammed: On Designing a Systolic Network for the Resolution of Linear Systems Using the " Gauss-Seidel " Method. AICCSA 2001: 283-286

Coauthor Index

1	Michel Auguin	[4] [5]
2	Sebastien Bilavarn	[4] [5]
3	Fateh Boutekkouk	[4] [5] [6] [9]
4	Leila Chergui	[7] [11]
5	Foudil Cherif	[12]
6	Noureddine Chikouche	[12]
7	Tarek Djouad	[10]
8	F. Z. Hadjam	[1]
9	Fouzi Harrag	[8]
10	Maâmar Kef	[7] [11]
11	Salah Merniz	[2] [3]
12	Alain Mille	[10]
13	Abdellatif Rahmoun	[1]
14	Christophe Reffay	[10]

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