| Template semantics for model-based notations J Niu, JM Atlee, NA Day IEEE Transactions on Software Engineering 29 (10), 866-882, 2003 | 64 | 2003 |
| A framework for microprocessor correctness statements MD Aagaard, B Cook, NA Day, RB Jones Advanced Research Working Conference on Correct Hardware Design and …, 2001 | 51 | 2001 |
| 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 | 49 | 2003 |
| A model checker for statecharts (linking case tools with formal methods) NA Day University of British Columbia, 1993 | 39 | 1993 |
| Deconstructing the semantics of big-step modelling languages S Esmaeilsabzali, NA Day, JM Atlee, J Niu Requirements Engineering 15 (2), 235-265, 2010 | 36 | 2010 |
| 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 | 36 | 2008 |
| A model checker for statecharts N Day University of British Columbia, 1993 | 35 | 1993 |
| Temporal logic model checking in Alloy A Vakili, NA Day International Conference on Abstract State Machines, Alloy, B, VDM, and Z …, 2012 | 34 | 2012 |
| 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 | 31 | 2002 |
| Prescriptive semantics for big-step modelling languages S Esmaeilsabzali, NA Day International Conference on Fundamental Approaches to Software Engineering …, 2010 | 24 | 2010 |
| Mapping template semantics to SMV Y Lu, JM Atlee, NA Day, J Niu Proceedings. 19th International Conference on Automated Software Engineering …, 2004 | 22 | 2004 |
| Unified use case statecharts: case studies D Svetinovic, DM Berry, NA Day, MW Godfrey Requirements Engineering 12 (4), 245-264, 2007 | 21 | 2007 |
| Symbolic functional evaluation NA Day, JJ Joyce International Conference on Theorem Proving in Higher Order Logics, 341-358, 1999 | 21 | 1999 |
| S: A machine readable specification notation based on higher order logic J Joyce, N Day, M Donat HOL Users' Group Workshop, 285-299, 1994 | 21 | 1994 |
| Semantically configurable code generation A Prout, JM Atlee, NA Day, P Shaker International Conference on Model Driven Engineering Languages and Systems …, 2008 | 19 | 2008 |
| 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 | 18 | 2013 |
| A framework for multi-notation, model-oriented requirements analysis NA Day University of British Columbia, 1998 | 17 | 1998 |
| Understanding and comparing model-based specification notations J Niu, JM Atlee, NA Day Proceedings. 11th IEEE International Requirements Engineering Conference …, 2003 | 15 | 2003 |
| Interface automata with complex actions S Esmaeilsabzali, F Mavaddat, NA Day Electronic Notes in Theoretical Computer Science 159, 79-97, 2006 | 14 | 2006 |
| 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 | 13 | 2012 |
