Zhijiang Dong

24 papers B 2C 7Misc 1Journal 4Unranked 10
YearRankTypeTitle / Venue / Authors
2018 C conf
A Systematic Approach for Developing Cyber Physical Systems.
SEKE
Xudong He, Zhijiang Dong, Yujian Fu
2018 J jnl
Formal Modeling and Analysis of Collaborative Humanoid Robotics.
Int. J. Robotics Appl. Technol.
Yujian Fu, Zhijiang Dong, Xudong He
2017 C conf
A Framework for Developing Cyber Physical Systems.
SEKE
Xudong He, Zhijiang Dong, Heng Yin, Yujian Fu
2017 J jnl
A Framework for Developing Cyber-Physical Systems.
Int. J. Softw. Eng. Knowl. Eng.
Xudong He, Zhijiang Dong, Heng Yin, Yujian Fu
2015 J jnl
Runtime Verification on Robotics Systems.
Int. J. Robotics Appl. Technol.
Zhijiang Dong, Yujian Fu, Yue Fu
2012 — conf
Can we teach algorithm development skills?
ACM Southeast Regional Conference
Jungsoon P. Yoo, Sung K. Yoo, Suk Jai Seo, Zhijiang Dong, Chrisila C. Pettey
2011 — conf
Build peer support network for CS2 students.
ACM Southeast Regional Conference
Zhijiang Dong, Cen Li, Roland H. Untch
2011 B conf
PeerSpace - An Online Collaborative Learning Environment for Computer Science Students.
ICALT
Cen Li, Zhijiang Dong, Roland H. Untch, Michael Chasteen, Nathan Reale
2011 — conf
PeerSpace: An Online Peer Collaborative Learning Environment for First Year Computer Science Students.
CSCL
Cen Li, Zhijiang Dong, Roland H. Untch, Nathan Reale, Michael Chasteen
2011 — conf
Preparation station: a practice tool for CS1 and CS2 students in peerspace.
ACM Southeast Regional Conference
Cen Li, Zhijiang Dong, Roland H. Untch, Divya Jagadeesh
2010 — conf
Incorporating real-world projects in teaching computer science courses.
ACM Southeast Regional Conference
Richard Detmer, Cen Li, Zhijiang Dong, Judy Hankins
2009 — conf
Modular Analysis of Software Architecture Model.
Software Engineering Research and Practice
Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He, Venkata Atluri, Sha Li
2008 — conf
Mapping Software Architecture Specification to Rewriting Logic (Short Paper).
QSIC
Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He
2007 J jnl
A Translator of Software Architecture Design from SAM to Java.
Int. J. Softw. Eng. Knowl. Eng.
Yujian Fu, Zhijiang Dong, Xudong He
2007 C conf
An Approach to Validating Translation Correctness From SAM to Java.
SEKE
Yujian Fu, Zhijiang Dong, Gonzalo Argote-Garcia, Leyuan Shi, Xudong He
2006 C conf
A Framework for Component-based System Modeling.
SEKE
Zhijiang Dong, Yujian Fu, Xudong He
2006 — conf
A Method for Realizing Software Architecture Design.
QSIC
Yujian Fu, Zhijiang Dong, Xudong He
2006 — conf
Formalizing and validating UML architecture description of web systems.
ICWE Workshops
Yujian Fu, Zhijiang Dong, Xudong He
2006 B conf
Modeling, validating and automating composition of web services.
ICWE
Yujian Fu, Zhijiang Dong, Xudong He
2005 C conf
A Methodology of Automated Realization of a Software Architecture Design.
SEKE
Yujian Fu, Zhijiang Dong, Xudong He
2005 C conf
An Approach to Validation of Software Architecture Model.
APSEC
Yujian Fu, Zhijiang Dong, Xudong He
2005 Misc conf
Automated Runtime Validation of Software Architecture Design.
ICDCIT
Zhijiang Dong, Yujian Fu, Yue Fu, Xudong He
2003 C conf
Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams.
SEKE
Zhijiang Dong, Yujian Fu, Xudong He
2001 — conf
Integrating UML Statechart and Collaboration Diagrams Using Hierarchical Predicate Transition Nets.
pUML
Zhijiang Dong, Xudong He