![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Nancy A. Day
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j11]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): 1-18 (2023) - [j10]José Serna, Nancy A. Day
, Shahram Esmaeilsabzali:
Dash: declarative behavioural modelling in Alloy with control state hierarchy. Softw. Syst. Model. 22(2): 733-749 (2023) - [j9]Elias Eid, Nancy A. Day
:
Static Profiling of Alloy Models. IEEE Trans. Software Eng. 49(2): 743-759 (2023) - [j8]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): 3487-3503 (2023) - [i2]Aditya Shankar Narayanan, Dheeraj Vagavolu, Nancy A. Day, Meiyappan Nagappan:
Diversity in Software Engineering Conferences and Journals. CoRR abs/2310.16132 (2023) - 2021
- [c37]Tamjid Hossain, Nancy A. Day:
Dash+: Extending Alloy with Hierarchical States and Replicated Processes for Modelling Transition Systems. RE Workshops 2021: 21-29 - 2020
- [j7]Sabria Farheen, Nancy A. Day, Amirhossein Vakili, Ali Abbassi:
Transitive-closure-based model checking (TCMC) in Alloy. Softw. Syst. Model. 19(3): 721-740 (2020)
2010 – 2019
- 2019
- [c36]Mitchell Kember, Lynn Tran, George Gao, Nancy A. Day:
Extracting counterexamples from transitive-closure-based model checking. MiSE@ICSE 2019: 47-54 - [e1]Stefania Gnesi, Nico Plat, Nancy A. Day, Matteo Rossi:
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019. IEEE / ACM 2019, ISBN 978-1-7281-3373-7 [contents] - [i1]Ali Abbassi, Nancy A. Day, Derek Rayside:
Astra Version 1.0: Evaluating Translations from Alloy to SMT-LIB. CoRR abs/1906.05881 (2019) - 2018
- [c35]Ali Abbassi, Amin Bandali, Nancy A. Day, José Serna:
A Comparison of the Declarative Modelling Languages B, Dash, and TLA+. MoDRE@RE 2018: 11-20 - [c34]Laure Millet, Nancy A. Day, Jeffrey J. Joyce:
Morse: Reducing the Feature Interaction Explosion Problem using Subject Matter Knowledge as Abstract Requirements. RE 2018: 251-261 - 2017
- [c33]José Serna, Nancy A. Day, Sabria Farheen:
DASH: A New Language for Declarative Behavioural Requirements with Control State Hierarchy. RE Workshops 2017: 64-68 - 2016
- [c32]Amirhossein Vakili, Nancy A. Day:
Finite Model Finding Using the Logic of Equality with Uninterpreted Functions. FM 2016: 677-693 - [c31]Nancy A. Day, Amirhossein Vakili:
Representing hierarchical state machine models in SMT-LIB. MiSE@ICSE 2016: 67-73 - 2014
- [c30]Amirhossein Vakili, Nancy A. Day:
Reducing CTL-live model checking to first-order logic validity checking. FMCAD 2014: 215-218 - [c29]Amirhossein Vakili, Nancy A. Day:
Verifying CTL-live properties of infinite state models using an SMT solver. SIGSOFT FSE 2014: 213-223 - 2013
- [c28]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: 43-49 - 2012
- [j6]Adam Prout, Joanne M. Atlee, Nancy A. Day, Pourya Shaker:
Code generation for a family of executable modelling notations. Softw. Syst. Model. 11(2): 251-272 (2012) - [c27]Amirhossein Vakili, Nancy A. Day:
Temporal Logic Model Checking in Alloy. ABZ 2012: 150-163 - [c26]Amirhossein Vakili, Nancy A. Day:
Avestan: a declarative modeling language based on SMT-LIB. MiSE 2012: 36-42 - 2011
- [c25]Shahram Esmaeilsabzali, Nancy A. Day:
Semantic Quality Attributes for Big-Step Modelling Languages. FASE 2011: 65-80 - [c24]Amirhossein Vakili, Nancy A. Day:
Using model checking to analyze static properties of declarative models. ASE 2011: 428-431 - 2010
- [j5]Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, Jianwei Niu:
Deconstructing the semantics of big-step modelling languages. Requir. Eng. 15(2): 235-265 (2010) - [c23]Shahram Esmaeilsabzali, Nancy A. Day:
Prescriptive Semantics for Big-Step Modelling Languages. FASE 2010: 158-172 - [c22]Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee:
A Common Framework for Synchronization in Requirements Modelling Languages. MoDELS (2) 2010: 198-212
2000 – 2009
- 2009
- [c21]Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, Jianwei Niu:
Semantic Criteria for Choosing a Language for Big-Step Models. RE 2009: 181-190 - 2008
- [j4]Shahram Esmaeilsabzali, Nancy A. Day, Farhad Mavaddat:
Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata. Fundam. Informaticae 82(4): 465-512 (2008) - [c20]Alma L. Juarez Dominguez, Nancy A. Day, Jeffrey J. Joyce:
Modelling feature interactions in the automotive domain. MiSE 2008: 45-50 - [c19]Adam Prout, Joanne M. Atlee, Nancy A. Day, Pourya Shaker:
Semantically Configurable Code Generation. MoDELS 2008: 705-720 - 2007
- [j3]Davor Svetinovic, Daniel M. Berry, Nancy A. Day, Michael W. Godfrey:
Unified use case statecharts: case studies. Requir. Eng. 12(4): 245-264 (2007) - 2005
- [c18]Alma L. Juarez Dominguez, Nancy A. Day:
Compositional reasoning for port-based distributed systems. ASE 2005: 376-379 - [c17]Shahram Esmaeilsabzali, Farhad Mavaddat, Nancy A. Day:
Interface Automata with Complex Actions. FSEN 2005: 79-97 - 2004
- [c16]Mark D. Aagaard, Nancy A. Day, Robert B. Jones:
Synchronization-at-Retirement for Pipeline Verification. FMCAD 2004: 113-127 - [c15]Yun Lu, Joanne M. Atlee, Nancy A. Day, Jianwei Niu:
Mapping Template Semantics to SMV. ASE 2004: 320-325 - 2003
- [j2]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): 298-312 (2003) - [j1]Jianwei Niu, Joanne M. Atlee, Nancy A. Day:
Template Semantics for Model-Based Notations. IEEE Trans. Software Eng. 29(10): 866-882 (2003) - [c14]Jennifer Campbell, Nancy A. Day:
High-level optimization of pipeline design. HLDVT 2003: 43-48 - [c13]Jianwei Niu, Joanne M. Atlee, Nancy A. Day:
Understanding and Comparing Model-Based Specification Notations. RE 2003: 188-199 - 2002
- [c12]Mark D. Aagaard, Nancy A. Day, Meng Lou:
Relating Multi-step and Single-Step Microprocessor Correctness Statements. FMCAD 2002: 123-141 - [c11]Jianwei Niu, Joanne M. Atlee, Nancy A. Day:
Composable semantics for model-based notations. SIGSOFT FSE 2002: 149-158 - 2001
- [c10]Mark D. Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones:
A Framework for Microprocessor Correctness Statements. CHARME 2001: 433-448 - 2000
- [c9]Nancy A. Day, Mark D. Aagaard, Byron Cook:
Combining Stream-Based and State-Based Verification Techniques. FMCAD 2000: 126-142 - [c8]Nancy A. Day, Jeffrey J. Joyce:
A Framework for Multi-Notation Requirements Specification and Analysis. ICRE 2000: 39-48
1990 – 1999
- 1999
- [c7]Nancy A. Day, Jeffrey R. Lewis, Byron Cook:
Symbolic Simulation of Microprocessor Models using Type Classes in Haskell. CHARME 1999: 346-349 - [c6]Nancy A. Day, Jeffrey J. Joyce:
Symbolic Functional Evaluation. TPHOLs 1999: 341-358 - 1997
- [c5]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: 417-432 - 1994
- [c4]Jeffrey J. Joyce, Nancy A. Day, Michael R. Donat:
S: A Machine Readable Specification Notation based on Higher Order Logic. TPHOLs 1994: 285-299 - 1993
- [c3]Nancy A. Day:
An example of linking formal methods with case tools: a model checker for statecharts. CASCON 1993: 97-107 - [c2]Nancy A. Day, Jeffrey J. Joyce:
The Semantics of Statecharts in HOL. HUG 1993: 338-351 - 1992
- [c1]Nancy A. Day:
A Comparison between Statecharts and State Transition Assertions. TPHOLs 1992: 247-262
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-26 18:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint