Skip navigation
Skip navigation
A change is coming. Click to see a sneak peek of the new Open Research Repository.

Browsing by Author Norrish, Michael

0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Or enter first few letters:  
Showing results 13 to 30 of 30

Mechanisation of AKS algorithm: Part 1 - The main theorem

Author(s)Chan, Hing Lun (Joseph); Norrish, Michael
TypeConference paper
Date Published2015
Date Created24 August 2015 through 27 August 2015

Mechanisation of PDA and Grammar Equivalence for Context-Free Languages

Author(s)Barthwal, Aditi; Norrish, Michael
TypeConference paper
Date Published2010
Date CreatedJuly 16 2010

Mechanised Computability Theory

Author(s)Norrish, Michael
TypeConference paper
Date Published2011
Date CreatedAugust 22-25 2011

Mechanising lambda-calculus using a classical first order theory of terms with permutations

Author(s)Norrish, Michael
TypeJournal article
Date Published2006
Date Created-

Mind the Gap: Verification Framework for Low-Level C

Author(s)Winwood, Simon; Klein, Gerwin; Sewell, Thomas, et al
TypeConference paper
Date Published2009
Date CreatedAugust 17-20 2009

(Nominal) Unification by Recursive Descent with Triangular Substitutions

Author(s)Kumar, Ramana; Norrish, Michael
TypeConference paper
Date Published2010
Date CreatedJuly 11 2010

Ordinals in HOL: Transfinite Arithmetic up to (and Beyond) ω1

Author(s)Norrish, Michael; Huffman, Brian
TypeBook chapter
Date Published2013
Date Created-
05_Norrish_Proof_pearl:_de_Bruijn_terms_2007.pdf.jpg

Proof pearl: de Bruijn terms really do work

Author(s)Norrish, Michael; Vestergaard, Rene
TypeBook chapter
Date Published2007
Date Created-

Proof pearl: using combinators to manipulate let-expressions in proof

Author(s)Norrish, Michael; Slind, Konrad
TypeBook chapter
Date Published2005
Date Created-

Recursive function definition for types with binders

Author(s)Norrish, Michael
TypeBook chapter
Date Published2004
Date Created-

Rewriting Conversions Implemented with Continuations

Author(s)Norrish, Michael
TypeJournal article
Date Published2009
Date Created-

Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets

Author(s)Bishop, Steve; Fairbairn, Matthew; Norrish, Michael, et al
TypeJournal article
Date Published2005
Date Created-

SeL4: Formal verification of an operating-system kernel

Author(s)Klein, Gerwin; Andronick, June; Elphinstone, Kevin, et al
TypeJournal article
Date Published2010
Date Created-

seL4: Formal Verification of an OS Kernel

Author(s)Klein, Gerwin; Elphinstone, Kevin; Heiser, Gernot, et al
TypeConference paper
Date Published2009
Date CreatedOctober 11-14 2009

Tableaux for Verification of Data-Centric Processes

Author(s)Bauer, Andreas; Baumgartner, Peter; Diller, Martin, et al
TypeConference paper
Date Published2013
Date CreatedSeptember 16-19 2013

Types, bytes, and separation logic

Author(s)Tuch, Harvey; Klein, Gerwin; Norrish, Michael
TypeConference paper
Date Published2007
Date CreatedJanuary 17-19 2007

Verified over-approximation of the diameter of propositionally factored transition systems

Author(s)Mansour (Abdulaziz), Mohammad; Gretton, Charles; Norrish, Michael
TypeConference paper
Date Published2015
Date Created24 August 2015 through 27 August 2015

Verified, Executable Parsing

Author(s)Barthwal, Aditi; Norrish, Michael
TypeBook chapter
Date Published2009
Date Created-

Updated:  12 April 2016/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator