Jianfeng Du -

Registered user since Sun 14 Jul 2024

Name:Jianfeng Du

Country:China

Affiliation:Guangdong University of Foreign Studies

Contributions

2024

ISSTA

Author of Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking within the Technical Papers-track

2023

ASE

Author of SAT-verifiable LTL Satisfiability Checking via Graph Representation Learning within the NIER Track-track
Author of PURLTL: Mining LTL Specification from Imperfect Traces in Testing within the NIER Track-track

2022

ASE

Author of Checking LTL Satisfiability via End-to-end Learning within the Research Papers-track