Enyi Tang

23 papers A* 5A 2C 2Misc 1Journal 5Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
BlockSOP: A blockchain-based software management platform for open collaborative development.
J. Syst. Softw.
Shuoxiao Zhang, Enyi Tang, Haoliang Cheng, Xinyu Gao, An Guo, Jianhua Zhao, Xin Chen, Linzhang Wang, Na Meng, Xuandong Li
2025 J jnl
Exploring the Effectiveness of Open-Source Donation Platform: An Empirical Study on Opencollective.
J. Softw. Evol. Process.
Shuoxiao Zhang, Enyi Tang, Xinyu Gao, Zhekai Zhang, Yixiao Shan, Haofeng Zhang, Ziyang He, Jianhua Zhao, Xuandong Li
2025 C conf
Iteratively Synthesizing ε-Robust Barrier Certificates for Neural Network Controlled Systems.
ICTAC
Yi Luo, Xin Chen, Jin Dai, Enyi Tang, Xuandong Li
2025 A* conf
When Autonomous Vehicle Meets V2X Cooperative Perception: How Far Are We?
ASE
An Guo, Shuoxiao Zhang, Enyi Tang, Xinyu Gao, Haomin Pang, Haoxiang Tian, Yanzhou Mu, Wu Wen, Chunrong Fang, Zhenyu Chen
2025 J jnl
When Autonomous Vehicle Meets V2X Cooperative Perception: How Far Are We?
CoRR
An Guo, Shuoxiao Zhang, Enyi Tang, Xinyu Gao, Haomin Pang, Haoxiang Tian, Yanzhou Mu, Wu Wen, Chunrong Fang, Zhenyu Chen
2022 A conf
A Lightweight Approach of Human-Like Playtest for Android Apps.
SANER
Yan Zhao, Enyi Tang, Haipeng Cai, Xi Guo, Xiaoyin Wang, Na Meng
2022 — conf
Graph Neural Network based Two-Phase Fault Localization Approach.
Internetware
Zhengmin Li, Enyi Tang, Xin Chen, Linzhang Wang, Xuandong Li
2022 — conf
Verifying Neural Network Controlled Systems Using Neural Networks.
HSCC
Qingye Zhao, Xin Chen, Zhuoyu Zhao, Yifan Zhang, Enyi Tang, Xuandong Li
2022 Misc conf
Wassertrain: An Adversarial Training Framework Against Wasserstein Adversarial Attacks.
ICASSP
Qingye Zhao, Xin Chen, Zhuoyu Zhao, Enyi Tang, Xuandong Li
2021 J jnl
A Lightweight Approach of Human-Like Playtesting.
CoRR
Yan Zhao, Weihao Zhang, Enyi Tang, Haipeng Cai, Xi Guo, Na Meng
2021 A* conf
Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations.
DAC
Meng Sha, Xin Chen, Yuzhe Ji, Qingye Zhao, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li
2021 — conf
Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems.
HSCC
Qingye Zhao, Xin Chen, Yifan Zhang, Meng Sha, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li
2020 — conf
Accelerating Accuracy Improvement for Floating Point Programs via Memory Based Pruning.
Internetware
Anxiang Xiao, Enyi Tang, Xin Chen, Linzhang Wang
2020 A* conf
Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC.
ICRA
Chao Huang, Xin Chen, Enyi Tang, Mengda He, Lei Bu, Shengchao Qin, Yifeng Zeng
2019 A* conf
Global optimization of numerical programs via prioritized stochastic algebraic transformations.
ICSE
Xie Wang, Huaijin Wang, Zhendong Su, Enyi Tang, Xin Chen, Weijun Shen, Zhenyu Chen, Linzhang Wang, Xianpei Zhang, Xuandong Li
2018 — ch.
HAT: Analyzing Linear Hybrid Automata as Labelled Transition System.
Symposium on Real-Time and Hybrid Systems
Lei Bu, Hui Jiang, Xin Chen, Enyi Tang, Xuandong Li
2017 C conf
A Framework for Array Invariants Synthesis in Induction-Loop Programs.
APSEC
Bin Li, Juan Zhai, Zhenhao Tang, Enyi Tang, Jianhua Zhao
2017 A* conf
Sketch-guided GUI test generation for mobile applications.
ASE
Chucheng Zhang, Haoliang Cheng, Enyi Tang, Xin Chen, Lei Bu, Xuandong Li
2017 J jnl
Software Numerical Instability Detection and Diagnosis by Combining Stochastic and Infinite-Precision Testing.
IEEE Trans. Software Eng.
Enyi Tang, Xiangyu Zhang, Norbert Th. Müller, Zhenyu Chen, Xuandong Li
2014 — conf
Automatic Numerical Analysis Based on Infinite-Precision Arithmetic.
SERE
Shuai Wei, Enyi Tang, Tianyu Liu, Norbert Th. Müller, Zhenyu Chen
2012 — conf
Time-leverage point detection for time sensitive software maintenance.
ICSM
Enyi Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li
2010 A conf
Perturbing numerical calculations for statistical analysis of floating-point program (in)stability.
ISSTA
Enyi Tang, Earl T. Barr, Xuandong Li, Zhendong Su
2005 — conf
An Incremental Learning Method Based on SVM for Online Sketchy Shape Recognition.
ICNC (1)
Zhengxing Sun, Lisha Zhang, Enyi Tang