Scheduling non-preemptive tasks with strict periods in multi-core real-time systems J Chen, C Du, F Xie, B Lin Journal of Systems Architecture 90, 72-84, 2018 | 61 | 2018 |
Concolic Testing of SystemC Designs B Lin, K Cong, Z Yang, Z Liao, T Zhan, C Havlicek, F Xie The 19th International Symposium on Quality Electronic Design, 2018 | 20 | 2018 |
Allocation and Scheduling of Strictly Periodic Tasks in Multi-Core Real-Time Systems J Chen, C Du, F Xie, B Lin 22nd IEEE International Conference on Embedded and Real-Time Computing …, 2016 | 19 | 2016 |
Generating High Coverage Tests for SystemC Designs Using Symbolic Execution B Lin, Z Yang, K Cong, F Xie 2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC), 166-171, 2016 | 19 | 2016 |
SCBench: A Benchmark Design Suite for SystemC Verification and Validation B Lin, F Xie Design Automation Conference (ASP-DAC), 2018 23rd Asia and South Pacific …, 2018 | 9 | 2018 |
A Systematic Investigation of State-of-the-Art SystemC Verification B Lin, F Xie Journal of Circuits, Systems and Computers 29 (15), 2020 | 6 | 2020 |
Regression Testing of Virtual Prototypes Using Symbolic Execution B Lin, D Qian International Journal of Computer Science and Software Engineering (IJCSSE …, 2015 | 6 | 2015 |
Selective Concolic Testing for Hardware Trojan Detection in Behavioral SystemC Designs B Lin, J Chen, F Xie 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 19-24, 2020 | 4 | 2020 |
Automated Test Generation for Validating SystemC Designs B Lin Portland State University, 2021 | 1 | 2021 |
Sensitivity Analysis of the Maximum Execution Times of Strictly Periodic Tasks J Chen, C Du, F Xie, B Lin 2015 3rd Asian Pacific Conference on Mechatronics and Control Engineering …, 2015 | | 2015 |