Publications de
Philippe Balbiani, Fahima Cheikh Alili, Pierre-Cyrille Héam, Olga Kouchnarenko
Composition of Services with Constraints
Dans : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 263, p. 31-46, janvier 2010.
Daniela Berardi, Fahima Cheikh Alili, Giuseppe De Giacomo, Fabio Patrizi
AUTOMATIC SERVICE COMPOSITION VIA SIMULATION
Dans : International Journal of Foundations of Computer Science (IJFCS), World Scientific, Vol. 19 N. 2, p. 429-451, avril 2008.
Philippe Balbiani, Fahima Cheikh Alili, Guillaume Feuillade
Controller/orchestrator synthesis via filtration (regular paper)
Dans : Methods for Modalities (MAM 2009), Copenhague, Danemark, 12/11/09-14/11/09, Vol. 262, Electronic Notes in Theoretical Computer Science, p. 33-48, 2010.
Philippe Balbiani, Fahima Cheikh Alili, Pierre-Cyrille Héam, Olga Kouchnarenko
Composition of Services with Constraints (regular paper)
Dans : Formal Aspects of Component Software (FACS 2009), Eindhoven, Pays-Bas, 02/11/09-03/11/09, Vol. 263, Electronic Notes in Theoretical Computer Science, p. 31-46, 2010.
Philippe Balbiani, Fahima Cheikh Alili, Guillaume Feuillade
Résultats de complexité pour le problème de la composition d’agents (regular paper)
Dans : Journées Francophones MODÈLES FORMELS de l’INTERACTION (MFI 2009), Lannion, France, 03/06/09-05/06/09, Nicolas Maudet , Pierre-Yves Schobben , Marc Guyomaud (Eds.), Université de Rennes 1, p. 25-34, 2009.
Philippe Balbiani, Fahima Cheikh Alili, Guillaume Feuillade
Automata synthesis by asynchronous orchestration with applications to web services composition (regular paper)
Dans : Interaction and Concurrency Experience (ICE 2008), Reykjavik – Iselande, 06/07/08-06/07/08, Vol. 229, Elsevier Science, p. 3-18, 2009.
Philippe Balbiani, Fahima Cheikh Alili, Guillaume Feuillade
Composition of Interactive Web Services Based on Controller Synthesis.
Dans : International Workshop on Web Service Composition and Adaptation, Honolulu, USA, 08/07/08-11/07/08, IEEE : Institute of Electrical and Electronics Engineers, p. 521-528, 2008.
Philippe Balbiani, Fahima Cheikh Alili, Guillaume Feuillade
Considérations relatives à la décidabilité et à la complexité du problème de la composition de services.
Dans : Journées Francophones MODÈLES FORMELS de l’INTERACTION (MFI 2007), Paris, 30/05/07-01/06/07, Annales du LAMSADE, p. 261-268, 2007.
Problème de la composition des services électronique
Dans : Colloque des doctorants EDIT’06, Toulouse, 22/05/06-23/05/06.
Philippe Balbiani, Fahima Cheikh Alili
A propos du problème de la composition des services électroniques
Dans : Journées Formalisation des Activités Concurrentes FAC’06, IRIT-Toulouse, 23/03/06-24/03/06.
Fahima Cheikh Alili, Giuseppe De Giacomo, Massimo Mecella
Automatic Web Services Composition in Trust-aware Communities
Dans : ACM Workshop on Secure Web Services (SWS 2006), Alexandria, Virginia, USA, 03/11/06-03/11/06, ACM : Association for Computing Machinery, (support électronique), 2006.
Philippe Balbiani, Fahima Cheikh Alili
Security analysis in access control based on roles and views
Dans : Joint Conference on Security in Network Architectures and Security of Information Systems (SAR/SSI 2006), Seignosse (France), 01/06/06-30/06/06, D. Boulanger, F. Cuppens, H. Debar, A. Gabillon (Eds.), Ecole Supérieure et d’Applications des Transmissions – ESAT, p. 51-65, 2006.
Philippe Balbiani, Fahima Cheikh Alili
Une approche uniforme de la modélisation des systèmes de protection temporisés
Dans : Journées Formalisation des Activités Concurrentes FAC’05, LAAS-Toulouse, 09/03/05-10/03/05.
Philippe Balbiani, Fahima Cheikh Alili
Safety problems in access control with temporal constraints
Dans : Computer Network Security, St. Petersburg (Russia), 01/09/05-30/09/05, V. Gorodetsky, I. Kotenko, V. Skormin (Eds.), Springer-Verlag, Lecture Notes in Computer Science 3685, p. 165-178, 2005.
Composition de services: algorithmes et complexité
Thèse de doctorat, Université Paul Sabatier, juin 2009.
Résumé Accès : http://tel.archives-ouvertes.fr/tel-00459114/fr/ – http://www.irit.fr/publis/LILAC/Theses_et_habilitations/These-Cheikh.pdf
BibTeX