论文
-
Hao Sun, Yiru Xu, Jianzhong Liu, Yuheng Shen, Nan Guan, and Yu Jiang
Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program (EuroSys 2024: 1-15) [PDF] -
Yiru Xu, Hao Sun, Jianzhong Liu, Yuheng Shen, and Yu Jiang
SATURN: Host-Gadget Synergistic USB Driver Fuzzing (S&P 2024: 1-15) [PDF]
-
Yuanhang Zhou, Fuchen Ma, Yuanliang Chen, Meng Ren, and Yu Jiang
CLFuzz: Vulnerability Detection of Cryptographic Algorithm Implementation via Semantic-Aware Fuzzing (TOSEM 2023: 1-29) [PDF] -
Fuchen Ma, Yuanliang Chen, Yuanhang Zhou, Jingxuan Sun, Zhuo Su, Yu Jiang, Jiaguang Sun, and Huizhong Li
Phoenix: Detect and Locate Resilience Issues in Blockchain via Context-Sensitive Chaos (CCS 2023: 1-15) [PDF] -
Chijin Zhou, Quan Zhang, Lihua Guo, Mingzhe Wang, Yu Jiang, Qing Liao, Zhiyong Wu, Shanshan Li and Bin Gu
Towards Better Semantics Exploration for Browser Fuzzing (OOPSLA 2023: 1-28) [PDF] -
Quan Zhang, Chijin Zhou, Yiwen Xu, Zijing Yin, Mingzhe Wang, Zhuo Su, Chengnian Sun, Yu Jiang, and Jiaguang Sun
Building Dynamic System Call Sandbox with Partial Order Analysis (OOPSLA 2023: 1-28) [PDF] -
Jianzhong Liu, Yuheng Shen, Yiru Xu, Hao Sun and Yu Jiang
Horus: Accelerating Kernel Fuzzing Through Efficient Host-VM Memory Access Procedures (TOSEM 2023: 1-26) [PDF] -
Quan Zhang, Yongqiang Tian, Yifeng Ding, Shanshan Li, Chengnian Sun, Yu Jiang, and Jiaguang Sun
CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems (ISSTA 2023: 753-765) [PDF] -
Chijin Zhou, Lihua Guo, Yiwei Hou, Zhenya Ma, Quan Zhang, Mingzhe Wang, Zhe Liu, and Yu Jiang
Limits of I/O Based Ransomware Detection: An Imitation Based Attack (S&P 2023: 1-18) [PDF] -
Zhuo Su, Zehong Yu, Dongyan Wang, Yixiao Yang, Rui Wang, Wanli Chang, Aiguo Cui and Yu Jiang
STCG: State-Aware Test Case Generation for Simulink Models (DAC 2023: 1-6) [PDF] -
Mingrui Zhang, Chijin Zhou, Jianzhong Liu, Mingzhe Wang, Jie Liang, Juan Zhu and Yu Jiang
DAISY: Effective Fuzz Driver Synthesis with Object Usage Sequence Analysis (ICSE(SEIP) 2023: 1-12) [PDF] -
Zhengxiong Luo, Junze Yu, Feilong Zuo, Jianzhong Liu, Yu Jiang, Ting Chen, Abhik Roychoudhury and Jiaguang Sun
BLEEM: Packet Sequence Oriented Fuzzing for Protocol Implementations (USENIX Security 2023: 1-18) [PDF] -
Fuchen Ma, Yuanliang Chen, Meng Ren, Yuanhang Zhou, Yu Jiang, Ting Chen, Huizhong Li and Jiaguang Sun
LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensus Protocols (NDSS 2023: 1-18) [PDF] -
Yuanliang Chen, Fuchen Ma, Yuanhang Zhou, Yu Jiang, Ting Chen, and Jiaguang Sun
Tyr: Finding Consensus Failure Bugs in Blockchain System with Behaviour Divergent Model (S&P 2023: 1-16) [PDF] -
Jie Liang,Yaoguang Chen,Zhiyong Wu,Jingzhou Fu,Mingzhe Wang,Yu Jiang,Xiangdong Huang,Ting Chen,Jiashui Wang,Jiajia Li
Sequence-Oriented DBMS Fuzzing (ICDE 2023: 1-14) [PDF]
-
Jingzhou Fu, Jie Liang, Zhiyong Wu, Mingzhe Wang and Yu Jiang
Griffin: Grammar-Free DBMS Fuzzing (ASE 2022: 1-12) [PDF] -
Zijing Yin, Yiwen Xu, Chijin Zhou and Yu Jiang
Empirical Study of System Resources Abused by IoT Attackers (ASE 2022: 1-13) [PDF] -
Fuchen Ma, Meng Ren, Lerong Ouyang, Yuanliang Chen, Juan Zhu, Ting Chen, Yingli Zheng, Xiao Dai, Yu Jiang, Jiaguang Sun
Pied-Piper: Revealing the Backdoor Threats in Ethereum ERC Token Contracts (TOSEM 2022: 1-24) [PDF] -
Zhuo Su, Dongyan Wang, Zehong Yu, Yixiao Yang, Yu Jiang, Rui Wang, Wanli Chang, Wen Li, Aiguo Cui and Jiaguang Sun
PHCG: Optimizing Simulink Code Generation for Embedded System with SIMD Instructions (TCAD 2022: 1072-1084) [PDF] -
Yiwen Xu, Zijing Yin, Yiwei Hou, Jianzhong Liu and Yu Jiang
MIDAS: Safeguarding IoT Devices Against Malware via Real-Time Behavior Auditing (EMSOFT 2022: 4373-4384) [PDF] -
Zehong Yu, Zhuo Su, Yixiao Yang, Jie Liang, Yu Jiang, Aiguo Cui, Wanli Chang and Rui Wang
Mercury: Instruction Pipeline Aware Code Generation for Simulink Models (EMSOFT 2022: 4504-4515) [PDF] -
Feilong Zuo, Zhengxiong Luo, Junze Yu, Ting Chen, Zichen Xu, Aiguo Cui and Yu Jiang
Vulnerability Detection of ICS Protocols Via Cross-State Fuzzing (EMSOFT 2022: 4457-4468 Best Paper Candidate) [PDF] -
Yuheng Shen, Yiru Xu, Hao Sun, Jianzhong Liu, Zichen Xu, Aiguo Cui, Heyuan Shi and Yu Jiang
Tardis: Coverage-Guided Embedded Operating System Fuzzing (EMSOFT 2022: 4563-4574) [PDF] -
Chijin Zhou, Quan Zhang, Mingzhe Wang, Lihua Guo, Jie Liang, Zhe Liu, Mathias Payer, Yu Jiang
Minerva: Browser API Fuzzing with Dynamic Mod-Ref Analysis (ESEC/FSE 2022: 1135-1147 Distinguished Paper Award) [PDF] -
Hao Sun, Yuheng Shen, Jianzhong Liu, Yiru Xu, Yu Jiang
KSG: Augmenting Kernel Fuzzing with System Call Specification Generation (ATC 2022: 1-15) [PDF] -
Zhiyong Wu, Jie Liang, Mingzhe Wang, Chijin Zhou, Yu Jiang
Unicorn: Detect Runtime Errors in Time-Series Databases With Hybrid Input Synthesis (ISSTA 2022: 251-262) [PDF] -
Mingzhe Wang, Jie Liang, Chijin Zhou, Zhiyong Wu, Xinyi Xu, Yu Jiang
Odin: On-Demand Instrumentation with On-the-Fly Recompilation (PLDI 2022: 1010-1024) [PDF] -
Zhuo Su, Zehong Yu, Dongyan Wang, Yixiao Yang, Yu Jiang, Rui Wang, Wanli Chang, Jiaguang Sun
HCG: Optimizing Embedded Code Generation of Simulink with SIMD Instruction Synthesis (DAC 2022: 1033-1038) [PDF] -
Zijing Yin, Yiwen Xu, Fuchen Ma, Haohao Gao, Lei Qiao, Yu Jiang
Scanner++: Enhanced Vulnerability Detection of Web Applications with Attack Intent Synchronization (TOSEM 2022: 1-30) [PDF] -
Jie Liang, Mingzhe Wang, Chijin Zhou, Zhiyong Wu, Yu Jiang, Jianzhong Liu, Zhe Liu, Jiaguang Sun
PATA: Fuzzing with Path Aware Taint Analysis (S&P 2022: 154-170) [PDF] -
Fuchen Ma, Meng Ren, Ying Fu, Wanting Sun, Houbing Song, Heyuan Shi, Yu Jiang, Huizhong Li
V-Gas: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability (TOIT 2022: 1-22) [PDF]
-
Zhuo Su, Dongyan Wang, Yixiao Yang, Zehong Yu, Wanli Chang, Wen Li, Aiguo Cui, Yu Jiang and Jiaguang Sun
MDD: A Unified Model-driven Design Framework for Embedded Control Software (TCAD 2021: 3252-3265) [PDF] -
Fuchen Ma, Zhenyang Xu, Meng Ren, Zijing Yin, Yuanliang Chen, Lei Qiao, Bin Gu, Huizhong Li, Yu Jiang and Jiaguang Sun
Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios (TSE 2021: 4380-4396) [PDF] -
Hao Sun, Yuheng Shen, Cong Wang, Jianzhong Liu, Yu Jiang, Ting Chen and Aiguo Cui
HEALER: Relation Learning Guided Kernel Fuzzing (SOSP 2021: 344–358) [PDF] -
Jianmin Guo, Quan Zhang, Yue Zhao, Heyuan Shi, Yu Jiang and Jiaguang Sun
RNN-Test: Towards Adversarial Testing for Recurrent Neural Network Systems (TSE 2021: 4167-4180) [PDF] -
Meng Ren, Fuchen Ma, Zijing Yin, Ying Fu, Huizhong Li, Wanli Chang, Yu Jiang
Making Smart Contract Development More Secure and Easier (ESEC/FSE 2021: 1360–1370) [PDF] -
Yuheng Shen, Hao Sun, Yu Jiang, Heyuan Shi, Yixiao Yang, Wanli Chang
Rtkaller: State-aware Task Generation for RTOS Fuzzing (EMSOFT 2021: 1-22) [PDF] -
Mingzhe Wang, Jie Liang, Chijin Zhou, Yu Jiang, Rui Wang, Chengnian Sun, Jiaguang Sun
RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing (ATC 2021: 147-159) [PDF] -
Meng Ren, Fuchen Ma, Zijing Yin, Huizhong Li, Ying Fu, Ting Chen, Yu Jiang
SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts (ISSTA 2021: 666–669) [PDF] -
Meng Ren, Zijing Yin, Fuchen Ma, Zhenyang Xu, Yu Jiang*, Chengnian Sun, Huizhong Li, Yan Cai
Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? (ISSTA 2021: 566–579) [PDF] -
Quan Zhang, Yifeng Ding, Yongqiang Tian, Jianmin Guo, Min Yuan, Yu Jiang
AdvDoor: Adversarial Backdoor Attack of Deep Learning System (ISSTA 2021: 127–138) [PDF] -
Feilong Zuo, Zhengxiong Luo, Junze Yu, Yu Jiang
PAVFuzz: State-Sensitive Fuzz Testing of Protocols in Autonomous Vehicles (DAC 2021) [PDF] -
Dongning Ma, Jianmin Guo, Yu Jiang, Xun Jiao
HDTest: Differential Fuzz Testing of Brain-Inspired Hyperdimensional Computing (DAC 2021) [PDF] -
Yiwen Xu, Yu Jiang, Lu Yu and Juan Li
Brief Industry Paper: Catching IoT Malware in the Wild Using HoneyIoT (RTAS 2021: 433-436) [PDF] -
Fuchen Ma, Meng Ren, Ying Fu, Mingzhe Wang, Huizhong Li, Houbing Song, Yu Jiang
Security reinforcement for Ethereum virtual machine (IPM 2021, 58(4): 102565(2021)) [PDF] -
Mingrui Zhang, Jianzhong Liu, Fuchen Ma, Huafeng Zhang, Yu Jiang
IntelliGen: Automatic Driver Synthesis for Fuzz Testing (ICSE(SEIP) 2021: 318-327) [PDF] -
Mingzhe Wang, Zhiyong Wu, Xinyi Xu, Jie Liang, Chijin Zhou, Huafeng Zhang, Yu Jiang
Industry Practice of Coverage-Guided Enterprise-Level DBMS Fuzzing (ICSE(SEIP) 2021: 328-337 ) [PDF] -
Zhuo Su, Dongyan Wang, Yixiao Yang, Yu Jiang, Wanli Chang, Liming Fang, Wen Li, Jiaguang Sun
Code Synthesis for Dataflow Based Embedded Software Design (TCAD 2021: 1-1) [PDF] -
Zhuo Su, Dongyan Wang, Yixiao Yang, Mingrui Zhang, Yu Jiang, Jiaguang Sun
Code generation method of data flow model based on branch marking (Journal of Software 2021, 32(6): 1647-1662) [PDF] -
Jiyuan Wang, Fuchen Ma, Yu Jiang
Poster: Fuzz Testing of Quantum Program (ICST 2021: 466-469 Best Paper Award) [PDF] -
Mingzhe Wang, Jie Liang, Chijin Zhou, Yuanliang Chen, Zhiyong Wu, Yu Jiang
Industrial Oriented Evaluation of Fuzzing Techniques (ICST 2021: 306-317) [PDF]
-
Chijin Zhou, Mingzhe Wang, Jie Liang, Zhe Liu, Yu Jiang
Zeror: Speed Up Fuzzing with Coverage-sensitive Tracing and Scheduling (ASE 2020: 858-870) [PDF] -
Jian Gao, Yiwen Xu, Yu Jiang, Zhe Liu, Wanli Chang, Xun Jiao, Jiaguang Sun:
EM-Fuzz: Augmented Firmware Fuzzing via Memory Checking (EMSOFT 2020: 3420-3432 Best Paper Candidate) [PDF] -
Jianmin Guo, Yue Zhao, Houbing Song, Yu Jiang:
Coverage Guided Differential Adversarial Testing of Deep Learning Systems (TNSE 2020: 933-942) [PDF] -
Zhengxiong Luo, Feilong Zuo, Yuheng Shen, Xun Jiao, Wanli Chang, Yu Jiang:
ICS Protocol Fuzzing: Coverage Guided Packet Crack and Generation (DAC 2020: 1-6) [PDF] -
Cong Wang, Mingrui Zhang, Yu Jiang, Huafeng Zhang, Zhenchang Xing, Ming Gu:
Escape from Escape Analysis of Golang (ICSE(SEIP) 2021: 142-151 Best Paper Candidate) [PDF]
-
Jie Liang, Yu Jiang, Mingzhe Wang, Xun Jiao, Yuanliang Chen, Houbing Song, Kim-Kwang Raymond Choo:
DeepFuzzer: Accelerated Deep Greybox Fuzzing (TDSC 2019: 1-14) [PDF] -
Jian Gao, Yu Jiang, Xin Yang, Cong Wang, Xun Jiao, Zijiang Yang, Jiaguang Sun:
Semantic Learning and Emulation Based Cross-platform Binary Vulnerability Seeker (TSE 2019: 1-1) [PDF] -
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 (TII 2019: 971-979) [PDF] -
Yu Jiang, Mingzhe Wang, Xun Jiao, Houbing Song, Rui Wang, Jiaguang Sun:
Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design (CPScom 2019: 208-215 Best Paper Award) [PDF] -
Chijin Zhou, Mingzhe Wang, Jie Liang, Chengnian Sun, Yu Jiang:
VisFuzz: Understanding and Intervening Fuzzing with Interactive Visualization (ASE 2019: 1078-1081) [PDF] -
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) [PDF] -
Cong Wang, Hao Sun, Yiwen Xu, Yu Jiang, Huafeng Zhang, Ming Gu:
Go-Sanitizer:Bug-Oriented Assertion Generation for Golang (ISSRE 2019: 36-41) [PDF] -
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) [PDF] -
Zhengxiong Luo, Feilong Zuo, Yu Jiang, Jian Gao, Xun Jiao, Jiaguang Sun:
Polar: Function Code Aware Fuzz Testing of ICS Protocol (EMSOFT 2019: 1-22 Best Paper Candidate) [PDF] -
Ying Fu, Meng Ren, Fuchen Ma, Heyuan Shi, Xin Yang, Yu Jiang, Huizhong Li, Xiang Shi:
EVMFuzzer: Detect EVM Vulnerabilities via Fuzz Testing. (FSE 2019: 1110-1114) [PDF] -
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. (TII 2019: 6551-6559) [PDF] -
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. (FSE 2019: 986-995) [PDF] -
Yuanliang Chen, Yu Jiang, Fuchen Ma, Jie Liang, Mingzhe Wang, Chijin Zhou, Xun Jiao, Zhuo Su:
EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzers. (USENIX Security 2019: 1967-1983) [PDF] -
Han Liu, Zhiqiang Yang, Yu Jiang, Wenqi Zhao, Jiaguang Sun:
Enabling Clone Detection For Ethereum via Smart Contract Birthmarks. (ICPC 2019: 105-115) [PDF] -
Fuchen Ma, Ying Fu, Meng Ren, Mingzhe Wang, Yu Jiang:
EVM*: From offline detection to Online Reinforcement for Ethereum Virtual Machine. (SANER 2019: 554-558) [PDF]
-
Jie Liang, Yu Jiang, Yuanliang Chen, Mingzhe Wang, Chijin Zhou and Jiaguang Sun:
PAFL: Extend Fuzzing Optimizations of Single Mode to Industrial Parallel Mode. (ESEC/SIGSOFT FSE 2018: 809-814) [PDF] -
Jian Gao, Xin Yang, Ying Fu, Yu Jiang, Heyuan Shi, and Jiaguang Sun:
VulSeeker-pro: enhanced semantic learning based binary vulnerability seeker with emulation. (ESEC/FSE 2018: 803-808) [PDF] -
Jianmin Guo, Yu Jiang, Yue Zhao, Quan Chen, Jiaguang Sun:
DLFuzz: Differential Fuzzing Testing of Deep Learning Systems. (ESEC/SIGSOFT FSE 2018: 739-743) [PDF] -
Han Liu, Zhiqiang Yang, Chao Liu, Yu Jiang, Wenqi Zhao, and Jiaguang Sun:
EClone: Detect Semantic Clones in Ethereum via Symbolic Transaction Sketch. (ESEC/SIGSOFT FSE 2018: 900-903) [PDF] -
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) [PDF] -
Han Liu, Chao Liu, Wenqi Zhao, Yu Jiang, and Jiaguang Sun:
S-gram: Towards Semantic-Aware Security Auditing For Ethereum Smart Contracts. (ASE 2018: 814-819) [PDF] -
Jie Liang, Mingzhe Wang, Yuanliang Chen, Yu Jiang, Renwei Zhang:
Fuzz Testing in Practice: Obstacles and Solutions. (SANER 2018: 562-566) [PDF] -
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) [PDF] -
Cong Wang, Yu Jiang, Xibin Zhao, Xiaoyu Song, Ming Gu and Jia-Guang Sun:
Weak-Assert: A Weakness-Oriented Assertion Recommendation Toolkit for Program Analysis. (ICSE (Companion Volume) 2018: 69-72) [PDF] -
Andrew Y.-Z. Ou, Maryam Rahmaniheris, Yu Jiang, Lui Sha, Zhicheng Fu and Shangping Ren:
SafeTrace: S Safety-Driven Requirement Traceability Framework on Device Interaction Hazards for MD-Pnp. (SAC 2018: 1282-1291) [PDF] -
Xun Jiao, Vahideh Akhlaghi, Yu Jiang, and Rajesh Gupta:
Energy-Efficient Neural Networks using Approximate Computation Reuse. (DATE 2018: 1223-1228) [PDF] -
Rui Wang, Yingxia Wei, Yu Jiang, Houbing Song, Xiaoyu Song, Xiaojuan Li, and Yong Guan:
From Off-line Towards Real-time Verification for Robot Systems. (IEEE Trans. Industrial Informatics 14(4): 1712-1721 (2018)) [PDF] -
Yu Jiang, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun and Lui Sha:
Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller. (IEEE Trans. Intelligent Transportation Systems 19(10): 3320-3333 (2018)) [PDF] -
Xun Jiao, Abbas Rahimi, Yu Jiang, Jianguo Wang, Hamed Fatemi, José Pineda de Gyvez, Rajesh K. Gupta:
CLIM: A Cross-Level Workload-Aware Timing Error Prediction Model for Functional Units. (IEEE Trans. Computers 67(6): 771-783 (2018)) [PDF] -
Yu Jiang, Houbing Song, Yixiao Yang, Han Liu, Ming Gu, Yong Guan, Jiaguang Sun, and 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 (2018)) [PDF]
-
Andrew Y.-Z. Ou, Maryam Rahmaniheris, Yu Jiang, Po-Liang Wu and Lui Sha:
Toward Safe Interoperation in Network Connected Medical CPS Using Open-Loop Safe Protocol. (ICCAD 2017: 957-963) [PDF] -
Yu Jiang, Mingzhe Wang, Han Liu, Mohammad Hosseini, Jiaguang Sun:
Dependable integrated clinical system architecture with runtime verification. (ICCAD 2017: 951-956) [PDF] -
Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, Han Liu:
A language model for statements of software code. (ASE 2017: 682-687) [PDF] -
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) [PDF] -
Hui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang, Thomas A. Henzinger:
Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters. (HSCC 2017: 163-172) [PDF] -
Han Liu, Chengnian Sun, Zhendong Su, Yu Jiang, Ming Gu, Jiaguang Sun:
Stochastic optimization of program obfuscation. (ICSE 2017: 221-231) [PDF] -
Xun Jiao, Yu Jiang, Abbas Rahimi, Rajesh K. Gupta:
SLoT: A supervised learning model to predict dynamic timing errors of functional units. (DATE 2017: 1183-1188) [PDF] -
Xun Jiao, Vincent Camus, Mattia Cacciotti, Yu Jiang, Christian Enz, Rajesh K. Gupta:
Combining structural and timing errors in overclocked inexact speculative adders. (DATE 2017: 482-487) [PDF] -
Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, Lui Sha:
Modeling and integrating physical environment assumptions in medical cyber-physical system design. (DATE 2017: 1615-1618) [PDF] -
Mohammad Hosseini, Yu Jiang, Ali Yekkehkhany, Richard R. Berlin, Lui Sha:
A Mobile Geo-Communication Dataset for Physiology-Aware DASH in Rural Ambulance Transport. (MMSys 2017: 158-163) [PDF] -
Mohammad Hosseini, Yu Jiang, Richard R. Berlin, Lui Sha, Houbing Song:
Toward Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances. (IEEE Trans. Multimedia 19(10): 2307-2321 (2017)) [PDF] -
Yu Jiang, Houbing Song, Rui Wang, Ming Gu, Jiaguang Sun, Lui Sha:
Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System. (IEEE Trans. Industrial Informatics 13(4): 1900-1909 (2017)) [PDF]
-
Zuxing Gu, Hong Song, Yu Jiang, Jeonghone Choi, Hongjiang He, Lui Sha, Ming Gu:
An integrated Medical CPS for early detection of paroxysmal sympathetic hyperactivity. (BIBM 2016: 818-822) [PDF] -
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) [PDF] -
Han Liu, Yu Jiang, Huafeng Zhang, Ming Gu, Jiaguang Sun:
Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers. (FM 2016: 764-771) [PDF] -
Xun Jiao, Yu Jiang, Abbas Rahimi, Rajesh K. Gupta:
WILD: A workload-based learning model to predict dynamic delay of functional units. (ICCD 2016: 185-192) [PDF] -
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) [PDF] -
Yixiao Yang, Yu Jiang, Ming Gu, Jia-Guang Sun:
Verifying simulink stateflow model: timed automata approach. (ASE 2016: 852-857) [PDF] -
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) [PDF] -
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) [PDF] -
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) [PDF] -
Chunhui Guo, Shangping Ren, Yu Jiang, Po-Liang Wu, Lui Sha, Richard B. Berlin Jr.:
Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models. (ICCPS 2016: 34:1-34:10) [PDF]
-
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 Distrib. Syst. 26(8): 2220-2232 (2015)) [PDF] -
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. Industrial Electronics 62(2): 1270-1278 (2015)) [PDF]
-
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) [PDF] -
Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, Ming Gu, and Jiaguang Sun:
System Reliability Calculation Based on the Run-time Analysis of Ladder Program. (IEEE Trans. Industrial Electronics 2014) [PDF] -
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)) [PDF]
-
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) [PDF] -
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) [PDF] -
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) [PDF] -
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. Industrial Electronics 60(11): 5325-5336 (2013)) [PDF]
专利
|
一种程序缺陷检测方法及装置,王聪,姜宇,顾明,孙家广,201910450219.4(申请号) |
|
一种深度学习系统的漏洞检测方法和装置,赵越,郭建敏,姜宇,顾明,孙家广,201810878887.2(申请号) |
|
针对程序的集成模糊测试方法及装置,陈元亮,梁杰,王明哲,姜宇,顾明,孙家广,201810750675.6(申请号) |
|
测试用例自动生成方法及系统,姜宇,杨镒箫,任谦,李天池,顾明,孙家广,CN201810451163.X |
|
软件内存安全检测方法及系统,姜宇,梁杰,王明哲,陈元亮,顾明,孙家广,CN201810444279.0 |
|
数据竞争检测工具的检测效果评估方法及装置,高健,姜宇,高健,杨鑫,顾明,孙家广,CN201810428209.6 |
|
一种基于代码中间表示的代码补全方法、装置及存储介质,姜宇,杨镒箫,顾明,孙家广,CN201810380083.X |
|
一种二进制漏洞代码克隆检测方法及系统,姜宇,杨鑫,高健,顾明,孙家广,CN201810267094.7 |
荣誉
|
2018年金链盟中国区块链应用大赛十强 |
|
2018年中国科协青年托举人才 |
|
2017年软件测试大赛 特等奖、一等奖 |
|
2017年软件原型大赛 命题型二等奖、自由型二等奖 |
|
2015年计算机学会优秀博士论文 |