Nancy A. Day
University of Waterloo(CA)
Publications by Year
Research Areas
Formal Methods in Verification, Model-Driven Software Engineering Techniques, Logic, programming, and type systems, Advanced Software Engineering Methodologies, Software Testing and Debugging Techniques
Most-Cited Works
- → Template semantics for model-based notations(2003)57 cited
- → A Framework for Microprocessor Correctness Statements(2001)36 cited
- → A framework for superscalar microprocessor correctness statements(2003)35 cited
- → Deconstructing the semantics of big-step modelling languages(2010)32 cited
- → Temporal Logic Model Checking in Alloy(2012)27 cited
- → Relating Multi-step and Single-Step Microprocessor Correctness Statements(2002)26 cited
- → Modelling feature interactions in the automotive domain(2008)26 cited