Publications

Journal Articles

  1. Yujian Fu and X. Zhang. An Business Oriented Framework for the Blockchain System. Blockchain: Research and Applications. 2023 (pending)
  2. Yujian Fu, J. Fu, and X. Zhang. Formal Analysis of Solidity Program in Maude. Blockchain: Research and Applications. 2023
  3. Yujian Fu and W. Choosilp. An Optimized Approach of Path Finding for A Smart Parking System. IEEE Access. 2023. (pending)
  4. Yujian Fu and X. He and Z. Dong. An Agent Oriented Framework for Multiple Robotics Systems. International Journal of Robotics Applications and Technologies (IJRAT). Vol. 6, Issue 1. June 2018
  5. X. He, Z. Dong, H. Yin, Yujian Fu. A Framework for Developing Cyber-Physical Systems. International Journal of Software Engineering and Knowledge Engineering 27(9-10): 1361-1386 (2017)
  6. Yujian Fu and W. Choosilp. Specification-based Testing on Android System. International Journal of Wireless & Mobile Networks (IJWMN) Vol. 9, No. 5, Oct 2017
  7. Yujian Fu and S. Drager. Reconfiguration of Autonomous Robotics. Special Issue on architectural Design of Advanced Swarm Robotics Systems, Part 2, International Journal of Robotics Applications and Technologies (IJRAT). Vol 3, No 1. pp 41 – 58. 2015
  8. Z. Dong and Yujian Fu. Runtime Verification Robotics. Special Issue on architectural Design of Advanced Swarm Robotics Systems, Part 2, International Journal of Robotics Applications and Technologies (IJRAT). Vol 3, No 1. pp 41 – 58. 2015
  9. H. Ayala and Yujian Fu. Design and Implementation of BIOLOID Humanoid Robot. Special Issue on architectural Design of Advanced Swarm Robotics Systems, Part 2, International Journal of Robotics Applications and Technologies (IJRAT). Vol 2, No 2. pp 78 – 93. 2014
  10. W. Choosilp, Yujian Fu. A Case Study Of Malware Detection and Removal in Android Apps. International Journal of Mobile Network Communications & Telematics, Vol. 4, No. 4, April 2014
  11. Yujian Fu, L. Yan, J. Kulick, S. Drager. Formal Modeling and Verification of Security Properties of Handel C Programs. Vol. 3. Issue 3. International Journal of Secure Software Engineering, pp. 50-65 July 2012
  12. Yujian Fu, S. Li, X. He, Z. Dong and P. Bording. A Model Driven Approach for Runtime Assurance of Software Architectures. International Journal of Computer and Network Security, Vol 2, No. 5, 2010
  13. Yujian Fu, S. Li. A Hierarchical Graph-based Testing of UML2 Sequence Diagram. International Journal of Computer and Network Security, Vol 2, No. 9, September 2010

Conference & Workshop Papers

  1. A. Gilder, W. Choosilp, M. Allen, Q. Dean, and Y. Fu. Supporting Object-oriented Design Learning Outcome Using an Android Development Project. The 125th ASEE Annual Conference & Exposition - Computers in Education Division, June 2019. Paper ID: 26280
  2. X. He, Z. Dong, Yujian Fu. A Systematic Approach For Developing Cyber Physical Systems. In Proceedings of The 30th International Conference On Software Engineering and Knowledge Engineering, July, 2018
  3. Yujian Fu, W. Choosilp, and Z. Dong. Model-based Test-driven Cyber Physical System Development. IEEE Southeast Regional Conference, April, 2018
  4. X. He, Z. Dong, H. Yin, Yujian Fu. A Framework for Developing Cyber-Physical Systems. In Proceedings of International Conference of Software Engineering and Knowledge Engineering 2017: 236-241
  5. X. He, Yujian Fu. Modeling and Analyzing Security Patterns Using High Level Petri Nets. In Proceedings of International Conference of Software Engineering and Knowledge Engineering 2016: 623-627
  6. Peter J. Clarke, Debra L. Davis, Raymond Chang-Lau, James Kiper, Yujian Fu, and Gursimran S. Walia. Using WReSTT Cyberlearning Environment in the Classroom. The 124th ASEE Annual Conference & Exposition - Computers in Education Division, June 2017. Paper ID: 20158
  7. Yujian Fu and Peter J. Clarke. Gamification based Cyber Enabled Learning Environment of Software Testing. The 123rd ASEE Annual Conference & Exposition. - Computing and Information Technologies (CIT), June 2016. Paper ID: 15359
  8. Yujian Fu and D. Ma. Mobile Computing and Security Laboratories and Curriculum Integration. The 123rd ASEE Annual Conference & Exposition. – Information and Network Security, June 2016. Paper Id: 15364
  9. Yujian Fu and M. Shuvo. Android-Based Remote Robot Control System. The 123rd ASEE Annual Conference & Exposition. – Information and Network Security, June 2016. Paper Id: 15901
  10. Yujian Fu and M. Shuvo. An Approach to Analyzing Adaptive Intelligent Vehicle System Using SMT Solver. In Proceedings of 2016 International Conference on Control, Decision and Information Technologies (CoDIT), April 6-8 2016
  11. Yujian Fu and D. Ma. Applying Mobile and Pervasive Computing Security Projects in CS Courses. The International Conference on Frontiers in Education: Computer Science and Computer Engineer (FECS’15), Las Vegas, NV, USA, July 27 – 30, 2015
  12. Yujian Fu, H. Ayala, and J. Fu. An Initial Study of Bioloid Humanoid Robot and Beyond. The International Conference on Frontiers in Education: Computer Science and Computer Engineer (FECS’15), Las Vegas, NV, USA, July 27 - 30