An Extended Semantic Foundation For Object-Z. - Alena Griffiths (APSEC, 1996)

Modular reasoning in Object-Z. - Alena Griffiths (APSEC, 1997)

'self'-Conscious Objects in Object-Z. - Alena Griffiths (TOOLS (25), 1997)

A Formal semantics to support modular reasoning in object-Z - Alena Griffiths (1998)

OptoNet - A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy. - Leesa Murray; Alena Griffiths; Paul A. Strooper (ICECCS, 2002)

A Product-Based Assurance Model for Mixed-Integrity Markets. - Brenton Atchison; Alena Griffiths (SCS, 2002)

Systems Assurance for the Integrated Control and Communications System for KCRC East Rail Extensions. - Alena Griffiths; Dennis Yim (SCS, 2002)

Engineering SCADA Products for Use in Safety-Related Systems. - Brenton Atchison; Alena Griffiths (SSS, 2002)