Jia-Guang Sun

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 14

Top Topics

Kernel Learning

Spline Interpolation

Embedded Software

Top Venues

IEEE Trans. Computers

IEEE Trans. Knowl. Data Eng.

IEEE Trans. Software Eng.

Publications

Zhuo Su, Dongyan Wang, Zehong Yu, Yixiao Yang, Yu Jiang, Rui Wang, Wanli Chang, Wen Li, Aiguo Cui, Jia-Guang Sun
PHCG: Optimizing Simulink Code Generation for Embedded System With SIMD Instructions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (4) (2023)
Quan Zhang, Chijin Zhou, Yiwen Xu, Zijing Yin, Mingzhe Wang, Zhuo Su, Chengnian Sun, Yu Jiang, Jia-Guang Sun
Building Dynamic System Call Sandbox with Partial Order Analysis. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Yuanliang Chen, Fuchen Ma, Yuanhang Zhou, Yu Jiang, Ting Chen, Jia-Guang Sun
Tyr: Finding Consensus Failure Bugs in Blockchain System with Behaviour Divergent Model. SP (2023)
Fuchen Ma, Zhenyang Xu, Meng Ren, Zijing Yin, Yuanliang Chen, Lei Qiao, Bin Gu, Huizhong Li, Yu Jiang, Jia-Guang Sun
Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios. IEEE Trans. Software Eng. 48 (11) (2022)
Zhuo Su, Dongyan Wang, Yixiao Yang, Yu Jiang, Wanli Chang, Liming Fang, Wen Li, Jia-Guang Sun
Code Synthesis for Dataflow-Based Embedded Software Design. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (1) (2022)
Jianmin Guo, Quan Zhang, Yue Zhao, Heyuan Shi, Yu Jiang, Jia-Guang Sun
RNN-Test: Towards Adversarial Testing for Recurrent Neural Network Systems. IEEE Trans. Software Eng. 48 (10) (2022)
Yu Jiang, Han Liu, Hui Kong, Rui Wang, Mohammad Hosseini, Jia-Guang Sun, Lui Sha
Use runtime verification to improve the quality of medical care practice. ICSE (Companion Volume) (2016)
Yixiao Yang, Yu Jiang, Ming Gu, Jia-Guang Sun
Verifying simulink stateflow model: timed automata approach. ASE (2016)
Huafeng Zhang, Yu Jiang, Han Liu, Hehua Zhang, Ming Gu, Jia-Guang Sun
Model driven design of heterogeneous synchronous embedded systems. ASE (2016)
Mingsheng Long, Jianmin Wang, Yue Cao, Jia-Guang Sun, Philip S. Yu
Deep Learning of Transferable Representation for Scalable Domain Adaptation. IEEE Trans. Knowl. Data Eng. 28 (8) (2016)
Jin Huang, Yangdong Deng, Qinwen Yang, Jia-Guang Sun
An Energy-Efficient Train Control Framework for Smart Railway Transportation. IEEE Trans. Computers 65 (5) (2016)
Yu Jiang, Yixiao Yang, Han Liu, Hui Kong, Ming Gu, Jia-Guang Sun, Lui Sha
From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design. RTAS (2016)
Mingsheng Long, Jianmin Wang, Jia-Guang Sun, Philip S. Yu
Domain Invariant Transfer Kernel Learning. IEEE Trans. Knowl. Data Eng. 27 (6) (2015)
Yu Jiang, Hehua Zhang, Zonghui Li, Yangdong Deng, Xiaoyu Song, Ming Gu, Jia-Guang Sun
Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques. IEEE Trans. Ind. Electron. 62 (2) (2015)
Kan-Le Shi, Jun-Hai Yong, Jia-Guang Sun, Jean-Claude Paul
Continuity Transition with a Single Regular Curved-Knot Spline Surface. ACM Trans. Graph. 33 (5) (2014)
Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu, Jia-Guang Sun
Symbolic Analysis of Programmable Logic Controllers. IEEE Trans. Computers 63 (10) (2014)
Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, Jia-Guang Sun
Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems. SIGSOFT FSE (2014)
Kan-Le Shi, Jun-Hai Yong, Yang Lu, Jia-Guang Sun, Jean-Claude Paul
Polynomial spline interpolation of incompatible boundary conditions with a single degenerate surface. Comput. Aided Des. 53 (2014)
Liangze Yin, Fei He, Ming Gu, Jia-Guang Sun
Clause Replication and Reuse in Incremental Temporal Induction. ICECCS (2014)
Qian Wang, Xiaoyu Song, Ming Gu, Jia-Guang Sun
Functional Verification of High Performance Adders in COQ. J. Appl. Math. 2014 (2014)
Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jia-Guang Sun
iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems. TASE (2014)
Jin Huang, Xibin Zhao, Xinjie Chen, Jia-Guang Sun, Qinwen Yang
From offline to onboard system solution for a control sequence optimization problem. CIES (2014)
Jin Huang, Jia-Guang Sun, Xibin Zhao, Ming Gu
Optimal robust control for generalized fuzzy dynamical systems: A novel use on fuzzy uncertainties. CICA (2014)
Wenshan Fan, Bin Wang, Jean-Claude Paul, Jia-Guang Sun
An octree-based proxy for collision detection in large-scale particle systems. Sci. China Inf. Sci. 56 (1) (2013)
Kan-Le Shi, Jun-Hai Yong, Jia-Guang Sun, Jean-Claude Paul
-sided holes using periodic B-spline surfaces. Sci. China Inf. Sci. 54 (7) (2011)
Kan-Le Shi, Jun-Hai Yong, Jia-Guang Sun, Jean-Claude Paul
B-spline surface interpolation. Comput. Aided Geom. Des. 28 (6) (2011)
Kan-Le Shi, Sen Zhang, Hui Zhang, Jun-Hai Yong, Jia-Guang Sun, Jean-Claude Paul
B-spline interpolation to a closed mesh. Comput. Aided Des. 43 (2) (2011)
Kan-Le Shi, Jun-Hai Yong, Peng Liu, Jia-Guang Sun, Jean-Claude Paul
The Transition Between Sharp and Rounded Features and the Manipulation of Incompatible Boundary in Filling n-sided Holes. Shape Modeling International (2010)
Junning Fu, Chaokun Wang, Zhiwei Yu, Jianmin Wang, Jia-Guang Sun
A Watermark-Aware Trusted Running Environment for Software Clouds. ChinaGrid (2010)
Haining Fan, Jia-Guang Sun, Ming Gu, Kwok-Yan Lam
Overlap-free Karatsuba-Ofman polynomial multiplication algorithms. IET Inf. Secur. 4 (1) (2010)
Kan-Le Shi, Jun-Hai Yong, Jia-Guang Sun, Jean-Claude Paul
blending multiple surfaces in polar coordinates. Comput. Aided Des. 42 (6) (2010)
Sheng Yang, Jun-Hai Yong, Jia-Guang Sun, He-Jin Gu, Jean-Claude Paul
A cell-based algorithm for evaluating directional distances in GIS. Int. J. Geogr. Inf. Sci. 24 (4) (2010)
Peng Zou, Chaokun Wang, Zhang Liu, Jianmin Wang, Jia-Guang Sun
A cloud based SIM DRM scheme for the mobile internet. CCS (2010)
Kan-Le Shi, Jun-Hai Yong, Jia-Guang Sun, Jean-Claude Paul, He-Jin Gu
triangular Coons B-spline patches. Vis. Comput. 26 (6-8) (2010)
Jie-Hui Gong, Hui Zhang, Bin Jiang, Jia-Guang Sun
Identification of sections from engineering drawings based on evidence theory. Comput. Aided Des. 42 (2) (2010)
Bangyu Wu, Chi-Hung Chi, Shijie Xu, Ming Gu, Jia-Guang Sun
QoS Requirement Generation and Algorithm Selection for Composite Service Based on Reference Vector. J. Comput. Sci. Technol. 24 (2) (2009)
Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun
Heuristic-Guided Abstraction Refinement. Comput. J. 52 (3) (2009)
Wen-Ke Wang, Hui Zhang, Hyungjun Park, Jun-Hai Yong, Jean-Claude Paul, Jia-Guang Sun
Reducing control points in lofted B-spline surface interpolation using common knot vector determination. Comput. Aided Des. 40 (10-11) (2008)
Hong-Wei Sun, Kwok-Yan Lam, Dieter Gollmann, Siu Leung Chung, Jian-Bin Li, Jia-Guang Sun
Efficient Fingercode Classification. IEICE Trans. Inf. Syst. (5) (2008)
Jie-Hui Gong, Hui Zhang, Bin Jiang, Jia-Guang Sun
Identification of sections from engineering drawings based on evidence theory. Symposium on Solid and Physical Modeling (2008)
Yi-Jun Yang, Song Cao, Jun-Hai Yong, Hui Zhang, Jean-Claude Paul, Jia-Guang Sun, He-Jin Gu
Approximate computation of curves on B-spline surfaces. Comput. Aided Des. 40 (2) (2008)
Chaokun Wang, Jianmin Wang, Jianzhong Li, Jia-Guang Sun, Shengfei Shi
MuSQL: A Music Structured Query Language. MMM (2) (2007)
Xiao-Diao Chen, Hua Su, Jun-Hai Yong, Jean-Claude Paul, Jia-Guang Sun
A counterexample on point inversion and projection for NURBS curve. Comput. Aided Geom. Des. 24 (5) (2007)
Hong-Wei Sun, Kwok-Yan Lam, Jia-Guang Sun, Siu Leung Chung
Dynamically Constructing Mixed Pyramid for Fast VQ Encoding. IIH-MSP (2007)
Jie-Hui Gong, Hui Zhang, Yiwen Zhang, Jia-Guang Sun
Converting hybrid wire-frames to B-rep models. Symposium on Solid and Physical Modeling (2007)
Chaokun Wang, Jianmin Wang, Jia-Guang Sun, Shengfei Shi, Hong Gao
AbIx: An Approach to Content-Based Approximate Query Processing in Peer-to-Peer Data Systems. J. Comput. Sci. Technol. 22 (2) (2007)
Xiao-Diao Chen, Jun-Hai Yong, Guo-Qin Zheng, Jean-Claude Paul, Jia-Guang Sun
Computing minimum distance between two implicit algebraic surfaces. Comput. Aided Des. 38 (10) (2006)
Fei He, Xiaoyu Song, Ming Gu, Guowu Yang, William N. N. Hung, Jia-Guang Sun
Probabilistic optimization for FPGA board level routing problems. IEEE Trans. Circuits Syst. II Express Briefs (4) (2006)
Yu-Shen Liu, Jun-Hai Yong, Hui Zhang, Dong-Ming Yan, Jia-Guang Sun
A quasi-Monte Carlo method for computing areas of point-sampled surfaces. Comput. Aided Des. 38 (1) (2006)
Yi-Jun Yang, Jun-Hai Yong, Hui Zhang, Jean-Claude Paul, Jia-Guang Sun
-sided holes. Comput. Aided Des. 38 (11) (2006)
Jie-Hui Gong, Gui-Fang Zhang, Hui Zhang, Jia-Guang Sun
Reconstruction of 3D curvilinear wire-frame from three orthographic views. Comput. Graph. 30 (2) (2006)
Lijie Wen, Jianmin Wang, Jia-Guang Sun
Detecting Implicit Dependencies Between Tasks from Event Logs. APWeb (2006)
Yu-Shen Liu, Jean-Claude Paul, Jun-Hai Yong, Pi-Qiang Yu, Hui Zhang, Jia-Guang Sun, Karthik Ramani
Automatic least-squares projection of points onto point clouds with applications in reverse engineering. Comput. Aided Des. 38 (12) (2006)
Hong-Wei Sun, Kwok-Yan Lam, Ming Gu, Jia-Guang Sun
An Efficient Algorithm for Fingercode-Based Biometric Identification. OTM Workshops (1) (2006)
Xiaoming Jin, Xinqiang Zuo, Kwok-Yan Lam, Jianmin Wang, Jia-Guang Sun
Efficient Discovery of Emerging Frequent Patterns in ArbitraryWindows on Data Streams. ICDE (2006)
Jie-Hui Gong, Hui Zhang, Gui-Fang Zhang, Jia-Guang Sun
Solid reconstruction using recognition of quadric surfaces from orthographic views. Comput. Aided Des. 38 (8) (2006)
Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun
A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement. ATVA (2006)
Wen-Ke Wang, Hui Zhang, Jun-Hai Yong, Jia-Guang Sun
Surface Fitting to Curves with Energy Control. ISVC (1) (2006)
Hongwei Sun, Kwok-Yan Lam, Siu Leung Chung, Wei-Ming Dong, Ming Gu, Jia-Guang Sun
Efficient vector quantization using genetic algorithm. Neural Comput. Appl. 14 (3) (2005)
Yu Peng, Jun-Hai Yong, Wei-Ming Dong, Hui Zhang, Jia-Guang Sun
A new algorithm for Boolean operations on general polygons. Comput. Graph. 29 (1) (2005)
Yu-Shen Liu, Hui Zhang, Jun-Hai Yong, Pi-Qiang Yu, Jia-Guang Sun
Mesh blending. Vis. Comput. 21 (11) (2005)
Fei He, Xiaoyu Song, Lerong Cheng, Guowu Yang, Zhiwei Tang, Ming Gu, Jia-Guang Sun
A Hierachical Method for Wiring and Congestion Prediction. ISVLSI (2005)
Hong-Wei Sun, Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun
An Efficient Anomaly Detection Algorithm for Vector-Based Intrusion Detection Systems. ICCNMC (2005)
Fei He, Lerong Cheng, Guowu Yang, Xiaoyu Song, Ming Gu, Jia-Guang Sun
On Theoretical Upper Bounds for Routing Estimation. J. Univers. Comput. Sci. 11 (6) (2005)
Yu-Shen Liu, Pi-Qiang Yu, Jun-Hai Yong, Hui Zhang, Jia-Guang Sun
Bilateral Filter for Meshes Using New Predictor. CIS (2004)
Xibin Zhao, Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun
Authorization Mechanisms for Virtual Organizations in Distributed Computing Systems. ACISP (2004)
Jian-Ping Yong, Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun
Enhancing the Scalability of the Community Authorization Service for Virtual Organizations. AWCC (2004)
Xiaoming Jin, Jianmin Wang, Jia-Guang Sun
Symbolization of Mobile Object Trajectories with the Support to Motion Data Mining. ER (Workshops) (2004)
Bin Wang, Wenping Wang, Huaiping Yang, Jia-Guang Sun
Efficient Example-Based Painting and Synthesis of 2D Directional Texture. IEEE Trans. Vis. Comput. Graph. 10 (3) (2004)
Kedong Luo, Jianmin Wang, Jia-Guang Sun
Rules Discovery from Cross-Sectional Short-Length Time Series. PAKDD (2004)
Xiaoming Jin, Jianmin Wang, Jia-Guang Sun
Dynamic Symbolization of Streaming Time Series. IDEAL (2004)
Yu Peng, Hui Zhang, Jun-Hai Yong, Jia-Guang Sun
Up to Face Extrusion Algorithm for Generating B-Rep Solid. CIS (2004)
Hong-Wei Sun, Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun
Anomaly Detection in Grid Computing Based on Vector Quantization. GCC (2004)
Bin Wang, Jun-Hai Yong, Jia-Guang Sun
Real-Time Texture Synthesis with Patch Jump Maps. CIS (2004)
Dong-Ming Yan, Hui Zhang, Jun-Hai Yong, Yu Peng, Jia-Guang Sun
Shelling Algorithm in Solid Modeling. CIS (2004)
Xing-Yun He, Kwok-Yan Lam, Siu Leung Chung, Chi-Hung Chi, Jia-Guang Sun
Real-Time Emulation of Intrusion Victim in HoneyFarm. AWCC (2004)
Yi-Yuan Huang, Kwok-Yan Lam, Siu Leung Chung, Chi-Hung Chi, Jia-Guang Sun
Application of Content Computing in Honeyfarm. WISA (2004)
Qinghu Li, Jianmin Wang, Kwok-Yan Lam, Jia-Guang Sun
GridFS: A Web-Based Data Grid with P2P Concepts and Writable Replicas. ICADL (2003)
Kwok-Yan Lam, Xibin Zhao, Siu Leung Chung, Ming Gu, Jia-Guang Sun
Enhancing Grid Security Infrastructure to Support Mobile Computing Nodes. WISA (2003)
Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun
Lightweight security for mobile commerce transactions. Comput. Commun. 26 (18) (2003)
Zhi Guo, Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun
Efficient Presentation of Multivariate Audit Data for Intrusion Detection of Web-Based Internet Services. ACNS (2003)
Qinghu Li, Jianmin Wang, Kwok-Yan Lam, Jia-Guang Sun
GridFS: A Web-Based Data Grid for the Distributed Sharing of Educational Resource Files. ICWL (2003)
Kedong Luo, Jianmin Wang, Deyi Li, Jia-Guang Sun
Clustering Individuals in Non-vector Data and Predicting: A Novel Model-Based Approach. IDEAL (2003)
Jing Zhang, Jianmin Wang, Deyi Li, Huacan He, Jia-Guang Sun
A New Heuristic Reduct Algorithm Base on Rough Sets Theory. WAIM (2003)
Qinghu Li, Jianmin Wang, Jia-Guang Sun
GFS-Btree: A Scalable Peer-to-Peer Overlay Network for Lookup Service. GCC (1) (2003)
Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun
Security middleware for enhancing interoperability of Public Key Infrastructure. Comput. Secur. 22 (6) (2003)
Shi-Min Hu, Hui Zhang, Chiew-Lan Tai, Jia-Guang Sun
Direct manipulation of FFD: efficient explicit solutions and decomposible multiple point constraints. Vis. Comput. 17 (6) (2001)