Advanced geometric modeler with hybrid representation. - Changgui Yang; Yujian Chen; Jiaguang Sun 001 (J. Comput. Sci. Technol., 1996)

A note on approximation of discrete data by G1 arc splines. - Jun-Hai Yong; Shi-Min Hu 001; Jia-Guang Sun 001 (Comput. Aided Des., 1999)

A Matrix-Based Approach to Reconstruction of 3D Objects from Three Orthographic Views. - Shi-Xia Liu; Shi-Min Hu 001; Jia-Guang Sun 001; Chiew-Lan Tai (PG, 2000)

Bisection algorithms for approximating quadratic Bézier curves by G1 arc splines. - Jun-Hai Yong; Shi-Min Hu 001; Jia-Guang Sun 001 (Comput. Aided Des., 2000)

On the Numerical Redundancies of Geometric Constraint Systems. - Yan-Tao Li; Shi-Min Hu 001; Jia-Guang Sun 001 (PG, 2001)

An Effective Feature-Preserving Mesh Simplification Scheme Based on Face Constriction. - Jianhua Wu; Shi-Min Hu 001; Jia-Guang Sun 001; Chiew-Lan Tai (PG, 2001)

Approximate merging of a pair of Bézier curves. - Shi-Min Hu 001; Rou-Feng Tong; Tao Ju; Jia-Guang Sun 001 (Comput. Aided Des., 2001)

Reconstruction of curved solids from engineering drawings. - Shi-Xia Liu; Shi-Min Hu 001; Yujian Chen; Jia-Guang Sun 001 (Comput. Aided Des., 2001)

Degree reduction of B-spline curves. - Jun-Hai Yong; Shi-Min Hu 001; Jia-Guang Sun 001; Xing-Yu Tan (Comput. Aided Geom. Des., 2001)

CIM Algorithm for Approximating Three-Dimensional Polygonal Curves. - Jun-Hai Yong; Shi-Min Hu 001; Jia-Guang Sun 001 (J. Comput. Sci. Technol., 2001)

Direct manipulation of FFD: efficient explicit solutions and decomposible multiple point constraints. - Shi-Min Hu 001; Hui Zhang 013; Chiew-Lan Tai; Jia-Guang Sun 001 (Vis. Comput., 2001)

A constructive approach to solving 3-D geometric constraint systems using dependence analysis. - Yan-Tao Li; Shi-Min Hu 001; Jia-Guang Sun 001 (Comput. Aided Des., 2002)

Modeling workflow processes with colored Petri nets. - Dongsheng Liu; Jianmin Wang 001; Stephen C. F. Chan; Jiaguang Sun 001; Li Zhang 065 (Comput. Ind., 2002)

Two Accelerating Techniques for 3D Reconstruction. - Shi-Xia Liu; Shi-Min Hu 001; Jia-Guang Sun 001 (J. Comput. Sci. Technol., 2002)

Efficient Presentation of Multivariate Audit Data for Intrusion Detection of Web-Based Internet Services. - Zhi Guo; Kwok-Yan Lam; Siu Leung Chung; Ming Gu 001; Jia-Guang Sun 001 (ACNS, 2003)

GFS-Btree: A Scalable Peer-to-Peer Overlay Network for Lookup Service. - Qinghu Li; Jianmin Wang 001; Jia-Guang Sun 001 (GCC (1), 2003)

GridFS: A Web-Based Data Grid with P2P Concepts and Writable Replicas. - Qinghu Li; Jianmin Wang 001; Kwok-Yan Lam; Jia-Guang Sun 001 (ICADL, 2003)

GridFS: A Web-Based Data Grid for the Distributed Sharing of Educational Resource Files. - Qinghu Li; Jianmin Wang 001; Kwok-Yan Lam; Jia-Guang Sun 001 (ICWL, 2003)

Clustering Individuals in Non-vector Data and Predicting: A Novel Model-Based Approach. - Kedong Luo; Jianmin Wang 001; Deyi Li; Jia-Guang Sun 001 (IDEAL, 2003)

A New Heuristic Reduct Algorithm Base on Rough Sets Theory. - Jing Zhang; Jianmin Wang 001; Deyi Li; Huacan He; Jia-Guang Sun 001 (WAIM, 2003)

Enhancing Grid Security Infrastructure to Support Mobile Computing Nodes. - Kwok-Yan Lam; Xibin Zhao; Siu Leung Chung; Ming Gu 001; Jia-Guang Sun 001 (WISA, 2003)

Lightweight security for mobile commerce transactions. - Kwok-Yan Lam; Siu Leung Chung; Ming Gu 001; Jia-Guang Sun 001 (Comput. Commun., 2003)

Security middleware for enhancing interoperability of Public Key Infrastructure. - Kwok-Yan Lam; Siu Leung Chung; Ming Gu 001; Jia-Guang Sun 001 (Comput. Secur., 2003)

Adaptive tree similarity learning for image retrieval. - Tao Wang; Yong Rui; Shi-Min Hu 001; Jia-Guang Sun 001 (Multim. Syst., 2003)

Authorization Mechanisms for Virtual Organizations in Distributed Computing Systems. - Xibin Zhao; Kwok-Yan Lam; Siu Leung Chung; Ming Gu 001; Jia-Guang Sun 001 (ACISP, 2004)

Real-Time Emulation of Intrusion Victim in HoneyFarm. - Xing-Yun He; Kwok-Yan Lam; Siu Leung Chung; Chi-Hung Chi; Jia-Guang Sun 001 (AWCC, 2004)

Enhancing the Scalability of the Community Authorization Service for Virtual Organizations. - Jian-Ping Yong; Kwok-Yan Lam; Siu Leung Chung; Ming Gu 001; Jia-Guang Sun 001 (AWCC, 2004)

Alternating Direction Finite Element Method for a Class of Moving Boundary Problems. - Xu-Zheng Liu; Xia Cui; Jun-Hai Yong; Jia-Guang Sun 001 (CIS, 2004)

Bilateral Filter for Meshes Using New Predictor. - Yu-Shen Liu; Pi-Qiang Yu; Jun-Hai Yong; Hui Zhang 013; Jia-Guang Sun 001 (CIS, 2004)

Up to Face Extrusion Algorithm for Generating B-Rep Solid. - Yu Peng; Hui Zhang 013; Jun-Hai Yong; Jia-Guang Sun 001 (CIS, 2004)

Real-Time Texture Synthesis with Patch Jump Maps. - Bin Wang 021; Jun-Hai Yong; Jia-Guang Sun 001 (CIS, 2004)

Shelling Algorithm in Solid Modeling. - Dong-Ming Yan 001; Hui Zhang 013; Jun-Hai Yong; Yu Peng; Jia-Guang Sun 001 (CIS, 2004)

Alternate Pattern Fill. - Xiao-Xin Zhang; Jun-Hai Yong; Lie-Hang Gong; Guo-Qin Zheng; Jia-Guang Sun 001 (CIS, 2004)

Symbolization of Mobile Object Trajectories with the Support to Motion Data Mining. - Xiaoming Jin; Jianmin Wang 001; Jia-Guang Sun 001 (ER (Workshops), 2004)

Anomaly Detection in Grid Computing Based on Vector Quantization. - Hong-Wei Sun; Kwok-Yan Lam; Siu Leung Chung; Ming Gu 001; Jia-Guang Sun 001 (GCC, 2004)

Dynamic Symbolization of Streaming Time Series. - Xiaoming Jin; Jianmin Wang 001; Jia-Guang Sun 001 (IDEAL, 2004)

Rules Discovery from Cross-Sectional Short-Length Time Series. - Kedong Luo; Jianmin Wang 001; Jia-Guang Sun 001 (PAKDD, 2004)

Application of Content Computing in Honeyfarm. - Yi-Yuan Huang; Kwok-Yan Lam; Siu Leung Chung; Chi-Hung Chi; Jia-Guang Sun 001 (WISA, 2004)

Automatic G1 arc spline interpolation for closed point set. - Xiao-Diao Chen; Jun-Hai Yong; Guo-Qin Zheng; Jia-Guang Sun 001 (Comput. Aided Des., 2004)

Constraint Based Region Matching for Image Retrieval. - Tao Wang; Yong Rui; Jia-Guang Sun 001 (Int. J. Comput. Vis., 2004)

Improving Retrieval Performance by Region Constraints and Relevance Feedback. - Tao Wang; Yong Rui; Jia-Guang Sun 001 (J. Comput. Sci. Technol., 2004)

A stochastic model for cellassignments in PCS networks. - Fei He 001; Ming Gu 001; Jiaguang Sun 001; Xiaoyu Song (Math. Comput. Model., 2004)

Efficient Example-Based Painting and Synthesis of 2D Directional Texture. - Bin Wang 021; Wenping Wang 001; Huaiping Yang; Jia-Guang Sun 001 (IEEE Trans. Vis. Comput. Graph., 2004)

Facial Features Location by Analytic Boosted Cascade Detector. - Lei Wang 017; Beiji Zou 001; Jia-Guang Sun 001 (CIS (2), 2005)

Integrating Collaborate and Content-Based Filtering for Personalized Information Recommendation. - Zhiyun Xin; Jizhong Zhao; Ming Gu 001; Jiaguang Sun 001 (CIS (1), 2005)

Information Push-Delivery for User-Centered and Personalized Service. - Zhiyun Xin; Jizhong Zhao; Chihong Chi; Jiaguang Sun 001 (FSKD (1), 2005)

An Efficient Anomaly Detection Algorithm for Vector-Based Intrusion Detection Systems. - Hong-Wei Sun; Kwok-Yan Lam; Siu Leung Chung; Ming Gu 001; Jia-Guang Sun 001 (ICCNMC, 2005)

Convergence Analysis of Discrete Differential Geometry Operators over Surfaces. - Zhiqiang Xu 001; Guoliang Xu; Jia-Guang Sun 001 (IMA Conference on the Mathematics of Surfaces, 2005)

Segmented channel routing with pin rearrangements via satisfiability. - Fei He 001; William N. N. Hung; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (ISCAS (6), 2005)

A Hierachical Method for Wiring and Congestion Prediction. - Fei He 001; Xiaoyu Song; Lerong Cheng; Guowu Yang; Zhiwei Tang; Ming Gu 001; Jia-Guang Sun 001 (ISVLSI, 2005)

Secure Anonymous Communication with Conditional Traceability. - Zhaofeng Ma; Xibin Zhao; Zhi Guo; Ming Gu 001; Jiaguang Sun 001 (NPC, 2005)

Synthesizing 2D directional moving texture. - Bin Wang 021; Wenping Wang 001; Jun-Hai Yong; Jiaguang Sun 001 (SCCG, 2005)

A robust algorithm for finding the real intersections of three quadric surfaces. - Zhiqiang Xu 001; Xiaoshen Wang; Xiao-Diao Chen; Jia-Guang Sun 001 (Comput. Aided Geom. Des., 2005)

A new algorithm for Boolean operations on general polygons. - Yu Peng; Jun-Hai Yong; Wei-Ming Dong; Hui Zhang 013; Jia-Guang Sun 001 (Comput. Graph., 2005)

An algorithm for tetrahedral mesh generation based on conforming constrained Delaunay tetrahedralization. - Yi-Jun Yang; Jun-Hai Yong; Jia-Guang Sun 001 (Comput. Graph., 2005)

On synthesis of 3 × 3 reversible logic functions. - Ming Gu 001; Guowu Yang; Xiaoyu Song; Jiaguang Sun 001 (Int. J. Comput. Math., 2005)

On Theoretical Upper Bounds for Routing Estimation. - Fei He 001; Lerong Cheng; Guowu Yang; Xiaoyu Song; Ming Gu 001; Jia-Guang Sun 001 (J. Univers. Comput. Sci., 2005)

Multiterminal net assignments by scatter search. - Ming Gu 001; Fei He 001; Xiaoyu Song; Jiaguang Sun 001 (Math. Comput. Model., 2005)

Efficient vector quantization using genetic algorithm. - Hongwei Sun; Kwok-Yan Lam; Siu Leung Chung; Wei-Ming Dong; Ming Gu 001; Jia-Guang Sun 001 (Neural Comput. Appl., 2005)

Mesh blending. - Yu-Shen Liu; Hui Zhang 013; Jun-Hai Yong; Pi-Qiang Yu; Jia-Guang Sun 001 (Vis. Comput., 2005)

Hierarchical Hypercube-Based Pairwise Key Establishment Schemes for Sensor Networks. - Lei Wang 017; Junyi Li; J. M. Yang; Yaping Lin; Jia-Guang Sun 001 (APWeb Workshops, 2006)

Detecting Implicit Dependencies Between Tasks from Event Logs. - Lijie Wen 001; Jianmin Wang 001; Jia-Guang Sun 001 (APWeb, 2006)

A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement. - Fei He 001; Xiaoyu Song; Ming Gu 001; Jia-Guang Sun 001 (ATVA, 2006)

A Distributed Domain Administration of RBAC Model in Collaborative Environments. - Yahui Lu; Li Zhang 065; Yinbo Liu; Jiaguang Sun 001 (CSCWD, 2006)

Efficient Discovery of Emerging Frequent Patterns in ArbitraryWindows on Data Streams. - Xiaoming Jin; Xinqiang Zuo; Kwok-Yan Lam; Jianmin Wang 001; Jia-Guang Sun 001 (ICDE, 2006)

Using pi-Calculus to Formalize Domain Administration of RBAC. - Yahui Lu; Li Zhang 065; Yinbo Liu; Jiaguang Sun 001 (ISPEC, 2006)

Surface Fitting to Curves with Energy Control. - Wen-Ke Wang; Hui Zhang 013; Jun-Hai Yong; Jia-Guang Sun 001 (ISVC (1), 2006)

Optimal Parameterizations of Bézier Surfaces. - Yi-Jun Yang; Jun-Hai Yong; Hui Zhang 013; Jean-Claude Paul; Jiaguang Sun 001 (ISVC (1), 2006)

Constrained Delaunay Triangulation Using Delaunay Visibility. - Yi-Jun Yang; Hui Zhang 013; Jun-Hai Yong; Wei Zeng 002; Jean-Claude Paul; Jiaguang Sun 001 (ISVC (1), 2006)

An Efficient Algorithm for Fingercode-Based Biometric Identification. - Hong-Wei Sun; Kwok-Yan Lam; Ming Gu 001; Jia-Guang Sun 001 (OTM Workshops (1), 2006)

Computing minimum distance between two implicit algebraic surfaces. - Xiao-Diao Chen; Jun-Hai Yong; Guo-Qin Zheng; Jean-Claude Paul; Jia-Guang Sun 001 (Comput. Aided Des., 2006)

Solid reconstruction using recognition of quadric surfaces from orthographic views. - Jie-Hui Gong; Hui Zhang 013; Gui-Fang Zhang; Jia-Guang Sun 001 (Comput. Aided Des., 2006)

Automatic least-squares projection of points onto point clouds with applications in reverse engineering. - Yu-Shen Liu; Jean-Claude Paul; Jun-Hai Yong; Pi-Qiang Yu; Hui Zhang 013; Jia-Guang Sun 001; Karthik Ramani (Comput. Aided Des., 2006)

A quasi-Monte Carlo method for computing areas of point-sampled surfaces. - Yu-Shen Liu; Jun-Hai Yong; Hui Zhang 013; Dong-Ming Yan 001; Jia-Guang Sun 001 (Comput. Aided Des., 2006)

A rational extension of Piegl's method for filling n-sided holes. - Yi-Jun Yang; Jun-Hai Yong; Hui Zhang 013; Jean-Claude Paul; Jia-Guang Sun 001 (Comput. Aided Des., 2006)

Reconstruction of 3D curvilinear wire-frame from three orthographic views. - Jie-Hui Gong; Gui-Fang Zhang; Hui Zhang 013; Jia-Guang Sun 001 (Comput. Graph., 2006)

A combinatorial congestion estimation approach with generalized detours. - Fei He 001; Xiaoyu Song; Ming Gu 001; Lerong Cheng; Guowu Yang; Zhiwei Tang; Jiaguang Sun 001 (Comput. Math. Appl., 2006)

Probabilistic optimization for FPGA board level routing problems. - Fei He 001; Xiaoyu Song; Ming Gu 001; Guowu Yang; William N. N. Hung; Jia-Guang Sun 001 (IEEE Trans. Circuits Syst. II Express Briefs, 2006)

Intersection Testing between an Ellipsoid and an Algebraic Surface. - Xiao-Diao Chen; Jun-Hai Yong; Jean-Claude Paul; Jiaguang Sun 001 (CAD/Graphics, 2007)

Effective heuristics for counterexample-guided abstraction refinement. - Fei He 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (ACM Great Lakes Symposium on VLSI, 2007)

Using Decision Tree Learning to Predict Workflow Activity Time Consumption. - Yingbo Liu; Jianmin Wang 001; Jiaguang Sun 001 (ICEIS (2), 2007)

Dynamically Constructing Mixed Pyramid for Fast VQ Encoding. - Hong-Wei Sun; Kwok-Yan Lam; Jia-Guang Sun 001; Siu Leung Chung (IIH-MSP, 2007)

MuSQL: A Music Structured Query Language. - Chaokun Wang; Jianmin Wang 001; Jianzhong Li 001; Jia-Guang Sun 001; Shengfei Shi (MMM (2), 2007)

A machine learning approach to semi-automating workflow staff assignment. - Yingbo Liu; Jianmin Wang 001; Jiaguang Sun 001 (SAC, 2007)

Converting hybrid wire-frames to B-rep models. - Jie-Hui Gong; Hui Zhang 013; Yiwen Zhang; Jia-Guang Sun 001 (Symposium on Solid and Physical Modeling, 2007)

Mining Invisible Tasks from Event Logs. - Lijie Wen 001; Jianmin Wang 001; Jiaguang Sun 001 (APWeb/WAIM, 2007)

A counterexample on point inversion and projection for NURBS curve. - Xiao-Diao Chen; Hua Su; Jun-Hai Yong; Jean-Claude Paul; Jia-Guang Sun 001 (Comput. Aided Geom. Des., 2007)

An offset algorithm for polyline curves. - Xu-Zheng Liu; Jun-Hai Yong; Guo-Qin Zheng; Jia-Guang Sun 001 (Comput. Ind., 2007)

Mining process models with non-free-choice constructs. - Lijie Wen 001; Wil M. P. van der Aalst; Jianmin Wang 001; Jiaguang Sun 001 (Data Min. Knowl. Discov., 2007)

Overlap-free Karatsuba-Ofman Polynomial Multiplication Algorithms. - Haining Fan; Jiaguang Sun 001; Ming Gu 001; Kwok-Yan Lam (IACR Cryptol. ePrint Arch., 2007)

AbIx: An Approach to Content-Based Approximate Query Processing in Peer-to-Peer Data Systems. - Chaokun Wang; Jianmin Wang 001; Jia-Guang Sun 001; Shengfei Shi; Hong Gao 001 (J. Comput. Sci. Technol., 2007)

Towards trace semantics for WS-CDL with alignments. - Yahui Lu; Li Zhang 065; Jiaguang Sun 001 (SAC, 2008)

Identification of sections from engineering drawings based on evidence theory. - Jie-Hui Gong; Hui Zhang 013; Bin Jiang; Jia-Guang Sun 001 (Symposium on Solid and Physical Modeling, 2008)

Reducing control points in lofted B-spline surface interpolation using common knot vector determination. - Wen-Ke Wang; Hui Zhang 013; Hyungjun Park; Jun-Hai Yong; Jean-Claude Paul; Jia-Guang Sun 001 (Comput. Aided Des., 2008)

Approximate computation of curves on B-spline surfaces. - Yi-Jun Yang; Song Cao; Jun-Hai Yong; Hui Zhang 013; Jean-Claude Paul; Jia-Guang Sun 001; He-Jin Gu (Comput. Aided Des., 2008)

A semi-automatic approach for workflow staff assignment. - Yingbo Liu; Jianmin Wang 001; Yun Yang 001; Jiaguang Sun 001 (Comput. Ind., 2008)

Efficient Fingercode Classification. - Hong-Wei Sun; Kwok-Yan Lam; Dieter Gollmann; Siu Leung Chung; Jian-Bin Li; Jia-Guang Sun 001 (IEICE Trans. Inf. Syst., 2008)

A torus patch approximation approach for point projection on surfaces. - Xiao-Ming Liu; Lei Yang 006; Jun-Hai Yong; He-Jin Gu; Jia-Guang Sun 001 (Comput. Aided Geom. Des., 2009)

Task-activity based access control for process collaboration environments. - Yahui Lu; Li Zhang 065; Jiaguang Sun 001 (Comput. Ind., 2009)

Heuristic-Guided Abstraction Refinement. - Fei He 001; Xiaoyu Song; Ming Gu 001; Jia-Guang Sun 001 (Comput. J., 2009)

Workflow-based resource allocation to optimize overall performance of composite services. - Bangyu Wu; Chi-Hung Chi; Zhe Chen; Ming Gu 001; Jiaguang Sun 001 (Future Gener. Comput. Syst., 2009)

Obtaining More Karatsuba-Like Formulae over The Binary Field. - Haining Fan; Ming Gu 001; Jiaguang Sun 001; Kwok-Yan Lam (IACR Cryptol. ePrint Arch., 2009)

QoS Requirement Generation and Algorithm Selection for Composite Service Based on Reference Vector. - Bangyu Wu; Chi-Hung Chi; Shijie Xu; Ming Gu 001; Jia-Guang Sun 001 (J. Comput. Sci. Technol., 2009)

A novel approach for process mining based on event types. - Lijie Wen 001; Jianmin Wang 001; Wil M. P. van der Aalst; Biqing Huang; Jiaguang Sun 001 (J. Intell. Inf. Syst., 2009)

A cloud based SIM DRM scheme for the mobile internet. - Peng Zou; Chaokun Wang; Zhang Liu; Jianmin Wang 001; Jia-Guang Sun 001 (CCS, 2010)

A Watermark-Aware Trusted Running Environment for Software Clouds. - Junning Fu; Chaokun Wang; Zhiwei Yu; Jianmin Wang 001; Jia-Guang Sun 001 (ChinaGrid, 2010)

The Transition Between Sharp and Rounded Features and the Manipulation of Incompatible Boundary in Filling n-sided Holes. - Kan-Le Shi; Jun-Hai Yong; Peng Liu; Jia-Guang Sun 001; Jean-Claude Paul (Shape Modeling International, 2010)

Reconstructing 3D Objects from 2D Sectional Views of Engineering Drawings Using Volume-Based Method. - Yamei Wen; Hui Zhang 013; Zhongmian Yu; Jiaguang Sun 001; Jean-Claude Paul (Shape Modeling International, 2010)

Gn blending multiple surfaces in polar coordinates. - Kan-Le Shi; Jun-Hai Yong; Jia-Guang Sun 001; Jean-Claude Paul (Comput. Aided Des., 2010)

A workflow net similarity measure based on transition adjacency relations. - Haiping Zha; Jianmin Wang 001; Lijie Wen 001; Chaokun Wang; Jiaguang Sun 001 (Comput. Ind., 2010)

Mining process models with prime invisible tasks. - Lijie Wen 001; Jianmin Wang 001; Wil M. P. van der Aalst; Biqing Huang; Jiaguang Sun 001 (Data Knowl. Eng., 2010)

A point-in-polygon method based on a quasi-closest point. - Sheng Yang; Jun-Hai Yong; Jiaguang Sun 001; He-Jin Gu; Jean-Claude Paul (Comput. Geosci., 2010)

A cell-based algorithm for evaluating directional distances in GIS. - Sheng Yang; Jun-Hai Yong; Jia-Guang Sun 001; He-Jin Gu; Jean-Claude Paul (Int. J. Geogr. Inf. Sci., 2010)

Integrating Evolutionary Computation with Abstraction Refinement for Model Checking. - Fei He 001; Xiaoyu Song; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Computers, 2010)

Filling n-sided regions with G1 triangular Coons B-spline patches. - Kan-Le Shi; Jun-Hai Yong; Jia-Guang Sun 001; Jean-Claude Paul; He-Jin Gu (Vis. Comput., 2010)

Parallel Spatial Hashing for Collision Detection of Deformable Surfaces. - Wenshan Fan; Bin Wang 021; Jianliang Zhou; Jiaguang Sun 001 (CAD/Graphics, 2011)

Proving Computational Geometry Algorithms in TLA+2. - Hui Kong 004; Hehua Zhang; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (TASE, 2011)

G2 B-spline interpolation to a closed mesh. - Kan-Le Shi; Sen Zhang 005; Hui Zhang 013; Jun-Hai Yong; Jia-Guang Sun 001; Jean-Claude Paul (Comput. Aided Des., 2011)

A new method for identifying and validating features from 2D sectional views. - Yamei Wen; Hui Zhang 013; Jiaguang Sun 001; Jean-Claude Paul (Comput. Aided Des., 2011)

E.G2 B-spline surface interpolation. - Kan-Le Shi; Jun-Hai Yong; Jia-Guang Sun 001; Jean-Claude Paul (Comput. Aided Geom. Des., 2011)

A Hierarchical Grid Based Framework for Fast Collision Detection. - Wenshan Fan; Bin Wang 021; Jean-Claude Paul; Jiaguang Sun 001 (Comput. Graph. Forum, 2011)

Gn filling orbicular N-sided holes using periodic B-spline surfaces. - Kan-Le Shi; Jun-Hai Yong; Jia-Guang Sun 001; Jean-Claude Paul (Sci. China Inf. Sci., 2011)

Verifying workflow processes: a transformation-based approach. - Haiping Zha; Wil M. P. van der Aalst; Jianmin Wang 001; Lijie Wen 001; Jiaguang Sun 001 (Softw. Syst. Model., 2011)

Automatic image annotation using tag-related random search over visual neighbors. - Zijia Lin; Guiguang Ding; Mingqing Hu; Jianmin Wang 001; Jiaguang Sun 001 (CIKM, 2012)

Uncertain Model and Algorithm for Hardware/Software Partitioning. - Yu Jiang 001; Hehua Zhang; Xun Jiao 001; Xiaoyu Song; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (ISVLSI, 2012)

Modeling and Validation of PLC-Controlled Systems: A Case Study. - Rui Wang 024; Min Zhou 001; Liangze Yin; Lianyi Zhang; Jiaguang Sun 001; Ming Gu 001; Marius Bozga (TASE, 2012)

Semantic characterization of programmable logic controller programs. - Litian Xiao; Rui Wang 024; Ming Gu 001; Jiaguang Sun 001 (Math. Comput. Model., 2012)

New strategies for reliability analysis of Programmable Logic Controllers. - Hehua Zhang; Yu Jiang 001; William N. N. Hung; Guowu Yang; Ming Gu 001; Jiaguang Sun 001 (Math. Comput. Model., 2012)

Recovering Geometric Detail by Octree Normal Maps. - Wenshan Fan; Bin Wang 021; Bin Chan; Jean-Claude Paul; Jiaguang Sun 001 (Trans. Edutainment, 2012)

Sequential dependency and reliability analysis of embedded systems. - Hehua Zhang; Yu Jiang 001; Xiaoyu Song; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (ASP-DAC, 2013)

Verification and Implementation of the Protocol Standard in Train Control System. - Yu Jiang 001; Hehua Zhang; Xiaoyu Song; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (COMPSAC, 2013)

Transfer Sparse Coding for Robust Image Representation. - Mingsheng Long; Guiguang Ding; Jianmin Wang 001; Jiaguang Sun 001; Yuchen Guo; Philip S. Yu (CVPR, 2013)

Transfer Feature Learning with Joint Distribution Adaptation. - Mingsheng Long; Jianmin Wang 001; Guiguang Ding; Jiaguang Sun 001; Philip S. Yu (ICCV, 2013)

Design and optimization of multi-clocked embedded systems using formal technique. - Yu Jiang 001; Zonghui Li; Hehua Zhang; Yangdong Deng; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (ESEC/SIGSOFT FSE, 2013)

System reliability calculation based on the run-time analysis of ladder program. - Yu Jiang 001; Hehua Zhang; Han Liu 010; Xiaoyu Song; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (ESEC/SIGSOFT FSE, 2013)

Polar NURBS Surface with Curvature Continuity. - Kan-Le Shi; Jun-Hai Yong; Lei Tang; Jia-Guang Sun 001; Jean-Claude Paul (Comput. Graph. Forum, 2013)

An octree-based proxy for collision detection in large-scale particle systems. - Wenshan Fan; Bin Wang 021; Jean-Claude Paul; Jia-Guang Sun 001 (Sci. China Inf. Sci., 2013)

Formal component-based modeling and synthesis for PLC systems. - Min Zhou 001; Hai Wan; Rui Wang 024; Xiaoyu Song; Chen Su; Ming Gu 001; Jiaguang Sun 001 (Comput. Ind., 2013)

A Unified Framework for DPLL(T) + Certificates. - Min Zhou 001; Fei He 001; Bow-Yaw Wang; Ming Gu 001; Jiaguang Sun 001 (J. Appl. Math., 2013)

Bayesian-Network-Based Reliability Analysis of PLC Systems. - Yu Jiang 001; Hehua Zhang; Xiaoyu Song; Xun Jiao 001; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Ind. Electron., 2013)

Optimal robust control for generalized fuzzy dynamical systems: A novel use on fuzzy uncertainties. - Jin Huang 002; Jia-Guang Sun 001; Xibin Zhao; Ming Gu 001 (CICA, 2014)

From offline to onboard system solution for a control sequence optimization problem. - Jin Huang 002; Xibin Zhao; Xinjie Chen; Jia-Guang Sun 001; Qinwen Yang (CIES, 2014)

Transfer Joint Matching for Unsupervised Domain Adaptation. - Mingsheng Long; Jianmin Wang 001; Guiguang Ding; Jiaguang Sun 001; Philip S. Yu (CVPR, 2014)

Matching heterogeneous events with patterns. - Xiaochen Zhu 001; Shaoxu Song; Jianmin Wang 001; Philip S. Yu; Jiaguang Sun 001 (ICDE, 2014)

Clause Replication and Reuse in Incremental Temporal Induction. - Liangze Yin; Fei He 001; Ming Gu 001; Jia-Guang Sun 001 (ICECCS, 2014)

Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems. - Yu Jiang 001; Hehua Zhang; Huafeng Zhang; Xinyan Zhao; Han Liu 010; Chengnian Sun; Xiaoyu Song; Ming Gu 001; Jia-Guang Sun 001 (SIGSOFT FSE, 2014)

Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis. - Han Liu 010; Hehua Zhang; Yu Jiang 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (TASE, 2014)

iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems. - Han Liu 010; Hehua Zhang; Yu Jiang 001; Xiaoyu Song; Ming Gu 001; Jia-Guang Sun 001 (TASE, 2014)

Polynomial spline interpolation of incompatible boundary conditions with a single degenerate surface. - Kan-Le Shi; Jun-Hai Yong; Yang Lu 005; Jia-Guang Sun 001; Jean-Claude Paul (Comput. Aided Des., 2014)

A New Barrier Certificate for Safety Verification of Hybrid Systems. - Hui Kong 004; Xiaoyu Song; Dong Han; Ming Gu 001; Jiaguang Sun 001 (Comput. J., 2014)

Functional Verification of High Performance Adders in COQ. - Qian Wang; Xiaoyu Song; Ming Gu 001; Jia-Guang Sun 001 (J. Appl. Math., 2014)

Modeling a Heterogeneous Embedded System in Coloured Petri Nets. - Huafeng Zhang; Hehua Zhang; Ming Gu 001; Jiaguang Sun 001 (J. Appl. Math., 2014)

Array Theory of Bounded Elements and its Applications. - Min Zhou 001; Fei He 001; Bow-Yaw Wang; Ming Gu 001; Jiaguang Sun 001 (J. Autom. Reason., 2014)

Symbolic Analysis of Programmable Logic Controllers. - Hehua Zhang; Yu Jiang 001; William N. N. Hung; Xiaoyu Song; Ming Gu 001; Jia-Guang Sun 001 (IEEE Trans. Computers, 2014)

Continuity Transition with a Single Regular Curved-Knot Spline Surface. - Kan-Le Shi; Jun-Hai Yong; Jia-Guang Sun 001; Jean-Claude Paul (ACM Trans. Graph., 2014)

PLC programs' checking method and strategy based on module state transfer. - Litian Xiao; Mengyuan Li; Ming Gu 001; Jiaguang Sun 001 (ICIA, 2015)

Identifying and constructing elemental parts of shafts based on conditional random fields model. - Yamei Wen; Hui Zhang 013; Fangtao Li; Jiaguang Sun 001 (Comput. Aided Des., 2015)

Generalized interface automata with multicast synchronization. - Fei He 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (Frontiers Comput. Sci., 2015)

Scalable Verification of a Generic End-Around-Carry Adder for Floating-Point Units by Coq. - Qian Wang; Xiaoyu Song; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015)

Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques. - Yu Jiang 001; Hehua Zhang; Zonghui Li; Yangdong Deng; Xiaoyu Song; Ming Gu 001; Jia-Guang Sun 001 (IEEE Trans. Ind. Electron., 2015)

Domain Invariant Transfer Kernel Learning. - Mingsheng Long; Jianmin Wang 001; Jia-Guang Sun 001; Philip S. Yu (IEEE Trans. Knowl. Data Eng., 2015)

Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks. - Yu Jiang 001; Hehua Zhang; Huafeng Zhang; Han Liu 010; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Parallel Distributed Syst., 2015)

Mechanism Design for Finding Experts Using Locally Constructed Social Referral Web. - Lan Zhang 002; Xiang-Yang Li 001; Jingsheng Lei; Jiaguang Sun 001; Yunhao Liu 001 (IEEE Trans. Parallel Distributed Syst., 2015)

First, Debug the Test Oracle. - Xinrui Guo; Min Zhou 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Software Eng., 2015)

Automatic Fix for C Integer Errors by Precision Improvement. - Xi Cheng; Min Zhou 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (COMPSAC, 2016)

Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller. - Yu Jiang 001; Han Liu 010; Houbing Song; Hui Kong 004; Ming Gu 001; Jiaguang Sun 001; Lui Sha (FM, 2016)

Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers. - Han Liu 010; Yu Jiang 001; Huafeng Zhang; Ming Gu 001; Jiaguang Sun 001 (FM, 2016)

Use runtime verification to improve the quality of medical care practice. - Yu Jiang 001; Han Liu 010; Hui Kong 004; Rui Wang 024; Mohammad Hosseini 002; Jia-Guang Sun 001; Lui Sha (ICSE (Companion Volume), 2016)

Verifying simulink stateflow model: timed automata approach. - Yixiao Yang; Yu Jiang 001; Ming Gu 001; Jia-Guang Sun 001 (ASE, 2016)

Model driven design of heterogeneous synchronous embedded systems. - Huafeng Zhang; Yu Jiang 001; Han Liu 010; Hehua Zhang; Ming Gu 001; Jia-Guang Sun 001 (ASE, 2016)

C Code Verification based on the Extended Labeled Transition System Model. - Dexi Wang; Chao Zhang; Guang Chen; Ming Gu 001; Jiaguang Sun 001 (D&P@MoDELS, 2016)

Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems. - Huafeng Zhang; Yu Jiang 001; Han Liu 010; Ming Gu 001; Jiaguang Sun 001 (D&P@MoDELS, 2016)

From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design. - Yu Jiang 001; Yixiao Yang; Han Liu 010; Hui Kong 004; Ming Gu 001; Jia-Guang Sun 001; Lui Sha (RTAS, 2016)

Task and Participant Scheduling of Trading Platforms in Vehicular Participatory Sensing Networks. - Heyuan Shi; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (Sensors, 2016)

An Energy-Efficient Train Control Framework for Smart Railway Transportation. - Jin Huang 002; Yangdong Deng; Qinwen Yang; Jia-Guang Sun 001 (IEEE Trans. Computers, 2016)

Efficient Recovery of Missing Events. - Jianmin Wang 001; Shaoxu Song; Xiaochen Zhu 001; Xuemin Lin 001; Jiaguang Sun 001 (IEEE Trans. Knowl. Data Eng., 2016)

Deep Learning of Transferable Representation for Scalable Domain Adaptation. - Mingsheng Long; Jianmin Wang 001; Yue Cao 001; Jia-Guang Sun 001; Philip S. Yu (IEEE Trans. Knowl. Data Eng., 2016)

A Constraint-Pattern Based Method for Reachability Determination. - Yuexing Wang; Zuxing Gu; Xi Cheng; Min Zhou 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (COMPSAC (1), 2017)

Assertion Recommendation for Formal Program Verification. - Cong Wang 020; Fei He 001; Xiaoyu Song; Yu Jiang 001; Ming Gu 001; Jiaguang Sun 001 (COMPSAC (1), 2017)

Dependable integrated clinical system architecture with runtime verification. - Yu Jiang 001; Mingzhe Wang; Han Liu 010; Mohammad Hosseini 002; Jiaguang Sun 001 (ICCAD, 2017)

Stochastic optimization of program obfuscation. - Han Liu 010; Chengnian Sun; Zhendong Su 001; Yu Jiang 001; Ming Gu 001; Jiaguang Sun 001 (ICSE, 2017)

Vertex-Weighted Hypergraph Learning for Multi-View Object Classification. - Lifan Su; Yue Gao 002; Xibin Zhao; Hai Wan; Ming Gu 001; Jiaguang Sun 001 (IJCAI, 2017)

IntPTI: automatic integer error repair with proper-type inference. - Xi Cheng; Min Zhou 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (ASE, 2017)

A static analysis tool with optimizations for reachability determination. - Yuexing Wang; Min Zhou 001; Yu Jiang 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (ASE, 2017)

A language model for statements of software code. - Yixiao Yang; Yu Jiang 001; Ming Gu 001; Jiaguang Sun 001; Jian Gao 008; Han Liu 010 (ASE, 2017)

Verification of Implementations of Cryptographic Hash Functions. - Dexi Wang; Yu Jiang 001; Houbing Song; Fei He 001; Ming Gu 001; Jiaguang Sun 001 (IEEE Access, 2017)

Memetic-based schedule synthesis for communication on time-triggered embedded systems. - Heyuan Shi; Kun Tang; Chengbao Liu; Xiaoyu Song; Chao Hu; Jiaguang Sun 001 (Int. J. Distributed Sens. Networks, 2017)

Representative band selection for hyperspectral image classification. - Ronglu Yang; Lifan Su; Xibin Zhao; Hai Wan; Jiaguang Sun 001 (J. Vis. Commun. Image Represent., 2017)

Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude. - Jiaxiang Liu 001; Min Zhou 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Ind. Electron., 2017)

Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System. - Yu Jiang 001; Houbing Song; Rui Wang 024; Ming Gu 001; Jiaguang Sun 001; Lui Sha (IEEE Trans. Ind. Informatics, 2017)

Scalable Verification Framework for C Program. - Guang Chen; Dexi Wang; Tianchi Li; Chao Zhang; Ming Gu 001; Jiaguang Sun 001 (APSEC, 2018)

Scalable and Extensible Static Memory Safety Analysis with Summary over Access Path. - Guang Chen; Min Zhou 001; Jiaguang Sun 001; Xiaoyu Song (APSEC, 2018)

Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis. - Cong Wang 020; Yu Jiang 001; Xibin Zhao; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (ICSE (Companion Volume), 2018)

SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing. - Mingzhe Wang; Jie Liang 006; Yuanliang Chen; Yu Jiang 001; Xun Jiao 002; Han Liu 010; Xibin Zhao; Jiaguang Sun 001 (ICSE (Companion Volume), 2018)

VulSeeker: a semantic learning based vulnerability seeker for cross-platform binary. - Jian Gao 008; Xin Yang; Ying Fu; Yu Jiang 001; Jiaguang Sun 001 (ASE, 2018)

S-gram: towards semantic-aware security auditing for Ethereum smart contracts. - Han Liu 010; Chao Liu 032; Wenqi Zhao; Yu Jiang 001; Jiaguang Sun 001 (ASE, 2018)

VulSeeker-pro: enhanced semantic learning based binary vulnerability seeker with emulation. - Jian Gao 008; Xin Yang; Ying Fu; Yu Jiang 001; Heyuan Shi; Jiaguang Sun 001 (ESEC/SIGSOFT FSE, 2018)

DLFuzz: differential fuzzing testing of deep learning systems. - Jianmin Guo; Yu Jiang 001; Yue Zhao 040; Quan Chen 002; Jiaguang Sun 001 (ESEC/SIGSOFT FSE, 2018)

PAFL: extend fuzzing optimizations of single mode to industrial parallel mode. - Jie Liang 006; Yu Jiang 001; Yuanliang Chen; Mingzhe Wang; Chijin Zhou; Jiaguang Sun 001 (ESEC/SIGSOFT FSE, 2018)

EClone: detect semantic clones in Ethereum via symbolic transaction sketch. - Han Liu 010; Zhiqiang Yang; Chao Liu 032; Yu Jiang 001; Wenqi Zhao; Jiaguang Sun 001 (ESEC/SIGSOFT FSE, 2018)

Parallelizing SMT solving: Lazy decomposition and conciliation. - Xi Cheng; Min Zhou 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (Artif. Intell., 2018)

QuanFuzz: Fuzz Testing of Quantum Program. - Jiyuan Wang; Ming Gao; Yu Jiang 001; Jian-Guang Lou; Yue Gao 002; Dongmei Zhang 001; Jiaguang Sun 001 (CoRR, 2018)

Temporal Coverage Analysis for Dynamic Verification. - Min Zhou 001; William N. N. Hung; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Circuits Syst. II Express Briefs, 2018)

Constructing Cost-Aware Functional Test-Suites Using Nested Differential Evolution Algorithm. - Yuexing Wang; Min Zhou 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Evol. Comput., 2018)

Beyond Pairwise Matching: Person Reidentification via High-Order Relevance Learning. - Xibin Zhao; Nan Wang 015; Yubo Zhang 006; Shaoyi Du; Yue Gao 002; Jiaguang Sun 001 (IEEE Trans. Neural Networks Learn. Syst., 2018)

Necessity and Capability of Flow, Context, Field and Quasi Path Sensitive Points-to Analysis. - Yuexing Wang; Min Zhou 001; Ming Gu 001; Jiaguang Sun 001 (APSEC, 2019)

A Sensor Attack Detection Method in Intelligent Vehicle with Multiple Sensors. - Rui Wang 024; Houbing Song; Yu Jing; Kang Yang; Yong Guan; Jiaguang Sun 001 (ICII, 2019)

Vetting API usages in C programs with IMChecker. - Zuxing Gu; Jiecheng Wu; Chi Li; Min Zhou 001; Yu Jiang 001; Ming Gu 001; Jiaguang Sun 001 (ICSE (Companion Volume), 2019)

Engineering a Better Fuzzer with Synergically Integrated Optimizations. - Jie Liang 006; Yuanliang Chen; Mingzhe Wang; Yu Jiang 001; Zijiang Yang 006; Chengnian Sun; Xun Jiao 002; Jiaguang Sun 001 (ISSRE, 2019)

VFQL: combinational static analysis as query language. - Guang Chen; Yuexing Wang; Min Zhou 001; Jiaguang Sun 001 (ISSTA, 2019)

Go-clone: graph-embedding based clone detector for Golang. - Cong Wang 020; Jian Gao 008; Yu Jiang 001; Zhenchang Xing; Huafeng Zhang; Weiliang Yin; Ming Gu 001; Jiaguang Sun 001 (ISSTA, 2019)

Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design. - Yu Jiang 001; Mingzhe Wang; Xun Jiao 002; Houbing Song; Hui Kong 004; Rui Wang 024; Yongxin Liu; Jian Wang 061; Jiaguang Sun 001 (iThings/GreenCom/CPSCom/SmartData, 2019)

Enabling clone detection for ethereum via smart contract birthmarks. - Han Liu 010; Zhiqiang Yang; Yu Jiang 001; Wenqi Zhao; Jiaguang Sun 001 (ICPC, 2019)

TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis. - Yuexing Wang; Guang Chen; Min Zhou 001; Ming Gu 001; Jiaguang Sun 001 (ASE, 2019)

Industry practice of coverage-guided enterprise Linux kernel fuzzing. - Heyuan Shi; Runzhe Wang; Ying Fu; Mingzhe Wang; Xiaohai Shi; Xun Jiao 002; Houbing Song; Yu Jiang 001; Jiaguang Sun 001 (ESEC/SIGSOFT FSE, 2019)

EVMFuzz: Differential Fuzz Testing of Ethereum Virtual Machine. - Ying Fu; Meng Ren; Fuchen Ma; Yu Jiang 001; Heyuan Shi; Jiaguang Sun 001 (CoRR, 2019)

GasFuzz: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability. - Fuchen Ma; Ying Fu; Meng Ren; Wanting Sun; Zhe Liu 001; Yu Jiang 001; Jun Sun 001; Jiaguang Sun 001 (CoRR, 2019)

RNN-Test: Adversarial Testing Framework for Recurrent Neural Network Systems. - Jianmin Guo; Yue Zhao 040; Xueying Han; Yu Jiang 001; Jiaguang Sun 001 (CoRR, 2019)

Improve Language Modeling for Code Completion Through Learning General Token Repetition of Source Code with Optimized Memory. - Yixiao Yang; Xiang Chen; Jiaguang Sun 001 (Int. J. Softw. Eng. Knowl. Eng., 2019)

Tolerating C Integer Error via Precision Elevation. - Xi Cheng; Min Zhou 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Computers, 2019)

Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation. - Yu Jiang 001; Houbing Song; Yixiao Yang; Han Liu 010; Ming Gu 001; Yong Guan; Jiaguang Sun 001; Lui Sha (ACM Trans. Cyber Phys. Syst., 2019)

Polar: Function Code Aware Fuzz Testing of ICS Protocol. - Zhengxiong Luo 002; Feilong Zuo; Yu Jiang 001; Jian Gao 008; Xun Jiao 002; Jiaguang Sun 001 (ACM Trans. Embed. Comput. Syst., 2019)

Vulnerable Code Clone Detection for Operating System Through Correlation-Induced Learning. - Heyuan Shi; Runzhe Wang; Ying Fu; Yu Jiang 001; Jian Dong 001; Kun Tang; Jiaguang Sun 001 (IEEE Trans. Ind. Informatics, 2019)

Hypergraph-Induced Convolutional Networks for Visual Classification. - Heyuan Shi; Yubo Zhang 006; Zizhao Zhang; Nan Ma 012; Xibin Zhao; Yue Gao 002; Jiaguang Sun 001 (IEEE Trans. Neural Networks Learn. Syst., 2019)

A Multi-Player Minimax Game for Generative Adversarial Networks. - Ying Jin; Yunbo Wang; Mingsheng Long; Jianmin Wang 001; Philip S. Yu; Jiaguang Sun 001 (ICME, 2020)

Multi-Task Learning of Generalizable Representations for Video Action Recognition. - Zhiyu Yao; Yunbo Wang; Mingsheng Long; Jianmin Wang 001; Philip S. Yu; Jiaguang Sun 001 (ICME, 2020)

Apache IoTDB: Time-series database for Internet of Things. - Chen Wang 018; Xiangdong Huang 001; Jialin Qiao; Tian Jiang; Lei Rui; Jinrui Zhang; Rong Kang; Julian Feinauer; Kevin Mcgrail; Peng Wang 027; Diaohan Luo; Jun Yuan; et al. (Proc. VLDB Endow., 2020)

EM-Fuzz: Augmented Firmware Fuzzing via Memory Checking. - Jian Gao 008; Yiwen Xu; Yu Jiang 001; Zhe Liu 001; Wanli Chang 001; Xun Jiao 002; Jiaguang Sun 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing. - Mingzhe Wang; Jie Liang 006; Chijin Zhou; Yu Jiang 001; Rui Wang 024; Chengnian Sun; Jiaguang Sun 001 (USENIX ATC, 2021)

Automatic Integer Error Repair by Proper-Type Inference. - Xi Cheng; Min Zhou 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Dependable Secur. Comput., 2021)

Semantic Learning Based Cross-Platform Binary Vulnerability Search For IoT Devices. - Jian Gao 008; Xin Yang; Yu Jiang 001; Houbing Song; Kim-Kwang Raymond Choo; Jiaguang Sun 001 (IEEE Trans. Ind. Informatics, 2021)

Semantic Learning and Emulation Based Cross-Platform Binary Vulnerability Seeker. - Jian Gao 008; Yu Jiang 001; Zhe Liu 001; Xin Yang; Cong Wang 020; Xun Jiao 002; Zijiang Yang 006; Jiaguang Sun 001 (IEEE Trans. Software Eng., 2021)

HCG: optimizing embedded code generation of simulink with SIMD instruction synthesis. - Zhuo Su 005; Zehong Yu; Dongyan Wang; Yixiao Yang; Yu Jiang 001; Rui Wang 024; Wanli Chang 001; Jia-Guang Sun 001 (DAC, 2022)

PATA: Fuzzing with Path Aware Taint Analysis. - Jie Liang 006; Mingzhe Wang; Chijin Zhou; Zhiyong Wu 010; Yu Jiang 001; Jianzhong Liu; Zhe Liu 001; Jiaguang Sun 001 (SP, 2022)

Code Synthesis for Dataflow-Based Embedded Software Design. - Zhuo Su 005; Dongyan Wang; Yixiao Yang; Yu Jiang 001; Wanli Chang 001; Liming Fang 001; Wen Li; Jia-Guang Sun 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

MDD: A Unified Model-Driven Design Framework for Embedded Control Software. - Zhuo Su 005; Dongyan Wang; Yixiao Yang; Zehong Yu; Wanli Chang 001; Wen Li; Aiguo Cui; Yu Jiang 001; Jiaguang Sun 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

RNN-Test: Towards Adversarial Testing for Recurrent Neural Network Systems. - Jianmin Guo; Quan Zhang; Yue Zhao 040; Heyuan Shi; Yu Jiang 001; Jia-Guang Sun 001 (IEEE Trans. Software Eng., 2022)

Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios. - Fuchen Ma; Zhenyang Xu; Meng Ren; Zijing Yin; Yuanliang Chen; Lei Qiao 002; Bin Gu 006; Huizhong Li; Yu Jiang 001; Jia-Guang Sun 001 (IEEE Trans. Software Eng., 2022)

Phoenix: Detect and Locate Resilience Issues in Blockchain via Context-Sensitive Chaos. - Fuchen Ma; Yuanliang Chen; Yuanhang Zhou; Jingxuan Sun; Zhuo Su 005; Yu Jiang 001; Jiaguang Sun 001; Huizhong Li (CCS, 2023)

CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems. - Quan Zhang; Yongqiang Tian 001; Yifeng Ding; Shanshan Li 001; Chengnian Sun; Yu Jiang 001; Jiaguang Sun 001 (ISSTA, 2023)

LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensus Protocols. - Fuchen Ma; Yuanliang Chen; Meng Ren; Yuanhang Zhou; Yu Jiang 001; Ting Chen 002; Huizhong Li; Jiaguang Sun 001 (NDSS, 2023)

Tyr: Finding Consensus Failure Bugs in Blockchain System with Behaviour Divergent Model. - Yuanliang Chen; Fuchen Ma; Yuanhang Zhou; Yu Jiang 001; Ting Chen 002; Jia-Guang Sun 001 (SP, 2023)

Bleem: Packet Sequence Oriented Fuzzing for Protocol Implementations. - Zhengxiong Luo 002; Junze Yu; Feilong Zuo; Jianzhong Liu; Yu Jiang 001; Ting Chen 002; Abhik Roychoudhury; Jiaguang Sun 001 (USENIX Security Symposium, 2023)

Apache IoTDB: A Time Series Database for IoT Applications. - Chen Wang 018; Jialin Qiao; Xiangdong Huang 001; Shaoxu Song; Haonan Hou; Tian Jiang; Lei Rui; Jianmin Wang 001; Jiaguang Sun 001 (Proc. ACM Manag. Data, 2023)

PHCG: Optimizing Simulink Code Generation for Embedded System With SIMD Instructions. - Zhuo Su 005; Dongyan Wang; Zehong Yu; Yixiao Yang; Yu Jiang 001; Rui Wang 024; Wanli Chang 001; Wen Li; Aiguo Cui; Jia-Guang Sun 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Pied-Piper: Revealing the Backdoor Threats in Ethereum ERC Token Contracts. - Fuchen Ma; Meng Ren; Lerong Ouyang; Yuanliang Chen; Juan Zhu; Ting Chen 002; Yingli Zheng; Xiao Dai; Yu Jiang 001; Jiaguang Sun 001 (ACM Trans. Softw. Eng. Methodol., 2023)

Building Dynamic System Call Sandbox with Partial Order Analysis. - Quan Zhang; Chijin Zhou; Yiwen Xu; Zijing Yin; Mingzhe Wang; Zhuo Su 005; Chengnian Sun; Yu Jiang 001; Jia-Guang Sun 001 (Proc. ACM Program. Lang., 2023)

Apache IoTDB: A Time Series Database for Large Scale IoT Applications. - Chen Wang 018; Jialin Qiao; Xiangdong Huang 001; Shaoxu Song; Haonan Hou; Tian Jiang; Lei Rui; Jianmin Wang 001; Jiaguang Sun 001 (ACM Trans. Database Syst., 2025)