Étienne Payet

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 23

Top Venues

CoRR

LOPSTR

Theory Pract. Log. Program.

PPDP

University of La Réunion, Saint-Denis, France (PHD)

Education History

University of La Réunion, Saint-Denis, France

PHD

Publications

Fred Mesnard, Thierry Marianne, Étienne Payet
Automated Theorem Proving for Prolog Verification. LPAR Complementary Volume (2024)
Étienne Payet
Non-termination in Term Rewriting and Logic Programming. J. Autom. Reason. 68 (1) (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)
Étienne Payet
Non-Termination in Term Rewriting and Logic Programming. CoRR (2023)
Étienne Payet
Binary Non-Termination in Term Rewriting and Logic Programming. CoRR (2023)
Étienne Payet, David J. Pearce, Fausto Spoto
On the Termination of Borrow Checking in Featherweight Rust. NFM (2022)
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)
Étienne Payet, Fausto Spoto
Checking Array Bounds by Abstract Interpretation and Symbolic Expressions. IJCAR (2018)
Étienne Payet
Guided Unfoldings for Finding Loops in Standard Term Rewriting. CoRR (2018)
Étienne Payet
Guided Unfoldings for Finding Loops in Standard Term Rewriting. LOPSTR (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)
Fonenantsoa Maurica, Frédéric Mesnard, Étienne Payet
Termination analysis of floating-point programs using parameterizable rational approximations. SAC (2016)
Fred Mesnard, Étienne Payet, Germán Vidal
On the Completeness of Selective Unification in Concolic Testing of Logic Programs. CoRR (2016)
Fonenantsoa Maurica, Frédéric Mesnard, Étienne Payet
On the Linear Ranking Problem for Simple Floating-Point Loops. SAS (2016)
Frédéric Mesnard, Étienne Payet, Wim Vanhoof
Towards a framework for algorithm recognition in binary code. PPDP (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)
Étienne Payet, Fausto Spoto
An operational semantics for android activities. PEPM (2014)
Fred Mesnard, Étienne Payet
A Second-Order Formulation of Non-Termination. CoRR (2014)
Étienne Payet, Frédéric Mesnard
Non-termination of Dalvik bytecode via compilation to CLP. CoRR (2014)
Étienne Payet, Fausto Spoto
Static analysis of Android programs. Inf. Softw. Technol. 54 (11) (2012)
Étienne Payet, Fausto Spoto
Static Analysis of Android Programs. CADE (2011)
Fausto Spoto, Fred Mesnard, Étienne Payet
A termination analyzer for Java bytecode based on path-length. ACM Trans. Program. Lang. Syst. 32 (3) (2010)
Fausto Spoto, Étienne Payet
Magic-sets for localised analysis of Java bytecode. High. Order Symb. Comput. 23 (1) (2010)
Étienne Payet, Fausto Spoto
Experiments with Non-Termination Analysis for Java Bytecode. Electron. Notes Theor. Comput. Sci. 253 (5) (2009)
Étienne Payet, Frédéric Mesnard
A non-termination criterion for binary constraint logic programs. Theory Pract. Log. Program. 9 (2) (2009)
Étienne Payet, Frédéric Mesnard
A Non-Termination Criterion for Binary Constraint Logic Programs CoRR (2008)
Étienne Payet
Loop detection in term rewriting using the eliminating unfoldings. Theor. Comput. Sci. 403 (2-3) (2008)
Étienne Payet, Fausto Spoto
Magic-Sets Transformation for the Analysis of Java Bytecode. SAS (2007)
Étienne Payet
Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator. LOPSTR (2006)
Étienne Payet, Frédéric Mesnard
Nontermination inference of logic programs. ACM Trans. Program. Lang. Syst. 28 (2) (2006)
Étienne Payet, Frédéric Mesnard
An Improved Non-Termination Criterion for Binary Constraint Logic Programs. WLPE (2005)
Étienne Payet, Frédéric Mesnard
An Improved Non-Termination Criterion for Binary Constraint Logic Programs CoRR (2005)
Étienne Payet, Frédéric Mesnard
Inférence de non-terminaison pour les programmes logiques avec contraintes. JFPLC (2004)
Étienne Payet, Frédéric Mesnard
Non-termination Inference for Constraint Logic Programs. SAS (2004)
Étienne Payet, Frédéric Mesnard
Non-Termination Inference of Logic Programs CoRR (2004)
Frédéric Mesnard, Étienne Payet, Ulrich Neumerkel
Non-Termination Inference for Optimal Termination Conditions of Logic Programs. JFPLC (2002)
Frédéric Mesnard, Étienne Payet, Ulrich Neumerkel
Detecting Optimal Termination Conditions of Logic Programs. SAS (2002)
Étienne Payet, Frédéric Mesnard
A Generalization of the Lifting Lemma for Logic Programming CoRR (2002)
Frédéric Mesnard, Ulrich Neumerkel, Étienne Payet
cTI: un outil pour l'inférence de conditions optimales de terminasion pour Prolog. JFPLC (2001)
Étienne Payet
Thue Specifications, Infinite Graphs and Synchronized Product. Fundam. Informaticae 44 (3) (2000)
Teodor Knapik, Étienne Payet
Synchronized Product of Linear Bounded Machines. FCT (1999)
Teodor Knapik, Étienne Payet
The Full Quotient and its Closure Property for Regular Languages. Inf. Process. Lett. 65 (2) (1998)

Étienne Payet.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Étienne Payet