Publications

 

-         Philippe Balbiani et Fahima Cheikh. A propos du problème de la composition des services électroniques. Fac 2006.

-         Philippe Balbiani et Fahima Cheikh. Computational Analysis of Interacting Web Services: a Logical Approach. Rapport intern de l'IRIT.

-         Philippe Balbiani, Fahima Cheikh et Guillaume Feuillade. Considérations relatives à la décidabilié et à la complexité du problème de la composition de services. MFI 2007.

-         Philippe Balbiani, Fahima Cheikh et Guillaume Feuillade. Composition of Interactive Web Services Based on Controller Synthesis. WSCA 2008.

-         Philippe Balbiani, Fahima Cheikh et Guillaume Feuillade. Composition of Web services: algorithms and complexity. ICE 2008.

-         Philippe Balbiani, Fahima Cheikh, Pierre-Cyrille Héam et Olga Kouchnarenko. Composition of services with constraints. A paraître.

-         Philippe Balbiani, Yannick Chevalier et Mounira Kourjieh. Reasoning about actions and obligations. FCS-ARSPA 2006.

-         Daniela Berardi, Fahima Cheikh, Giuseppe De Giacomo et Fabio Patrizi. Automatic Services Composition Via Simulation. IJFCS.

-         Fahima Cheikh, Giuseppe De Giacomo et Massimo Mecella. Automatic Web Services Composition in Trust-Aware Communities. SWS 2006.

-         Yannick Chevalier et Mounira Kourjieh. A symbolic intruder model for hash-collision attacks. CSTVA 2006.

-         Yannick Chevalier, Denis Lugiez et Michael Rusiniowitch. Towards an Automatic Analysis of Web Services Security. FROCOS 2007.

-         Yannick Chevalier, Denis Lugiez et Michael Rusiniowitch. Verifying Cryptographic Protocols With Subterm Constraints. LPAR 2007.

-         Yannick Chevalier, Mohammed Anis Mekki et Michael Rusinowitch. Automatic Composition of Services with Security Policies WSCA 2008.

-         Denis Lugiez et Stéphane Martin.A Peer to Peer Collaborative Editing on XML-like trees.Poster Session colloque CDUR 2008.

-         Nawel Guermouche, Olivier Perrin et Christophe Ringeissen: Timed Specification For Web Services Compatibility Analysis. WWV 2007.

-         Pierre-Cyrille Héam, Olga Kouchnarenko et Jérôme Voinot. How to Handle QoS Aspects in Web Services Substitutivity Verification. WETICE 2007.

-         Pierre-Cyrille Héam, Olga Kouchnarenko et Jérôme Voinot. Component Simulation-based Substitutivity Managing QoS Aspects. FACS 2008.

-         Florent Jacquemard et Michael Rusinowitch: Closure of Hedge-Automata Languages by Hedge Rewritng. Rapport de recherche LSV-08-05.

-         Florent Jacquemard et Michael Rusinowitch: Closure of Hedge-Automata Languages by Hedge Rewritng. RTA 2008.