Theses from 2019

Empirical Evaluation of Low-Power Wide Area Networks (LPWANs) for Internet of Things, Adam Cogen

Self-Adaptive Chaotic Mutation Operators in Evolutionary Computation, Daniel Ngo

Theses from 2018

Secure and Lightweight Communication in Heterogeneous IoT Environments, Jake Beley

Theses from 2017

Heuristic Approaches to Nonlinear 0-1 Knapsack Problems, James Midkiff

Construction of Test Problems for the 0-1 Quadratic Knapsack Problem, Peixin Sun

Theses from 2016


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


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


Whiteboard Scanning Using Super-Resolution, Wode Ni


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

Theses from 2014


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

Theses from 2011


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


Pathfinder in CUDA, James Andrew Doyle

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