Jing Liu -

Not registered as user

Name:Jing Liu

Affiliation:East China Normal University

Contributions

2022

APSEC

Author of SysML Flow Model within the Technical Track-track

ASE

Author of Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks within the Artifact Evaluation-track
Author of Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks within the Research Papers-track

2019

ASE

Author of Better Development of Safety Critical Systems:Chinese High Speed Railway System Development Experience Report within the Industry Showcase-track