Nancy Day

Associate Professor

David R. Cheriton School of Computer Science
University of Waterloo

Technical Reports and Other Publications

Nancy A. Day and Amirhossein Vakili. Representing behavioural models with rich control structures in SMT-LIB. Technical Report CS-2015-14, University of Waterloo, David R. Cheriton School of Computer Science, 2015. [ .pdf ]

Amirhossein Vakili and Nancy A. Day. Verifying CTL-live properties of infinite state models using an SMT solver (Version 1). Technical Report CS-2014-10, University of Waterloo, David R. Cheriton School of Computer Science, 2014. [ .pdf ]

Amirhossein Vakili and Nancy A. Day. Reducing CTL-live Model Checking to Semantic Entailment in First-Order Logic (Version 1). Technical Report CS-2014-05, University of Waterloo, David R. Cheriton School of Computer Science, 2014. [ .pdf ]

Alma L. Juarez Dominguez and Nancy A. Day. Generating multiple diverse counterexamples for an efsm. Technical Report CS-2013-06, University of Waterloo, David R. Cheriton School of Computer Science, September 2013. [ .pdf ]

Alma L. Juarez Dominguez and Nancy A. Day. smv-morph: Working with cadence SMV models in Moscow ML. Technical Report CS-2012-24, University of Waterloo, David R. Cheriton School of Computer Science, December 2012. [ .pdf ]

Amirhossein Vakili and Nancy A. Day. Using model checking to analyze static properties of declarative models: Extended version. Technical Report CS-2011-22, University of Waterloo, David R. Cheriton School of Computer Science, 2011. [ .pdf ]

Fathiyeh Faghih and Nancy A. Day. Mapping big-step modeling languages to SMV. Technical Report CS-2011-29, University of Waterloo, David R. Cheriton School of Computer Science, 2011. [ .pdf ]

Fathiyeh Faghih and Nancy A. Day. Mapping big-step modeling languages to SMV (poster). In Grace Hopper Celebration of Women in Computing, 2011. [ .pdf ]

Alma L. Juarez Dominguez and Nancy A. Day. Abstraction in action: Bridging the gap between formal tools and their practical use (poster). In International System Safety Conference, September 2010. [ .pdf ]

Alma L. Juarez Dominguez and Nancy A. Day. On-the-fly counterexample abstraction for model checking invariants. Technical Report 2010-11, University of Waterloo, David R. Cheriton School of Computer Science, July 2010. [ .pdf ]

Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, , and Jianwei Niu. Big-step semantics. Technical Report CS-2009-05, University of Waterloo, David R. Cheriton School of Computer Science, February 2009. [ .pdf ]

Alma L. Juarez Dominguez, Nancy A. Day, , and Richard T. Fanson. Translating models of automotive features in Matlab's Stateflow to SMV to detect feature interactions. In International System Safety Conference, Vancouver, Canada, August 2008. [ .pdf ]

Alma L. Juarez Dominguez, Nancy A. Day, , and Richard T. Fanson. A preliminary report on tool support and methodology for feature interaction detection. Technical Report 2007-44, University of Waterloo, David R. Cheriton School of Computer Science, December 2007. [ .pdf ]

Joanne M. Atlee, Nancy A. Day, Jianwei Niu, Eunsuk Kang, Yun Lu, David Fung, and Leonard Wong. Metro: An analysis toolkit for template semantics. Technical Report CS-2006-34, University of Waterloo, David R. Cheriton School of Computer Science, September 2006. [ .pdf ]

Eunsuk Kang and Nancy A. Day. Formal verification of the A-7E software requirements using template semantics. Technical Report CS-2006-35, University of Waterloo, David R. Cheriton School of Computer Science, September 2006. [ .pdf ]

Shahram Esmaeilsabzali, Nancy A. Day, and Farhad Mavaddat. Interface automata with complex actions - extended version. Technical Report 2005-26, University of Waterloo, David R. Cheriton School of Computer Science, May 2006. [ .pdf ]

Shahram Esmaeilsabzali and Nancy A. Day. Online pricing for web service providers (position paper). In International Workshop on Economics driven Software Engineering Research (EDSER) (a workshop of ICSE), pages 37-42. ACM, 2006. [ .pdf ]

Shahram Esmaeilsabzali, Leonard Wong, and Nancy A. Day. An evaluation of metro express. Technical Report CS-2005-20, University of Waterloo, School of Computer Science, December 2005. [ .pdf ]

Nancy A. Day (editor). Proceedings of the IEEE international conference on requirements engineering (RE) doctoral consortium. Technical Report CS-2005-23, University of Waterloo, David R. Cheriton School of Computer Science, 2005. [ .pdf ]

Yun Lu, Joanne M. Atlee, Nancy A. Day, , and Jianwei Niu. Model checking template-semantics specifications. Technical Report CS-2004-20, University of Waterloo, School of Computer Science, April 2004. [ .pdf ]

Alma L. Juarez Dominguez, Wenceslas Godard, and Nancy A. Day. Model checking the distributed feature composition (DFC) architecture in SPIN. Technical Report CS-2003-40, University of Waterloo, School of Computer Science, April 2004. [ .pdf ]

Jianwei Niu, Joanne M. Atlee, and Nancy A. Day. Understanding and comparing model-based specification notations. Technical Report CS-2003-01, University of Waterloo, Department of Computer Science, February 2003. [ .pdf ]

Nancy A. Day, Mark D. Aagaard, and Meng Lou. A formal analysis of the will-retire correctness statement. Technical Report CS-2002-14, University of Waterloo, Department of Computer Science, March 2002. [ .pdf ]

Nancy A. Day, Mark D. Aagaard, , and Meng Lou. A mechanized theory for microprocessor correctness statements. Technical Report CS-2002-11, University of Waterloo, Department of Computer Science, March 2002. [ .pdf ]

Nancy A. Day, Michael R. Donat, and Jeffrey J. Joyce. Taking the hol out of HOL. Technical Report CSE-00-003, Department of Computer Science, Oregon Graduate Institute, January 2000. [ .pdf ]

Nancy A. Day, Jeffrey R. Lewis, and Byron Cook. Symbolic simulation of microprocessor models using type classes in haskell. Technical Report CSE-99-005, Department of Computer Science, Oregon Graduate Institute, June 1999. [ .pdf ]

Nancy A. Day, Jeffrey J. Joyce, and Gerry Pelletier. Formalization and analysis of the separation minima for the north atlantic region: Complete specification and analysis results. Technical Report CS-97-12, University of British Columbia, Department of Computer Science, October 1997. [ .pdf ]

Jeffrey J. Joyce and Nancy A. Day. Requirements Specification and Analysis: A Disciplined Approach. Course Notes for Certificate in Software Engineering, Continuing Studies, University of British Columbia, October 1995. Revised 1996, 1997, 1998.

Nancy A. Day. Formal specification and analysis using speccharts. In Bell-Northern Research Design Forum, December 1994.


This file was generated by bibtex2html 1.96.

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

Last modified on Tuesday 24th of January 2017 10:49:58 AM