Model Checking Security Pattern Compositions. - Jing Dong 005; Tu Peng; Yajing Zhao (QSIC, 2007)

Architecture and Design Pattern Discovery Techniques - A Review. - Jing Dong 005; Yajing Zhao; Tu Peng (Software Engineering Research and Practice, 2007)

Commutability of Design Pattern Instantiation and Integration. - Jing Dong; Tu Peng; Zongyan Qiu (TASE, 2007)

Verifying Behavioral Correctness of Design Pattern Implementation. - Tu Peng; Jing Dong 005; Yajing Zhao (SEKE, 2008)

An Adaptive User Interface Generation Framework for Web Services. - Jiang He; I-Ling Yen; Tu Peng; Jing Dong 005; Farokh B. Bastani (SERVICES II, 2008)

A Class of Optimal Frequency Hopping Sequences Based upon the Theory of Power Residues. - Daiyuan Peng; Tu Peng; Xiaohu Tang; Xianhua Niu (SETA, 2008)

A Generic Model of Enterprise Service-Oriented Architecture. - Longji Tang; Jing Dong; Tu Peng (SOSE, 2008)

A Review of Design Pattern Mining Techniques. - Jing Dong 005; Yajing Zhao; Tu Peng (Int. J. Softw. Eng. Knowl. Eng., 2009)

Ontology Classification for Semantic-Web-Based Software Engineering. - Yajing Zhao; Jing Dong 005; Tu Peng (IEEE Trans. Serv. Comput., 2009)

Automated verification of security pattern compositions. - Jing Dong 005; Tu Peng; Yajing Zhao (Inf. Softw. Technol., 2010)

Modeling enterprise service-oriented architectural styles. - Longji Tang; Jing Dong 005; Tu Peng; Wei-Tek Tsai (Serv. Oriented Comput. Appl., 2010)

On Instantiation and Integration Commutability of Design Pattern. - Jing Dong 005; Tu Peng; Yajing Zhao (Comput. J., 2011)

Formal specification and automated verification of UML2.0 sequence diagrams. - Tu Peng; Gangyi Ding (GrC, 2012)

Multi-angle Evaluations of Test Cases Based on Dynamic Analysis. - Tao Hu; Tu Peng (ADMA, 2014)

Program Verification by Reachability Searching over Dynamic Call Tree. - Tu Peng; Kai Wang (ADMA, 2014)

A Listwise Approach for Learning to Rank Based on Query Normalization Network. - Chongchong Zhu; Fusheng Jin; Yan Li; Tu Peng (GSKI (2), 2017)

Machine Learning for Analyzing Malware. - Yajie Dong; Zhenyan Liu; Yida Yan; Yong Wang 010; Tu Peng; Ji Zhang (NSS, 2017)

An Enhanced Privacy-Aware Authentication Scheme for Distributed Mobile Cloud Computing Services. - Ling Xiong; Daiyuan Peng; Tu Peng; Hongbin Liang (KSII Trans. Internet Inf. Syst., 2017)

A Lightweight Anonymous Authentication Protocol with Perfect Forward Secrecy for Wireless Sensor Networks. - Ling Xiong; Daiyuan Peng; Tu Peng; Hongbin Liang; Zhicai Liu (Sensors, 2017)

A Realistic Distributed Conditional Privacy- Preserving Authentication Scheme for Vehicular Ad Hoc Networks. - Zhicai Liu; Ling Xiong; Tu Peng; Daiyuan Peng; Hongbin Liang (IEEE Access, 2018)

A Blockchain-Based Privacy-Awareness Authentication Scheme With Efficient Revocation for Multi-Server Architectures. - Ling Xiong; Fagen Li; Shengke Zeng; Tu Peng; Zhicai Liu (IEEE Access, 2019)

An Efficient Privacy-aware Authentication Scheme for Distributed Mobile Cloud Computing Services without Bilinear Pairings. - Ling Xiong; Tu Peng; Peng Peng; Hongbin Liang; Zhicai Liu (J. Inf. Sci. Eng., 2019)

Implementation of High-Performance Blockchain Network Based on Cross-Chain Technology for IoT Applications. - Ting Lin; Xu Yang 003; Taoyi Wang; Tu Peng; Feng Xu; Shengxiong Lao; Siyuan Ma; Hanfeng Wang; Wenjiang Hao (Sensors, 2020)

An Efficient Privacy-Aware Authentication Scheme With Hierarchical Access Control for Mobile Cloud Computing Services. - Ling Xiong; Fagen Li; Mingxing He; Zhicai Liu; Tu Peng (IEEE Trans. Cloud Comput., 2022)

Privacy-Preserving Authentication Scheme With Revocability for Multi-WSN in Industrial IoT. - Ling Xiong; Tu Peng; Fagen Li; Shengke Zeng; Hanzhou Wu (IEEE Syst. J., 2023)