Laïd Kahloul; Allaoua Chaoui Code mobility modeling: a temporal labeled reconfigurable nets. 1st Int. Conf. on MOBILe Wireless MiddleWARE, Operating Systems, and Applications (MOBILWARE'08): 34 (2008)

	Noura Boudiaf; Kamel Barkaoui; Allaoua Chaoui Implémentation des règles de réduction des ECATNets dans Maude. : 505-514 (2006)
	Noura Boudiaf; Allaoua Chaoui; Kamel Barkaoui Applying reduction rules to ECATNets. 5th Int. Workshop on Automated Verification of Infinite-State Systems (AVIS'06): 42-55 (2006)

	Noura Boudiaf; Allaoua Chaoui Towards Automated Analysis of Ada-95 Tasking Behavior Using Rewriting Logic. ISIIT'04 (2004)
	Noura Boudiaf; Allaoua Chaoui Dynamic Analysis Algorithm for ECATNets. Int. workshop on Modelling of Objects, Components, and Agents (MOCA'04): 47-63 (2004)
	Noura Boudiaf; Allaoua Chaoui A rewriting Logic Based Tool for Automated Support of ECATNets Reachability Analysis. Int. Conf. on Computer Science, Software Engineering, Information Technology, e-Business and Applications (CSITeA’04) (2004)