Compositional noninterference from first principles Carroll Morgan Original Article 16 November 2010 Pages: 3 - 26
Formalizing a hierarchical file system Wim H. HesselinkMuhammad Ikram Lali Original Article Open access 17 December 2010 Pages: 27 - 44
Invariant diagrams with data refinement Viorel PreoteasaRalph-Johan Back Original Article 21 August 2011 Pages: 67 - 95
Experiments in program verification using Event-B Stefan HallerstedeMichael Leuschel Original Article 20 September 2011 Pages: 97 - 125
Mechanised support for sound refinement tactics Frank ZeydaMarcel OliveiraAna Cavalcanti Original Article 13 December 2011 Pages: 127 - 160