Nancy A. Day - RankMe

53 papers A* 3A 4B 7C 4Journal 15Unranked 19

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