Alwen Tiu

Homepages 🌐

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

E-Mails 📧

• gs.ude.utn @uiTA

Entries

2016

Separata: Isabelle tactics for Separation Algebra

by Zhe Hou 📧, David Sanan 📧, Alwen Tiu 📧, Rajeev Gore 📧 and Ranald Clouston 📧

Nov 16

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 📧

Oct 19

2005

Formalization of a Generalized Protocol for Clock Synchronization

by Alwen Tiu 🌐

Jun 24