Model checking of the reliability of publish/subscribe structure based system. - Yue Jia 002; Eliane L. Bodanese; John Bigham (ICCC, 2012)

Checking the robustness of a Message Oriented Middleware based system. - Yue Jia 002; Eliane L. Bodanese; John Bigham (ICUMT, 2012)

Fast and Reliable IP Recovery for Overlay Routing in Mission Critical Message Oriented Middleware. - Yue Jia 002; Chris I. Phillips 001 (CSE, 2014)

Improved reliability of large scale publish/subscribe based MOMs using model checking. - Yue Jia 002; Eliane L. Bodanese; Chris I. Phillips 001; John Bigham; Ran Tao 001 (NOMS, 2014)

Resilient and efficient delivery over message oriented middleware. - Yue Jia 002 (2014)

Video computing across trust domains based on blockchain. - Yangyang Gao; Yangyang Li; Yue Jia 002 (ACM TUR-C, 2019)