| 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 |
| 2011 | ICALT | PeerSpace - An Online Collaborative Learning Environment for Computer Science Students. | Cen Li, Zhijiang Dong, Roland H. Untch, Michael Chasteen, Nathan Reale |
| 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 |