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 20 to 30 of 30
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