Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYu Jiang 0001
Person information
- affiliation (Associate Professor): Tsinghua University, School of Software, Beijing, China
- affiliation (Postdoc 2016): University of Illinois at Urbana-Champaign, Department of Computer Science, IL, USA
- affiliation (PhD 2015): Tsinghua University, School of Software, Beijing, China
Other persons with the same name
- Yu Jiang — disambiguation page
- Yu Jiang 0002
![[0000-0001-9461-633X]](https://dblp.org/img/orcid-mark.12x12.png "0000-0001-9461-633X")
— Technical University of Denmark, Lyngby, Denmark (and 3 more) - Yu Jiang 0003 — ClearMotion, MA, USA (and 2 more)
- Yu Jiang 0004 — Nanyang Technological University, School of Electrical and Electronic Engineering, Singapore
- Yu Jiang 0005 — University of Memphis, School of Public Health, TN, USA
- Yu Jiang 0006 — Jilin University, College of Computer Science and Technology, Changchun, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j52]Jianzhong Liu, Yuheng Shen, Yiru Xu, Hao Sun, Yu Jiang:
Horus: Accelerating Kernel Fuzzing through Efficient Host-VM Memory Access Procedures. ACM Trans. Softw. Eng. Methodol. 33(1): 11:1-11:25 (2024)- [j51]Yongqiang Tian, Xueyan Zhang, Yiwen Dong, Zhenyang Xu, Mengxiao Zhang, Yu Jiang, Shing-Chi Cheung, Chengnian Sun:
On the Caching Schemes to Speed Up Program Reduction. ACM Trans. Softw. Eng. Methodol. 33(1): 17:1-17:30 (2024) - [j50]Yuanhang Zhou, Fuchen Ma, Yuanliang Chen, Meng Ren, Yu Jiang:
CLFuzz: Vulnerability Detection of Cryptographic Algorithm Implementation via Semantic-aware Fuzzing. ACM Trans. Softw. Eng. Methodol. 33(2): 45:1-45:28 (2024) - 2023
- [j49]Zhenyang Xu, Yongqiang Tian, Mengxiao Zhang, Gaosen Zhao, Yu Jiang, Chengnian Sun:
Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction. Proc. ACM Program. Lang. 7(OOPSLA1): 636-664 (2023) - [j48]Chijin Zhou, Quan Zhang, Lihua Guo, Mingzhe Wang, Yu Jiang, Qing Liao, Zhiyong Wu, Shanshan Li, Bin Gu:
Towards Better Semantics Exploration for Browser Fuzzing. Proc. ACM Program. Lang. 7(OOPSLA2): 604-631 (2023) - [j47]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): 1253-1280 (2023) - [j46]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): 1072-1084 (2023) - [j45]Fuchen Ma, Meng Ren, Fu Ying, Wanting Sun, Houbing Song, Heyuan Shi, Yu Jiang, Huizhong Li:
V-Gas: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability. ACM Trans. Internet Techn. 23(3): 40:1-40:22 (2023) - [j44]Zijing Yin, Yiwen Xu, Fuchen Ma, Haohao Gao, Lei Qiao, Yu Jiang:
Scanner++: Enhanced Vulnerability Detection of Web Applications with Attack Intent Synchronization. ACM Trans. Softw. Eng. Methodol. 32(1): 7:1-7:30 (2023) - [j43]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. ACM Trans. Softw. Eng. Methodol. 32(3): 61:1-61:24 (2023) - [j42]Yongqiang Tian, Wuqi Zhang, Ming Wen, Shing-Chi Cheung, Chengnian Sun, Shiqing Ma, Yu Jiang:
Finding Deviated Behaviors of the Compressed DNN Models for Image Classifications. ACM Trans. Softw. Eng. Methodol. 32(5): 128:1-128:32 (2023) - [c111]Fuchen Ma, Yuanliang Chen, Yuanhang Zhou, Jingxuan Sun, Zhuo Su, Yu Jiang, Jiaguang Sun, Huizhong Li:
Phoenix: Detect and Locate Resilience Issues in Blockchain via Context-Sensitive Chaos. CCS 2023: 1182-1196 - [c110]Wenhong Ma, Xiangzhen Xiao, Guoqi Xie, Nan Guan, Yu Jiang, Wanli Chang:
Fault Tolerance in Time-Sensitive Networking with Mixed-Critical Traffic. DAC 2023: 1-6 - [c109]Zhuo Su, Zehong Yu, Dongyan Wang, Yixiao Yang, Rui Wang, Wanli Chang, Aiguo Cui, Yu Jiang:
STCG: State-Aware Test Case Generation for Simulink Models. DAC 2023: 1-6 - [c108]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: 668-681 - [c107]Mingrui Zhang, Chijin Zhou, Jianzhong Liu, Mingzhe Wang, Jie Liang, Juan Zhu, Yu Jiang:
Daisy: Effective Fuzz Driver Synthesis with Object Usage Sequence Analysis. ICSE-SEIP 2023: 87-98 - [c106]Christopher M. Poskitt, Yuqi Chen, Jun Sun, Yu Jiang:
Finding Causally Different Tests for an Industrial Control System. ICSE 2023: 2578-2590 - [c105]Quan Zhang, Yongqiang Tian, Yifeng Ding, Shanshan Li, Chengnian Sun, Yu Jiang, Jiaguang Sun:
CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems. ISSTA 2023: 753-765 - [c104]Fuchen Ma, Yuanliang Chen, Meng Ren, Yuanhang Zhou, Yu Jiang, Ting Chen, Huizhong Li, Jiaguang Sun:
LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensus Protocols. NDSS 2023 - [c103]Mengxiao Zhang, Zhenyang Xu, Yongqiang Tian, Yu Jiang, Chengnian Sun:
PPR: Pairwise Program Reduction. ESEC/SIGSOFT FSE 2023: 338-349 - [c102]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: 2517-2532 - [c101]Chijin Zhou, Lihua Guo, Yiwei Hou, Zhenya Ma, Quan Zhang, Mingzhe Wang, Zhe Liu, Yu Jiang:
Limits of I/O Based Ransomware Detection: An Imitation Based Attack. SP 2023: 2584-2601 - [c100]Zhengxiong Luo, Junze Yu, Feilong Zuo, Jianzhong Liu, Yu Jiang, Ting Chen, Abhik Roychoudhury, Jiaguang Sun:
Bleem: Packet Sequence Oriented Fuzzing for Protocol Implementations. USENIX Security Symposium 2023: 4481-4498 - [i21]Christopher M. Poskitt, Yuqi Chen, Jun Sun, Yu Jiang:
Finding Causally Different Tests for an Industrial Control System. CoRR abs/2302.04175 (2023) - 2022
- [j41]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) - [j40]Dongning Ma, Xinqiao Zhang, Ke Huang, Yu Jiang, Wanli Chang, Xun Jiao:
DEVoT: Dynamic Delay Modeling of Functional Units Under Voltage and Temperature Variations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(4): 827-839 (2022) - [j39]Zhuo Su, Dongyan Wang, Yixiao Yang, Zehong Yu, Wanli Chang, Wen Li, Aiguo Cui, Yu Jiang, Jiaguang Sun:
MDD: A Unified Model-Driven Design Framework for Embedded Control Software. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(10): 3252-3265 (2022) - [j38]Yiwen Xu, Zijing Yin, Yiwei Hou, Jianzhong Liu, Yu Jiang:
MIDAS: Safeguarding IoT Devices Against Malware via Real-Time Behavior Auditing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 4373-4384 (2022) - [j37]Feilong Zuo, Zhengxiong Luo, Junze Yu, Ting Chen, Zichen Xu, Aiguo Cui, Yu Jiang:
Vulnerability Detection of ICS Protocols via Cross-State Fuzzing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 4457-4468 (2022) - [j36]Zehong Yu, Zhuo Su, Yixiao Yang, Jie Liang, Yu Jiang, Aiguo Cui, Wanli Chang, Rui Wang:
Mercury: Instruction Pipeline Aware Code Generation for Simulink Models. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 4504-4515 (2022) - [j35]Yuheng Shen, Yiru Xu, Hao Sun, Jianzhong Liu, Zichen Xu, Aiguo Cui, Heyuan Shi, Yu Jiang:
Tardis: Coverage-Guided Embedded Operating System Fuzzing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 4563-4574 (2022) - [j34]Yongchao Zhang, Zhe Liu, Yu Jiang:
The Classification and Detection of Malware Using Soft Relevance Evaluation. IEEE Trans. Reliab. 71(1): 309-320 (2022) - [j33]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): 4167-4180 (2022) - [j32]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): 4380-4396 (2022) - [c99]Zhuo Su, Zehong Yu, Dongyan Wang, Yixiao Yang, Yu Jiang, Rui Wang, Wanli Chang, Jia-Guang Sun:
HCG: optimizing embedded code generation of simulink with SIMD instruction synthesis. DAC 2022: 1033-1038 - [c98]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 - [c97]Zijing Yin, Yiwen Xu, Chijin Zhou, Yu Jiang:
Empirical Study of System Resources Abused by IoT Attackers. ASE 2022: 39:1-39:13 - [c96]Jingzhou Fu, Jie Liang, Zhiyong Wu, Mingzhe Wang, Yu Jiang:
Griffin : Grammar-Free DBMS Fuzzing. ASE 2022: 49:1-49:12 - [c95]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 - [c94]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/SIGSOFT FSE 2022: 1135-1147 - [c93]Taotao Gu, Xiang Li, Shuaibing Lu, Jianwen Tian, Yuanping Nie, Xiaohui Kuang, Zhechao Lin, Chenyifan Liu, Jie Liang, Yu Jiang:
Group-based corpus scheduling for parallel fuzzing. ESEC/SIGSOFT FSE 2022: 1521-1532 - [c92]Runzhe Wang, Qinglong Wang, Yuxi Hu, Heyuan Shi, Yuheng Shen, Yu Zhan, Ying Fu, Zheng Liu, Xiaohai Shi, Yu Jiang:
Industry practice of configuration auto-tuning for cloud applications and services. ESEC/SIGSOFT FSE 2022: 1555-1565 - [c91]Jie Liang, Mingzhe Wang, Chijin Zhou, Zhiyong Wu, Yu Jiang, Jianzhong Liu, Zhe Liu, Jiaguang Sun:
PATA: Fuzzing with Path Aware Taint Analysis. SP 2022: 1-17 - [c90]Hao Sun, Yuheng Shen, Jianzhong Liu, Yiru Xu, Yu Jiang:
KSG: Augmenting Kernel Fuzzing with System Call Specification Generation. USENIX Annual Technical Conference 2022: 351-366 - [i20]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. CoRR abs/2211.05441 (2022) - 2021
- [j31]Fuchen Ma, Meng Ren, Ying Fu, Mingzhe Wang, Huizhong Li, Houbing Song, Yu Jiang:
Security reinforcement for Ethereum virtual machine. Inf. Process. Manag. 58(4): 102565 (2021) - [j30]Jie Liang, Yu Jiang, Mingzhe Wang, Xun Jiao, Yuanliang Chen, Houbing Song, Kim-Kwang Raymond Choo:
DeepFuzzer: Accelerated Deep Greybox Fuzzing. IEEE Trans. Dependable Secur. Comput. 18(6): 2675-2688 (2021) - [j29]Yuheng Shen, Hao Sun, Yu Jiang, Heyuan Shi, Yixiao Yang, Wanli Chang:
Rtkaller: State-aware Task Generation for RTOS Fuzzing. ACM Trans. Embed. Comput. Syst. 20(5s): 83:1-83:22 (2021) - [j28]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) - [j27]Yu Jiang, Mingzhe Wang, Zhuo Su, Yixiao Yang, Huihui Wang:
Formal Design of Multi-Function Vehicle Bus Controller. IEEE Trans. Intell. Transp. Syst. 22(6): 3880-3889 (2021) - [j26]Jianmin Guo, Yue Zhao, Houbing Song, Yu Jiang:
Coverage Guided Differential Adversarial Testing of Deep Learning Systems. IEEE Trans. Netw. Sci. Eng. 8(2): 933-942 (2021) - [j25]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) - [c89]Dongning Ma, Jianmin Guo, Yu Jiang, Xun Jiao:
HDTest: Differential Fuzz Testing of Brain-Inspired Hyperdimensional Computing. DAC 2021: 391-396 - [c88]Feilong Zuo, Zhengxiong Luo, Junze Yu, Zhe Liu, Yu Jiang:
PAVFuzz: State-Sensitive Fuzz Testing of Protocols in Autonomous Vehicles. DAC 2021: 823-828 - [c87]Mingrui Zhang, Jianzhong Liu, Fuchen Ma, Huafeng Zhang, Yu Jiang:
IntelliGen: Automatic Driver Synthesis for Fuzz Testing. ICSE (SEIP) 2021: 318-327 - [c86]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 - [c85]Mingzhe Wang, Jie Liang, Chijin Zhou, Yuanliang Chen, Zhiyong Wu, Yu Jiang:
Industrial Oriented Evaluation of Fuzzing Techniques. ICST 2021: 306-317 - [c84]Jiyuan Wang, Fuchen Ma, Yu Jiang:
Poster: Fuzz Testing of Quantum Program. ICST 2021: 466-469 - [c83]Quan Zhang, Yifeng Ding, Yongqiang Tian, Jianmin Guo, Min Yuan, Yu Jiang:
AdvDoor: adversarial backdoor attack of deep learning system. ISSTA 2021: 127-138 - [c82]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 - [c81]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 - [c80]Yiwen Xu, Yu Jiang, Lu Yu, Juan Li:
Brief Industry Paper: Catching IoT Malware in the Wild Using HoneyIoT. RTAS 2021: 433-436 - [c79]Meng Ren, Fuchen Ma, Zijing Yin, Ying Fu, Huizhong Li, Wanli Chang, Yu Jiang:
Making smart contract development more secure and easier. ESEC/SIGSOFT FSE 2021: 1360-1370 - [c78]Hao Sun, Yuheng Shen, Cong Wang, Jianzhong Liu, Yu Jiang, Ting Chen, Aiguo Cui:
HEALER: Relation Learning Guided Kernel Fuzzing. SOSP 2021: 344-358 - [c77]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 - [i19]Mingzhe Wang, Zhiyong Wu, Xinyi Xu, Jie Liang, Chijin Zhou, Huafeng Zhang, Yu Jiang:
Industry Practice of Coverage-Guided Enterprise-Level DBMS Fuzzing. CoRR abs/2103.00804 (2021) - [i18]Mingrui Zhang, Jianzhong Liu, Fuchen Ma, Huafeng Zhang, Yu Jiang:
IntelliGen: Automatic Driver Synthesis for FuzzTesting. CoRR abs/2103.00862 (2021) - [i17]Dongning Ma, Jianmin Guo, Yu Jiang, Xun Jiao:
HDTest: Differential Fuzz Testing of Brain-Inspired Hyperdimensional Computing. CoRR abs/2103.08668 (2021) - [i16]Yongqiang Tian, Wuqi Zhang, Ming Wen, Shing-Chi Cheung, Chengnian Sun, Shiqing Ma, Yu Jiang:
Fast Test Input Generation for Finding Deviated Behaviors in Compressed Deep Neural Network. CoRR abs/2112.02819 (2021) - 2020
- [j24]Jing Huang, Renfa Li, Xun Jiao, Yu Jiang, Wanli Chang:
Dynamic DAG Scheduling on Multiprocessor Systems: Reliability, Energy, and Makespan. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3336-3347 (2020) - [j23]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) - [j22]Xun Jiao, Dongning Ma, Wanli Chang, Yu Jiang:
LEVAX: An Input-Aware Learning-Based Error Model of Voltage-Scaled Functional Units. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(12): 5032-5041 (2020) - [c76]Xun Jiao, Dongning Ma, Wanli Chang, Yu Jiang:
TEVoT: Timing Error Modeling of Functional Units under Dynamic Voltage and Temperature Variations. DAC 2020: 1-6 - [c75]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 - [c74]Xiaotian Dai, Shuai Zhao, Yu Jiang, Xun Jiao, Xiaobo Sharon Hu, Wanli Chang:
Fixed-Priority Scheduling and Controller Co-Design for Time-Sensitive Networks. ICCAD 2020: 99:1-99:9 - [c73]Cong Wang, Mingrui Zhang, Yu Jiang, Huafeng Zhang, Zhenchang Xing, Ming Gu:
Escape from escape analysis of Golang. ICSE (SEIP) 2020: 142-151 - [c72]Chijin Zhou, Mingzhe Wang, Jie Liang, Zhe Liu, Yu Jiang:
Zeror: Speed Up Fuzzing with Coverage-sensitive Tracing and Scheduling. ASE 2020: 858-870
2010 – 2019
- 2019
- [j21]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) - [j20]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) - [j19]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) - [c71]Hui Kong, Ezio Bartocci, Yu Jiang, Thomas A. Henzinger:
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty. FORMATS 2019: 123-141 - [c70]Xiaoning Du, Bihuan Chen, Yuekang Li, Jianmin Guo, Yaqin Zhou, Yang Liu, Yu Jiang:
Leopard: identifying vulnerable code for vulnerability assessment through program metrics. ICSE 2019: 60-71 - [c69]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 - [c68]Cong Wang, Hao Sun, Yiwen Xu, Yu Jiang, Huafeng Zhang, Ming Gu:
Go-Sanitizer: Bug-Oriented Assertion Generation for Golang. ISSRE Workshops 2019: 36-41 - [c67]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 - [c66]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 - [c65]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 - [c64]Han Liu, Zhiqiang Yang, Yu Jiang, Wenqi Zhao, Jiaguang Sun:
Enabling clone detection for ethereum via smart contract birthmarks. ICPC 2019: 105-115 - [c63]Chijin Zhou, Mingzhe Wang, Jie Liang, Zhe Liu, Chengnian Sun, Yu Jiang:
VisFuzz: Understanding and Intervening Fuzzing with Interactive Visualization. ASE 2019: 1078-1081 - [c62]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 - [c61]Ying Fu, Meng Ren, Fuchen Ma, Heyuan Shi, Xin Yang, Yu Jiang, Huizhong Li, Xiang Shi:
EVMFuzzer: detect EVM vulnerabilities via fuzz testing. ESEC/SIGSOFT FSE 2019: 1110-1114 - [c60]Zuxing Gu, Min Zhou, Jiecheng Wu, Yu Jiang, Jiaxiang Liu, Ming Gu:
IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs. TASE 2019: 216-223 - [c59]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 Symposium 2019: 1967-1983 - [c58]Fuchen Ma, Ying Fu, Meng Ren, Mingzhe Wang, Yu Jiang, Kaixiang Zhang, Huizhong Li, Xiang Shi:
EVM*: From Offline Detection to Online Reinforcement for Ethereum Virtual Machine. SANER 2019: 554-558 - [i15]Xiaoning Du, Bihuan Chen, Yuekang Li, Jianmin Guo, Yaqin Zhou, Yang Liu, Yu Jiang:
LEOPARD: Identifying Vulnerable Code for Vulnerability Assessment through Program Metrics. CoRR abs/1901.11479 (2019) - [i14]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) - [i13]Hui Kong, Ezio Bartocci, Yu Jiang, Thomas A. Henzinger:
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty. CoRR abs/1907.11514 (2019) - [i12]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) - [i11]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
- [j18]Zuxing Gu, Yu Jiang, Min Zhou, Ming Gu, Xiaoyu Song, Lui Sha:
A Cyber-Physical System Framework for Early Detection of Paroxysmal Diseases. IEEE Access 6: 34834-34845 (2018) - [j17]Kang Yang, Rui Wang, Yu Jiang, Houbing Song, Chenxia Luo, Yong Guan, Xiaojuan Li, Zhiping Shi:
Sensor attack detection using history based pairwise inconsistency. Future Gener. Comput. Syst. 86: 392-402 (2018) - [j16]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) - [j15]Rui Wang, Yingxia Wei, Houbing Song, Yu Jiang, Yong Guan, Xiaoyu Song, Xiaojuan Li:
From Offline Towards Real-Time Verification for Robot Systems. IEEE Trans. Ind. Informatics 14(4): 1712-1721 (2018) - [j14]Yu Jiang, Han Liu, Houbing Song, Hui Kong, Rui Wang, Yong Guan, Lui Sha:
Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller. IEEE Trans. Intell. Transp. Syst. 19(10): 3320-3333 (2018) - [c57]Kang Yang, Rui Wang, Yu Jiang, Chenxia Luo, Yong Guan, Xiaojuan Li, Zhiping Shi:
Enhanced resilient sensor attack detection using fusion interval and measurement history. CODES+ISSS 2018: 19 - [c56]Chenxia Luo, Rui Wang, Yu Jiang, Kang Yang, Yong Guan, Xiaojuan Li, Zhiping Shi:
Runtime Verification of Robots Collision Avoidance Case Study. COMPSAC (1) 2018: 204-212 - [c55]Xun Jiao, Vahideh Akhlaghi, Yu Jiang, Rajesh K. Gupta:
Energy-efficient neural networks using approximate computation reuse. DATE 2018: 1223-1228 - [c54]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 - [c53]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 - [c52]Xiao Wang, Lu Xiao, Ye Yang, Xinyi Xu, Yu Jiang:
Identifying TraIn: a neglected form of socio-technical incongruence. ICSE (Companion Volume) 2018: 358-359 - [c51]Jian Gao, Xin Yang, Yu Jiang, Han Liu, Weiliang Ying, Wanting Sun, Ming Gu:
Managing concurrent testing of data race with ComRaDe. ISSTA 2018: 364-367 - [c50]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 - [c49]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 - [c48]Jian Gao, Xin Yang, Yu Jiang, Han Liu, Weiliang Ying, Xian Zhang:
Jbench: a dataset of data races for concurrency testing. MSR 2018: 6-9 - [c47]Andrew Yi-Zong Ou, Maryam Rahmaniheris, Yu Jiang, Lui Sha, Zhicheng Fu, Shangping Ren:
Safetrace: a safety-driven requirement traceability framework on device interaction hazards for MD PnP. SAC 2018: 1282-1291 - [c46]Jianmin Guo, Yu Jiang, Yue Zhao, Quan Chen, Jiaguang Sun:
DLFuzz: differential fuzzing testing of deep learning systems. ESEC/SIGSOFT FSE 2018: 739-743 - [c45]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 - [c44]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 - [c43]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 - [c42]Jie Liang, Mingzhe Wang, Yuanliang Chen, Yu Jiang, Renwei Zhang:
Fuzz testing in practice: Obstacles and solutions. SANER 2018: 562-566 - [i10]Yuanliang Chen, Yu Jiang, Jie Liang, Mingzhe Wang, Xun Jiao:
EnFuzz: From Ensemble Learning to Ensemble Fuzzing. CoRR abs/1807.00182 (2018) - [i9]Jianmin Guo, Yu Jiang, Yue Zhao, Quan Chen, Jiaguang Sun:
DLFuzz: Differential Fuzzing Testing of Deep Learning Systems. CoRR abs/1808.09413 (2018) - [i8]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
- [j13]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) - [j12]Andrew Y.-Z. Ou, Yu Jiang, Po-Liang Wu, Lui Sha, Richard B. Berlin Jr.:
Preventable Medical Errors Driven Modeling of Medical Best Practice Guidance Systems. J. Medical Syst. 41(1): 9:1-9:12 (2017) - [j11]Mohammad Hosseini, Gregorij Kurillo, Seyed Rasoul Etesami, Yu Jiang:
Towards coordinated bandwidth adaptations for hundred-scale 3D tele-immersive systems. Multim. Syst. 23(4): 421-434 (2017) - [j10]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) - [j9]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. Multim. 19(10): 2307-2321 (2017) - [c41]Chunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang, Maryam Rahmaniheris, Lui Sha:
Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study. CBMS 2017: 117-122 - [c40]Mohammad Hosseini, Richard R. Berlin, Yu Jiang, Lui Sha:
Adaptive Clinical Data Communication for Remote Monitoring in Rural Ambulance Transport. CHASE 2017: 245-246 - [c39]Cong Wang, Fei He, Xiaoyu Song, Yu Jiang, Ming Gu, Jiaguang Sun:
Assertion Recommendation for Formal Program Verification. COMPSAC (1) 2017: 154-159 - [c38]Chunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang, Lui Sha:
Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems. COMPSAC (1) 2017: 760-765 - [c37]Xun Jiao, Vincent Camus, Mattia Cacciotti, Yu Jiang, Christian C. Enz, Rajesh K. Gupta:
Combining structural and timing errors in overclocked inexact speculative adders. DATE 2017: 482-487 - [c36]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 - [c35]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 - [c34]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 - [c33]Yu Jiang, Mingzhe Wang, Han Liu, Mohammad Hosseini, Jiaguang Sun:
Dependable integrated clinical system architecture with runtime verification. ICCAD 2017: 951-956 - [c32]Andrew Y.-Z. Ou, Maryam Rahmaniheris, Yu Jiang, Po-Liang Wu, Lui Sha:
Toward safe interoperations in network connected medical cyber-physical systems using open-loop safe protocols. ICCAD 2017: 957-963 - [c31]Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, Lui Sha:
Study of Software-Related Causes in the FDA Medical Device Recalls. ICECCS 2017: 60-69 - [c30]Xinxin Li, Rui Wang, Yu Jiang, Yong Guan, Xiaojuan Li, Xiaoyu Song:
Formal Modeling and Automatic Code Synthesis for Robot System. ICECCS 2017: 146-149 - [c29]Han Liu, Chengnian Sun, Zhendong Su, Yu Jiang, Ming Gu, Jiaguang Sun:
Stochastic optimization of program obfuscation. ICSE 2017: 221-231 - [c28]Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, Han Liu:
A language model for statements of software code. ASE 2017: 682-687 - [c27]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 - [c26]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 - [i7]Mohammad Hosseini, Yu Jiang, Ali Yekkehkhany, Richard R. Berlin, Lui Sha:
A Mobile Geo-Communication Dataset for Physiology-Aware DASH in Rural Ambulance Transport. CoRR abs/1706.05288 (2017) - [i6]Mohammad Hosseini, Yu Jiang, Richard R. Berlin, Lui Sha, Houbing Song:
Towards Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances. CoRR abs/1707.04918 (2017) - 2016
- [j8]Yu Jiang, Lui Sha, Maryam Rahmaniheris, Binhua Wan, Mohammad Hosseini, Pengliu Tan, Richard B. Berlin Jr.:
Sepsis Patient Detection and Monitor Based on Auto-BN. J. Medical Syst. 40(4): 111:1-111:10 (2016) - [j7]Mohammad Hosseini, Yu Jiang, Po-Liang Wu, Richard B. Berlin Jr., Shangping Ren, Lui Sha:
A Pathophysiological Model-Driven Communication for Dynamic Distributed Medical Best Practice Guidance Systems. J. Medical Syst. 40(11): 227:1-227:17 (2016) - [c25]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 - [c24]Yu Jiang, Pengliu Tan, Houbing Song, Binhua Wan, Mohammad Hosseini, Lui Sha:
A Self-Adaptively Evolutionary Screening Approach for Sepsis Patient. CBMS 2016: 60-65 - [c23]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 - [c22]Han Liu, Yu Jiang, Huafeng Zhang, Ming Gu, Jiaguang Sun:
Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers. FM 2016: 764-771 - [c21]Hui Kong, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A. Henzinger, Yu Jiang, Christian Schilling:
Discrete Abstraction of Multiaffine Systems. HSB 2016: 128-144 - [c20]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 - [c19]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 - [c18]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 - [c17]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 - [c16]Yixiao Yang, Yu Jiang, Ming Gu, Jia-Guang Sun:
Verifying simulink stateflow model: timed automata approach. ASE 2016: 852-857 - [c15]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 - [c14]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 - [c13]Andrew Y.-Z. Ou, Yu Jiang, Po-Liang Wu, Lui Sha, Richard B. Berlin Jr.:
Using human intellectual tasks as guidelines to systematically model medical cyber-physical systems. SMC 2016: 4394-4399 - [i5]Mohammad Hosseini, Gregorij Kurillo, Seyed Rasoul Etesami, Yu Jiang:
Towards Coordinated Bandwidth Adaptations for Hundred-Scale 3D Tele-Immersive Systems. CoRR abs/1603.06083 (2016) - [i4]Hui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang, Thomas A. Henzinger:
Invariant Clusters for Hybrid Systems. CoRR abs/1605.01450 (2016) - [i3]Mohammad Hosseini, Yu Jiang, Po-Liang Wu, Richard B. Berlin Jr., Shangping Ren, Lui Sha:
A Pathophysiological Model-Driven Communication for Dynamic Distributed Medical Best Practice Guidance Systems. CoRR abs/1608.04661 (2016) - [i2]Maryam Rahmaniheris, Yu Jiang, Lui Sha:
Model-Driven Design of Clinical Guidance Systems. CoRR abs/1610.06895 (2016) - 2015
- [j6]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) - [j5]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) - [c12]Yuanyuan Hou, Rui Wang, Yu Jiang, Yong Guan, Xiaojuan Li, Zhiping Shi, Jie Zhang:
Embedded System Design with Reliability-Centric Optimization. COMPSAC 2015: 33-38 - [c11]Mohammad Hosseini, Yu Jiang, Po-Liang Wu, Richard B. Berlin Jr., Lui Sha:
SINk: A Middleware for Synchronization of Heterogeneous Software Interfaces. ARM@Middleware 2015: 2:1-2:6 - [i1]Mohammad Hosseini, Yu Jiang, Po-Liang Wu, Richard B. Berlin Jr., Lui Sha:
SINk: A Middleware for Synchronization of Heterogeneous Software Interfaces. CoRR abs/1510.05606 (2015) - 2014
- [j4]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) - [c10]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 - [c9]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 - [c8]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
- [j3]Xibin Zhao, Hehua Zhang, Yu Jiang, Songzheng Song, Xun Jiao, Ming Gu:
An Effective Heuristic-Based Approach for Partitioning. J. Appl. Math. 2013: 138037:1-138037:8 (2013) - [j2]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) - [c7]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 - [c6]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 - [c5]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 - [c4]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
- [j1]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) - [c3]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 - [c2]Hehua Zhang, Yu Jiang, Xun Jiao, Xiaoyu Song, William N. N. Hung, Ming Gu:
Reliability Analysis of PLC Systems by Bayesian Network. SERE 2012: 283-290 - 2011
- [c1]Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu:
Domain-Driven Probabilistic Analysis of Programmable Logic Controllers. ICFEM 2011: 115-130
Coauthor Index
[j47] [j46] [j43] [c111] [c104] [c102] [c100] [j41] [j39] [j33] [j32] [c99] [c91] [i20] [j28] [j25] [c77] [j23] [j21] [j20] [j19] [c69] [c67] [c66] [c65] [c64] [c62] [i14] [i12] [i11] [c54] [c53] [c50] [c49] [c46] [c45] [c44] [c43] [i9] [i8] [j13] [j10] [c39] [c33] [c29] [c28] [c27] [c23] [c22] [c18] [c17] [c16] [c15] [c14] [j6] [j5] [j4] [c10] [c9] [c8] [j2] [c7] [c6] [c5] [c4] [j1] [c3]
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-22 20:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
