Fred Mesnard
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2010–2025
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | LOPSTR | Automated Certification of Logic Program Groundness Analysis. | Thierry Marianne, Fred Mesnard, tienne Payet |
| 2024 | LPAR | Automated Theorem Proving for Prolog Verification. | Fred Mesnard, Thierry Marianne, tienne Payet |
| 2020 | FLOPS | An SMT-Based Concolic Testing Tool for Logic Programs. | Sophie Fortz, Fred Mesnard, tienne Payet, Gilles Perrouin, Wim Vanhoof, Germn Vidal |
| 2017 | PPDP | Selective unification in constraint logic programming. | Fred Mesnard, tienne Payet, Germn Vidal |
| 2016 | LOPSTR | On the Completeness of Selective Unification in Concolic Testing of Logic Programs. | Fred Mesnard, tienne Payet, Germn Vidal |
| 2013 | PPDP | Eventual linear ranking functions. | Roberto Bagnara, Fred Mesnard |
| 2010 | SAC | Variable ranges in linear constraints. | Salvatore Ruggieri, Fred Mesnard |