Alwen Tiu

http://users.cecs.anu.edu.au/~tiu/

2016

Separata: Isabelle tactics for Separation Algebra
by Zhe Hou, David Sanan, Alwen Tiu, Rajeev Gore and Ranald Clouston

16 Nov

A formal model for the SPARCv8 ISA and a proof of non-interference for the LEON3 processor
by Zhe Hou, David Sanan, Alwen Tiu and Yang Liu

19 Oct

2005

Formalization of a Generalized Protocol for Clock Synchronization
by Alwen Tiu

24 Jun