Zhenrong Yang

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

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

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

Robert Charpentier, Mourad Debbabi, Dima Alhadidi, Azzam Mourad, Nadia Belblidia, Amine Boukhtouta, Aiman Hanna, Rachid Hadjidj, Hakim Idrissi Kaitouni, Marc-André Laverdière, Hai Zhou Ling, Syrine Tlili, Xiaochun Yang, Zhenrong Yang

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

2008

Targeting Security Vulnerabilities: From Specification to Detection (Short Paper).

Aiman Hanna, Hai Zhou Ling, Jason Furlong, Zhenrong Yang, Mourad Debbabi

Proceedings of the Eighth International Conference on Quality Software, 2008

A Hybrid Approach for Safe Memory Management in C.

Syrine Tlili, Zhenrong Yang, Hai Zhou Ling, Mourad Debbabi

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Team Edit Automata for Testing Security Property.

Zhenrong Yang, Aiman Hanna, Mourad Debbabi

Proceedings of the Third International Symposium on Information Assurance and Security, 2007

2006

AOP Extension for Security Testing of Programs.

Nadia Belblidia, Mourad Debbabi, Aiman Hanna, Zhenrong Yang

Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

2003

Tau laws for pi calculus.

Yuxi Fu, Zhenrong Yang

Theor. Comput. Sci., 2003

Understanding the mismatch combinator in chi calculus.

Yuxi Fu, Zhenrong Yang

Theor. Comput. Sci., 2003

2002

MPEG4 Compatible Video Browsing and Retrieval over Low Bitrate Channel.

Chunxi Chen, Zhenrong Yang

Proceedings of the Advances in Multimedia Information Processing, 2002

2000

The Ground Congruence for Chi Calculus.

Yuxi Fu, Zhenrong Yang

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

Chi Calculus with Mismatch.

Yuxi Fu, Zhenrong Yang

Proceedings of the CONCUR 2000, 2000