Nancy Day

Associate Professor

David R. Cheriton School of Computer Science
University of Waterloo

Theses Supervised (plus my own theses)

Note: the pdfs for many of my students' theses now appear on UW Space.

Owen Zila. Improvements to Many-Sorted Finite Model Finding using SMT Solvers. MMath thesis, University of Waterloo, David R. Cheriton School of Computer Science, 2023. [ http ]

Tamjid Hossain. Dash+: Extending Alloy with Replicated Processes for Modelling Transition Systems. MMath thesis, University of Waterloo, David R. Cheriton School of Computer Science, 2022. [ http | .pdf ]

Khadija Tariq. Linking Alloy with SMT-based Finite Model Finding. MMath thesis, University of Waterloo, David R. Cheriton School of Computer Science, 2021. [ .pdf ]

Elias Eid. Profiling Alloy Models. MMath thesis, University of Waterloo, David R. Cheriton School of Computer Science, 2021. [ .pdf ]

Amin Bandali. A Comprehensive Study of Declarative Modelling Languages. MMath thesis, University of Waterloo, David R. Cheriton School of Computer Science, 2020. [ .pdf ]

Jose Serna. Dash: Declarative Behavioural Modelling in Alloy. MMath thesis, University of Waterloo, David R. Cheriton School of Computer Science, 2019. [ .pdf ]

Joseph Poremba. Static symmetry breaking in many-sorted finite model finding, 2019. Undergrad thesis. [ arXiv | .pdf ]

Ali Abbassi. Astra: Evaluating Translations from Alloy to SMT-LIB. MMath thesis, University of Waterloo, David R. Cheriton School of Computer Science, 2018. [ .pdf ]

Sabria Farheen. Improvements to Transitive-Closure-based Model Checking in Alloy. MMath thesis, University of Waterloo, David R. Cheriton School of Computer Science, 2018. [ .pdf ]

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 ]

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

Jianwei Niu. Template Semantics: A Parameterized Approach to Semantics-Based Model Compilation. PhD 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.99.

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

Last modified on Friday 5th of January 2024 12:14:27 PM