Publications

Article(s) de revue(s) internationale(s)

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.

Article(s) de conférence(s) internationale(s)

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.

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.

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.

Article(s) de conférence(s) nationale(s)

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.

Chapitre(s) d'ouvrage(s)

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

Thèse(s) de doctorat

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

Rapport(s) technique(s)

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

Rapport(s) de DEA / Master recherche

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