Nancy A. Day

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 14

Top Topics

Temporal Properties

Pspace Complete

Transition Systems

Top Venues

Softw. Syst. Model.

IEEE Trans. Software Eng.

Publications

Will Boney, Barbara F. Csima, Nancy A. Day, Matthew Harrison-Trainor
Which Classes of Structures Are Both Pseudo-Elementary and Definable by an Infinitary Sentence? Bull. Symb. Log. 29 (1) (2023)
Aditya Shankar Narayanan, Dheeraj Vagavolu, Nancy A. Day, Meiyappan Nagappan
Diversity in Software Engineering Conferences and Journals. CoRR (2023)
José Serna, Nancy A. Day, Shahram Esmaeilsabzali
Dash: declarative behavioural modelling in Alloy with control state hierarchy. Softw. Syst. Model. 22 (2) (2023)
Joseph Poremba, Nancy A. Day, Amirhossein Vakili
New Techniques for Static Symmetry Breaking in Many-Sorted Finite Model Finding. IEEE Trans. Software Eng. 49 (6) (2023)
Elias Eid, Nancy A. Day
Static Profiling of Alloy Models. IEEE Trans. Software Eng. 49 (2) (2023)
Tamjid Hossain, Nancy A. Day
Dash+: Extending Alloy with Hierarchical States and Replicated Processes for Modelling Transition Systems. RE Workshops (2021)
Sabria Farheen, Nancy A. Day, Amirhossein Vakili, Ali Abbassi
Transitive-closure-based model checking (TCMC) in Alloy. Softw. Syst. Model. 19 (3) (2020)
Ali Abbassi, Nancy A. Day, Derek Rayside
Astra Version 1.0: Evaluating Translations from Alloy to SMT-LIB. CoRR (2019)
Mitchell Kember, Lynn Tran, George Gao, Nancy A. Day
Extracting counterexamples from transitive-closure-based model checking. MiSE@ICSE (2019)
Laure Millet, Nancy A. Day, Jeffrey J. Joyce
Morse: Reducing the Feature Interaction Explosion Problem using Subject Matter Knowledge as Abstract Requirements. RE (2018)
Ali Abbassi, Amin Bandali, Nancy A. Day, José Serna
. MoDRE@RE (2018)
José Serna, Nancy A. Day, Sabria Farheen
DASH: A New Language for Declarative Behavioural Requirements with Control State Hierarchy. RE Workshops (2017)
Nancy A. Day, Amirhossein Vakili
Representing hierarchical state machine models in SMT-LIB. MiSE@ICSE (2016)
Amirhossein Vakili, Nancy A. Day
Finite Model Finding Using the Logic of Equality with Uninterpreted Functions. FM (2016)
Amirhossein Vakili, Nancy A. Day
Reducing CTL-live model checking to first-order logic validity checking. FMCAD (2014)
Amirhossein Vakili, Nancy A. Day
Verifying CTL-live properties of infinite state models using an SMT solver. SIGSOFT FSE (2014)
Joanne M. Atlee, Sandy Beidu, Nancy A. Day, Fathiyeh Faghih, Pourya Shaker
Recommendations for improving the usability of formal methods for product lines. FormaliSE@ICSE (2013)
Amirhossein Vakili, Nancy A. Day
Avestan: a declarative modeling language based on SMT-LIB. MiSE (2012)
Adam Prout, Joanne M. Atlee, Nancy A. Day, Pourya Shaker
Code generation for a family of executable modelling notations. Softw. Syst. Model. 11 (2) (2012)
Amirhossein Vakili, Nancy A. Day
Temporal Logic Model Checking in Alloy. ABZ (2012)
Amirhossein Vakili, Nancy A. Day
Using model checking to analyze static properties of declarative models. ASE (2011)
Shahram Esmaeilsabzali, Nancy A. Day
Semantic Quality Attributes for Big-Step Modelling Languages. FASE (2011)
Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee
A Common Framework for Synchronization in Requirements Modelling Languages. MoDELS (2) (2010)
Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, Jianwei Niu
Deconstructing the semantics of big-step modelling languages. Requir. Eng. 15 (2) (2010)
Shahram Esmaeilsabzali, Nancy A. Day
Prescriptive Semantics for Big-Step Modelling Languages. FASE (2010)
Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, Jianwei Niu
Semantic Criteria for Choosing a Language for Big-Step Models. RE (2009)
Shahram Esmaeilsabzali, Nancy A. Day, Farhad Mavaddat
Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata. Fundam. Informaticae 82 (4) (2008)
Adam Prout, Joanne M. Atlee, Nancy A. Day, Pourya Shaker
Semantically Configurable Code Generation. MoDELS (2008)
Alma L. Juarez Dominguez, Nancy A. Day, Jeffrey J. Joyce
Modelling feature interactions in the automotive domain. MiSE (2008)
Davor Svetinovic, Daniel M. Berry, Nancy A. Day, Michael W. Godfrey
Unified use case statecharts: case studies. Requir. Eng. 12 (4) (2007)
Shahram Esmaeilsabzali, Farhad Mavaddat, Nancy A. Day
Interface Automata with Complex Actions. Electron. Notes Theor. Comput. Sci. 159 (2006)
Alma L. Juarez Dominguez, Nancy A. Day
Compositional reasoning for port-based distributed systems. ASE (2005)
Yun Lu, Joanne M. Atlee, Nancy A. Day, Jianwei Niu
Mapping Template Semantics to SMV. ASE (2004)
Mark D. Aagaard, Nancy A. Day, Robert B. Jones
Synchronization-at-Retirement for Pipeline Verification. FMCAD (2004)
Jennifer Campbell, Nancy A. Day
High-level optimization of pipeline design. HLDVT (2003)
Jianwei Niu, Joanne M. Atlee, Nancy A. Day
Understanding and Comparing Model-Based Specification Notations. RE (2003)
Mark D. Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones
A framework for superscalar microprocessor correctness statements. Int. J. Softw. Tools Technol. Transf. 4 (3) (2003)
Jianwei Niu, Joanne M. Atlee, Nancy A. Day
Template Semantics for Model-Based Notations. IEEE Trans. Software Eng. 29 (10) (2003)
Mark D. Aagaard, Nancy A. Day, Meng Lou
Relating Multi-step and Single-Step Microprocessor Correctness Statements. FMCAD (2002)
Jianwei Niu, Joanne M. Atlee, Nancy A. Day
Composable semantics for model-based notations. SIGSOFT FSE (2002)
Mark D. Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones
A Framework for Microprocessor Correctness Statements. CHARME (2001)
Nancy A. Day, Mark D. Aagaard, Byron Cook
Combining Stream-Based and State-Based Verification Techniques. FMCAD (2000)
Nancy A. Day, Jeffrey J. Joyce
A Framework for Multi-Notation Requirements Specification and Analysis. ICRE (2000)
Nancy A. Day, Jeffrey R. Lewis, Byron Cook
Symbolic Simulation of Microprocessor Models using Type Classes in Haskell. CHARME (1999)
Nancy A. Day, Jeffrey J. Joyce
Symbolic Functional Evaluation. TPHOLs (1999)
James H. Andrews, Nancy A. Day, Jeffrey J. Joyce
Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network. FORTE (1997)
Jeffrey J. Joyce, Nancy A. Day, Michael R. Donat
S: A Machine Readable Specification Notation based on Higher Order Logic. TPHOLs (1994)
Nancy A. Day, Jeffrey J. Joyce
The Semantics of Statecharts in HOL. HUG (1993)
Nancy A. Day
An example of linking formal methods with case tools: a model checker for statecharts. CASCON (1993)
Nancy A. Day
A Comparison between Statecharts and State Transition Assertions. TPHOLs (1992)