Exogenous Connectors for Software Components. - Kung-Kiu Lau; Perla Velasco Elizondo; Zheng Wang 015 (CBSE, 2005)

A Taxonomy of Software Component Models. - Kung-Kiu Lau; Zheng Wang 015 (EUROMICRO-SEAA, 2005)

A Software Component Model and Its Preliminary Formalisation. - Kung-Kiu Lau; Mario Ornaghi; Zheng Wang 015 (FMCO, 2005)

A Component Model for Separation of Control Flow from Computation in Component-Based Systems. - Kung-Kiu Lau; Vladyslav Ukis; Perla Velasco Elizondo; Zheng Wang 015 (ABMB, 2005)

Composing Components in Design Phase using Exogenous Connectors. - Kung-Kiu Lau; Ling Ling; Zheng Wang 015 (EUROMICRO-SEAA, 2006)

Verified component-based software in SPARK: experimental results for a missile guidance system. - Kung-Kiu Lau; Zheng Wang 015 (SIGAda, 2007)

Software Component Models. - Kung-Kiu Lau; Zheng Wang 015 (IEEE Trans. Software Eng., 2007)