Jiaguang Sun - RankMe

141 papers A* 16A 9B 4C 6Misc 5Journal 68Unranked 33

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	An Ultrawideband and Miniaturized Vertically Polarized Omnidirectional Sensing Antenna for Internet of Things Applications. WF-IoT Yuehai Sang, Jiaguang Sun, Yujian Cheng
2025	J	`jnl`	Apache IoTDB: A Time Series Database for Large Scale IoT Applications. ACM Trans. Database Syst. Chen Wang, Jialin Qiao, Xiangdong Huang, Shaoxu Song, Haonan Hou, Tian Jiang, Lei Rui, Jianmin Wang, Jiaguang Sun
2023	J	`jnl`	Apache IoTDB: A Time Series Database for IoT Applications. Proc. ACM Manag. Data Chen Wang, Jialin Qiao, Xiangdong Huang, Shaoxu Song, Haonan Hou, Tian Jiang, Lei Rui, Jianmin Wang, Jiaguang Sun
2023	A*	`conf`	Bleem: Packet Sequence Oriented Fuzzing for Protocol Implementations. USENIX Security Symposium Zhengxiong Luo, Junze Yu, Feilong Zuo, Jianzhong Liu, Yu Jiang, Ting Chen, Abhik Roychoudhury, Jiaguang Sun
2023	A	`conf`	CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems. ISSTA Quan Zhang, Yongqiang Tian, Yifeng Ding, Shanshan Li, Chengnian Sun, Yu Jiang, Jiaguang Sun
2023	A*	`conf`	LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensus Protocols. NDSS Fuchen Ma, Yuanliang Chen, Meng Ren, Yuanhang Zhou, Yu Jiang, Ting Chen, Huizhong Li, Jiaguang Sun
2023	A*	`conf`	Phoenix: Detect and Locate Resilience Issues in Blockchain via Context-Sensitive Chaos. CCS Fuchen Ma, Yuanliang Chen, Yuanhang Zhou, Jingxuan Sun, Zhuo Su, Yu Jiang, Jiaguang Sun, Huizhong Li
2023	J	`jnl`	Pied-Piper: Revealing the Backdoor Threats in Ethereum ERC Token Contracts. ACM Trans. Softw. Eng. Methodol. Fuchen Ma, Meng Ren, Lerong Ouyang, Yuanliang Chen, Juan Zhu, Ting Chen, Yingli Zheng, Xiao Dai, Yu Jiang, Jiaguang Sun
2022	J	`jnl`	MDD: A Unified Model-Driven Design Framework for Embedded Control Software. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Zhuo Su, Dongyan Wang, Yixiao Yang, Zehong Yu, Wanli Chang, Wen Li, Aiguo Cui, Yu Jiang, Jiaguang Sun
2022	A*	`conf`	PATA: Fuzzing with Path Aware Taint Analysis. SP Jie Liang, Mingzhe Wang, Chijin Zhou, Zhiyong Wu, Yu Jiang, Jianzhong Liu, Zhe Liu, Jiaguang Sun
2022	J	`jnl`	Semantic Learning and Emulation Based Cross-platform Binary Vulnerability Seeker. CoRR Jian Gao, Yu Jiang, Zhe Liu, Xin Yang, Cong Wang, Xun Jiao, Zijiang Yang, Jiaguang Sun
2021	J	`jnl`	Automatic Integer Error Repair by Proper-Type Inference. IEEE Trans. Dependable Secur. Comput. Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2021	—	`conf`	RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing. USENIX ATC Mingzhe Wang, Jie Liang, Chijin Zhou, Yu Jiang, Rui Wang, Chengnian Sun, Jiaguang Sun
2021	J	`jnl`	Semantic Learning Based Cross-Platform Binary Vulnerability Search For IoT Devices. IEEE Trans. Ind. Informatics Jian Gao, Xin Yang, Yu Jiang, Houbing Song, Kim-Kwang Raymond Choo, Jiaguang Sun
2021	J	`jnl`	Semantic Learning and Emulation Based Cross-Platform Binary Vulnerability Seeker. IEEE Trans. Software Eng. Jian Gao, Yu Jiang, Zhe Liu, Xin Yang, Cong Wang, Xun Jiao, Zijiang Yang, Jiaguang Sun
2020	A	`conf`	A Multi-Player Minimax Game for Generative Adversarial Networks. ICME Ying Jin, Yunbo Wang, Mingsheng Long, Jianmin Wang, Philip S. Yu, Jiaguang Sun
2020	J	`jnl`	Apache IoTDB: Time-series database for Internet of Things. Proc. VLDB Endow. Chen Wang, Xiangdong Huang, Jialin Qiao, Tian Jiang, Lei Rui, Jinrui Zhang, Rong Kang, Julian Feinauer, Kevin Mcgrail, Peng Wang, Diaohan Luo, Jun Yuan, Jianmin Wang, Jiaguang Sun
2020	J	`jnl`	EM-Fuzz: Augmented Firmware Fuzzing via Memory Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jian Gao, Yiwen Xu, Yu Jiang, Zhe Liu, Wanli Chang, Xun Jiao, Jiaguang Sun
2020	A	`conf`	Multi-Task Learning of Generalizable Representations for Video Action Recognition. ICME Zhiyu Yao, Yunbo Wang, Mingsheng Long, Jianmin Wang, Philip S. Yu, Jiaguang Sun
2019	—	`conf`	A Sensor Attack Detection Method in Intelligent Vehicle with Multiple Sensors. ICII Rui Wang, Houbing Song, Yu Jing, Kang Yang, Yong Guan, Jiaguang Sun
2019	J	`jnl`	Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation. ACM Trans. Cyber Phys. Syst. Yu Jiang, Houbing Song, Yixiao Yang, Han Liu, Ming Gu, Yong Guan, Jiaguang Sun, Lui Sha
2019	J	`jnl`	EVMFuzz: Differential Fuzz Testing of Ethereum Virtual Machine. CoRR Ying Fu, Meng Ren, Fuchen Ma, Yu Jiang, Heyuan Shi, Jiaguang Sun
2019	A	`conf`	Enabling clone detection for ethereum via smart contract birthmarks. ICPC Han Liu, Zhiqiang Yang, Yu Jiang, Wenqi Zhao, Jiaguang Sun
2019	A	`conf`	Engineering a Better Fuzzer with Synergically Integrated Optimizations. ISSRE Jie Liang, Yuanliang Chen, Mingzhe Wang, Yu Jiang, Zijiang Yang, Chengnian Sun, Xun Jiao, Jiaguang Sun
2019	J	`jnl`	GasFuzz: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability. CoRR Fuchen Ma, Ying Fu, Meng Ren, Wanting Sun, Zhe Liu, Yu Jiang, Jun Sun, Jiaguang Sun
2019	A	`conf`	Go-clone: graph-embedding based clone detector for Golang. ISSTA Cong Wang, Jian Gao, Yu Jiang, Zhenchang Xing, Huafeng Zhang, Weiliang Yin, Ming Gu, Jiaguang Sun
2019	J	`jnl`	Hypergraph-Induced Convolutional Networks for Visual Classification. IEEE Trans. Neural Networks Learn. Syst. Heyuan Shi, Yubo Zhang, Zizhao Zhang, Nan Ma, Xibin Zhao, Yue Gao, Jiaguang Sun
2019	J	`jnl`	Improve Language Modeling for Code Completion Through Learning General Token Repetition of Source Code with Optimized Memory. Int. J. Softw. Eng. Knowl. Eng. Yixiao Yang, Xiang Chen, Jiaguang Sun
2019	—	`conf`	Industry practice of coverage-guided enterprise Linux kernel fuzzing. ESEC/SIGSOFT FSE Heyuan Shi, Runzhe Wang, Ying Fu, Mingzhe Wang, Xiaohai Shi, Xun Jiao, Houbing Song, Yu Jiang, Jiaguang Sun
2019	C	`conf`	Necessity and Capability of Flow, Context, Field and Quasi Path Sensitive Points-to Analysis. APSEC YueXing Wang, Min Zhou, Ming Gu, Jiaguang Sun
2019	J	`jnl`	Polar: Function Code Aware Fuzz Testing of ICS Protocol. ACM Trans. Embed. Comput. Syst. Zhengxiong Luo, Feilong Zuo, Yu Jiang, Jian Gao, Xun Jiao, Jiaguang Sun
2019	J	`jnl`	RNN-Test: Adversarial Testing Framework for Recurrent Neural Network Systems. CoRR Jianmin Guo, Yue Zhao, Xueying Han, Yu Jiang, Jiaguang Sun
2019	J	`jnl`	Tolerating C Integer Error via Precision Elevation. IEEE Trans. Computers Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2019	A*	`conf`	TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis. ASE YueXing Wang, Guang Chen, Min Zhou, Ming Gu, Jiaguang Sun
2019	—	`conf`	Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design. iThings/GreenCom/CPSCom/SmartData Yu Jiang, Mingzhe Wang, Xun Jiao, Houbing Song, Hui Kong, Rui Wang, Yongxin Liu, Jian Wang, Jiaguang Sun
2019	A	`conf`	VFQL: combinational static analysis as query language. ISSTA Guang Chen, YueXing Wang, Min Zhou, Jiaguang Sun
2019	—	`conf`	Vetting API usages in C programs with IMChecker. ICSE (Companion Volume) Zuxing Gu, Jiecheng Wu, Chi Li, Min Zhou, Yu Jiang, Ming Gu, Jiaguang Sun
2019	J	`jnl`	Vulnerable Code Clone Detection for Operating System Through Correlation-Induced Learning. IEEE Trans. Ind. Informatics Heyuan Shi, Runzhe Wang, Ying Fu, Yu Jiang, Jian Dong, Kun Tang, Jiaguang Sun
2018	J	`jnl`	Beyond Pairwise Matching: Person Reidentification via High-Order Relevance Learning. IEEE Trans. Neural Networks Learn. Syst. Xibin Zhao, Nan Wang, Yubo Zhang, Shaoyi Du, Yue Gao, Jiaguang Sun
2018	J	`jnl`	Constructing Cost-Aware Functional Test-Suites Using Nested Differential Evolution Algorithm. IEEE Trans. Evol. Comput. YueXing Wang, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2018	J	`jnl`	DLFuzz: Differential Fuzzing Testing of Deep Learning Systems. CoRR Jianmin Guo, Yu Jiang, Yue Zhao, Quan Chen, Jiaguang Sun
2018	—	`conf`	DLFuzz: differential fuzzing testing of deep learning systems. ESEC/SIGSOFT FSE Jianmin Guo, Yu Jiang, Yue Zhao, Quan Chen, Jiaguang Sun
2018	—	`conf`	EClone: detect semantic clones in Ethereum via symbolic transaction sketch. ESEC/SIGSOFT FSE Han Liu, Zhiqiang Yang, Chao Liu, Yu Jiang, Wenqi Zhao, Jiaguang Sun
2018	—	`conf`	PAFL: extend fuzzing optimizations of single mode to industrial parallel mode. ESEC/SIGSOFT FSE Jie Liang, Yu Jiang, Yuanliang Chen, Mingzhe Wang, Chijin Zhou, Jiaguang Sun
2018	J	`jnl`	Parallelizing SMT solving: Lazy decomposition and conciliation. Artif. Intell. Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2018	J	`jnl`	QuanFuzz: Fuzz Testing of Quantum Program. CoRR Jiyuan Wang, Ming Gao, Yu Jiang, Jian-Guang Lou, Yue Gao, Dongmei Zhang, Jiaguang Sun
2018	A*	`conf`	S-gram: towards semantic-aware security auditing for Ethereum smart contracts. ASE Han Liu, Chao Liu, Wenqi Zhao, Yu Jiang, Jiaguang Sun
2018	—	`conf`	SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing. ICSE (Companion Volume) Mingzhe Wang, Jie Liang, Yuanliang Chen, Yu Jiang, Xun Jiao, Han Liu, Xibin Zhao, Jiaguang Sun
2018	C	`conf`	Scalable Verification Framework for C Program. APSEC Guang Chen, Dexi Wang, Tianchi Li, Chao Zhang, Ming Gu, Jiaguang Sun
2018	C	`conf`	Scalable and Extensible Static Memory Safety Analysis with Summary over Access Path. APSEC Guang Chen, Min Zhou, Jiaguang Sun, Xiaoyu Song
2018	J	`jnl`	Temporal Coverage Analysis for Dynamic Verification. IEEE Trans. Circuits Syst. II Express Briefs Min Zhou, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun
2018	—	`conf`	VulSeeker-pro: enhanced semantic learning based binary vulnerability seeker with emulation. ESEC/SIGSOFT FSE Jian Gao, Xin Yang, Ying Fu, Yu Jiang, Heyuan Shi, Jiaguang Sun
2018	A*	`conf`	VulSeeker: a semantic learning based vulnerability seeker for cross-platform binary. ASE Jian Gao, Xin Yang, Ying Fu, Yu Jiang, Jiaguang Sun
2018	—	`conf`	Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis. ICSE (Companion Volume) Cong Wang, Yu Jiang, Xibin Zhao, Xiaoyu Song, Ming Gu, Jiaguang Sun
2017	—	`conf`	A Constraint-Pattern Based Method for Reachability Determination. COMPSAC (1) YueXing Wang, Zuxing Gu, Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2017	A*	`conf`	A language model for statements of software code. ASE Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, Han Liu
2017	A*	`conf`	A static analysis tool with optimizations for reachability determination. ASE YueXing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun
2017	—	`conf`	Assertion Recommendation for Formal Program Verification. COMPSAC (1) Cong Wang, Fei He, Xiaoyu Song, Yu Jiang, Ming Gu, Jiaguang Sun
2017	J	`jnl`	Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System. IEEE Trans. Ind. Informatics Yu Jiang, Houbing Song, Rui Wang, Ming Gu, Jiaguang Sun, Lui Sha
2017	A	`conf`	Dependable integrated clinical system architecture with runtime verification. ICCAD Yu Jiang, Mingzhe Wang, Han Liu, Mohammad Hosseini, Jiaguang Sun
2017	J	`jnl`	Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude. IEEE Trans. Ind. Electron. Jiaxiang Liu, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2017	A*	`conf`	IntPTI: automatic integer error repair with proper-type inference. ASE Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2017	J	`jnl`	Memetic-based schedule synthesis for communication on time-triggered embedded systems. Int. J. Distributed Sens. Networks Heyuan Shi, Kun Tang, Chengbao Liu, Xiaoyu Song, Chao Hu, Jiaguang Sun
2017	J	`jnl`	Representative band selection for hyperspectral image classification. J. Vis. Commun. Image Represent. Ronglu Yang, Lifan Su, Xibin Zhao, Hai Wan, Jiaguang Sun
2017	A*	`conf`	Stochastic optimization of program obfuscation. ICSE Han Liu, Chengnian Sun, Zhendong Su, Yu Jiang, Ming Gu, Jiaguang Sun
2017	J	`jnl`	Verification of Implementations of Cryptographic Hash Functions. IEEE Access Dexi Wang, Yu Jiang, Houbing Song, Fei He, Ming Gu, Jiaguang Sun
2017	A*	`conf`	Vertex-Weighted Hypergraph Learning for Multi-View Object Classification. IJCAI Lifan Su, Yue Gao, Xibin Zhao, Hai Wan, Ming Gu, Jiaguang Sun
2016	B	`conf`	Automatic Fix for C Integer Errors by Precision Improvement. COMPSAC Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2016	—	`conf`	C Code Verification based on the Extended Labeled Transition System Model. D&P@MoDELS Dexi Wang, Chao Zhang, Guang Chen, Ming Gu, Jiaguang Sun
2016	J	`jnl`	Efficient Recovery of Missing Events. IEEE Trans. Knowl. Data Eng. Jianmin Wang, Shaoxu Song, Xiaochen Zhu, Xuemin Lin, Jiaguang Sun
2016	B	`conf`	Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller. FM Yu Jiang, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun, Lui Sha
2016	B	`conf`	Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers. FM Han Liu, Yu Jiang, Huafeng Zhang, Ming Gu, Jiaguang Sun
2016	J	`jnl`	Task and Participant Scheduling of Trading Platforms in Vehicular Participatory Sensing Networks. Sensors Heyuan Shi, Xiaoyu Song, Ming Gu, Jiaguang Sun
2016	—	`conf`	Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems. D&P@MoDELS Huafeng Zhang, Yu Jiang, Han Liu, Ming Gu, Jiaguang Sun
2015	J	`jnl`	Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks. IEEE Trans. Parallel Distributed Syst. Yu Jiang, Hehua Zhang, Huafeng Zhang, Han Liu, Xiaoyu Song, Ming Gu, Jiaguang Sun
2015	J	`jnl`	First, Debug the Test Oracle. IEEE Trans. Software Eng. Xinrui Guo, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2015	J	`jnl`	Generalized interface automata with multicast synchronization. Frontiers Comput. Sci. Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun
2015	J	`jnl`	Identifying and constructing elemental parts of shafts based on conditional random fields model. Comput. Aided Des. Yamei Wen, Hui Zhang, Fangtao Li, Jiaguang Sun
2015	J	`jnl`	Mechanism Design for Finding Experts Using Locally Constructed Social Referral Web. IEEE Trans. Parallel Distributed Syst. Lan Zhang, Xiang-Yang Li, Jingsheng Lei, Jiaguang Sun, Yunhao Liu
2015	—	`conf`	PLC programs' checking method and strategy based on module state transfer. ICIA Litian Xiao, Mengyuan Li, Ming Gu, Jiaguang Sun
2015	J	`jnl`	Scalable Verification of a Generic End-Around-Carry Adder for Floating-Point Units by Coq. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Qian Wang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
2014	J	`jnl`	A New Barrier Certificate for Safety Verification of Hybrid Systems. Comput. J. Hui Kong, Xiaoyu Song, Dong Han, Ming Gu, Jiaguang Sun
2014	Misc	`conf`	Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis. TASE Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun
2014	J	`jnl`	Array Theory of Bounded Elements and its Applications. J. Autom. Reason. Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun
2014	A*	`conf`	Matching heterogeneous events with patterns. ICDE Xiaochen Zhu, Shaoxu Song, Jianmin Wang, Philip S. Yu, Jiaguang Sun
2014	J	`jnl`	Modeling a Heterogeneous Embedded System in Coloured Petri Nets. J. Appl. Math. Huafeng Zhang, Hehua Zhang, Ming Gu, Jiaguang Sun
2014	A*	`conf`	Transfer Joint Matching for Unsupervised Domain Adaptation. CVPR Mingsheng Long, Jianmin Wang, Guiguang Ding, Jiaguang Sun, Philip S. Yu
2013	J	`jnl`	A Unified Framework for DPLL(T) + Certificates. J. Appl. Math. Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun
2013	J	`jnl`	Bayesian-Network-Based Reliability Analysis of PLC Systems. IEEE Trans. Ind. Electron. Yu Jiang, Hehua Zhang, Xiaoyu Song, Xun Jiao, William N. N. Hung, Ming Gu, Jiaguang Sun
2013	—	`conf`	Design and optimization of multi-clocked embedded systems using formal technique. ESEC/SIGSOFT FSE Yu Jiang, Zonghui Li, Hehua Zhang, Yangdong Deng, Xiaoyu Song, Ming Gu, Jiaguang Sun
2013	J	`jnl`	Formal component-based modeling and synthesis for PLC systems. Comput. Ind. Min Zhou, Hai Wan, Rui Wang, Xiaoyu Song, Chen Su, Ming Gu, Jiaguang Sun
2013	—	`conf`	Sequential dependency and reliability analysis of embedded systems. ASP-DAC Hehua Zhang, Yu Jiang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
2013	—	`conf`	System reliability calculation based on the run-time analysis of ladder program. ESEC/SIGSOFT FSE Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
2013	A*	`conf`	Transfer Feature Learning with Joint Distribution Adaptation. ICCV Mingsheng Long, Jianmin Wang, Guiguang Ding, Jiaguang Sun, Philip S. Yu
2013	A*	`conf`	Transfer Sparse Coding for Robust Image Representation. CVPR Mingsheng Long, Guiguang Ding, Jianmin Wang, Jiaguang Sun, Yuchen Guo, Philip S. Yu
2013	B	`conf`	Verification and Implementation of the Protocol Standard in Train Control System. COMPSAC Yu Jiang, Hehua Zhang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
2012	A	`conf`	Automatic image annotation using tag-related random search over visual neighbors. CIKM Zijia Lin, Guiguang Ding, Mingqing Hu, Jianmin Wang, Jiaguang Sun
2012	Misc	`conf`	Modeling and Validation of PLC-Controlled Systems: A Case Study. TASE Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Ming Gu, Marius Bozga
2012	J	`jnl`	New strategies for reliability analysis of Programmable Logic Controllers. Math. Comput. Model. Hehua Zhang, Yu Jiang, William N. N. Hung, Guowu Yang, Ming Gu, Jiaguang Sun
2012	J	`jnl`	Obtaining more Karatsuba-like formulae over the binary field. IET Inf. Secur. Haining Fan, Ming Gu, Jiaguang Sun, Kwok-Yan Lam
2012	J	`jnl`	Recovering Geometric Detail by Octree Normal Maps. Trans. Edutainment Wenshan Fan, Bin Wang, Bin Chan, Jean-Claude Paul, Jiaguang Sun
2012	J	`jnl`	Semantic characterization of programmable logic controller programs. Math. Comput. Model. Litian Xiao, Rui Wang, Ming Gu, Jiaguang Sun
2012	—	`conf`	Uncertain Model and Algorithm for Hardware/Software Partitioning. ISVLSI Yu Jiang, Hehua Zhang, Xun Jiao, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
2011	J	`jnl`	A Hierarchical Grid Based Framework for Fast Collision Detection. Comput. Graph. Forum Wenshan Fan, Bin Wang, Jean-Claude Paul, Jiaguang Sun
2011	J	`jnl`	A new method for identifying and validating features from 2D sectional views. Comput. Aided Des. Yamei Wen, Hui Zhang, Jiaguang Sun, Jean-Claude Paul
2011	—	`conf`	Parallel Spatial Hashing for Collision Detection of Deformable Surfaces. CAD/Graphics Wenshan Fan, Bin Wang, Jianliang Zhou, Jiaguang Sun
2011	Misc	`conf`	Proving Computational Geometry Algorithms in TLA+2. TASE Hui Kong, Hehua Zhang, Xiaoyu Song, Ming Gu, Jiaguang Sun
2011	J	`jnl`	Verifying workflow processes: a transformation-based approach. Softw. Syst. Model. Haiping Zha, Wil M. P. van der Aalst, Jianmin Wang, Lijie Wen, Jiaguang Sun
2010	J	`jnl`	A point-in-polygon method based on a quasi-closest point. Comput. Geosci. Sheng Yang, Jun-Hai Yong, Jiaguang Sun, He-Jin Gu, Jean-Claude Paul
2010	J	`jnl`	A workflow net similarity measure based on transition adjacency relations. Comput. Ind. Haiping Zha, Jianmin Wang, Lijie Wen, Chaokun Wang, Jiaguang Sun
2010	J	`jnl`	Integrating Evolutionary Computation with Abstraction Refinement for Model Checking. IEEE Trans. Computers Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
2010	J	`jnl`	Mining process models with prime invisible tasks. Data Knowl. Eng. Lijie Wen, Jianmin Wang, Wil M. P. van der Aalst, Biqing Huang, Jiaguang Sun
2010	—	`conf`	Reconstructing 3D Objects from 2D Sectional Views of Engineering Drawings Using Volume-Based Method. Shape Modeling International Yamei Wen, Hui Zhang, Zhongmian Yu, Jiaguang Sun, Jean-Claude Paul
2009	J	`jnl`	A novel approach for process mining based on event types. J. Intell. Inf. Syst. Lijie Wen, Jianmin Wang, Wil M. P. van der Aalst, Biqing Huang, Jiaguang Sun
2009	J	`jnl`	Obtaining More Karatsuba-Like Formulae over The Binary Field. IACR Cryptol. ePrint Arch. Haining Fan, Ming Gu, Jiaguang Sun, Kwok-Yan Lam
2009	J	`jnl`	Task-activity based access control for process collaboration environments. Comput. Ind. Yahui Lu, Li Zhang, Jiaguang Sun
2009	J	`jnl`	Workflow-based resource allocation to optimize overall performance of composite services. Future Gener. Comput. Syst. Bangyu Wu, Chi-Hung Chi, Zhe Chen, Ming Gu, Jiaguang Sun
2008	J	`jnl`	A semi-automatic approach for workflow staff assignment. Comput. Ind. Yingbo Liu, Jianmin Wang, Yun Yang, Jiaguang Sun
2008	Misc	`conf`	Towards trace semantics for WS-CDL with alignments. SAC Yahui Lu, Li Zhang, Jiaguang Sun
2007	Misc	`conf`	A machine learning approach to semi-automating workflow staff assignment. SAC Yingbo Liu, Jianmin Wang, Jiaguang Sun
2007	—	`conf`	Effective heuristics for counterexample-guided abstraction refinement. ACM Great Lakes Symposium on VLSI Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun
2007	—	`conf`	Intersection Testing between an Ellipsoid and an Algebraic Surface. CAD/Graphics Xiao-Diao Chen, Jun-Hai Yong, Jean-Claude Paul, Jiaguang Sun
2007	—	`conf`	Mining Invisible Tasks from Event Logs. APWeb/WAIM Lijie Wen, Jianmin Wang, Jiaguang Sun
2007	J	`jnl`	Mining process models with non-free-choice constructs. Data Min. Knowl. Discov. Lijie Wen, Wil M. P. van der Aalst, Jianmin Wang, Jiaguang Sun
2007	J	`jnl`	Overlap-free Karatsuba-Ofman Polynomial Multiplication Algorithms. IACR Cryptol. ePrint Arch. Haining Fan, Jiaguang Sun, Ming Gu, Kwok-Yan Lam
2007	—	`conf`	Using Decision Tree Learning to Predict Workflow Activity Time Consumption. ICEIS (2) Yingbo Liu, Jianmin Wang, Jiaguang Sun
2006	C	`conf`	A Distributed Domain Administration of RBAC Model in Collaborative Environments. CSCWD Yahui Lu, Li Zhang, Yinbo Liu, Jiaguang Sun
2006	J	`jnl`	A combinatorial congestion estimation approach with generalized detours. Comput. Math. Appl. Fei He, Xiaoyu Song, Ming Gu, Lerong Cheng, Guowu Yang, Zhiwei Tang, Jiaguang Sun
2006	—	`conf`	Constrained Delaunay Triangulation Using Delaunay Visibility. ISVC (1) Yi-Jun Yang, Hui Zhang, Jun-Hai Yong, Wei Zeng, Jean-Claude Paul, Jiaguang Sun
2006	—	`conf`	Optimal Parameterizations of Bézier Surfaces. ISVC (1) Yi-Jun Yang, Jun-Hai Yong, Hui Zhang, Jean-Claude Paul, Jiaguang Sun
2006	C	`conf`	Using ISPEC Yahui Lu, Li Zhang, Yinbo Liu, Jiaguang Sun
2005	—	`conf`	Information Push-Delivery for User-Centered and Personalized Service. FSKD (1) Zhiyun Xin, Jizhong Zhao, Chihong Chi, Jiaguang Sun
2005	—	`conf`	Integrating Collaborate and Content-Based Filtering for Personalized Information Recommendation. CIS (1) Zhiyun Xin, Jizhong Zhao, Ming Gu, Jiaguang Sun
2005	J	`jnl`	Multiterminal net assignments by scatter search. Math. Comput. Model. Ming Gu, Fei He, Xiaoyu Song, Jiaguang Sun
2005	J	`jnl`	On synthesis of 3 × 3 reversible logic functions. Int. J. Comput. Math. Ming Gu, Guowu Yang, Xiaoyu Song, Jiaguang Sun
2005	C	`conf`	Secure Anonymous Communication with Conditional Traceability. NPC Zhaofeng Ma, Xibin Zhao, Zhi Guo, Ming Gu, Jiaguang Sun
2005	—	`conf`	Segmented channel routing with pin rearrangements via satisfiability. ISCAS (6) Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun
2005	—	`conf`	Synthesizing 2D directional moving texture. SCCG Bin Wang, Wenping Wang, Jun-Hai Yong, Jiaguang Sun
2004	J	`jnl`	A stochastic model for cellassignments in PCS networks. Math. Comput. Model. Fei He, Ming Gu, Jiaguang Sun, Xiaoyu Song
2002	J	`jnl`	Modeling workflow processes with colored Petri nets. Comput. Ind. Dongsheng Liu, Jianmin Wang, Stephen C. F. Chan, Jiaguang Sun, Li Zhang
1996	J	`jnl`	Advanced geometric modeler with hybrid representation. J. Comput. Sci. Technol. Changgui Yang, Yujian Chen, Jiaguang Sun