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