Research Commons

Browsing by Author "Malik, Robi"

Research Commons

Browsing by Author "Malik, Robi"

Sort by: Order: Results:

Co-authors for Robi Malik

Supervised by Robi Malik

Showing up to 5 theses - most recently added to Research Commons first.

  • Shaw, Adrian Mark (University of Waikato, 2014)
    This thesis expands the usage of partial order reduction methods in reducing the state space of large models in model checking. The work done can be divided into two parts. In the first part we introduce two new ample ...
  • Ware, Simon Ian (University of Waikato, 2014)
    This dissertation studies conflicts. A conflict is a bug in concurrent systems where one or more components of the system may potentially be blocked from completing their task. This dissertation investigates how nonconflicting ...