| 2023 | SP | Tyr: Finding Consensus Failure Bugs in Blockchain System with Behaviour Divergent Model. | Yuanliang Chen, Fuchen Ma, Yuanhang Zhou, Yu Jiang, Ting Chen, Jia-Guang Sun |
| 2022 | DAC | HCG: optimizing embedded code generation of simulink with SIMD instruction synthesis. | Zhuo Su, Zehong Yu, Dongyan Wang, Yixiao Yang, Yu Jiang, Rui Wang, Wanli Chang, Jia-Guang Sun |
| 2016 | ICSE | Use runtime verification to improve the quality of medical care practice. | Yu Jiang, Han Liu, Hui Kong, Rui Wang, Mohammad Hosseini, Jia-Guang Sun, Lui Sha |
| 2016 | RTAS | From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design. | Yu Jiang, Yixiao Yang, Han Liu, Hui Kong, Ming Gu, Jia-Guang Sun, Lui Sha |
| 2014 | ICECCS | Clause Replication and Reuse in Incremental Temporal Induction. | Liangze Yin, Fei He, Ming Gu, Jia-Guang Sun |
| 2014 | TASE | iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems. | Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jia-Guang Sun |
| 2010 | CCS | A cloud based SIM DRM scheme for the mobile internet. | Peng Zou, Chaokun Wang, Zhang Liu, Jianmin Wang, Jia-Guang Sun |
| 2007 | MMM | MuSQL: A Music Structured Query Language. | Chaokun Wang, Jianmin Wang, Jianzhong Li, Jia-Guang Sun, Shengfei Shi |
| 2006 | APWEB | Hierarchical Hypercube-Based Pairwise Key Establishment Schemes for Sensor Networks. | Lei Wang, Junyi Li, J. M. Yang, Yaping Lin, Jia-Guang Sun |
| 2006 | APWEB | Detecting Implicit Dependencies Between Tasks from Event Logs. | Lijie Wen, Jianmin Wang, Jia-Guang Sun |
| 2006 | ATVA | A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement. | Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun |
| 2006 | ICDE | Efficient Discovery of Emerging Frequent Patterns in ArbitraryWindows on Data Streams. | Xiaoming Jin, Xinqiang Zuo, Kwok-Yan Lam, Jianmin Wang, Jia-Guang Sun |
| 2006 | ISVC | Surface Fitting to Curves with Energy Control. | Wen-Ke Wang, Hui Zhang, Jun-Hai Yong, Jia-Guang Sun |
| 2006 | SERA | Automated Test Data Generation Based on Program Execution. | Jun-Yi Li, Jia-Guang Sun, Ying-Ping Lu |
| 2005 | CIS | Facial Features Location by Analytic Boosted Cascade Detector. | Lei Wang, Beiji Zou, Jia-Guang Sun |
| 2005 | ICPP | Fault-Tolerant Routing in Meshes/Tori Using Planarly Constructed Fault Blocks. | Dong Xiang, Jia-Guang Sun, Jie Wu, Krishnaiyan Thulasiraman |
| 2004 | ACISP | Authorization Mechanisms for Virtual Organizations in Distributed Computing Systems. | Xibin Zhao, Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun |
| 2004 | CIS | Alternating Direction Finite Element Method for a Class of Moving Boundary Problems. | Xu-Zheng Liu, Xia Cui, Jun-Hai Yong, Jia-Guang Sun |
| 2004 | CIS | Bilateral Filter for Meshes Using New Predictor. | Yu-Shen Liu, Pi-Qiang Yu, Jun-Hai Yong, Hui Zhang, Jia-Guang Sun |
| 2004 | CIS | Up to Face Extrusion Algorithm for Generating B-Rep Solid. | Yu Peng, Hui Zhang, Jun-Hai Yong, Jia-Guang Sun |
| 2004 | CIS | Real-Time Texture Synthesis with Patch Jump Maps. | Bin Wang, Jun-Hai Yong, Jia-Guang Sun |
| 2004 | CIS | Shelling Algorithm in Solid Modeling. | Dong-Ming Yan, Hui Zhang, Jun-Hai Yong, Yu Peng, Jia-Guang Sun |
| 2004 | CIS | Alternate Pattern Fill. | Xiao-Xin Zhang, Jun-Hai Yong, Lie-Hang Gong, Guo-Qin Zheng, Jia-Guang Sun |
| 2004 | ER | Symbolization of Mobile Object Trajectories with the Support to Motion Data Mining. | Xiaoming Jin, Jianmin Wang, Jia-Guang Sun |
| 2004 | IDEAL | Dynamic Symbolization of Streaming Time Series. | Xiaoming Jin, Jianmin Wang, Jia-Guang Sun |
| 2004 | PAKDD | Rules Discovery from Cross-Sectional Short-Length Time Series. | Kedong Luo, Jianmin Wang, Jia-Guang Sun |
| 2004 | WISA | Application of Content Computing in Honeyfarm. | Yi-Yuan Huang, Kwok-Yan Lam, Siu Leung Chung, Chi-Hung Chi, Jia-Guang Sun |
| 2003 | ACNS | Efficient Presentation of Multivariate Audit Data for Intrusion Detection of Web-Based Internet Services. | Zhi Guo, Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun |
| 2003 | DAC | A cost-effective scan architecture for scan testing with non-scan test power and test application cost. | Dong Xiang, Shan Gu, Jia-Guang Sun, Yu-Liang Wu |
| 2003 | IDEAL | Clustering Individuals in Non-vector Data and Predicting: A Novel Model-Based Approach. | Kedong Luo, Jianmin Wang, Deyi Li, Jia-Guang Sun |
| 2003 | WISA | Enhancing Grid Security Infrastructure to Support Mobile Computing Nodes. | Kwok-Yan Lam, Xibin Zhao, Siu Leung Chung, Ming Gu, Jia-Guang Sun |
| 2001 | PG | On the Numerical Redundancies of Geometric Constraint Systems. | Yan-Tao Li, Shi-Min Hu, Jia-Guang Sun |
| 2001 | PG | An Effective Feature-Preserving Mesh Simplification Scheme Based on Face Constriction. | Jianhua Wu, Shi-Min Hu, Jia-Guang Sun, Chiew-Lan Tai |
| 2000 | PG | A Matrix-Based Approach to Reconstruction of 3D Objects from Three Orthographic Views. | Shi-Xia Liu, Shi-Min Hu, Jia-Guang Sun, Chiew-Lan Tai |