Fahima Cheikh-Alili

Articles de revues internationales

• [IJFCS'08] D. Berardi, F. Cheikh, G. De Giacomo, F. Patrizi. Automatic Service Composition via Simulation . International Journal of Foundations of Computer Science, O.Ibarra (ed.), World Scientific publishing company, 19(2):429-451, 2008. [PDF]

Contributions à des ouvrages de synthèse

• [A paraître] F. Cheikh. Web services Composition Problem : Model and Complexity . Book Series on Non-Functional Requirements and Properties in Service Oriented Architecture, Junichi Suzuki (ed.), IGI Global (formerly Idea group).

Conférences et workshops internationaux

• [FACS'09] P. Balbiani, F. Cheikh, P. Héam, O. Kouchnarenko. Composition of Services with Constraints . Formal Aspects of Component Software,Electronic Notes in Theoretical Computer Science,Eindhoven, Pays-Bas, A paraître.[PDF]

• [M4M'09] P. Balbiani, F. Cheikh, G. Feuillade. Controller/orchestrator synthesis via filtration . Methods for Modalities,Electronic Notes in Theoretical Computer Science, Copenhague, Danemark, A paraître.[PDF]

• [ICE'08] P. Balbiani, F. Cheikh, G. Feuillade. Composition of Web services: algorithms and complexity. 1st Interaction and Concurrency Experience,Electronic Notes in Theoretical Computer Science, 0: 96-107, Reykjavik, Iselande, 2008.[PDF]

• [WSCA'08] P. Balbiani, F. Cheikh, G. Feuillade. Composition of Interactive Web Services Based on Controller Synthesis. 2nd International Workshop on Web Service Composition and Adaptation, IEEE Computer Society, 0(0):521-528, Honolulu, USA, 2008.[PDF]

• [SWS'06] F. Cheikh, G. De Giacomo, M. Mecella. Automatic web services composition in trustaware communities. Proceedings of the 3rd International ACM workshop on Secure web services, Association for Computing Machinery, 43-52, Alexandria, USA, 2006.[PDF]

• [SAR/SSI'06] P. Balbiani, F. Cheikh. Security analysis in access control based on roles and views. Joint Conference on Security in Network Architectures and Security of Information Systems, D. Boulanger, F. Cuppens, H. Debar, A. Gabillon (Eds.), 51-65, Seignosse, France, 2006.

• [MMM-ACNS' 05] P. Balbiani, F. Cheikh. Safety problems in access control with temporal constraints. Computer Network Security, third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, V. Gorodetsky, I. Kotenko, V. Skormin (Eds.), Springer-Verlag, Lecture Notes in Computer Science, (3685):165-178, Saint-Pétersbourg, Russie, 2005.

Conférences et workshops nationaux

• [MFI'09] P. Balbiani, F. Cheikh, G. Feuillade. Résultats de complexité pour le problème de la composition d'agents.Journées Francophones MODELES FORMELS de l'INTERACTION, Annales du LAMSADE, 261-268, Paris, France, 2007.[PDF]
• [MFI'07] P. Balbiani, F. Cheikh, G. Feuillade. Considérations relatives à la décidabilité et à la complexité du problème de la composition de services.Journées Francophones MODELES FORMELS de l'INTERACTION Nicolas Maudet, Pierre-Yves Schobbens, Marc Guyomard (eds.), 25-34, Lannion, France, 2009.[PDF]
• [EDIT'06] F.Cheikh. Problème de la composition des services électronique.Colloque des doctorants, Ecole doctorale d'informatique et télécommunication, 49-53, Toulouse, France, 2006.

Conférences sans actes publiés

• [FAC'06] P. Balbiani et F. Cheikh. A propos du problème de la composition des services électroniques. Journées Formalisation des Activités Concurrentes,IRIT, Toulouse, France, 2006.
• [FAC'05] P. Balbiani et F. Cheikh.Une approche uniforme de la modélisation des systèmes de protection temporisés. Journées Formalisation des Activités Concurrentes, LAAS, Toulouse, France, 2005.

Rapports

• [2006] F. Cheikh.Problème de la disponiblité dans les systèmes de protection temporisée. Rapport de Master 2 Recherche, IRIT, Université Paul Sabatier, Toulouse, France, 2005.[PDF]
• [2009] F. Cheikh.Composition de services: Algorithmes et complexités. Thèse de doctorat, IRIT, Université Paul Sabatier, Toulouse, France, 2009.[PDF]
• [2010] P. Balbiani, F. Cheikh.Computational analysis of interactiong Web services: a logical approach. rapport interne de l'IRIT, code: RR--2010-5--FR, 2010.[PDF]