|
 
|
Noura Boudiaf
|
Doctorant(e) Equipe SYS Parti depuis le 30/07/2006 Mail : boudiafn  yahoo.com
Tel : 0140272852 Fax : 0140272709 http://cedric.cnam.fr/~boudiaf Directeur de thèse : Kamel Barkaoui |
Noura's Tag-Cloud : |
Publications
2007
- [HBB07] A. Hicheur, K. Barkaoui, N. Boudiaf. "Workflow Specification and Analysis Using Recursive ECATNets", GEA 07, 7emes Journees Scientifiques des Jeunes Chercheurs en Génie Electrique et Informatique, Monastir, Tunisia, January 2007, pp.15-24,
Conférence Nationale avec comité de lecture
2006
- [HBB06] A. Hicheur, K. Barkaoui, N. Boudiaf. "Modeling Workflows with Recursive ECATNets", SYNASC'06, 8th IEEE Int. Symp. on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, January 2006, pp.389-398, Series IEEE,
- [BBCa06] N. Boudiaf, K. Barkaoui, A. Chaoui. "Applying Reduction Rules to ECATNets", AVIS'06, 5th International Workshop on Automated Verification of Infinite-State Systems, Vienna, Austria, January 2006, pp.42-55, Series ENTCS,
- [BBC06] N. Boudiaf, K. Barkaoui, A. Chaoui. "Implémentation des Régles de Réduction des ECATNets dans MAUDE", MOSIM'06, 6ème Conférence Francophone de MOdélisation et SIMulation, Rabat, Morocco, January 2006, pp.505-514,
