Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams. - Zhijiang Dong; Yujian Fu; Xudong He (SEKE, 2003)

An Approach to Validation of Software Architecture Model. - Yujian Fu; Zhijiang Dong; Xudong He (APSEC, 2005)

Automated Runtime Validation of Software Architecture Design. - Zhijiang Dong; Yujian Fu; Yue Fu; Xudong He (ICDCIT, 2005)

A Methodology of Automated Realization of a Software Architecture Design. - Yujian Fu; Zhijiang Dong; Xudong He (SEKE, 2005)

Modeling, validating and automating composition of web services. - Yujian Fu; Zhijiang Dong; Xudong He (ICWE, 2006)

Formalizing and validating UML architecture description of web systems. - Yujian Fu; Zhijiang Dong; Xudong He (ICWE Workshops, 2006)

A Method for Realizing Software Architecture Design. - Yujian Fu; Zhijiang Dong; Xudong He (QSIC, 2006)

A Framework for Component-based System Modeling. - Zhijiang Dong; Yujian Fu; Xudong He (SEKE, 2006)

An Approach to Validating Translation Correctness From SAM to Java. - Yujian Fu; Zhijiang Dong; Gonzalo Argote-Garcia; Leyuan Shi; Xudong He (SEKE, 2007)

A Translator of Software Architecture Design from SAM to Java. - Yujian Fu; Zhijiang Dong; Xudong He (Int. J. Softw. Eng. Knowl. Eng., 2007)

Mapping Software Architecture Specification to Rewriting Logic (Short Paper). - Yujian Fu; Zhijiang Dong; Junhua Ding; Xudong He (QSIC, 2008)

A Formal Approach for Translating a SAM Architecture to PROMELA. - Gonzalo Argote-Garcia; Peter J. Clarke; Xudong He; Yujian Fu; Leyuan Shi (SEKE, 2008)

Modular Analysis of Software Architecture Model. - Yujian Fu; Zhijiang Dong; Junhua Ding; Xudong He; Venkata Atluri; Sha Li (Software Engineering Research and Practice, 2009)

An Approach for Modeling and Analyzing Crosscutting Concerns. - Yujian Fu; Junhua Ding; Phil Bording (SOLI, 2009)

Modeling and Analyzing Web-based Information System. - Sriharsha Jasti; Yujian Fu; Priyanka Koneru (Software Engineering Research and Practice, 2010)

A Collaborative Interactive Cyber-learning Platform for Anywhere Anytime Java Programming Learning. - Prabir Bhattacharya; Minzhe Guo; Lixin Tao; Yujian Fu; Kai Qian (ICALT, 2011)

Formal Modeling and Verification of Security Property in Handel C Program. - Yujian Fu; Jeffery Kulick; Lok K. Yan; Steven Drager 001 (Int. J. Secur. Softw. Eng., 2012)

Modeling and Verification of Humanoid Robot Task Coordination. - Yujian Fu; Steven Drager 001 (HASE, 2014)

Integrating software testing into programming courses (WISTPC 2014) (abstract only). - Peter J. Clarke; Yujian Fu; James D. Kiper; Gursimran S. Walia (SIGCSE, 2014)

Design and Implementation of BIOLOID Humanoid Robot. - Hilberto Ayala; Yujian Fu (Int. J. Robotics Appl. Technol., 2014)

Runtime Verification on Robotics Systems. - Zhijiang Dong; Yujian Fu; Yue Fu (Int. J. Robotics Appl. Technol., 2015)

Reconfiguration of Autonomous Robotics. - Yujian Fu; Steven Drager 001 (Int. J. Robotics Appl. Technol., 2015)

An approach to analyzing adaptive intelligent vehicle system using SMT solver. - Yujian Fu; Md Hossain Shuvo (CoDIT, 2016)

Modeling and Analyzing Security Patterns Using High Level Petri Nets. - Xudong He; Yujian Fu (SEKE, 2016)

A Framework for Developing Cyber-Physical Systems. - Xudong He; Zhijiang Dong; Heng Yin 001; Yujian Fu (Int. J. Softw. Eng. Knowl. Eng., 2017)

A Systematic Approach for Developing Cyber Physical Systems. - Xudong He; Zhijiang Dong; Yujian Fu (SEKE, 2018)

Formal Modeling and Analysis of Collaborative Humanoid Robotics. - Yujian Fu; Zhijiang Dong; Xudong He (Int. J. Robotics Appl. Technol., 2018)

Enhancing Deep Knowledge Tracing via Diffusion Models for Personalized Adaptive Learning. - Ming Kuo; Shouvon Sarker; Lijun Qian; Yujian Fu; Xiangfang Li; Xishuang Dong (CoRR, 2024)

Optimizing the Number of Clusters for Billion-Scale Quantization-Based Nearest Neighbor Search. - Yujian Fu; Cheng Chen 008; Xiaohui Chen; Weng-Fai Wong; Bingsheng He (IEEE Trans. Knowl. Data Eng., 2024)

Belief System Dynamics as Network of Single Layered Neural Network. - Yujian Fu (CoRR, 2025)