


Остановите войну!
for scientists:
Jia-Guang Sun 0001
Jiaguang Sun 0001
Person information

- affiliation: Tsinghua University, School of Software, Beijing, China
Other persons with the same name
- Jia-Guang Sun (aka: Jiaguang Sun) — disambiguation page
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [j109]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): 49-61 (2022) - 2021
- [j108]Xi Cheng
, Min Zhou
, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Automatic Integer Error Repair by Proper-Type Inference. IEEE Trans. Dependable Secur. Comput. 18(2): 918-935 (2021) - [j107]Jian Gao
, Xin Yang, Yu Jiang
, Houbing Song
, Kim-Kwang Raymond Choo
, Jiaguang Sun:
Semantic Learning Based Cross-Platform Binary Vulnerability Search For IoT Devices. IEEE Trans. Ind. Informatics 17(2): 971-979 (2021) - [j106]Jian Gao
, Yu Jiang
, Zhe Liu
, Xin Yang, Cong Wang, Xun Jiao, Zijiang Yang, Jiaguang Sun:
Semantic Learning and Emulation Based Cross-Platform Binary Vulnerability Seeker. IEEE Trans. Software Eng. 47(11): 2575-2589 (2021) - [c111]Mingzhe Wang, Jie Liang, Chijin Zhou, Yu Jiang, Rui Wang, Chengnian Sun, Jiaguang Sun:
RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing. USENIX Annual Technical Conference 2021: 147-159 - 2020
- [j105]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:
Apache IoTDB: Time-series database for Internet of Things. Proc. VLDB Endow. 13(12): 2901-2904 (2020) - [j104]Jian Gao
, Yiwen Xu, Yu Jiang
, Zhe Liu
, Wanli Chang
, Xun Jiao, Jiaguang Sun:
EM-Fuzz: Augmented Firmware Fuzzing via Memory Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3420-3432 (2020) - [c110]Ying Jin, Yunbo Wang, Mingsheng Long, Jianmin Wang, Philip S. Yu, Jiaguang Sun:
A Multi-Player Minimax Game for Generative Adversarial Networks. ICME 2020: 1-6 - [c109]Zhiyu Yao, Yunbo Wang, Mingsheng Long, Jianmin Wang, Philip S. Yu, Jiaguang Sun:
Multi-Task Learning of Generalizable Representations for Video Action Recognition. ICME 2020: 1-6
2010 – 2019
- 2019
- [j103]Yixiao Yang, Xiang Chen, Jiaguang Sun:
Improve Language Modeling for Code Completion Through Learning General Token Repetition of Source Code with Optimized Memory. Int. J. Softw. Eng. Knowl. Eng. 29(11&12): 1801-1818 (2019) - [j102]Xi Cheng
, Min Zhou
, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Tolerating C Integer Error via Precision Elevation. IEEE Trans. Computers 68(2): 270-286 (2019) - [j101]Yu Jiang, Houbing Song
, Yixiao Yang, Han Liu, Ming Gu, Yong Guan, Jiaguang Sun, Lui Sha:
Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation. ACM Trans. Cyber Phys. Syst. 3(1): 12:1-12:31 (2019) - [j100]Zhengxiong Luo, Feilong Zuo, Yu Jiang, Jian Gao, Xun Jiao, Jiaguang Sun:
Polar: Function Code Aware Fuzz Testing of ICS Protocol. ACM Trans. Embed. Comput. Syst. 18(5s): 93:1-93:22 (2019) - [j99]Heyuan Shi
, Runzhe Wang, Ying Fu, Yu Jiang
, Jian Dong
, Kun Tang, Jiaguang Sun:
Vulnerable Code Clone Detection for Operating System Through Correlation-Induced Learning. IEEE Trans. Ind. Informatics 15(12): 6551-6559 (2019) - [j98]Heyuan Shi
, Yubo Zhang, Zizhao Zhang
, Nan Ma
, Xibin Zhao, Yue Gao
, Jiaguang Sun:
Hypergraph-Induced Convolutional Networks for Visual Classification. IEEE Trans. Neural Networks Learn. Syst. 30(10): 2963-2972 (2019) - [c108]Yuexing Wang, Min Zhou, Ming Gu, Jiaguang Sun:
Necessity and Capability of Flow, Context, Field and Quasi Path Sensitive Points-to Analysis. APSEC 2019: 268-275 - [c107]Rui Wang, Houbing Song
, Yu Jing, Kang Yang, Yong Guan, Jiaguang Sun:
A Sensor Attack Detection Method in Intelligent Vehicle with Multiple Sensors. ICII 2019: 219-226 - [c106]Zuxing Gu, Jiecheng Wu, Chi Li, Min Zhou, Yu Jiang, Ming Gu, Jiaguang Sun:
Vetting API usages in C programs with IMChecker. ICSE (Companion Volume) 2019: 91-94 - [c105]Jie Liang, Yuanliang Chen, Mingzhe Wang, Yu Jiang, Zijiang Yang, Chengnian Sun, Xun Jiao, Jiaguang Sun:
Engineering a Better Fuzzer with Synergically Integrated Optimizations. ISSRE 2019: 82-92 - [c104]Cong Wang, Jian Gao, Yu Jiang, Zhenchang Xing, Huafeng Zhang, Weiliang Yin, Ming Gu, Jiaguang Sun:
Go-clone: graph-embedding based clone detector for Golang. ISSTA 2019: 374-377 - [c103]Guang Chen, Yuexing Wang, Min Zhou, Jiaguang Sun:
VFQL: combinational static analysis as query language. ISSTA 2019: 378-381 - [c102]Yu Jiang, Mingzhe Wang, Xun Jiao, Houbing Song
, Hui Kong, Rui Wang, Yongxin Liu, Jian Wang, Jiaguang Sun:
Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design. iThings/GreenCom/CPSCom/SmartData 2019: 208-215 - [c101]Han Liu, Zhiqiang Yang, Yu Jiang, Wenqi Zhao, Jiaguang Sun:
Enabling clone detection for ethereum via smart contract birthmarks. ICPC 2019: 105-115 - [c100]Yuexing Wang, Guang Chen, Min Zhou, Ming Gu, Jiaguang Sun:
TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis. ASE 2019: 1170-1173 - [c99]Heyuan Shi, Runzhe Wang, Ying Fu, Mingzhe Wang, Xiaohai Shi, Xun Jiao, Houbing Song
, Yu Jiang, Jiaguang Sun:
Industry practice of coverage-guided enterprise Linux kernel fuzzing. ESEC/SIGSOFT FSE 2019: 986-995 - [i7]Ying Fu, Meng Ren, Fuchen Ma, Yu Jiang, Heyuan Shi, Jiaguang Sun:
EVMFuzz: Differential Fuzz Testing of Ethereum Virtual Machine. CoRR abs/1903.08483 (2019) - [i6]Fuchen Ma, Ying Fu, Meng Ren, Wanting Sun, Zhe Liu, Yu Jiang, Jun Sun, Jiaguang Sun:
GasFuzz: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability. CoRR abs/1910.02945 (2019) - [i5]Jianmin Guo, Yue Zhao, Xueying Han, Yu Jiang, Jiaguang Sun:
RNN-Test: Adversarial Testing Framework for Recurrent Neural Network Systems. CoRR abs/1911.06155 (2019) - 2018
- [j97]Xi Cheng
, Min Zhou
, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Parallelizing SMT solving: Lazy decomposition and conciliation. Artif. Intell. 257: 127-157 (2018) - [j96]Min Zhou
, William N. N. Hung
, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Temporal Coverage Analysis for Dynamic Verification. IEEE Trans. Circuits Syst. II Express Briefs 65-II(1): 66-70 (2018) - [j95]Yuexing Wang
, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Constructing Cost-Aware Functional Test-Suites Using Nested Differential Evolution Algorithm. IEEE Trans. Evol. Comput. 22(3): 334-346 (2018) - [j94]Xibin Zhao, Nan Wang, Yubo Zhang, Shaoyi Du
, Yue Gao
, Jiaguang Sun:
Beyond Pairwise Matching: Person Reidentification via High-Order Relevance Learning. IEEE Trans. Neural Networks Learn. Syst. 29(8): 3701-3714 (2018) - [c98]Guang Chen, Dexi Wang, Tianchi Li, Chao Zhang, Ming Gu, Jiaguang Sun:
Scalable Verification Framework for C Program. APSEC 2018: 129-138 - [c97]Guang Chen, Min Zhou, Jiaguang Sun, Xiaoyu Song:
Scalable and Extensible Static Memory Safety Analysis with Summary over Access Path. APSEC 2018: 298-304 - [c96]Mingzhe Wang, Jie Liang, Yuanliang Chen, Yu Jiang, Xun Jiao, Han Liu, Xibin Zhao, Jiaguang Sun:
SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing. ICSE (Companion Volume) 2018: 61-64 - [c95]Cong Wang, Yu Jiang, Xibin Zhao, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis. ICSE (Companion Volume) 2018: 69-72 - [c94]Han Liu, Chao Liu, Wenqi Zhao, Yu Jiang, Jiaguang Sun:
S-gram: towards semantic-aware security auditing for Ethereum smart contracts. ASE 2018: 814-819 - [c93]Jian Gao, Xin Yang, Ying Fu, Yu Jiang, Jiaguang Sun:
VulSeeker: a semantic learning based vulnerability seeker for cross-platform binary. ASE 2018: 896-899 - [c92]Jianmin Guo, Yu Jiang, Yue Zhao, Quan Chen, Jiaguang Sun:
DLFuzz: differential fuzzing testing of deep learning systems. ESEC/SIGSOFT FSE 2018: 739-743 - [c91]Jian Gao, Xin Yang, Ying Fu, Yu Jiang, Heyuan Shi, Jiaguang Sun:
VulSeeker-pro: enhanced semantic learning based binary vulnerability seeker with emulation. ESEC/SIGSOFT FSE 2018: 803-808 - [c90]Jie Liang, Yu Jiang, Yuanliang Chen, Mingzhe Wang, Chijin Zhou, Jiaguang Sun:
PAFL: extend fuzzing optimizations of single mode to industrial parallel mode. ESEC/SIGSOFT FSE 2018: 809-814 - [c89]Han Liu, Zhiqiang Yang, Chao Liu, Yu Jiang, Wenqi Zhao, Jiaguang Sun:
EClone: detect semantic clones in Ethereum via symbolic transaction sketch. ESEC/SIGSOFT FSE 2018: 900-903 - [i4]Jianmin Guo, Yu Jiang, Yue Zhao, Quan Chen, Jiaguang Sun:
DLFuzz: Differential Fuzzing Testing of Deep Learning Systems. CoRR abs/1808.09413 (2018) - [i3]Jiyuan Wang, Ming Gao, Yu Jiang, Jian-Guang Lou, Yue Gao, Dongmei Zhang, Jiaguang Sun:
QuanFuzz: Fuzz Testing of Quantum Program. CoRR abs/1810.10310 (2018) - 2017
- [j93]Dexi Wang
, Yu Jiang, Houbing Song
, Fei He, Ming Gu, Jiaguang Sun:
Verification of Implementations of Cryptographic Hash Functions. IEEE Access 5: 7816-7825 (2017) - [j92]Heyuan Shi, Kun Tang, Chengbao Liu, Xiaoyu Song, Chao Hu, Jiaguang Sun:
Memetic-based schedule synthesis for communication on time-triggered embedded systems. Int. J. Distributed Sens. Networks 13(10) (2017) - [j91]Ronglu Yang, Lifan Su, Xibin Zhao, Hai Wan, Jiaguang Sun:
Representative band selection for hyperspectral image classification. J. Vis. Commun. Image Represent. 48: 396-403 (2017) - [j90]Jiaxiang Liu
, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude. IEEE Trans. Ind. Electron. 64(4): 3239-3249 (2017) - [j89]Yu Jiang, Houbing Song
, Rui Wang, Ming Gu, Jiaguang Sun, Lui Sha:
Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System. IEEE Trans. Ind. Informatics 13(4): 1900-1909 (2017) - [c88]Yuexing Wang, Zuxing Gu, Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
A Constraint-Pattern Based Method for Reachability Determination. COMPSAC (1) 2017: 85-90 - [c87]Cong Wang, Fei He, Xiaoyu Song, Yu Jiang, Ming Gu, Jiaguang Sun:
Assertion Recommendation for Formal Program Verification. COMPSAC (1) 2017: 154-159 - [c86]Yu Jiang, Mingzhe Wang, Han Liu, Mohammad Hosseini, Jiaguang Sun:
Dependable integrated clinical system architecture with runtime verification. ICCAD 2017: 951-956 - [c85]Han Liu, Chengnian Sun, Zhendong Su
, Yu Jiang, Ming Gu, Jiaguang Sun:
Stochastic optimization of program obfuscation. ICSE 2017: 221-231 - [c84]Lifan Su, Yue Gao, Xibin Zhao, Hai Wan, Ming Gu, Jiaguang Sun:
Vertex-Weighted Hypergraph Learning for Multi-View Object Classification. IJCAI 2017: 2779-2785 - [c83]Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, Han Liu:
A language model for statements of software code. ASE 2017: 682-687 - [c82]Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun:
A static analysis tool with optimizations for reachability determination. ASE 2017: 925-930 - [c81]Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
IntPTI: automatic integer error repair with proper-type inference. ASE 2017: 996-1001 - 2016
- [j88]Heyuan Shi, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Task and Participant Scheduling of Trading Platforms in Vehicular Participatory Sensing Networks. Sensors 16(12): 2013 (2016) - [j87]Jin Huang, Yangdong Deng, Qinwen Yang, Jia-Guang Sun:
An Energy-Efficient Train Control Framework for Smart Railway Transportation. IEEE Trans. Computers 65(5): 1407-1417 (2016) - [j86]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): 2027-2040 (2016) - [j85]Jianmin Wang, Shaoxu Song
, Xiaochen Zhu, Xuemin Lin
, Jiaguang Sun:
Efficient Recovery of Missing Events. IEEE Trans. Knowl. Data Eng. 28(11): 2943-2957 (2016) - [c80]Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Automatic Fix for C Integer Errors by Precision Improvement. COMPSAC 2016: 2-11 - [c79]Yu Jiang, Han Liu, Houbing Song
, Hui Kong, Ming Gu, Jiaguang Sun, Lui Sha:
Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller. FM 2016: 757-763 - [c78]Han Liu, Yu Jiang, Huafeng Zhang, Ming Gu, Jiaguang Sun:
Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers. FM 2016: 764-771 - [c77]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: 112-121 - [c76]Huafeng Zhang, Yu Jiang, Han Liu, Hehua Zhang, Ming Gu, Jia-Guang Sun:
Model driven design of heterogeneous synchronous embedded systems. ASE 2016: 774-779 - [c75]Yixiao Yang, Yu Jiang, Ming Gu, Jia-Guang Sun:
Verifying simulink stateflow model: timed automata approach. ASE 2016: 852-857 - [c74]Huafeng Zhang, Yu Jiang, Han Liu, Ming Gu, Jiaguang Sun:
Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems. D&P@MoDELS 2016: 32-39 - [c73]Dexi Wang, Chao Zhang, Guang Chen, Ming Gu, Jiaguang Sun:
C Code Verification based on the Extended Labeled Transition System Model. D&P@MoDELS 2016: 48-55 - [c72]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: 231-241 - 2015
- [j84]Yamei Wen, Hui Zhang, Fangtao Li, Jiaguang Sun:
Identifying and constructing elemental parts of shafts based on conditional random fields model. Comput. Aided Des. 62: 10-19 (2015) - [j83]Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Generalized interface automata with multicast synchronization. Frontiers Comput. Sci. 9(1): 1-14 (2015) - [j82]Qian Wang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun:
Scalable Verification of a Generic End-Around-Carry Adder for Floating-Point Units by Coq. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 34(1): 150-154 (2015) - [j81]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): 1270-1278 (2015) - [j80]Mingsheng Long, Jianmin Wang, Jia-Guang Sun, Philip S. Yu:
Domain Invariant Transfer Kernel Learning. IEEE Trans. Knowl. Data Eng. 27(6): 1519-1532 (2015) - [j79]Yu Jiang, Hehua Zhang, Huafeng Zhang, Han Liu, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks. IEEE Trans. Parallel Distributed Syst. 26(8): 2220-2232 (2015) - [j78]Lan Zhang, Xiang-Yang Li, Jingsheng Lei, Jiaguang Sun, Yunhao Liu:
Mechanism Design for Finding Experts Using Locally Constructed Social Referral Web. IEEE Trans. Parallel Distributed Syst. 26(8): 2316-2326 (2015) - [j77]Xinrui Guo, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
First, Debug the Test Oracle. IEEE Trans. Software Eng. 41(10): 986-1000 (2015) - [c71]Litian Xiao, Mengyuan Li, Ming Gu, Jiaguang Sun:
PLC programs' checking method and strategy based on module state transfer. ICIA 2015: 702-706 - 2014
- [j76]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: 28-35 (2014) - [j75]Hui Kong, Xiaoyu Song, Dong Han, Ming Gu, Jiaguang Sun:
A New Barrier Certificate for Safety Verification of Hybrid Systems. Comput. J. 57(7): 1033-1045 (2014) - [j74]Qian Wang, Xiaoyu Song, Ming Gu, Jia-Guang Sun:
Functional Verification of High Performance Adders in COQ. J. Appl. Math. 2014: 197252:1-197252:9 (2014) - [j73]Huafeng Zhang
, Hehua Zhang, Ming Gu, Jiaguang Sun:
Modeling a Heterogeneous Embedded System in Coloured Petri Nets. J. Appl. Math. 2014: 943094:1-943094:8 (2014) - [j72]Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun:
Array Theory of Bounded Elements and its Applications. J. Autom. Reason. 52(4): 379-405 (2014) - [j71]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): 2563-2575 (2014) - [j70]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): 164:1-164:5 (2014) - [c70]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: 53-60 - [c69]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: 67-73 - [c68]Mingsheng Long, Jianmin Wang, Guiguang Ding, Jiaguang Sun, Philip S. Yu:
Transfer Joint Matching for Unsupervised Domain Adaptation. CVPR 2014: 1410-1417 - [c67]Xiaochen Zhu, Shaoxu Song
, Jianmin Wang, Philip S. Yu, Jiaguang Sun:
Matching heterogeneous events with patterns. ICDE 2014: 376-387 - [c66]Liangze Yin, Fei He, Ming Gu, Jia-Guang Sun:
Clause Replication and Reuse in Incremental Temporal Induction. ICECCS 2014: 108-115 - [c65]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: 711-714 - [c64]Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis. TASE 2014: 131-134 - [c63]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: 193-200 - 2013
- [j69]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): 1-10 (2013) - [j68]Min Zhou
, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun:
A Unified Framework for DPLL(T) + Certificates. J. Appl. Math. 2013: 964682:1-964682:13 (2013) - [j67]Yu Jiang, Hehua Zhang, Xiaoyu Song, Xun Jiao, William N. N. Hung, Ming Gu, Jiaguang Sun:
Bayesian-Network-Based Reliability Analysis of PLC Systems. IEEE Trans. Ind. Electron. 60(11): 5325-5336 (2013) - [c62]Hehua Zhang, Yu Jiang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun:
Sequential dependency and reliability analysis of embedded systems. ASP-DAC 2013: 423-428 - [c61]Yu Jiang, Hehua Zhang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun:
Verification and Implementation of the Protocol Standard in Train Control System. COMPSAC 2013: 549-558 - [c60]Mingsheng Long, Guiguang Ding, Jianmin Wang, Jiaguang Sun, Yuchen Guo, Philip S. Yu:
Transfer Sparse Coding for Robust Image Representation. CVPR 2013: 407-414 - [c59]Mingsheng Long, Jianmin Wang, Guiguang Ding, Jiaguang Sun, Philip S. Yu:
Transfer Feature Learning with Joint Distribution Adaptation. ICCV 2013: 2200-2207 - [c58]Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun:
System reliability calculation based on the run-time analysis of ladder program. ESEC/SIGSOFT FSE 2013: 695-698 - [c57]Yu Jiang, Zonghui Li, Hehua Zhang, Yangdong Deng, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Design and optimization of multi-clocked embedded systems using formal technique. ESEC/SIGSOFT FSE 2013: 703-706 - 2012
- [j66]Haining Fan, Ming Gu, Jiaguang Sun, Kwok-Yan Lam:
Obtaining more Karatsuba-like formulae over the binary field. IET Inf. Secur. 6(1): 14-19 (2012) - [j65]Litian Xiao, Rui Wang, Ming Gu, Jiaguang Sun:
Semantic characterization of programmable logic controller programs. Math. Comput. Model. 55(5-6): 1819-1824 (2012) - [j64]Hehua Zhang, Yu Jiang, William N. N. Hung, Guowu Yang, Ming Gu, Jiaguang Sun:
New strategies for reliability analysis of Programmable Logic Controllers. Math. Comput. Model. 55(7-8): 1916-1931 (2012) - [j63]Wenshan Fan, Bin Wang, Bin Chan, Jean-Claude Paul, Jiaguang Sun:
Recovering Geometric Detail by Octree Normal Maps. Trans. Edutainment 7: 62-73 (2012) - [c56]Zijia Lin, Guiguang Ding, Mingqing Hu, Jianmin Wang, Jiaguang Sun:
Automatic image annotation using tag-related random search over visual neighbors. CIKM 2012: 1784-1788 - [c55]Yu Jiang, Hehua Zhang, Xun Jiao, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun:
Uncertain Model and Algorithm for Hardware/Software Partitioning. ISVLSI 2012: 243-248 - [c54]Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Ming Gu, Marius Bozga:
Modeling and Validation of PLC-Controlled Systems: A Case Study. TASE 2012: 161-166 - 2011
- [j62]Kan-Le Shi, Sen Zhang, Hui Zhang, Jun-Hai Yong, Jia-Guang Sun, Jean-Claude Paul:
G2 B-spline interpolation to a closed mesh. Comput. Aided Des. 43(2): 145-160 (2011) - [j61]