Francis Alexandre

According to our database, Francis Alexandre authored at least 11 papers between 1988 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

Diagnostic et correction d'erreurs de spécifications Application à l'assemblage de composants.

Inès Mouakher, Jeanine Souquières, Francis Alexandre

Obj. Logiciel Base données Réseaux, 2008

Protocol Verification in a Software Component-Based Approach.

Inès Mouakher, Jeanine Souquières, Francis Alexandre

Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008

2003

Correction de conjectures fausses par synthèse de programmes.

Francis Alexandre, Khaled Bsaïes, Moussa Demba

Tech. Sci. Informatiques, 2003

Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures.

Francis Alexandre, Khaled Bsaïes, Moussa Demba

Proceedings of the Logic Based Program Synthesis and Transformation, 2003

1997

A Methodology for Constructing Logic Programs.

Francis Alexandre, Khaled Bsaïes

Fundam. Informaticae, 1997

1994

Transformation of generate and test logic programs.

Khaled Bsaïes, Francis Alexandre, Alain Quéré

Methods Log. Comput. Sci., 1994

1992

A technique for Transforming Logic Programs by Fold-Unfold Transformations.

Francis Alexandre

Proceedings of the Programming Language Implementation and Logic Programming, 1992

Spes: A System for Logic Program Transformation.

Francis Alexandre, Khaled Bsaïes, Jean-Pierre Finance, Alain Quéré

Proceedings of the Logic Programming and Automated Reasoning, 1992

1991

On Using Mode Input-output for Transforming Logic Programs.

Francis Alexandre, Khaled Bsaïes, Alain Quéré

Proceedings of the Logic Program Synthesis and Transformation, 1991

1989

Une heuristique pour transformer des programmes logiques.

Francis Alexandre

Proceedings of the SPLT'89, 1989

1988

SPES: un système de transformation de programmes logiques.

Francis Alexandre, Jean-Pierre Finance, Alain Quéré

Proceedings of the SPLT'88, 1988