CUFinder

Étienne Payet

About Étienne Payet

Étienne Payet, With an exceptional h-index of 12 and a recent h-index of 5 (since 2020), a distinguished researcher at Université de la Reunion, specializes in the field of static analysis, Java, Android.

His recent articles reflect a diverse array of research interests and contributions to the field:

Non-termination in Term Rewriting and Logic Programming

NTI+ cTI: a Logic Programming Termination Analyzer

The 19th International Workshop on Termination (WST 2023): Preface, Invited Talk Abstract, and Tool Descriptions

Binary non-termination in term rewriting and logic programming

On the Termination of Borrow Checking in Featherweight Rust

Observing Loopingness

An SMT-based concolic testing tool for logic programs

Concolic testing in CLP

Étienne Payet Information

University

Position

___

Citations(all)

643

Citations(since 2020)

112

Cited By

590

hIndex(all)

12

hIndex(since 2020)

5

i10Index(all)

15

i10Index(since 2020)

2

Email

University Profile Page

Google Scholar

Étienne Payet Skills & Research Interests

static analysis

Java

Android

Top articles of Étienne Payet

Non-termination in Term Rewriting and Logic Programming

Journal of Automated Reasoning

2024/3

Étienne Payet
Étienne Payet

H-Index: 7

NTI+ cTI: a Logic Programming Termination Analyzer

2023/8/24

Frédéric Mesnard
Frédéric Mesnard

H-Index: 7

The 19th International Workshop on Termination (WST 2023): Preface, Invited Talk Abstract, and Tool Descriptions

arXiv preprint arXiv:2308.09536

2023/8/15

Benjamin Lucien Kaminski
Benjamin Lucien Kaminski

H-Index: 14

Étienne Payet
Étienne Payet

H-Index: 7

Binary non-termination in term rewriting and logic programming

arXiv preprint arXiv:2307.11549

2023/7/21

On the Termination of Borrow Checking in Featherweight Rust

2022/5/20

Étienne Payet
Étienne Payet

H-Index: 7

Observing Loopingness

2021/7/16

An SMT-based concolic testing tool for logic programs

2020/9/2

Sophie Fortz
Sophie Fortz

H-Index: 1

German Vidal
German Vidal

H-Index: 10

Concolic testing in CLP

Theory and Practice of Logic Programming

2020/9

See List of Professors in Étienne Payet University(Université de la Reunion)