Reengineering Legacy Systems with RESTful Web Service. - Yan Liu 011; Qingling Wang; Mingguang Zhuang; Yunyun Zhu (COMPSAC, 2008)

Verifying safety and liveness for the FlexTM hybrid transactional memory. - Parosh Aziz Abdulla; Sandhya Dwarkadas; Ahmed Rezine; Arrvindh Shriraman; Yunyun Zhu (DATE, 2013)

Verification of Cache Coherence Protocols wrt. Trace Filters. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Zeinab Ganjei; Ahmed Rezine; Yunyun Zhu (FMCAD, 2015)

Fencing Programs with Self-Invalidation and Self-Downgrade. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Stefanos Kaxiras; Carl Leonardsson; Alberto Ros 001; Yunyun Zhu (FORTE, 2016)

Mending Fences with Self-Invalidation and Self-Downgrade. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Stefanos Kaxiras; Carl Leonardsson; Alberto Ros 001; Yunyun Zhu (Log. Methods Comput. Sci., 2018)

Caches, Transactions and Memories: Models, Coherence and Consistency. - Yunyun Zhu (2018)

A novel SCNN-LSTM model for predicting the SNR confidence interval in wearable wireless sensor network. - Minghu Zha; Li Zhu; Yunyun Zhu; Jun Li; Tao Hu (Intell. Syst. Appl., 2024)