Francis Alexandre

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