Zhenrong Yang

According to our database1, Zhenrong Yang authored at least 10 papers between 2000 and 2010.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2010
Security Evaluation and Hardening of Free and Open Source Software (FOSS).
ECEASST, 2010

2008
Targeting Security Vulnerabilities: From Specification to Detection (Short Paper).
Proceedings of the Eighth International Conference on Quality Software, 2008

A Hybrid Approach for Safe Memory Management in C.
Proceedings of the Algebraic Methodology and Software Technology, 2008

2007
Team Edit Automata for Testing Security Property.
Proceedings of the Third International Symposium on Information Assurance and Security, 2007

2006
AOP Extension for Security Testing of Programs.
Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

2003
Tau laws for pi calculus.
Theor. Comput. Sci., 2003

Understanding the mismatch combinator in chi calculus.
Theor. Comput. Sci., 2003

2002
MPEG4 Compatible Video Browsing and Retrieval over Low Bitrate Channel.
Proceedings of the Advances in Multimedia Information Processing, 2002

2000
The Ground Congruence for Chi Calculus.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

Chi Calculus with Mismatch.
Proceedings of the CONCUR 2000, 2000


  Loading...