Xin Chen - RankMe

39 papers A* 8A 2B 1Misc 3Journal 9Unranked 14

Year	Rank	Type	Title / 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
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	—	`conf`	Approximate optimal hybrid control synthesis by classification-based derivative-free optimization. HSCC Shaopeng Xing, Jiawan Wang, Lei Bu, Xin Chen, Xuandong Li
2021	J	`jnl`	Machine learning steered symbolic execution framework for complex software code. Formal Aspects Comput. Lei Bu, Yongjuan Liang, Zhunyi Xie, Hong Qian, Yi-Qi Hu, Yang Yu, Xin Chen, Xuandong Li
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`	A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation. CAV (1) Xin Chen, Chao Peng, Wang Lin, Zhengfeng Yang, Yifang Zhang, 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
2019	A*	`conf`	Robustness Verification of Classification Deep Neural Networks via Linear Programming. CVPR Wang Lin, Zhengfeng Yang, Xin Chen, Qingye Zhao, Xiangkun Li, Zhiming Liu, Jifeng He
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
2018	J	`jnl`	Model-based Construction and Verification of Cyber-Physical Systems. ACM SIGSOFT Softw. Eng. Notes Lei Bu, Tian Zhang, Xin Chen, Linzhang Wang, Jianhua Zhao, Xuandong Li
2018	J	`jnl`	Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Yifan Zhang, Zhengfeng Yang, Wang Lin, Huibiao Zhu, Xin Chen, Xuandong Li
2017	J	`jnl`	Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates. ACM Trans. Embed. Comput. Syst. Chao Huang, Xin Chen, Wang Lin, Zhengfeng Yang, Xuandong Li
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	A*	`conf`	Switched Linear Multi-Robot Navigation Using Hierarchical Model Predictive Control. IJCAI Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li
2017	—	`ch.`	Towards Interface-Driven Design of Evolving Component-Based Architectures. Provably Correct Systems Xin Chen, Zhiming Liu
2016	B	`conf`	A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems. FM Zhengfeng Yang, Chao Huang, Xin Chen, Wang Lin, Zhiming Liu
2016	Misc	`conf`	Darboux-type barrier certificates for safety verification of nonlinear hybrid systems. EMSOFT Xia Zeng, Wang Lin, Zhengfeng Yang, Xin Chen, Lilei Wang
2016	A*	`conf`	Hierarchical Model Predictive Control for Multi-Robot Navigation. IJCAI Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li
2016	A*	`conf`	Symbolic execution of complex program driven by machine learning based constraint solving. ASE Xin Li, Yongjuan Liang, Hong Qian, Yi-Qi Hu, Lei Bu, Yang Yu, Xin Chen, Xuandong Li
2013	J	`jnl`	Loop invariant synthesis in a combined abstract domain. J. Symb. Comput. Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Xin Chen
2012	—	`conf`	Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online. ICCPS Lei Bu, Dingbao Xie, Xin Chen, Linzhang Wang, Xuandong Li
2012	—	`conf`	Path-oriented Test Data Generation Driven by Component Linear Fitting Functions. SERE (Companion) Wenxu Ding, Xin Chen, Peng Jiang, Nan Ye, Lei Bu, Xuandong Li
2012	Misc	`conf`	Regression Test Cases Generation Based on Automatic Model Revision. TASE Nan Ye, Xin Chen, Wenxu Ding, Peng Jiang, Lei Bu, Xuandong Li
2011	—	`conf`	Automatic Regression Test Selection Based on Activity Diagrams. SSIRI (Companion) Nan Ye, Xin Chen, Peng Jiang, Wenxu Ding, Xuandong Li
2011	—	`conf`	Feedback-Directed Test Case Generation Based on UML Activity Diagrams. SSIRI (Companion) Xin Chen, Nan Ye, Peng Jiang, Lei Bu, Xuandong Li
2011	J	`jnl`	Online Verification of Control Parameter Calculations in Communication Based Train Control System CoRR Lei Bu, Xin Chen, Linzhang Wang, Xuandong Li
2011	J	`jnl`	Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior. SIGBED Rev. Lei Bu, Qixin Wang, Xin Chen, Linzhang Wang, Tian Zhang, Jianhua Zhao, Xuandong Li
2011	J	`jnl`	UML interaction model-driven runtime verification of Java programs. IET Softw. Xuandong Li, Xiaokang Qiu, Linzhang Wang, Xin Chen, Zhou Zhou, Liqian Yu, Jinhua Zhao
2010	—	`conf`	A Formal Approach to Analyzing Interference Problems in Aspect-Oriented Designs. UTP Xin Chen, Nan Ye, Wenxu Ding
2010	A	`conf`	BACH 2 : Bounded reachability checker for compositional linear hybrid systems. DATE Lei Bu, You Li, Linzhang Wang, Xin Chen, Xuandong Li
2009	A	`conf`	Design pattern directed clustering for understanding open source code. ICPC Zhixiong Han, Linzhang Wang, Liqian Yu, Xin Chen, Jianhua Zhao, Xuandong Li
2008	—	`conf`	Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models. HASE Zhou Zhou, Linzhang Wang, Zhanqi Cui, Xin Chen, Jianhua Zhao
2007	—	`conf`	A Model of Component-Based Programming. FSEN Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan
2007	—	`conf`	Separation of Concerns and Consistent Integration in Requirements Modelling. SOFSEM (1) Xin Chen, Zhiming Liu, Vladimir Mencl