Formal Object-Oriented Analysis and Design of an Online Ticketing System. - Xiaoshan Li; Zhiming Liu 001; Zhensheng Guo (APSEC, 2001)

Identification of Security-Safety Requirements for the Outdoor Robot RAVON Using Safety Analysis Techniques. - Zhensheng Guo; Dirk Zeckzer; Peter Liggesmeyer; Oliver Mäckel (ICSEA, 2010)

Research on the Yield Formation Characteristics of Zheng-Wheat 7698 under the Super-High Yield Condition. - Wei Tian; Zhensheng Guo; Yanxia Liu; Shenju Zhang (ICDMA, 2011)

Safe requirements engineering: a scenario-based approach for identifying complete safety-oriented requirements. - Zhensheng Guo (2015)

DPN - Dependability Priority Numbers. - Zhensheng Guo; Marc Zeller (IMBSA, 2019)