| Concolic testing for deep neural networks Y Sun, M Wu, W Ruan, X Huang, M Kwiatkowska, D Kroening Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 147 | 2018 |
| Testing deep neural networks Y Sun, X Huang, D Kroening, J Sharp, M Hill, R Ashmore arXiv preprint arXiv:1803.04792, 2018 | 124 | 2018 |
| A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability X Huang, D Kroening, W Ruan, J Sharp, Y Sun, E Thamo, M Wu, X Yi Computer Science Review 37, 100270, 2020 | 53* | 2020 |
| Improving the response time analysis of global fixed-priority multiprocessor scheduling Y Sun, G Lipari, N Guan, W Yi Embedded and Real-Time Computing Systems and Applications (RTCSA), 2014 IEEE …, 2014 | 27 | 2014 |
| Weakly hard schedulability analysis for fixed priority scheduling of periodic real-time tasks Y Sun, MD Natale ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-19, 2017 | 26 | 2017 |
| Parametric schedulability analysis of fixed priority real-time distributed systems Y Sun, R Soulat, G Lipari, É André, L Fribourg Formal Techniques for Safety-Critical Systems, 212-228, 2014 | 21 | 2014 |
| Global robustness evaluation of deep neural networks with provable guarantees for the hamming distance W Ruan, M Wu, Y Sun, X Huang, D Kroening, M Kwiatkowska International Joint Conference on Artificial Intelligence, 2019 | 19 | 2019 |
| Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Norm W Ruan, M Wu, Y Sun, X Huang, D Kroening, M Kwiatkowska arXiv preprint arXiv:1804.05805, 2018 | 19 | 2018 |
| Structural test coverage criteria for deep neural networks Y Sun, X Huang, D Kroening, J Sharp, M Hill, R Ashmore ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-23, 2019 | 18 | 2019 |
| On the ineffectiveness of 1/m-based interference bounds in the analysis of global EDF and FIFO scheduling A Biondi, Y Sun Real-Time Systems 54 (3), 515-536, 2018 | 16 | 2018 |
| A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor Global Fixed-Priority scheduling Y Sun, G Lipari Real-Time Systems 52 (3), 323-355, 2016 | 15 | 2016 |
| A weak simulation relation for real-time schedulability analysis of global fixed priority scheduling using linear hybrid automata Y Sun, G Lipari Proceedings of the 22nd International Conference on Real-Time Networks and …, 2014 | 15 | 2014 |
| DeepConcolic: testing and debugging deep neural networks Y Sun, X Huang, D Kroening, J Sharp, M Hill, R Ashmore 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019 | 13 | 2019 |
| Response time analysis with limited carry-in for global earliest deadline first scheduling Y Sun, G Lipari 2015 IEEE Real-Time Systems Symposium, 130-140, 2015 | 13 | 2015 |
| Verification of two real-time systems using parametric timed automata Y Sun, G Lipari, É André | 13 | 2015 |
| Task placement and selection of data consistency mechanisms for real-time multicore applications Z Al-Bayati, Y Sun, H Zeng, M Di Natale, Q Zhu, B Meyer 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 172-181, 2015 | 12 | 2015 |
| Component-based analysis of hierarchical scheduling using linear hybrid automata Y Sun, G Lipari, R Soulat, L Fribourg, N Markey 2014 IEEE 20th International Conference on Embedded and Real-Time Computing …, 2014 | 12 | 2014 |
| Multicore CPU reclaiming: parallel or sequential? L Abeni, G Lipari, A Parri, Y Sun Proceedings of the 31st Annual ACM Symposium on Applied Computing, 1877-1884, 2016 | 10 | 2016 |
| Reachability preservation based parameter synthesis for timed automata É André, G Lipari, HG Nguyen, Y Sun NASA Formal Methods Symposium, 50-65, 2015 | 10 | 2015 |
| Building better bit-blasting for floating-point problems M Brain, F Schanda, Y Sun International Conference on Tools and Algorithms for the Construction and …, 2019 | 8 | 2019 |
