Fred Mesnard

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 11

Top Topics

Logic Programming

Top Venues

Theory Pract. Log. Program.

LPAR Complementary Volume

Fundam. Informaticae

Publications

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