Using Ponder as a Standard Security Specification Language in Heterogeneous Networks. - Raouf Alomainy; Wei Li 025 (CAINE, 2009)

An Experimental Approach to Prove Metrics Properties. - Wei Li 025; Raouf Alomainy (Software Engineering Research and Practice, 2009)

DDS: A Formal Framework and a Software Tool to Extract Object- Oriented Design State Space and Syntax-Based Metrics. - Raouf Alomainy; Wei Li 025 (Int. J. Comput. Their Appl., 2013)