关注
Bin Lin
标题
引用次数
引用次数
年份
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
612018
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
202018
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
192016
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
192016
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
92018
A Systematic Investigation of State-of-the-Art SystemC Verification
B Lin, F Xie
Journal of Circuits, Systems and Computers 29 (15), 2020
62020
Regression Testing of Virtual Prototypes Using Symbolic Execution
B Lin, D Qian
International Journal of Computer Science and Software Engineering (IJCSSE …, 2015
62015
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
42020
Automated Test Generation for Validating SystemC Designs
B Lin
Portland State University, 2021
12021
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
系统目前无法执行此操作,请稍后再试。
文章 1–10