Alena Griffiths

According to our database, Alena Griffiths authored at least 8 papers between 1996 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2002

Engineering SCADA Products for Use in Safety-Related Systems.

Brenton Atchison, Alena Griffiths

Proceedings of the Components of System Safety, 2002

Systems Assurance for the Integrated Control and Communications System for KCRC East Rail Extensions.

Alena Griffiths, Dennis Yim

Proceedings of the Safety Critical Systems and Software 2002, 2002

A Product-Based Assurance Model for Mixed-Integrity Markets.

Brenton Atchison, Alena Griffiths

Proceedings of the Safety Critical Systems and Software 2002, 2002

OptoNet - A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy.

Leesa Murray, Alena Griffiths, Paul A. Strooper

Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2002

1998

A Formal semantics to support modular reasoning in object-Z

Alena Griffiths

PhD thesis, 1998

1997

'self'-Conscious Objects in Object-Z.

Alena Griffiths

Proceedings of the TOOLS 1997: 25th International Conference on Technology of Object-Oriented Languages and Systems, 1997

Modular reasoning in Object-Z.

Alena Griffiths

Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997

1996

An Extended Semantic Foundation For Object-Z.

Alena Griffiths

Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996