Nancy Day

Associate Professor

David R. Cheriton School of Computer Science
University of Waterloo

Theses Supervised (plus my own theses)

Amirhossein Vakili. Temporal Logic Model Checking as Automated Theorem Proving. PhD thesis, University of Waterloo, David R. Cheriton School of Computer Science, 2016. [ .pdf ]

Alma L. Juarez Dominguez. Detection of Feature Interactions in Automotive Active Safety Feature. PhD thesis, University of Waterloo, David R. Cheriton School of Computer Science, 2012. [ .pdf ]

Shahram Esmaeilsabzali. Perscriptive Semantics for Big-Step Modelling Languages. PhD thesis, University of Waterloo, David R. Cheriton School of Computer Science, 2011. [ .pdf ]

Jianwei Niu. Template Semantics: A Parameterized Approach to Semantics-Based Model Compilation. PhD thesis, University of Waterloo, School of Computer Science, 2005. [ .pdf ]

Alma L. Juarez Dominguez. Verification of DFC Call Protocol Correctness Criteria. MMath thesis, University of Waterloo, School of Computer Science, 2005. [ .pdf ]

Yun Lu. Mapping Template Semantics to SMV. MMath thesis, University of Waterloo, School of Computer Science, 2004. [ .pdf ]

Jennifer P. L. Campbell. High-level Optimization of Pipeline Design. MMath thesis, University of Waterloo, School of Computer Science, 2003. [ .pdf ]

Nancy A. Day. A Framework for Multi-Notation, Model-Oriented Requirements Analysis. PhD thesis, University of British Columbia, Department of Computer Science, October 1998. [ .pdf ]

Nancy Day. A Model Checker for Statecharts. MSc thesis, University of British Columbia, Department of Computer Science, October 1993. Appears as Technical Report CS-93-35. [ .pdf ]

Nancy Day. A Modula-2 Cross-Referencing Utility. BSc thesis, University of Western Ontario, Deparment of Computer Science, 1991.


This file was generated by bibtex2html 1.98.

David R. Cheriton School of Computer Science, University of Waterloo

Last modified on Wednesday 4th of October 2017 09:07:49 AM