| 2016 | PPDP | Towards a framework for algorithm recognition in binary code. | Frdric Mesnard, tienne Payet, Wim Vanhoof |
| 2016 | SAC | Termination analysis of floating-point programs using parameterizable rational approximations. | Fonenantsoa Maurica, Frdric Mesnard, tienne Payet |
| 2016 | SAS | On the Linear Ranking Problem for Simple Floating-Point Loops. | Fonenantsoa Maurica, Frdric Mesnard, tienne Payet |
| 2015 | CADE | Termination Competition (termCOMP 2015). | Jrgen Giesl, Frdric Mesnard, Albert Rubio, Ren Thiemann, Johannes Waldmann |
| 2008 | SAS | Typing Linear Constraints for Moding CLP() Programs. | Salvatore Ruggieri, Frdric Mesnard |
| 2004 | LOPSTR | On Termination of Binary CLP Programs. | Alexander Serebrenik, Frdric Mesnard |
| 2004 | SAS | Non-termination Inference for Constraint Logic Programs. | tienne Payet, Frdric Mesnard |
| 2003 | ICLP | Termination Analysis with Types Is More Accurate. | Vitaly Lagoon, Frdric Mesnard, Peter J. Stuckey |
| 2002 | SAS | Detecting Optimal Termination Conditions of Logic Programs. | Frdric Mesnard, tienne Payet, Ulrich Neumerkel |
| 2001 | SAS | Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs. | Frdric Mesnard, Ulrich Neumerkel |
| 1999 | PPDP | Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices. | Ulrich Neumerkel, Frdric Mesnard |
| 1998 | LOPSTR | Inferring and Compiling Termination for Constraint Logic Programs. | Sbastien Hoarau, Frdric Mesnard |
| 1996 | ICLP | Inferring Left-terminating Classes of Queries for Constraint Logic Programs. | Frdric Mesnard |
| 1995 | LOPSTR | Towards Automatic Control for CLP(x) Programs. | Frdric Mesnard |
| 1992 | SAS | Automatic Generation of Valid Linear Measures for CLP(Q) Programs. | Frdric Mesnard, Marianne Morillon |
| 1991 | SAS | A propos du contrle de la rsolution. | Frdric Mesnard, Jean-Gabriel Ganascia |