Developing a Formal Design Analysis Framework. - Kendra M. L. Cooper; Lirong Dai 002; Yi Deng 001; Jing Dong (Software Engineering Research and Practice, 2003)

Modeling Reusable Security Aspects for Software Architectures: a Pattern Driven Approach. - Kendra M. L. Cooper; Lirong Dai 002; W. Eric Wong (SEKE, 2005)

Modelling and Performance Analysis for Security Aspects. - Kendra M. L. Cooper; Lirong Dai 002 (Software Engineering Research and Practice, 2005)

Modeling and Analysis of Non-Functional Requirements as Aspects in a UML Based Architecture Design. - Lirong Dai 002; Kendra M. L. Cooper (SNPD, 2005)

Performance modeling and analysis of software architectures: An aspect-oriented UML based approach. - Kendra M. L. Cooper; Lirong Dai 002; Yi Deng 001 (Sci. Comput. Program., 2005)

Helping to Meet the Security Needs of Enterprises: Using FDAF to Build RBAC into Software Architectures. - Lirong Dai 002; Kendra M. L. Cooper (Software Engineering Research and Practice, 2006)

Modeling and Analysis of Performance Aspects for Software Architecture: a Uml-based Approach. - Lirong Dai 002; Kendra M. L. Cooper; W. Eric Wong (Int. J. Softw. Eng. Knowl. Eng., 2006)

Modeling and performance analysis for security aspects. - Lirong Dai 002; Kendra M. L. Cooper (Sci. Comput. Program., 2006)

Towards Aspect-oriented Model-driven Code Generation in the Formal Design Analysis Framework. - Kendra M. L. Cooper; Lirong Dai 002; Sergiu Dascalu; Nehal Mehta; Sujala Velagapudi (Software Engineering Research and Practice, 2007)

Non-functional Requirement Modeling and Analysis in an Aspect-Oriented Architectural Approach. - Lirong Dai 002; Kendra M. L. Cooper (SETP, 2007)

A Survey of Modeling and Analysis Approaches for Architecting Secure Software Systems. - Lirong Dai 002; Kendra M. L. Cooper (Int. J. Netw. Secur., 2007)

Using FDAF to bridge the gap between enterprise and software architectures for security. - Lirong Dai 002; Kendra M. L. Cooper (Sci. Comput. Program., 2007)

Security Modeling and Analysis in a Software Architecture Design. - Lirong Dai 002; Kendra M. L. Cooper (SETP, 2008)

Aspect-oriented model-driven skeleton code generation: A graph-based transformation approach. - Jeannette Bennett; Kendra M. L. Cooper; Lirong Dai 002 (Sci. Comput. Program., 2010)