[2010] [2009] [2008] [2007] [2006] [2005] [2004] [2003] [2002] [2001] [2000] [1999] [1998] [1997] [Earlier]
Amirhossein Vakili and Nancy A. Day, Using Model Checking to Analyze Static Properties of Declarative Models. To appear as a short paper in ASE 2011.
Fathiyeh Faghih and Nancy A. Day, Mapping Big-Step Modeling Languages to SMV. To appear as a poster at the Grace Hopper Celebration of Women in Computing 2011.
Shahram Esmaeilsabzali and Nancy A. Day, Semantic quality attributes for big-step modeling languages. Proceedings of FASE 2011. (acceptance rate: 29%)
Shahram Esmaeilsabzali, Nancy A. Day, and Joanne M. Atlee, A Common Framework for Synchronization in Requirements Modelling Languages. To appear in MODELs'10, Oct. 2010. (acceptance rate: 20.8%)
Adam Prout, Joanne M. Atlee, Nancy A. Day, Pourya Shaker, Code Generation for a Family of Executable Modelling Languages. To appear in Journal of Software and Systems Modeling, 2010.
Alma L. Juarez Domingues, Nancy A. Day, Abstraction in Action: Bridging the Gap Between Formal Tools and their Pratical Use. Poster, International System Safety Conference, Sep 2010.
Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, and Jianwei Niu, Deconstructing the Semantics of Big-Step Modelling Languages. In Requirements Engineering Journal 15(2) : 235-265, Springer, 2010.
Shahram Esmaeilsabzali and Nancy A. Day, Prescriptive Semantics for Big-Step Modelling Languages. In Proceeding of Fundamental Approaches to Software Engineering (FASE'10), pp. 158-172, Lecture Notes in Computer Science vol. 6013, Springer-Verlag, 2010. (acceptance rate: 25%)
Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, and Jianwei Niu, Semantic Criteria for Choosing a Language for Big-Step Models. Proceeding of 17th IEEE International Requirements Engineering Conference (RE'09), pp. 181-190, IEEE Computer Society Press, 2009. (acceptance rate: 21%)
Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, and Jianwei Niu, Big-Step Semantics. David R. Cheriton School of Computer Science, University of Waterloo, Technical Report 2009-05, Feb, 2009.
Adam Prout, Joanne M. Atlee, Nancy A. Day, and Pourya Shakar, Semantically Configurable Code Generation. In Model Driven Engineering Languages and Systems (MODELS). volume 5301 of LNCS. pp. 705--720. Springer. 2008. (acceptance rate: 21%) Distinguished Paper Award (one of two).
Alma L. Juarex Dominguez, Nancy A. Day, and Richard T. Fanson, Translating Models of Automotive Features in MatLab's Stateflow to SMV to Detect Feature Interactions In Proceedings of the 26th International System Safety Conference (ISSC 2008), Vancouver, BC, Canada. August, 2008.
Alma L. Juarez Dominguez, Nancy A. Day, and Jeffrey J. Joyce. Modelling Feature Interactions in the Automotive Domain. Modelling in Software Engineering (MiSE). (acceptance rate: 43%)
Shahram Esmaeilsabzali, Nancy A. Day, and Farhad Mavaddat. Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata, Fundamenta Informaticae 82(4) : 465-512, IOS Press, 2008.
Davor Svetinovic, Daniel M. Berry, Nancy A. Day, and Michael W. Godfrey. Unified Use Case Statecharts: Case Studies. Requirements Engineering Journal Vol. 12, No. 4, Oct 2007, p.245-264.
Joanne M. Atlee, Nancy A. Day, Jianwei Niu, Eunsuk Kang, Yun Lu, David Fung, Leonard Wong. Metro: An Analysis Toolkit for Template Semantics, David R. Cheriton School of Computer Science, University of Waterloo, Technical Report 2006-34. Sep~2006. (9 pages)
Eunsuk Kang and Nancy A. Day. Formal Verification of the A-7E Software Requirements using Template Semantics. David R. Cheriton School of Computer Science, University of Waterloo, Technical Report 2006-35. Sep~2006. (10 pages)
Alma L. Juarez Dominguez and Nancy A. Day. Compositional Reasoning for Port-based Distributed Systems, In IEEE/ACM International Conference on Automated Software Engineering (ASE). pages 376-379. IEEE Computer Society, 2005. (acceptance rate:22%)
Shahram Esmaeilsabzali, Farhad Mavaddat and Nancy A. Day. Interface Automata with Complex Actions. In Proceedings of the IPM International Workshop on Foundations of Software Engineering (FSEN 2005). volume 159 of Electronic Notes in Theoretical Computer Science. pages 79--97. 2006. (Distinguished Paper Award) (invited for submission to a special issue of Fundamenta Informaticae).
Shahram Esmaeilsabzali, Nancy A. Day, and Farhad Mavaddat. Specifying Search Queries for Web Service Discovery. In International Workshop on Service-Oriented Computing: Consequences for Engineering Requirements (SOCCER), a workshop of the IEEE International Conference on Requirements Engineering (RE), 2005.
Nancy A. Day (editor), IEEE International Conference on Requirements Engineering (RE) Doctoral Consortium 2005. (appears at UW SCS TR 2005-23)
Shahram Esmaeilsabzali, Leonard Wong, and Nancy A. Day. An Evaluation of Metro Express. School of Computer Science, University of Waterloo, Technical Report 2005-20. Dec 2005.
Yun Lu, Joanne M. Atlee, Nancy A. Day, and Jianwei Niu. Mapping Template Semantics to SMV. In IEEE/ACM International Conference on Automated Software Engineering (ASE). pages 320--325. IEEE Computer Society, 2004. (acceptance rate: 30%)
Mark D. Aagaard, Nancy A. Day, and Robert Jones. Synchronization-at-Retirement for Pipeline Verification. In International Conference on Formal Methods in Computer Aided Design (FMCAD). volume 3312 of Lecture Notes in Computer Science. pages 113-127. Springer-Verlag, 2004. (acceptance rate: 42%)
Yun Lu, Joanne M. Atlee, Nancy A. Day, and Jianwei Niu Model Checking Template-Semantics Specifications Technical Report 2004-20, School of Computer Science, April, 2004.
Alma L. Juarez Dominguez, Wenceslas Godard, and Nancy A. Day. Model Checking the Distributed Feature Composition (DFC) Architecture in SPIN. School of Computer Science, University of Waterloo, Technical Report 2003-40. Apr 2004. (57 pages)
Jianwei Niu, Joanne M. Atlee, and Nancy A. Day
Template Semantics for Model-Based Notations,
IEEE Transactions on Software Engineering (TSE), 29(10):866-882,
November, 2003.
Earlier version: Jianwei Niu, Joanne M. Atlee, and Nancy A. Day Understanding and Comparing Model-Based Specification Notations Technical Report CS-2003-01, School of Computer Science, University of Waterloo, February 7, 2003.
Mark D. Aagaard, Byron Cook, Nancy A. Day, and Robert B. Jones A Framework for Superscalar Microprocessor Correctness Statements, Software Tools for Technology Transfer, Vol. 4, No. 3., pp. 298-312, 2003. (on-line publication was in 2002)
Jianwei Niu, Joanne M. Atlee, and Nancy A. Day Understanding and Comparing Model-Based Specification Notations, International Conference on Requirements Engineering (RE) 2003 (acceptance rate: 19%)
Jennifer P. L. Campbell and Nancy A. Day High-Level Optimization of Pipeline Design, To appear in HLDVT, November, 2003.
Jianwei Niu, Joanne M. Atlee, and Nancy A. Day Composable Semantics for Model-Based Notations ,in ACM/IEEE SIGSOFT Foundations of Software Engineering (FSE) 2002. (acceptance rate: 13%) (invited for submission to special issue of IEEE Transactions on Software Engineering (TSE))
Mark D. Aagaard, Nancy A. Day, and Meng Lou, Relating Multi-step and Single-step Microprocessor Correctness Statements, in FMCAD 2002, Portland, OR, November, 2002. (received highest possible overall reviews)
Nancy A. Day, Mark D. Aagaard, and Meng Lou, A Formal Analysis of the Will-Retire Correctness Statement, Technical Report 2002-14, Department of Computer Science, March, 2002.
Nancy A. Day, Mark D. Aagaard, and Meng Lou, A Mechanized Theory for Microprocessor Correctness Statements, Technical Report 2002-11, Department of Computer Science, March, 2002.
Mark D. Aagaard, Byron Cook, Nancy A. Day, and Robert B. Jones A Framework for Microprocessor Correctness Statements, CHARME 2001, Livingston, Scotland, Sept 4-7, 2001. (acceptance rate: 43%) (invited for submission to special issue of Software Tools for Technology Transfer)
Nancy A. Day, Mark D. Aagaard, and Byron Cook, Combining Stream-based and State-based Verification Techniques for Microarchitectures in, FMCAD 2000, November, 2000.
Nancy A. Day and Jeffrey J. Joyce, A Framework for Multi-Notation Requirements Specification and Analysis, in ICRE'2000, 19-23 June 2000.
Nancy A. Day, Michael R. Donat, and Jeffrey J. Joyce, Taking the hol out of HOL, in Lfm2000, 13-15 June 2000.
Earlier version: 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.
Nancy A. Day, John Launchbury, and Jeff Lewis, Logical Abstractions in Haskell, Haskell Workshop, Paris, October, 1999.
Nancy A. Day, Jeffrey R. Lewis, and Byron Cook, Symbolic Simulation of Microprocessor Models using Type Classes in Haskell, Poster session of CHARME'99, September, Bad Herranald, Germany, September, 1999.
Extended version: 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.Nancy A. Day and Jeffrey J. Joyce, Symbolic Functional Evaluation, TPHOLs'99, Nice, France, September, 1999.
Nancy Ann Day, A Framework for Multi-Notation, Model-Oriented Requirements Analysis. PhD Thesis, Department of Computer Science, UBC, October 1998.
Jeffrey J. Joyce and Nancy A. Day, Requirements Specification and Analysis: A Disciplined Approach. Course Notes for Certificate in Software Engineering, Continuing Studies, UBC, October 1995, revised 1996, 1997, 1998.
J.H. Andrews, N. A. Day and J. J. Joyce, Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network. FORTE/PSTV'97 (1997 IFIP TC6/WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification), Osaka, Japan, November 18-21, 1997.
Nancy A. Day, Jeffrey J. Joyce, and Gerry Pelletier, Formalization and Analysis of the Separation Minima for Aircraft in the North Atlantic Region. in Lfm97: Fourth NASA Langley Formal Methods Workshop, NASA Conference Publication 3356, compiled by C. Michael Holloway and Kelly J. Hayhurst, September 1997.
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 97-12, Department of Computer Science, UBC, October, 1997.
Nancy A. Day, Formal Validation of System Specifications, ICSE19 Doctoral Consortium, 1997.
Nancy A. Day, Formal Specification and Analysis Using SpecCharts, Bell-Northern Research Design Forum, December, 1994.
J. Joyce, N. Day, and M. Donat, S: A Machine Readable Specification Notation Based on Higher Order Logic. in Proceedings of the 1994 International Meeting on Higher Order Logic Theorem Proving and its Applications, Lecture Notes in Computer Science, vol. 859, pp.285-299, Springer-Verlag, 1994.
Nancy A. Day, Formal Specification and Analysis Using SpecCharts, internal report for Bell-Northern Research, December, 1994.
Nancy Day, An Example of Linking Formal Methods with CASE Tools, in Proceedings of CASCON'93, Toronto, October 1993.
Nancy Day, A Model Checker for Statecharts, Technical Report 93-35, Department of Computer Science, UBC, October 1993 (MSc Thesis).
Nancy Day and Jeffrey Joyce The Semantics of Statecharts in HOL, in Proceedings of the 1993 International Meeting on Higher Order Logic Theorem Proving and its Applications, Lecture Notes in Computer Science, vol. 780, pp. 338-351, Springer-Verlag.
Nancy Day, A Comparison Between Statecharts and State Transition Assertions, in Proceedings of the 1992 International Workshop on Higher Order Logic Theorem Proving and its Applications, pp. 247-262, North-Holland, 1993.
Send questions or comments to Nancy Day
< nday AT cs DOT uwaterloo DOT ca >