An automated internet resource discovery system. - Kurt Lichtner (CASCON, 1994)

Using view-based models to formalize architecture description. - Kurt Lichtner; Paulo S. C. Alencar; Donald D. Cowan (ISAW@FSE, 1998)

A Framework for Software Architecture Verification. - Kurt Lichtner; Paulo S. C. Alencar; Donald D. Cowan (Australian Software Engineering Conference, 2000)

An Extensible Model of Architecture Description. - Kurt Lichtner; Paulo S. C. Alencar; Donald D. Cowan (SAC (1), 2000)

A Framework for Machine-Assisted Software Architecture Validation. - Kurt Lichtner (2000)