Yu Jiang
Title
Cited by
Cited by
Year
Data-centered runtime verification of wireless medical cyber-physical system
Y Jiang, H Song, R Wang, M Gu, J Sun, L Sha
IEEE transactions on industrial informatics 13 (4), 1900-1909, 2017
702017
Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques
Y Jiang, H Zhang, Z Li, Y Deng, X Song, M Gu, J Sun
IEEE Transactions on Industrial Electronics 62 (2), 1270-1278, 2015
612015
DLFuzz: differential fuzzing testing of deep learning systems
J Guo, Y Jiang, Y Zhao, Q Chen, J Sun
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
552018
Bayesian-network-based reliability analysis of PLC systems
Y Jiang, H Zhang, X Song, X Jiao, WNN Hung, M Gu, J Sun
IEEE Transactions on Industrial Electronics 60 (11), 5325-5336, 2013
502013
SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing
M Wang, J Liang, Y Chen, Y Jiang, X Jiao, H Liu, X Zhao, J Sun
Proceedings of the 40th International Conference on Software Engineering …, 2018
432018
Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks
Y Jiang, H Zhang, H Liu, X Song, WNN Hung, M Gu, J Sun
IEEE Transaction on Parallel and Distributed Systems, 2220-2232, 2015
432015
Uncertain model and algorithm for hardware/software partitioning
Y Jiang, H Zhang, X Jiao, X Song, WNN Hung, M Gu, J Sun
2012 IEEE Computer Society Annual Symposium on VLSI, 243-248, 2012
272012
Use Runtime Verification to Improve the Quality of Medical Care Practice
Y Jiang, H Liu, H Kong, R Wang, M Hosseini, J Sun, L Sha
2016 38th ACM International Conference on Software Engineering(ICSE), 2016
262016
S-gram: towards semantic-aware security auditing for ethereum smart contracts
H Liu, C Liu, W Zhao, Y Jiang, J Sun
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
252018
From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design
Y Jiang, Y Yang, H Liu, H Kong, M Gu, J Sun, L Sha
2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016
252016
Leopard: Identifying vulnerable code for vulnerability assessment through program metrics
X Du, B Chen, Y Li, J Guo, Y Zhou, Y Liu, Y Jiang
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019
222019
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
28th {USENIX} Security Symposium ({USENIX} Security 19), 1967-1983, 2019
222019
Energy-efficient neural networks using approximate computation reuse
X Jiao, V Akhlaghi, Y Jiang, RK Gupta
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2018 …, 2018
222018
Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation
Y Jiang, H Song, Y Yang, H Liu, M Gu, Y Guan, J Sun, L Sha
ACM Transactions on Cyber-Physical Systems 3 (1), 12, 2018
202018
SLoT: A supervised learning model to predict dynamic timing errors of functional units
X Jiao, Y Jiang, A Rahimi, RK Gupta
2017 ACM Design, Automation、Test in Europe Conference、Exhibition (DATE …, 2017
202017
Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models
C Guo, S Ren, Y Jiang, PL Wu, L Sha, RB Berlin Jr
2016 7th ACM/IEEE International Conference on Cyber-Physical Systems(ICCPS), 2016
202016
An Effective Heuristic-Based Approach for Partitioning
X Zhao, H Zhang, Y Jiang, S Song, X Jiao, M Gu
Journal of Applied Mathematics 2013, 2013
202013
PAFL: extend fuzzing optimizations of single mode to industrial parallel mode
J Liang, Y Jiang, Y Chen, M Wang, C Zhou, J Sun
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
192018
VulSeeker: a semantic learning based vulnerability seeker for cross-platform binary
J Gao, X Yang, Y Fu, Y Jiang, J Sun
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
182018
Fuzz testing in practice: Obstacles and solutions
J Liang, M Wang, Y Chen, Y Jiang, R Zhang
2018 IEEE 25th International Conference on Software Analysis, Evolution and …, 2018
182018
The system can't perform the operation now. Try again later.
Articles 1–20