Integrating UML Statechart and Collaboration Diagrams Using Hierarchical Predicate Transition Nets. - Zhijiang Dong; Xudong He (pUML, 2001)

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)

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

Incorporating real-world projects in teaching computer science courses. - Richard Detmer; Cen Li; Zhijiang Dong; Judy Hankins (ACM Southeast Regional Conference, 2010)

Build peer support network for CS2 students. - Zhijiang Dong; Cen Li; Roland H. Untch (ACM Southeast Regional Conference, 2011)

Preparation station: a practice tool for CS1 and CS2 students in peerspace. - Cen Li; Zhijiang Dong; Roland H. Untch; Divya Jagadeesh (ACM Southeast Regional Conference, 2011)

PeerSpace: An Online Peer Collaborative Learning Environment for First Year Computer Science Students. - Cen Li; Zhijiang Dong; Roland H. Untch; Nathan Reale; Michael Chasteen (CSCL, 2011)

PeerSpace - An Online Collaborative Learning Environment for Computer Science Students. - Cen Li; Zhijiang Dong; Roland H. Untch; Michael Chasteen; Nathan Reale (ICALT, 2011)

Can we teach algorithm development skills? - Jungsoon P. Yoo; Sung K. Yoo; Suk Jai Seo; Zhijiang Dong; Chrisila C. Pettey (ACM Southeast Regional Conference, 2012)

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

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)