Concepedia

Nancy A. Day

NA

Statistics

Publications

13

Citations

290

H-Index

12

Active since

1974

Affiliations

University of Waterloo(Current)

Nancy A. Day is an author at University of Waterloo specializing in engineering, formal verification, and computer science.

Top concepts

EngineeringFormal VerificationFormal MethodsComputer ScienceProgram AnalysisSoftware DesignSoftware AnalysisSystems EngineeringSoftware EngineeringSemantics

Publications per year

1974–2013

13

Publications

13

Template semantics for model-based notations

Jianwei Niu, Joanne M. Atlee, Nancy A. Day · IEEE Transactions on Software Engineering · 2003 · 57 citations

Engineering, Modeling Notation, Computer Architecture +21

A framework for superscalar microprocessor correctness statements

Mark D. Aagaard, Byron Cook, Nancy A. Day et al. · International Journal on Software Tools for Technology Transfer · 2003 · 35 citations

Engineering, Hardware Verification Language, Program Analysis +8

Deconstructing the semantics of big-step modelling languages

Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee et al. · Requirements Engineering · 2010 · 32 citations

Engineering, Operational Semantics, Formal Modeling +7

Modelling feature interactions in the automotive domain

Alma L. Juarez-Dominguez, Nancy A. Day, Jeffrey J. Joyce · 2008 · 26 citations

Automotive Engineering, Engineering, Verification +17

A Model Checker for Statecharts

Nancy A. Day · 1993 · 23 citations

Engineering, Verification, Software Engineering +23

1–5 of 13