Fred Mesnard

28 papers B 1C 5Misc 2Journal 17Unranked 3
YearRankTypeTitle / Venue / Authors
2025 C conf
Automated Certification of Logic Program Groundness Analysis.
LOPSTR
Thierry Marianne, Fred Mesnard, Étienne Payet
2025 B conf
Automated Theorem Proving for Prolog Verification.
ICLP
Fred Mesnard, Thierry Marianne, Étienne Payet
2024 — conf
Automated Theorem Proving for Prolog Verification.
LPAR Complementary Volume
Fred Mesnard, Thierry Marianne, Étienne Payet
2023 J jnl
The 19th International Workshop on Termination (WST 2023): Preface, Invited Talk Abstract, and Tool Descriptions.
CoRR
Akihisa Yamada, Benjamin Lucien Kaminski, Dieter Hofbauer, Fred Mesnard, Étienne Payet
2020 Misc conf
An SMT-Based Concolic Testing Tool for Logic Programs.
FLOPS
Sophie Fortz, Fred Mesnard, Étienne Payet, Gilles Perrouin, Wim Vanhoof, Germán Vidal
2020 J jnl
An SMT-Based Concolic Testing Tool for Logic Programs.
CoRR
Sophie Fortz, Fred Mesnard, Étienne Payet, Gilles Perrouin, Wim Vanhoof, Germán Vidal
2020 J jnl
Concolic Testing in CLP.
CoRR
Fred Mesnard, Étienne Payet, Germán Vidal
2020 J jnl
Concolic Testing in CLP.
Theory Pract. Log. Program.
Fred Mesnard, Étienne Payet, Germán Vidal
2020 J jnl
Selective Unification in (Constraint) Logic Programming.
Fundam. Informaticae
Fred Mesnard, Étienne Payet, Germán Vidal
2019 C ed.
Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
LOPSTR
Fred Mesnard, Peter J. Stuckey
2018 J jnl
Pre-proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018).
CoRR
Fred Mesnard, Peter J. Stuckey
2017 C conf
Selective unification in constraint logic programming.
PPDP
Fred Mesnard, Étienne Payet, Germán Vidal
2016 C conf
On the Completeness of Selective Unification in Concolic Testing of Logic Programs.
LOPSTR
Fred Mesnard, Étienne Payet, Germán Vidal
2016 J jnl
On the Completeness of Selective Unification in Concolic Testing of Logic Programs.
CoRR
Fred Mesnard, Étienne Payet, Germán Vidal
2015 J jnl
A second-order formulation of non-termination.
Inf. Process. Lett.
Fred Mesnard, Étienne Payet
2015 J jnl
Concolic Testing in Logic Programming.
CoRR
Fred Mesnard, Étienne Payet, Germán Vidal
2015 J jnl
Concolic testing in logic programming.
Theory Pract. Log. Program.
Fred Mesnard, Étienne Payet, Germán Vidal
2014 J jnl
A Second-Order Formulation of Non-Termination.
CoRR
Fred Mesnard, Étienne Payet
2014 J jnl
Non-Termination Analysis of Java Bytecode.
CoRR
Étienne Payet, Fred Mesnard, Fausto Spoto
2013 J jnl
Eventual Linear Ranking Functions.
CoRR
Roberto Bagnara, Fred Mesnard
2013 C conf
Eventual linear ranking functions.
PPDP
Roberto Bagnara, Fred Mesnard
2012 J jnl
A new look at the automatic synthesis of linear ranking functions.
Inf. Comput.
Roberto Bagnara, Fred Mesnard, Andrea Pescetti, Enea Zaffanella
2010 J jnl
A termination analyzer for Java bytecode based on path-length.
ACM Trans. Program. Lang. Syst.
Fausto Spoto, Fred Mesnard, Étienne Payet
2010 J jnl
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version
CoRR
Roberto Bagnara, Fred Mesnard, Andrea Pescetti, Enea Zaffanella
2010 J jnl
Typing linear constraints.
ACM Trans. Program. Lang. Syst.
Salvatore Ruggieri, Fred Mesnard
2010 Misc conf
Variable ranges in linear constraints.
SAC
Salvatore Ruggieri, Fred Mesnard
2009 — conf
Using CLP Simplifications to Improve Java Bytecode Termination Analysis.
BYTECODE@ETAPS
Fausto Spoto, Lunjin Lu, Fred Mesnard
2004 — conf
On termination of binary CLP programs.
WLPE
Alexander Serebrenik, Fred Mesnard