Publications
Selected peer-reviewed journal articles, conference proceedings, and workshop papers.
Journal Articles
Yujian Fu and X. Zhang. An Business Oriented Framework for the Blockchain System. Blockchain: Research and Applications. 2023 (pending)
Yujian Fu, J. Fu, and X. Zhang. Formal Analysis of Solidity Program in Maude. Blockchain: Research and Applications. 2023
Yujian Fu and W. Choosilp. An Optimized Approach of Path Finding for A Smart Parking System. IEEE Access. 2023 (pending)
Yujian Fu, X. He, and Z. Dong. An Agent Oriented Framework for Multiple Robotics Systems. IJRAT, Vol. 6, Issue 1, June 2018
X. He, Z. Dong, H. Yin, Yujian Fu. A Framework for Developing Cyber-Physical Systems. IJSEKE 27(9-10): 1361-1386, 2017
Yujian Fu and W. Choosilp. Specification-based Testing on Android System. IJWMN, Vol. 9, No. 5, Oct 2017
Yujian Fu and S. Drager. Reconfiguration of Autonomous Robotics. IJRAT, Vol. 3, No. 1, 2015
Z. Dong and Yujian Fu. Runtime Verification Robotics. IJRAT, Vol. 3, No. 1, 2015
H. Ayala and Yujian Fu. Design and Implementation of BIOLOID Humanoid Robot. IJRAT, Vol. 2, No. 2, 2014
W. Choosilp, Yujian Fu. A Case Study Of Malware Detection and Removal in Android Apps. IJMNCT, Vol. 4, No. 4, 2014
Yujian Fu, L. Yan, J. Kulick, S. Drager. Formal Modeling and Verification of Security Properties of Handel C Programs. IJSSER, Vol. 3, Issue 3, July 2012
Yujian Fu, S. Li, X. He, Z. Dong, P. Bording. A Model Driven Approach for Runtime Assurance of Software Architectures. IJCN, Vol. 2, No. 5, 2010
Yujian Fu, S. Li. A Hierarchical Graph-based Testing of UML2 Sequence Diagram. IJCN, Vol. 2, No. 9, 2010
Conference & Workshop Papers
A. Gilder, W. Choosilp, M. Allen, Q. Dean, and Y. Fu. Supporting Object-oriented Design Learning Outcome Using an Android Development Project. ASEE Annual Conference, 2019
X. He, Z. Dong, Yujian Fu. A Systematic Approach For Developing Cyber Physical Systems. SEKE, 2018
Yujian Fu, W. Choosilp, and Z. Dong. Model-based Test-driven Cyber Physical System Development. IEEE Southeast Conference, 2018
X. He, Z. Dong, H. Yin, Yujian Fu. A Framework for Developing Cyber-Physical Systems. SEKE, 2017
X. He, Yujian Fu. Modeling and Analyzing Security Patterns Using High Level Petri Nets. SEKE, 2016
P. Clarke, D. Davis, R. Chang-Lau, J. Kiper, Yujian Fu, G. Walia. Using WReSTT Cyberlearning Environment in the Classroom. ASEE Annual Conference, 2017
Yujian Fu and P. Clarke. Gamification based Cyber Enabled Learning Environment of Software Testing. ASEE Annual Conference, 2016
Yujian Fu and D. Ma. Mobile Computing and Security Laboratories and Curriculum Integration. ASEE Annual Conference, 2016
Yujian Fu and M. Shuvo. Android-Based Remote Robot Control System. ASEE Annual Conference, 2016
Yujian Fu and M. Shuvo. Analyzing Adaptive Intelligent Vehicle System Using SMT Solver. CoDIT, 2016
Yujian Fu and D. Ma. Applying Mobile and Pervasive Computing Security Projects in CS Courses. FECS, 2015
Yujian Fu, H. Ayala, J. Fu. An Initial Study of Bioloid Humanoid Robot and Beyond. FECS, 2015