A Model of Component-Based Programming. - Xin Chen 027; Jifeng He 001; Zhiming Liu 001; Naijun Zhan (FSEN, 2007)

Separation of Concerns and Consistent Integration in Requirements Modelling. - Xin Chen 027; Zhiming Liu 001; Vladimir Mencl (SOFSEM (1), 2007)

Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models. - Zhou Zhou; Linzhang Wang; Zhanqi Cui; Xin Chen 027; Jianhua Zhao (HASE, 2008)

Design pattern directed clustering for understanding open source code. - Zhixiong Han; Linzhang Wang; Liqian Yu; Xin Chen 027; Jianhua Zhao; Xuandong Li (ICPC, 2009)

BACH 2 : Bounded reachability checker for compositional linear hybrid systems. - Lei Bu; You Li; Linzhang Wang; Xin Chen 027; Xuandong Li (DATE, 2010)

A Formal Approach to Analyzing Interference Problems in Aspect-Oriented Designs. - Xin Chen 027; Nan Ye; Wenxu Ding (UTP, 2010)

Feedback-Directed Test Case Generation Based on UML Activity Diagrams. - Xin Chen 027; Nan Ye; Peng Jiang; Lei Bu; Xuandong Li (SSIRI (Companion), 2011)

Automatic Regression Test Selection Based on Activity Diagrams. - Nan Ye; Xin Chen 027; Peng Jiang; Wenxu Ding; Xuandong Li (SSIRI (Companion), 2011)

Online Verification of Control Parameter Calculations in Communication Based Train Control System - Lei Bu; Xin Chen 027; Linzhang Wang; Xuandong Li (CoRR, 2011)

UML interaction model-driven runtime verification of Java programs. - Xuandong Li; Xiaokang Qiu; Linzhang Wang; Xin Chen 027; Zhou Zhou; Liqian Yu; Jinhua Zhao (IET Softw., 2011)

Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior. - Lei Bu; Qixin Wang; Xin Chen 027; Linzhang Wang; Tian Zhang 001; Jianhua Zhao; Xuandong Li (SIGBED Rev., 2011)

Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online. - Lei Bu; Dingbao Xie; Xin Chen 027; Linzhang Wang; Xuandong Li (ICCPS, 2012)

Path-oriented Test Data Generation Driven by Component Linear Fitting Functions. - Wenxu Ding; Xin Chen 027; Peng Jiang; Nan Ye; Lei Bu; Xuandong Li (SERE (Companion), 2012)

Regression Test Cases Generation Based on Automatic Model Revision. - Nan Ye; Xin Chen 027; Wenxu Ding; Peng Jiang; Lei Bu; Xuandong Li (TASE, 2012)

Loop invariant synthesis in a combined abstract domain. - Shengchao Qin; Guanhua He; Chenguang Luo; Wei-Ngan Chin; Xin Chen 027 (J. Symb. Comput., 2013)

Darboux-type barrier certificates for safety verification of nonlinear hybrid systems. - Xia Zeng; Wang Lin; Zhengfeng Yang; Xin Chen 027; Lilei Wang (EMSOFT, 2016)

A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems. - Zhengfeng Yang; Chao Huang 015; Xin Chen 027; Wang Lin; Zhiming Liu 001 (FM, 2016)

Hierarchical Model Predictive Control for Multi-Robot Navigation. - Chao Huang 015; Xin Chen 027; Yifan Zhang 005; Shengchao Qin; Yifeng Zeng; Xuandong Li (IJCAI, 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 001; Xin Chen 027; Xuandong Li (ASE, 2016)

Towards Interface-Driven Design of Evolving Component-Based Architectures. - Xin Chen 027; Zhiming Liu 001 (Provably Correct Systems, 2017)

Switched Linear Multi-Robot Navigation Using Hierarchical Model Predictive Control. - Chao Huang 015; Xin Chen 027; Yifan Zhang 005; Shengchao Qin; Yifeng Zeng; Xuandong Li (IJCAI, 2017)

Sketch-guided GUI test generation for mobile applications. - Chucheng Zhang; Haoliang Cheng; Enyi Tang; Xin Chen 027; Lei Bu; Xuandong Li (ASE, 2017)

Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates. - Chao Huang 015; Xin Chen 027; Wang Lin; Zhengfeng Yang; Xuandong Li (ACM Trans. Embed. Comput. Syst., 2017)

HAT: Analyzing Linear Hybrid Automata as Labelled Transition System. - Lei Bu; Hui Jiang; Xin Chen 027; Enyi Tang; Xuandong Li (Symposium on Real-Time and Hybrid Systems, 2018)

Model-based Construction and Verification of Cyber-Physical Systems. - Lei Bu; Tian Zhang 001; Xin Chen 027; Linzhang Wang; Jianhua Zhao; Xuandong Li (ACM SIGSOFT Softw. Eng. Notes, 2018)

Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming. - Yifan Zhang 005; Zhengfeng Yang; Wang Lin; Huibiao Zhu; Xin Chen 027; Xuandong Li (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Robustness Verification of Classification Deep Neural Networks via Linear Programming. - Wang Lin; Zhengfeng Yang; Xin Chen 027; Qingye Zhao; Xiangkun Li; Zhiming Liu 001; Jifeng He 001 (CVPR, 2019)

Global optimization of numerical programs via prioritized stochastic algebraic transformations. - Xie Wang; Huaijin Wang 001; Zhendong Su 001; Enyi Tang; Xin Chen 027; Weijun Shen; Zhenyu Chen 001; Linzhang Wang; Xianpei Zhang; Xuandong Li (ICSE, 2019)

A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation. - Xin Chen 027; Chao Peng 004; Wang Lin; Zhengfeng Yang; Yifang Zhang; Xuandong Li (CAV (1), 2020)

Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC. - Chao Huang 015; Xin Chen 027; Enyi Tang; Mengda He; Lei Bu; Shengchao Qin; Yifeng Zeng (ICRA, 2020)

Accelerating Accuracy Improvement for Floating Point Programs via Memory Based Pruning. - Anxiang Xiao; Enyi Tang; Xin Chen 027; Linzhang Wang (Internetware, 2020)

Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations. - Meng Sha; Xin Chen 027; Yuzhe Ji; Qingye Zhao; Zhengfeng Yang; Wang Lin; Enyi Tang; Qiguang Chen; Xuandong Li (DAC, 2021)

Approximate optimal hybrid control synthesis by classification-based derivative-free optimization. - Shaopeng Xing; Jiawan Wang; Lei Bu; Xin Chen 027; Xuandong Li (HSCC, 2021)

Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems. - Qingye Zhao; Xin Chen 027; Yifan Zhang 005; Meng Sha; Zhengfeng Yang; Wang Lin; Enyi Tang; Qiguang Chen; Xuandong Li (HSCC, 2021)

Machine learning steered symbolic execution framework for complex software code. - Lei Bu; Yongjuan Liang; Zhunyi Xie; Hong Qian; Yi-Qi Hu; Yang Yu 001; Xin Chen 027; Xuandong Li (Formal Aspects Comput., 2021)

Verifying Neural Network Controlled Systems Using Neural Networks. - Qingye Zhao; Xin Chen 027; Zhuoyu Zhao; Yifan Zhang 005; Enyi Tang; Xuandong Li (HSCC, 2022)

Wassertrain: An Adversarial Training Framework Against Wasserstein Adversarial Attacks. - Qingye Zhao; Xin Chen 027; Zhuoyu Zhao; Enyi Tang; Xuandong Li (ICASSP, 2022)

Graph Neural Network based Two-Phase Fault Localization Approach. - Zhengmin Li; Enyi Tang; Xin Chen 027; Linzhang Wang; Xuandong Li (Internetware, 2022)

BlockSOP: A blockchain-based software management platform for open collaborative development. - Shuoxiao Zhang; Enyi Tang; Haoliang Cheng; Xinyu Gao; An Guo 002; Jianhua Zhao; Xin Chen 027; Linzhang Wang; Na Meng 001; Xuandong Li (J. Syst. Softw., 2025)