| 2008 |
|---|
| 19 | | Adam Steele,
Xiaoping Jia:
Adversary Centered Design: Threat Modeling Using Anti-Scenarios, Anti-Use Cases and Anti-Personas.
IKE 2008: 367-370 |
| 18 | | Hongming Liu,
Xiaoping Jia,
Lizhang Qin,
Adam Steele:
A Model Transformation Framework for Model Driven Engineering.
MSVVEIS 2008: 59-70 |
| 17 | | Xiaoping Jia,
Hongming Liu,
Lizhang Qin,
Adam Steele:
Metamodel based Model Transformation Framework.
Software Engineering Research and Practice 2008: 496-502 |
| 2007 |
|---|
| 16 | EE | Barry L. Kurtz,
James B. Fenwick Jr.,
Christopher C. Ellsworth,
Xiaohong Yuan,
Adam Steele,
Xiaoping Jia:
Inter-University software engineering using web services.
SIGCSE 2007: 464-468 |
| 15 | | Hongming Liu,
Lizhang Qin,
Xiaoping Jia,
Adam Steele:
Model Transformation Framework Supported by ZOOM.
Software Engineering Research and Practice 2007: 151-158 |
| 14 | EE | Xiaoping Jia,
Adam Steele,
Lizhang Qin,
Hongming Liu,
Chris Jones:
Executable visual software modeling - the ZOOM approach.
Software Quality Journal 15(1): 27-51 (2007) |
| 2006 |
|---|
| 13 | | Hongming Liu,
Lizhang Qin,
Xiaoping Jia,
Adam Steele:
Model Transformation Based on Meta Templates.
Software Engineering Research and Practice 2006: 547-553 |
| 2005 |
|---|
| 12 | | Xiaoping Jia,
Adam Steele,
Lizhang Qin,
Hongming Liu,
Chris Jones:
Executable Visual Software Modeling - The ZOOM Approach.
Software Engineering Research and Practice 2005: 182-188 |
| 2004 |
|---|
| 11 | | Xiaoping Jia,
Adam Steele,
Hongming Liu,
Lizhang Qin,
Chris Jones:
Using ZOOM Approach to Support MDD.
Software Engineering Research and Practice 2004: 144-150 |
| 10 | | Lizhang Qin,
Xiaoping Jia,
Hongming Liu:
A Hypothesis-Based Approach to Detecting Runtime Violations.
VVEIS 2004: 60-65 |
| 2000 |
|---|
| 9 | EE | Sotiris Skevoulis,
Xiaoping Jia:
Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs.
TOOLS (37) 2000: 36-44 |
| 1999 |
|---|
| 8 | EE | Xiaoping Jia,
Sushant Sawant,
Jiangyu Zhou,
Sotiris Skevoulis:
Detecting Null Pointer Violations in Java Programs.
COMPSAC 1999: 456-461 |
| 7 | EE | Xiaoping Jia,
Sotiris Skevoulis:
A Generic Approach of Static Analysis for Detecting Runtime Errors in Java Programs.
COMPSAC 1999: 67- |
| 1998 |
|---|
| 6 | EE | Xiaoping Jia,
Sotiris Skevoulis:
Code Synthesis Based on Object-Oriented Design Models and Formal Specifications.
COMPSAC 1998: 393-399 |
| 1997 |
|---|
| 5 | EE | Xiaoping Jia:
A Pragmatic Approach to Formalizing Object-Oriented Modeling and Development.
COMPSAC 1997: 240-245 |
| 1995 |
|---|
| 4 | EE | Xiaoping Jia:
An approach to animating Z specifications.
COMPSAC 1995: 108-121 |
| 1992 |
|---|
| 3 | EE | Stephen S. Yau,
Xiaoping Jia,
Doo-Hwan Bae:
Software design methods for distributed computing systems.
Computer Communications 15(4): 213-224 (1992) |
| 1991 |
|---|
| 2 | | Stephen S. Yau,
Xiaoping Jia,
Doo-Hwan Bae:
PROOF: A Parallel Object-Oriented Functional Computation Model.
J. Parallel Distrib. Comput. 12(3): 202-212 (1991) |
| 1988 |
|---|
| 1 | EE | Stephen S. Yau,
Xiaoping Jia:
Visual languages and software specifications.
ICCL 1988: 322-328 |
