Francis Alexandre

Publication Activity (10 Years)

Years Active: 1988-2008
Publications (10 Years): 0

Publications

Inès Mouakher, Jeanine Souquières, Francis Alexandre
Diagnostic et correction d'erreurs de spécifications Application à l'assemblage de composants. Obj. Logiciel Base données Réseaux 14 (4) (2008)
Inès Mouakher, Jeanine Souquières, Francis Alexandre
Protocol Verification in a Software Component-Based Approach. ECBS (2008)
Francis Alexandre, Khaled Bsaïes, Moussa Demba
Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures. LOPSTR (2003)
Francis Alexandre, Khaled Bsaïes, Moussa Demba
Correction de conjectures fausses par synthèse de programmes. Tech. Sci. Informatiques 22 (1) (2003)
Moussa Demba, Francis Alexandre, Khaled Bsaïes
Correction de Conjectures Fausses par Synthèse de Programmes. JFPLC (2003)
Francis Alexandre, Khaled Bsaïes
A Methodology for Constructing Logic Programs. Fundam. Informaticae 29 (3) (1997)
Khaled Bsaïes, Francis Alexandre, Alain Quéré
Transformation of generate and test logic programs. Methods Log. Comput. Sci. 1 (3) (1994)
Francis Alexandre, Khaled Bsaïes, Jean-Pierre Finance, Alain Quéré
Spes: A System for Logic Program Transformation. LPAR (1992)
Francis Alexandre
A technique for Transforming Logic Programs by Fold-Unfold Transformations. PLILP (1992)
Francis Alexandre, Khaled Bsaïes, Alain Quéré
On Using Mode Input-output for Transforming Logic Programs. LOPSTR (1991)
Francis Alexandre
Une heuristique pour transformer des programmes logiques. SPLT (1989)
Francis Alexandre, Jean-Pierre Finance, Alain Quéré
SPES: un système de transformation de programmes logiques. SPLT (1988)