| 2025 | ICDE | Vista: Vector Indexing and Search for Large-Scale Imbalanced Datasets. | Yujian Fu, Cheng Chen, Yao Chen, Weng-Fai Wong, Bingsheng He |
| 2018 | SEKE | A Systematic Approach for Developing Cyber Physical Systems. | Xudong He, Zhijiang Dong, Yujian Fu |
| 2017 | SEKE | A Framework for Developing Cyber Physical Systems. | Xudong He, Zhijiang Dong, Heng Yin, Yujian Fu |
| 2016 | CoDIT | An approach to analyzing adaptive intelligent vehicle system using SMT solver. | Yujian Fu, Md Hossain Shuvo |
| 2016 | SEKE | Modeling and Analyzing Security Patterns Using High Level Petri Nets. | Xudong He, Yujian Fu |
| 2014 | SIGCSE | Integrating software testing into programming courses (WISTPC 2014) (abstract only). | Peter J. Clarke, Yujian Fu, James D. Kiper, Gursimran S. Walia |
| 2011 | ICALT | A Collaborative Interactive Cyber-learning Platform for Anywhere Anytime Java Programming Learning. | Prabir Bhattacharya, Minzhe Guo, Lixin Tao, Yujian Fu, Kai Qian |
| 2008 | SEKE | A Formal Approach for Translating a SAM Architecture to PROMELA. | Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He, Yujian Fu, Leyuan Shi |
| 2007 | SEKE | An Approach to Validating Translation Correctness From SAM to Java. | Yujian Fu, Zhijiang Dong, Gonzalo Argote-Garcia, Leyuan Shi, Xudong He |
| 2006 | ICWE | Modeling, validating and automating composition of web services. | Yujian Fu, Zhijiang Dong, Xudong He |
| 2006 | ICWE | Formalizing and validating UML architecture description of web systems. | Yujian Fu, Zhijiang Dong, Xudong He |
| 2006 | SEKE | A Framework for Component-based System Modeling. | Zhijiang Dong, Yujian Fu, Xudong He |
| 2005 | APSEC | An Approach to Validation of Software Architecture Model. | Yujian Fu, Zhijiang Dong, Xudong He |
| 2005 | ICDCIT | Automated Runtime Validation of Software Architecture Design. | Zhijiang Dong, Yujian Fu, Yue Fu, Xudong He |
| 2005 | SEKE | A Methodology of Automated Realization of a Software Architecture Design. | Yujian Fu, Zhijiang Dong, Xudong He |
| 2003 | SEKE | Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams. | Zhijiang Dong, Yujian Fu, Xudong He |