Xin Chen

According to our database, Xin Chen authored at least 38 papers between 2007 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Graph Neural Network based Two-Phase Fault Localization Approach.

Zhengmin Li, Enyi Tang, Xin Chen, Linzhang Wang, Xuandong Li

Proceedings of the Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11, 2022

Wassertrain: An Adversarial Training Framework Against Wasserstein Adversarial Attacks.

Qingye Zhao, Xin Chen, Zhuoyu Zhao, Enyi Tang, Xuandong Li

Proceedings of the IEEE International Conference on Acoustics, 2022

Verifying Neural Network Controlled Systems Using Neural Networks.

Qingye Zhao, Xin Chen, Zhuoyu Zhao, Yifan Zhang, Enyi Tang, Xuandong Li

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

2021

Machine learning steered symbolic execution framework for complex software code.

Lei Bu, Yongjuan Liang, Zhunyi Xie, Hong Qian, Yi-Qi Hu, Yang Yu, Xin Chen, Xuandong Li

Formal Aspects Comput., 2021

Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems.

Qingye Zhao, Xin Chen, Yifan Zhang, Meng Sha, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Approximate optimal hybrid control synthesis by classification-based derivative-free optimization.

Shaopeng Xing, Jiawan Wang, Lei Bu, Xin Chen, Xuandong Li

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations.

Meng Sha, Xin Chen, Yuzhe Ji, Qingye Zhao, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020

Accelerating Accuracy Improvement for Floating Point Programs via Memory Based Pruning.

Anxiang Xiao, Enyi Tang, Xin Chen, Linzhang Wang

Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC.

Chao Huang, Xin Chen, Enyi Tang, Mengda He, Lei Bu, Shengchao Qin, Yifeng Zeng

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation.

Xin Chen, Chao Peng, Wang Lin, Zhengfeng Yang, Yifang Zhang, Xuandong Li

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Global optimization of numerical programs via prioritized stochastic algebraic transformations.

Xie Wang, Huaijin Wang, Zhendong Su, Enyi Tang, Xin Chen, Weijun Shen, Zhenyu Chen, Linzhang Wang, Xianpei Zhang, Xuandong Li

Proceedings of the 41st International Conference on Software Engineering, 2019

Robustness Verification of Classification Deep Neural Networks via Linear Programming.

Wang Lin, Zhengfeng Yang, Xin Chen, Qingye Zhao, Xiangkun Li, Zhiming Liu, Jifeng He

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2019

2018

Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming.

Yifan Zhang, Zhengfeng Yang, Wang Lin, Huibiao Zhu, Xin Chen, Xuandong Li

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Model-based Construction and Verification of Cyber-Physical Systems.

Lei Bu, Tian Zhang, Xin Chen, Linzhang Wang, Jianhua Zhao, Xuandong Li

ACM SIGSOFT Softw. Eng. Notes, 2018

HAT: Analyzing Linear Hybrid Automata as Labelled Transition System.

Lei Bu, Hui Jiang, Xin Chen, Enyi Tang, Xuandong Li

Proceedings of the Symposium on Real-Time and Hybrid Systems, 2018

2017

Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates.

Chao Huang, Xin Chen, Wang Lin, Zhengfeng Yang, Xuandong Li

ACM Trans. Embed. Comput. Syst., 2017

Sketch-guided GUI test generation for mobile applications.

Chucheng Zhang, Haoliang Cheng, Enyi Tang, Xin Chen, Lei Bu, Xuandong Li

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Switched Linear Multi-Robot Navigation Using Hierarchical Model Predictive Control.

Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Towards Interface-Driven Design of Evolving Component-Based Architectures.

Xin Chen, Zhiming Liu

Proceedings of the Provably Correct Systems, 2017

2016

Symbolic execution of complex program driven by machine learning based constraint solving.

Xin Li, Yongjuan Liang, Hong Qian, Yi-Qi Hu, Lei Bu, Yang Yu, Xin Chen, Xuandong Li

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Hierarchical Model Predictive Control for Multi-Robot Navigation.

Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems.

Zhengfeng Yang, Chao Huang, Xin Chen, Wang Lin, Zhiming Liu

Proceedings of the FM 2016: Formal Methods, 2016

Darboux-type barrier certificates for safety verification of nonlinear hybrid systems.

Xia Zeng, Wang Lin, Zhengfeng Yang, Xin Chen, Lilei Wang

Proceedings of the 2016 International Conference on Embedded Software, 2016

2013

Loop invariant synthesis in a combined abstract domain.

Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Xin Chen

J. Symb. Comput., 2013

2012

Regression Test Cases Generation Based on Automatic Model Revision.

Nan Ye, Xin Chen, Wenxu Ding, Peng Jiang, Lei Bu, Xuandong Li

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Path-oriented Test Data Generation Driven by Component Linear Fitting Functions.

Wenxu Ding, Xin Chen, Peng Jiang, Nan Ye, Lei Bu, Xuandong Li

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online.

Lei Bu, Dingbao Xie, Xin Chen, Linzhang Wang, Xuandong Li

Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

2011

Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior.

Lei Bu, Qixin Wang, Xin Chen, Linzhang Wang, Tian Zhang, Jianhua Zhao, Xuandong Li

SIGBED Rev., 2011

UML interaction model-driven runtime verification of Java programs.

Xuandong Li, Xiaokang Qiu, Linzhang Wang, Xin Chen, Zhou Zhou, Liqian Yu, Jinhua Zhao

IET Softw., 2011

Online Verification of Control Parameter Calculations in Communication Based Train Control System

Lei Bu, Xin Chen, Linzhang Wang, Xuandong Li

CoRR, 2011

Automatic Regression Test Selection Based on Activity Diagrams.

Nan Ye, Xin Chen, Peng Jiang, Wenxu Ding, Xuandong Li

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Feedback-Directed Test Case Generation Based on UML Activity Diagrams.

Xin Chen, Nan Ye, Peng Jiang, Lei Bu, Xuandong Li

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

2010

A Formal Approach to Analyzing Interference Problems in Aspect-Oriented Designs.

Xin Chen, Nan Ye, Wenxu Ding

Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

BACH 2 : Bounded reachability checker for compositional linear hybrid systems.

Lei Bu, You Li, Linzhang Wang, Xin Chen, Xuandong Li

Proceedings of the Design, Automation and Test in Europe, 2010

2009

Design pattern directed clustering for understanding open source code.

Zhixiong Han, Linzhang Wang, Liqian Yu, Xin Chen, Jianhua Zhao, Xuandong Li

Proceedings of the 17th IEEE International Conference on Program Comprehension, 2009

2008

Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models.

Zhou Zhou, Linzhang Wang, Zhanqi Cui, Xin Chen, Jianhua Zhao

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

2007

Separation of Concerns and Consistent Integration in Requirements Modelling.

Xin Chen, Zhiming Liu, Vladimir Mencl

Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

A Model of Component-Based Programming.

Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007