| An extension of QSL for e-testing and its application in an offline e-testing environment Z Wang, Y Zhou, B Wang, Y Goto, J Cheng Advanced Multimedia and Ubiquitous Engineering: Future Information …, 2015 | 7 | 2015 |
| Contract-based programming for future computing with Ada 2012 B Wang, H Gao, J Cheng 2016 International Conference on Advanced Cloud and Big Data (CBD), 322-327, 2016 | 4 | 2016 |
| Providing users with suitable services of information security engineering cloud based on ISO/IEC 15408 L Xu, B Wang, N Zhang, Y Goto, J Cheng 2013 IEEE 4th International Conference on Software Engineering and Service …, 2013 | 4 | 2013 |
| Effect of ultrasonic power on wettability, porosity and mechanical properties of ultrasonic-aided laser reflow soldering B Wang, K Pan, Y Gong, Y Long, K Shi International Journal of Modern Physics B 35 (05), 2150063, 2021 | 3 | 2021 |
| Queue Operation Related Tasking Deadlocks in Ada 2012 Programs B Wang, Y Goto, J Cheng ACM SIGAda Ada Letters 34 (2), 9-25, 2015 | 3 | 2015 |
| New types of program dependences and interprocedural relations in Ada 2012 programs B Wang, Y Goto, J Cheng 2013 IEEE 4th International Conference on Software Engineering and Service …, 2013 | 3 | 2013 |
| Definition-Use Net and System Dependence Net Generators for Ada 2012 Programs and their Applications. B Wang, H Gao, J Cheng Ada User Journal 38 (1), 2017 | 2 | 2017 |
| An anticipatory reasoning-reacting system for defending against malice anticipatorily K Shi, B Wang, Y Goto, Z Zhu, J Cheng 2013 IEEE 4th International Conference on Software Engineering and Service …, 2013 | 2 | 2013 |
| Generation of system dependence nets for ada 2005 programs B Wang, K Shi, Y Goto, J Cheng 2012 IEEE International Conference on Computer Science and Automation …, 2012 | 1 | 2012 |
| A New Definition-Use Net Generator for Ada 2012 Programs B Wang, H Gao, J Cheng ACM SIGAda Ada Letters 37 (1), 9-25, 2017 | | 2017 |
| A Supporting Environment for Contract-Based Programming with Ada 2012 B Wang, H Gao, J Cheng Advanced Multimedia and Ubiquitous Engineering: FutureTech & MUE, 69-77, 2016 | | 2016 |
| A Tasking Deadlock Detector for Ada 2012 Programs B Wang, T Ekiba, Y Goto, J Cheng Advanced Multimedia and Ubiquitous Engineering: Future Information …, 2015 | | 2015 |
| ISO/IEC 15408 L Xu, B Wang, N Zhang, Y Goto | | |
