Zhenrong Yang

12 papers B 2C 1Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
High-degree cubature particle filter for nonlinear system with missing measurements.
Trans. Inst. Meas. Control
Zhenrong Yang, Xing Zhang, Liman Kang, Jingyao You
2024 B conf
Analyzing and Enhancing Clarification Strategies for Ambiguous References in Consumer Service Interactions.
SIGDIAL
Changling Li, Yujian Gan, Zhenrong Yang, Youyang Chen, Xinxuan Qiu, Yanni Lin, Matthew Purver, Massimo Poesio
2010 J jnl
Security Evaluation and Hardening of Free and Open Source Software (FOSS).
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
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
2008 — conf
A Hybrid Approach for Safe Memory Management in C.
AMAST
Syrine Tlili, Zhenrong Yang, Hai Zhou Ling, Mourad Debbabi
2008 — conf
Targeting Security Vulnerabilities: From Specification to Detection (Short Paper).
QSIC
Aiman Hanna, Hai Zhou Ling, Jason Furlong, Zhenrong Yang, Mourad Debbabi
2007 C conf
Team Edit Automata for Testing Security Property.
IAS
Zhenrong Yang, Aiman Hanna, Mourad Debbabi
2006 — conf
AOP Extension for Security Testing of Programs.
CCECE
Nadia Belblidia, Mourad Debbabi, Aiman Hanna, Zhenrong Yang
2003 J jnl
Tau laws for pi calculus.
Theor. Comput. Sci.
Yuxi Fu, Zhenrong Yang
2003 J jnl
Understanding the mismatch combinator in chi calculus.
Theor. Comput. Sci.
Yuxi Fu, Zhenrong Yang
2002 — conf
MPEG4 Compatible Video Browsing and Retrieval over Low Bitrate Channel.
IEEE Pacific Rim Conference on Multimedia
Chunxi Chen, Zhenrong Yang
2000 B conf
Chi Calculus with Mismatch.
CONCUR
Yuxi Fu, Zhenrong Yang
2000 — conf
The Ground Congruence for Chi Calculus.
FSTTCS
Yuxi Fu, Zhenrong Yang