| 2021 | RE | Dash+: Extending Alloy with Hierarchical States and Replicated Processes for Modelling Transition Systems. | Tamjid Hossain, Nancy A. Day |
| 2019 | ICSE | Extracting counterexamples from transitive-closure-based model checking. | Mitchell Kember, Lynn Tran, George Gao, Nancy A. Day |
| 2018 | RE | A Comparison of the Declarative Modelling Languages B, Dash, and TLA | Ali Abbassi, Amin Bandali, Nancy A. Day, Jos Serna |
| 2018 | RE | Morse: Reducing the Feature Interaction Explosion Problem using Subject Matter Knowledge as Abstract Requirements. | Laure Millet, Nancy A. Day, Jeffrey J. Joyce |
| 2017 | RE | DASH: A New Language for Declarative Behavioural Requirements with Control State Hierarchy. | Jos Serna, Nancy A. Day, Sabria Farheen |
| 2016 | FM | Finite Model Finding Using the Logic of Equality with Uninterpreted Functions. | Amirhossein Vakili, Nancy A. Day |
| 2016 | ICSE | Representing hierarchical state machine models in SMT-LIB. | Nancy A. Day, Amirhossein Vakili |
| 2014 | FMCAD | Reducing CTL-live model checking to first-order logic validity checking. | Amirhossein Vakili, Nancy A. Day |
| 2013 | ICSE | Recommendations for improving the usability of formal methods for product lines. | Joanne M. Atlee, Sandy Beidu, Nancy A. Day, Fathiyeh Faghih, Pourya Shaker |
| 2012 | ICSE | Avestan: a declarative modeling language based on SMT-LIB. | Amirhossein Vakili, Nancy A. Day |
| 2011 | FASE | Semantic Quality Attributes for Big-Step Modelling Languages. | Shahram Esmaeilsabzali, Nancy A. Day |
| 2010 | FASE | Prescriptive Semantics for Big-Step Modelling Languages. | Shahram Esmaeilsabzali, Nancy A. Day |
| 2010 | MODELS | A Common Framework for Synchronization in Requirements Modelling Languages. | Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee |
| 2009 | RE | Semantic Criteria for Choosing a Language for Big-Step Models. | Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, Jianwei Niu |
| 2008 | ICSE | Modelling feature interactions in the automotive domain. | Alma L. Juarez Dominguez, Nancy A. Day, Jeffrey J. Joyce |
| 2008 | MODELS | Semantically Configurable Code Generation. | Adam Prout, Joanne M. Atlee, Nancy A. Day, Pourya Shaker |
| 2004 | FMCAD | Synchronization-at-Retirement for Pipeline Verification. | Mark D. Aagaard, Nancy A. Day, Robert B. Jones |
| 2003 | RE | Understanding and Comparing Model-Based Specification Notations. | Jianwei Niu, Joanne M. Atlee, Nancy A. Day |
| 2002 | FMCAD | Relating Multi-step and Single-Step Microprocessor Correctness Statements. | Mark D. Aagaard, Nancy A. Day, Meng Lou |
| 2000 | FMCAD | Combining Stream-Based and State-Based Verification Techniques. | Nancy A. Day, Mark D. Aagaard, Byron Cook |
| 1997 | FORTE | Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network. | James H. Andrews, Nancy A. Day, Jeffrey J. Joyce |