| 2008 |
|---|
| 17 | | Sherri M. Sanders,
Cui Zhang:
Object-Z to Java/OO-Perl: A Conversion from Object-Z to Executable Skeletal Code with Dynamically Checkable Design Contracts.
SEKE 2008: 824-829 |
| 2006 |
|---|
| 16 | EE | Angela Hantelmann,
Cui Zhang:
Adding Aspect-Oriented Programming Features to C#.NET by using Multidimensional Separation of Concerns (MDSOC) Approach.
Journal of Object Technology 5(4): 59-89 (2006) |
| 2005 |
|---|
| 15 | EE | Rachel Henne-Wu,
William Mitchell,
Cui Zhang:
Support for Design by ContractTM in the CTM Programming Language.
Journal of Object Technology 4(7): 65-82 (2005) |
| 2004 |
|---|
| 14 | EE | Tao Song,
Calvin Ko,
Jim Alves-Foss,
Cui Zhang,
Karl N. Levitt:
Formal Reasoning About Intrusion Detection Systems.
RAID 2004: 278-295 |
| 13 | | Haryono,
Cui Zhang:
Adding Aspect-Oriented Programming Features to Visual Basic .NET by Using Multidimensional Separation of Concerns (MDSOC) Approach.
Software Engineering Research and Practice 2004: 441-447 |
| 2003 |
|---|
| 12 | | Cui Zhang:
Formal Semantic Specification for a Set of UML Diagrams.
Software Engineering Research and Practice 2003: 883-889 |
| 2002 |
|---|
| 11 | | Malone Wong,
Cui Zhang,
Don Warner:
The Design of a Dataflow Computer, it's Language and It's Implementation.
PDPTA 2002: 564-570 |
| 1999 |
|---|
| 10 | | Brietta O'Leary,
Cui Zhang:
Concurrent Programming for Database Processing Using Java Threads in a Client/Server Environment.
PDPTA 1999: 453-459 |
| 9 | | Cui Zhang,
Brian R. Becker,
Dave Peticolas,
Ronald A. Olsson,
Karl N. Levitt:
LVT: A Layered Verification Technique for Distributed Computing Systems.
Softw. Test., Verif. Reliab. 9(2): 107-133 (1999) |
| 8 | EE | Cui Zhang,
Ronald A. Olsson,
Karl N. Levitt:
Formal Verification of a Programming Logic for a Distributed Programming Language.
Theor. Comput. Sci. 216(1-2): 213-235 (1999) |
| 1997 |
|---|
| 7 | EE | Cui Zhang,
Brian R. Becker,
Dave Peticolas,
Mark Heckman,
Karl N. Levitt,
Ronald A. Olsson:
Verification of a Distributed Computing.
HICSS (5) 1997: 252-261 |
| 6 | | Cui Zhang,
Carole M. McNamme:
Towards an Evolutionary Verification Methodology: Experiences with a Distributed Programming Language Implementation.
PDPTA 1997: 256-264 |
| 1996 |
|---|
| 5 | | Mark Heckman,
Cui Zhang,
Brian R. Becker,
Dave Peticolas,
Karl N. Levitt,
Ronald A. Olsson:
Towards Applying the Composition Principle to Verify a Microkernel Operating System.
TPHOLs 1996: 235-250 |
| 1995 |
|---|
| 4 | | Cui Zhang,
Brian R. Becker,
Mark Heckman,
Karl N. Levitt,
Ronald A. Olsson:
A Hierarchical Method for Reasoning about Distributed Programming Languages.
TPHOLs 1995: 385-400 |
| 1993 |
|---|
| 3 | | Cui Zhang,
Robert J. Shaw,
Ronald A. Olsson,
Karl N. Levitt,
Myla Archer,
Mark Heckman,
Gregory D. Benson:
Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL.
HUG 1993: 29-42 |
| 2 | | Cui Zhang,
Qinping Zhao,
Jiafu Xu:
A Knowledge Processing Language and Its Parallel Inference System.
SEKE 1993: 199-206 |
| 1 | EE | Cui Zhang,
Richard F. Walters:
An Abstract, Shared and Persistent Data Structure for Supporting Database Management and Multilingual Natural Language Processing.
International Journal of Software Engineering and Knowledge Engineering 3(3): 369-382 (1993) |
