Allaoua Chaoui

	2009
4		Elhillali Kerkouche, Allaoua Chaoui: A Formal Framework and a Tool for the Specification and Analysis of G-Nets Models Based on Graph Transformation. ICDCN 2009: 206-211
3		Elhillali Kerkouche, Allaoua Chaoui, Khaled Khalfaoui: Transforming UML models to colored petri nets models using graph grammars. ISCC 2009: 230-236
2		Elhillali Kerkouche, Allaoua Chaoui, El Bay Bourennane, Ouassila Labbani: Modeling and Verification of Dynamic Behavior in UML Models: A Graph Transformation Approach. SEDE 2009: 111-118
	2008
1		Amel Meliouh, Elhillali Kerkouche, Allaoua Chaoui: A Tool for Design and Verification of Distributed Manufacturing Process Based on Meta-Modelling and Graph Grammars: Application to a Production Line. CAINE 2008: 88-93

Coauthor Index

1	El Bay Bourennane	[2]
2	Elhillali Kerkouche	[1] [2] [3] [4]
3	Khaled Khalfaoui	[3]
4	Ouassila Labbani	[2]
5	Amel Meliouh	[1]