| 2008 |
|---|
| 11 | EE | Inès Mouakher,
Jeanine Souquières,
Francis Alexandre:
Protocol Verification in a Software Component-Based Approach.
ECBS 2008: 136-145 |
| 10 | EE | Inès Mouakher,
Jeanine Souquières,
Francis Alexandre:
Diagnostic et correction d'erreurs de spécifications Application à l'assemblage de composants.
L'OBJET 14(4): 11-42 (2008) |
| 2003 |
|---|
| 9 | | Moussa Demba,
Francis Alexandre,
Khaled Bsaïes:
Correction de Conjectures Fausses par Synthèse de Programmes.
JFPLC 2003: 307-310 |
| 8 | EE | Francis Alexandre,
Khaled Bsaïes,
Moussa Demba:
Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures.
LOPSTR 2003: 20-33 |
| 7 | EE | Francis Alexandre,
Khaled Bsaïes,
Moussa Demba:
Correction de conjectures fausses par synthèse de programmes.
Technique et Science Informatiques 22(1): 307-310 (2003) |
| 1997 |
|---|
| 6 | | Francis Alexandre,
Khaled Bsaïes:
A Methodology for Constructing Logic Programs.
Fundam. Inform. 29(3): 203-223 (1997) |
| 1992 |
|---|
| 5 | | Francis Alexandre,
Khaled Bsaïes,
Jean-Pierre Finance,
Alain Quéré:
Spes: A System for Logic Program Transformation.
LPAR 1992: 445-447 |
| 4 | | Francis Alexandre:
A technique for Transforming Logic Programs by Fold-Unfold Transformations.
PLILP 1992: 202-216 |
| 1991 |
|---|
| 3 | | Francis Alexandre,
Khaled Bsaïes,
Alain Quéré:
On Using Mode Input-output for Transforming Logic Programs.
LOPSTR 1991: 129-146 |
| 1989 |
|---|
| 2 | | Francis Alexandre:
Une heuristique pour transformer des programmes logiques.
SPLT 1989: 143-158 |
| 1988 |
|---|
| 1 | | Francis Alexandre,
Jean-Pierre Finance,
Alain Quéré:
SPES: un système de transformation de programmes logiques.
SPLT 1988: 69-84 |
