Publications

Articles de revues internationales

2008 Daniela Berardi, Fahima Cheikh, Giuseppe De Giacomo, Fabio Patrizi, Automatic Service Composition Via SimulationUTOMATIC in International Journal of Foundations of Computer Science (IJFCS’08),vol. 19, n° 2, World Scientific, pp. 429-451, 2008.

Articles de conférences internationales

2010 Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade, Controller/orchestrator synthesis via filtration in Methods for Modalities (M4M’09 ),Electronic Notes in Theoretical Computer Science, pp. 33-48, 2010.

2010 Philippe Balbiani, Fahima Cheikh, Pierre-Cyrille Héam, Olga Kouchnarenko, Composition of Services with Constraints in Formal Aspects of Component Software (FACS’09 ),Electronic Notes in Theoretical Computer Science, pp. 31-46, 2010.

2009 Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade, Automata synthesis by asynchronous orchestration with applications to web services composition in Interaction and Concurrency Experience (TICE’08),Elsevier Science, pp. 3-18, 2009.

2006 Philippe Balbiani, Fahima Cheikh, Security analysis in access control based on roles and views in Joint Conference on Security in Network Architectures and Security of Information Systems (SAR/SSI’06),Ecole Supérieure et d’Applications des Transmissions - ESAT, pp. 51-65, 2006.

2005 Philippe Balbiani, Fahima Cheikh, Safety problems in access control with temporal constraints in Computer Network Security, Springer-Verlag, pp. 165-178, 2005.

Articles de workshops internationaux

2008 Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade, Composition of Interactive Web Services Based on Controller Synthesis in International Workshop on Web Service Composition and Adaptation (WSCA’08),IEEE, pp. 521-528, 2008.

2006 Fahima Cheikh, Giuseppe De Giacomo, Massimo Mecella, Automatic Web Services Composition in Trust-aware Communities in ACM Workshop on Secure Web Services (SWS’06),ACM, 2006.

Articles de conférences nationales

2009 Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade, Résultats de complexité pour le problème de la composition d’agents in 5èmes journées francophones sur les Modèles Formels de l’Interaction (MFI’09),pp. 25-34, 2009.

2007 Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade, Considérations relatives à la décidabilité et à la complexité du problème de la composition de services in 4èmes journées francophones sur les Modèles Formels de l’Interaction (MFI’07),Annales du LAMSADE, pp. 261-268, 2007.

2006 Philippe Balbiani, Fahima Cheikh, A propos du problème de la composition des services électroniques in Journées Formalisation des Activités Concurrentes (FAC’06),IRIT, 2006.

2006 Fahima Cheikh, Problème de la composition des services électroniques in Colloque des doctorants (EDIT’06),2006.

2005 Philippe Balbiani, Fahima Cheikh, Une approche uniforme de la modélisation des systèmes de protection temporisés in Journées Formalisation des Activités Concurrentes (FAC’05),LAAS, 2005.

Chapitres d'ouvrages

2013 Fahima Cheikh, Web services Composition Problem : Model and Complexity in Book Series on Non-Functional Requirements and Properties in Service Oriented Architecture,pp. 1400-1424, Junichi Suzuki (Eds.), GI Global (formerly Idea group), 2013.

Thèses de doctorat

2009 Fahima Cheikh, Composition de services: algorithmes et complexité IRIT-Toulouse, juin 2009.

Rapports techniques

2010 Philippe Balbiani, Fahima Cheikh, Computational Analysis of Interacting Web Services: a Logical Approach IRIT-Toulouse, 2010.

Rapports de DEA / Master recherche

2005 Fahima Cheikh, LE PROBLEME DE LA DISPONIBILITE DANS LES SYSTEMES DE PROTECTION TEMPORISEE Toulouse, juin 2005.