关注
Zhuo Su
Zhuo Su
在 mails.tsinghua.edu.cn 的电子邮件经过验证
标题
引用次数
引用次数
年份
EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzers
Y Chen, Y Jiang, F Ma, J Liang, M Wang, C Zhou, X Jiao, Z Su
(USENIX Security 19, CCF-A) 28th USENIX Security Symposium, 1967-1983, 2019
1412019
Code Synthesis for Dataflow-Based Embedded Software Design
Z Su, D Wang, Y Yang, Y Jiang, W Chang, L Fang, W Li, J Sun
(TCAD 21, CCF-A) IEEE Transactions on Computer-Aided Design of Integrated …, 2021
112021
MDD: A Unified Model-driven Design Framework for Embedded Control Software
Z Su, D Wang, Y Yang, Z Yu, W Chang, W Li, A Cui, Y Jiang, J Sun
(TCAD 22, CCF-A) IEEE Transactions on Computer-Aided Design of Integrated …, 2022
82022
Mercury: Instruction Pipeline Aware Code Generation for Simulink Models
Z Yu, Z Su*, Y Yang, J Liang, Y Jiang, A Cui, W Chang, R Wang
(EMSOFT 22, TCAD 22, CCF-A) IEEE Transactions on Computer-Aided Design of …, 2022
52022
HCG: Optimizing Embedded Code Generation of Simulink with SIMD Instruction Synthesis
Z Su, Z Yu, D Wang, Y Yang, Y Jiang, R Wang, W Chang, J Sun
(DAC 22, CCF-A) Proceeding of the 59th ACM/IEEE Design Automation Conference, 2022
52022
Formal Design of Multi-Function Vehicle Bus Controller
Y Jiang, M Wang, Z Su*, Y Yang, H Wang
(TITS 21, CCF-B) IEEE Transactions on Intelligent Transportation Systems 22 …, 2021
52021
PHCG: Optimizing Simulink Code Generation for Embedded System with SIMD Instructions
Z Su, D Wang, Z Yu, Y Yang, Y Jiang, R Wang, W Chang, W Li, A Cui, ...
(TCAD 23, CCF-A) IEEE Transactions on Computer-Aided Design of Integrated …, 2023
32023
Phoenix: Detect and locate resilience issues in blockchain via context-sensitive chaos
F Ma, Y Chen, Y Zhou, J Sun, Z Su, Y Jiang, J Sun, H Li
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023
22023
STCG: state-aware test case generation for simulink models
Z Su, Z Yu, D Wang, Y Yang, R Wang, W Chang, A Cui, Y Jiang
2023 60th ACM/IEEE Design Automation Conference (DAC), 1-6, 2023
22023
Building Dynamic System Call Sandbox with Partial Order Analysis
Q Zhang, C Zhou, Y Xu, Z Yin, M Wang, Z Su, C Sun, Y Jiang, J Sun
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1253-1280, 2023
12023
Code Generation Method of Data Flow Model Based on Branch Marking
Zhuo Su, Dongyan Wang, Yixiao Yang, Mingrui Zhang, Yu Jiang, Jiaguang Sun
(JOS 21, CCF-A) Journal of Software 32 (6), 1647-1662, 2021
1*2021
HSTCG: State-Aware Simulink Model Test Case Generation with Heuristic Strategy
Z Su, Z Yu, D Wang, Y Yang, R Wang, W Chang, A Cui, Y Jiang
IEEE Transactions on Software Engineering, 2024
2024
UWBAD: Towards Effective and Imperceptible Jamming Attacks Against UWB Ranging Systems with COTS Chips
Y Yang, Z Wu, Y Zhang, T Chen, J Li, J Yang, W Liu, X Zhang, R Shi, J Li, ...
arXiv preprint arXiv:2407.00682, 2024
2024
Data Coverage for Guided Fuzzing
M Wang, J Liang, C Zhou, Z Wu, J Fu, Z Su, Q Liao, B Gu, B Wu, Y Jiang
CFTCG: Test Case Generation for Simulink Model through Code Based Fuzzing
Z Su, Z Yu, D Wang, R Wang, Y Tao, Y Jiang
AccMoS: Accelerating Model Simulation for Simulink via Code Generation
Y Cheng, Z Yu, Z Su, T Chen, X Zhang, Y Jiang
Efficient Code Generation for Data-Intensive Simulink Models via Redundancy Elimination
Z Yu, Z Su, Y Jiang, A Cui, R Wang
系统目前无法执行此操作,请稍后再试。
文章 1–17