| 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 | 179 | 2018 |
| 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, 2016 | 122 | 2016 |
| 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 | 85 | 2019 |
| Vulseeker: a semantic learning based vulnerability seeker for cross-platform binary J Gao, X Yang, Y Fu, Y Jiang, J Sun 2018 33rd IEEE/ACM International Conference on Automated Software …, 2018 | 80 | 2018 |
| 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 | 77 | 2015 |
| 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 | 75 | 2018 |
| EVMFuzzer: detect EVM vulnerabilities via fuzz testing Y Fu, M Ren, F Ma, H Shi, X Yang, Y Jiang, H Li, X Shi Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019 | 67* | 2019 |
| 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 | 61 | 2013 |
| 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 | 59 | 2019 |
| S-gram: towards semantic-aware security auditing for ethereum smart contracts H Liu, C Liu, W Zhao, Y Jiang, J Sun 2018 33rd IEEE/ACM International Conference on Automated Software …, 2018 | 58 | 2018 |
| 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 | 53 | 2018 |
| 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 | 53 | 2015 |
| Energy-efficient neural networks using approximate computation reuse X Jiao, V Akhlaghi, Y Jiang, RK Gupta 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2018 | 45 | 2018 |
| 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), 1-31, 2018 | 42 | 2018 |
| EVM*: From Offline Detection to Online Reinforcement for Ethereum Virtual Machine F Ma, Y Fu, M Ren, M Wang, Y Jiang, K Zhang, H Li, X Shi 2019 IEEE 26th International Conference on Software Analysis, Evolution and …, 2019 | 37 | 2019 |
| Iterative Metric Learning for Imbalance Data Classification. N Wang, X Zhao, Y Jiang, Y Gao, K BNRist IJCAI, 2805-2811, 2018 | 36 | 2018 |
| 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 | 35 | 2018 |
| Clim: A cross-level workload-aware timing error prediction model for functional units X Jiao, A Rahimi, Y Jiang, J Wang, H Fatemi, JP De Gyvez, RK Gupta IEEE Transactions on Computers 67 (6), 771-783, 2017 | 34 | 2017 |
| From Offline Towards Real-Time Verification for Robot Systems R Wang, Y Wei, H Song, Y Jiang, Y Guan, X Song, X Li IEEE Transactions on Industrial Informatics 14 (4), 1712-1721, 2018 | 33 | 2018 |
| Safety-assured model-driven design of the multifunction vehicle bus controller Y Jiang, H Liu, H Song, H Kong, R Wang, Y Guan, L Sha IEEE Transactions on Intelligent Transportation Systems 19 (10), 3320-3333, 2018 | 33 | 2018 |
