Jun Zhou

A Hybrid Approach to Detecting Security Defects in Programs

Jun Zhou, Qianxiang Wang, Lian Yu, 2009, 2009 Ninth International Conference on Quality Software.

Deadlock analysis of client/server programs

Jun Zhou, Kuo-Chung Tai, K. Tai, 2000, Proceedings 20th IEEE International Conference on Distributed Computing Systems.

Ontology Model-Based Static Analysis on Java Programs

Jun Zhou, Ping Li, Qianxiang Wang, 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.

Deadlock analysis of message-passing programs with identical processes

Jun Zhou, K. C. Tai, K. Tai, 2000 .

Efficient deadlock analysis of clients/server systems with two-way communication

Jun Zhou, Kuo-Chung Tai, K. Tai, 2001, Proceedings 12th International Symposium on Software Reliability Engineering.

Deadlock analysis of synchronous message-passing programs

Kuo-Chung Tai, Jun Zhou, K. Tai, 1999, 1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems.

Functional requirements and non-functional requirements : a survey

Jun Ying Zhou, Jun Zhou, 2004 .