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
632017
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
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
482013
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
422015
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
362018
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
352018
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
262016
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
252016
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
252012
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
212016
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
192013
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
182018
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
172018
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
172017
Verifying Simulink Stateflow Model-Timed Automata Approach
Y Yang, Y Jiang, H Song, H Liu, H Kong, M Gu, J Sun
2016 ACM/IEEE 31st International Conference on Automated Software …, 2016
162016
Symbolic Analysis of Programmable Logic Controllers
H Zhang, Y Jiang, W Hung, X Song, M Gu, J Sun
IEEE transaction on computer 63 (10), 2563-2575, 2014
162014
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
152019
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
152019
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
152018
Verification of Implementations of Cryptographic Hash Functions
D Wang, Y Jiang, H Song, F He, M Gu, J Sun
IEEE Access 5, 7816-7825, 2017
152017
The system can't perform the operation now. Try again later.
Articles 1–20