Awatef Hicheur

Doctorant(e)
Equipe SYS
Parti depuis le 30/06/2009
Mail : awatef.hicheur

cnam.fr
Tel : 0140272852
Fax : 0140272709
http://cedric.cnam.fr/~hicheur
Directeur de thèse : Kamel Barkaoui

Awatef's Tag-Cloud :

[BHB12] K. Barkaoui, A. Hicheur, A. Ben Dhieb . "Modeling and Analysis of Flexible Healthcare Processes: Breast Cancer Treatment Case Study", Foundations of Health Information Engineering and Systems - FHIES 2012 -co located event of FM 2012, August 2012, pp.1-16,

[BBHa09] K. Barkaoui, H. Boucheneb, A. Hicheur. "Modeling and Analyzing Time-Constrained Flexible Workflows with Time Recursive Petri Nets", WS-FM'08, 5th International Workshop on Web Services and Formal Methods, Milan, Italy, January 2009, Vol. 5387, pp.19-36, Series LNCS,
[BBH09] K. Barkaoui, H. Boucheneb, A. Hicheur. "Design and Verification of Time-Constrained Workflow with Multi-Level Security", DCDS'09, 2nd IFAC Workshop on Dependable Control of Discrete Systems, Bari, Italy, January 2009, pp.25-32,
[HB09] A. Hicheur, K. Barkaoui. "Modelling and Analysing of Time Constrained and Reconfigurable Manufacturing Processes", INCOMÃ‚Â’09, 13th IFAC Symposium on Information control Problems in Manufacturing, Moscow, Russia, January 2009, pp.1949-1954,

[HB08] A. Hicheur, K. Barkaoui. "ModÃ©lisation des workflows collaboratifs Ã l'aide des ECATNets rÃ©cursifs", NOTERE'2008, 8th Int. Conf. on New Technologies in Distributed Systems, Lyon, France, January 2008, pp.269-279, Series IEEE/ACM,
[BH08] K. Barkaoui, A. Hicheur. "Modeling Time-Constrained Collaborative Workflows Based on Timed Recursive ECATNets", ECEC'08, 15th European Concurrent Engineering Conference, ECEC 2008, Porto, Portugal, January 2008, pp.95-99, Series IEEE,
[BBBa08] K. Barkaoui, R. Ben Ayed, H. Boucheneb, A. Hicheur. "Verification of Workflow processes under multilevel security considerations", CRiSIS'08, 3rd IEEE Int. Conf. on Risks and Security of Internet and Systems, Tozeur, Tunisia, January 2008, pp.77-84, Series IEEE-4,

[BH07] K. Barkaoui, A. Hicheur. "Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets", CBP'07, International Workshop on Collaborative Business Processes, Brisbane, Australia, January 2007, pp.206-217, Series LNCS ,
[HBa07] A. Hicheur, K. Barkaoui. "Formal Modeling and Analysis of Flexible Automated Production Workflows", CIP'07, 4ÃƒÂ¨me ConfÃƒÂ©rence Internationale IEEE sur la Productique, SÃƒÂ©tif, Algeria, January 2007, pp.45-56,

[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,

[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,