Validation of Stratified Logic Programs: Methodology and Practical Experience. - Sophie Renault (EUROVAV, 1993)

A Proof Manager for Verification of Logic Programs. - Sophie Renault; Pierre Deransart (LPE, 1994)

Généralisation de l'Exécution Étendue aux programmes normaux. - Sophie Renault (JFPLC, 1994)

Generalizing Extended Execution for Normal Programs. - Sophie Renault (LOPSTR, 1994)

Design of Redundant Formal Specifications by Logic Programming: Merging Formal Text and Good Comments. - Sophie Renault; Pierre Deransart (Int. J. Softw. Eng. Knowl. Eng., 1994)

Towards a Complete Proof Procedure to Prove Properties of Normal Logic Programs under the Completion. - Sophie Renault (LOPSTR, 1995)

How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification (Poster Abstract). - Alberto Pettorossi; Maurizio Proietti; Sophie Renault (JICSLP, 1996)

Enhancing Partial Deduction via Unfold/Fold Rules. - Alberto Pettorossi; Maurizio Proietti; Sophie Renault (LOPSTR, 1996)

Reducing Nondeterminism while Specializing Logic Programs. - Alberto Pettorossi; Maurizio Proietti; Sophie Renault (POPL, 1997)

Improving Termination of MDG-Based Abstract State Enumeration via Term Schematization. - Sophie Renault; Eduard Cerny (SMC@FLoC, 1999)

Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism. - Alberto Pettorossi; Maurizio Proietti; Sophie Renault (High. Order Symb. Comput., 2005)