Nancy A. Day
Title
Cited by
Cited by
Year
Template semantics for model-based notations
J Niu, JM Atlee, NA Day
IEEE Transactions on Software Engineering 29 (10), 866-882, 2003
592003
A framework for microprocessor correctness statements
MD Aagaard, B Cook, NA Day, RB Jones
Advanced Research Working Conference on Correct Hardware Design and …, 2001
472001
A framework for superscalar microprocessor correctness statements
MD Aagaard, B Cook, NA Day, RB Jones
International Journal on Software Tools for Technology Transfer 4 (3), 298-312, 2003
412003
A model checker for statecharts
N Day
University of British Columbia, 1993
401993
Modelling feature interactions in the automotive domain
AL Juarez-Dominguez, NA Day, JJ Joyce
Proceedings of the 2008 international workshop on Models in software …, 2008
352008
A model checker for Statecharts (linking case tools with formal methods)
NA Day
University of British Columbia, 1993
331993
Temporal logic model checking in Alloy
A Vakili, NA Day
International Conference on Abstract State Machines, Alloy, B, VDM, and Z …, 2012
312012
Deconstructing the semantics of big-step modelling languages
S Esmaeilsabzali, NA Day, JM Atlee, J Niu
Requirements Engineering 15 (2), 235-265, 2010
302010
Relating multi-step and single-step microprocessor correctness statements
MD Aagaard, NA Day, M Lou
International Conference on Formal Methods in Computer-Aided Design, 123-141, 2002
262002
Prescriptive semantics for big-step modelling languages
S Esmaeilsabzali, NA Day
International Conference on Fundamental Approaches to Software Engineering …, 2010
232010
Symbolic functional evaluation
NA Day, JJ Joyce
International Conference on Theorem Proving in Higher Order Logics, 341-358, 1999
231999
S: A machine readable specification notation based on higher order logic
J Joyce, N Day, M Donat
HOL Users' Group Workshop, 285-299, 1994
231994
Unified use case statecharts: case studies
D Svetinovic, DM Berry, NA Day, MW Godfrey
Requirements Engineering 12 (4), 245-264, 2007
222007
Mapping template semantics to SMV
Y Lu, JM Atlee, NA Day, J Niu
Proceedings. 19th International Conference on Automated Software Engineering …, 2004
222004
Semantically configurable code generation
A Prout, JM Atlee, NA Day, P Shaker
International Conference on Model Driven Engineering Languages and Systems …, 2008
162008
Understanding and comparing model-based specification notations
J Niu, JM Atlee, NA Day
Proceedings. 11th IEEE International Requirements Engineering Conference …, 2003
152003
A framework for multi-notation, model-oriented requirements analysis
NA Day
University of British Columbia, 1998
151998
Symbolic simulation of microprocessor models using type classes in Haskell
NA Day, JR Lewis, B Cook
Advanced Research Working Conference on Correct Hardware Design and …, 1999
141999
Code generation for a family of executable modelling notations
A Prout, JM Atlee, NA Day, P Shaker
Software & Systems Modeling 11 (2), 251-272, 2012
122012
Recommendations for improving the usability of formal methods for product lines
JM Atlee, S Beidu, NA Day, F Faghih, P Shaker
2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE …, 2013
112013
The system can't perform the operation now. Try again later.
Articles 1–20