Follow

Theses from 2016

PDF

Applying Novelty Search to the Construction of Ensemble Systems, Hieu Kinh Le

PDF

A Case Study on Modeling Social Network Privacy Policies Using Event-B, My Nguyen Tra

PDF

Whiteboard Scanning Using Super-Resolution, Wode Ni

PDF

Pain Management: Formal Verification of an Android Application Using EventB2SQL, Graham Peter Williams

Theses from 2014

PDF

AST Indexing: A Near-Constant Time Solution to the Get-Descendants-by-Type Problem, Samuel Livingston Kelly

Theses from 2011

PDF

Evolving Robotic Desires: A New Approach to Bridging the Reality Gap, Russell Charles Toris

Translating B Machines To Java Modeling Language Specification, Danni Yu

Theses from 2010

PDF

Pathfinder in CUDA, James Andrew Doyle

Executing Formal Specifications Via Constraint Programming: Enhancing the JMLE Tool, Michael Patrick Keating