The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Nancy A. Day: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Nancy A. Day
    An example of linking formal methods with case tools: a model checker for statecharts. [Citation Graph (0, 0)][DBLP]
    CASCON, 1993, pp:97-107 [Conf]
  2. Mark Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones
    A Framework for Microprocessor Correctness Statements. [Citation Graph (0, 0)][DBLP]
    CHARME, 2001, pp:433-448 [Conf]
  3. Nancy A. Day, Jeffrey R. Lewis, Byron Cook
    Symbolic Simulation of Microprocessor Models using Type Classes in Haskell. [Citation Graph (0, 0)][DBLP]
    CHARME, 1999, pp:346-349 [Conf]
  4. Mark Aagaard, Nancy A. Day, Robert B. Jones
    Synchronization-at-Retirement for Pipeline Verification. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2004, pp:113-127 [Conf]
  5. Mark Aagaard, Nancy A. Day, Meng Lou
    Relating Multi-step and Single-Step Microprocessor Correctness Statements. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2002, pp:123-141 [Conf]
  6. Nancy A. Day, Mark Aagaard, Byron Cook
    Combining Stream-Based and State-Based Verification Techniques. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2000, pp:126-142 [Conf]
  7. J. H. Andrews, Nancy A. Day, Jeffrey J. Joyce
    Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network. [Citation Graph (0, 0)][DBLP]
    FORTE, 1997, pp:417-432 [Conf]
  8. Nancy A. Day, Jeffrey J. Joyce
    A Framework for Multi-Notation Requirements Specification and Analysis. [Citation Graph (0, 0)][DBLP]
    ICRE, 2000, pp:39-48 [Conf]
  9. Alma L. Juarez Dominguez, Nancy A. Day
    Compositional reasoning for port-based distributed systems. [Citation Graph (0, 0)][DBLP]
    ASE, 2005, pp:376-379 [Conf]
  10. Yun Lu, Joanne M. Atlee, Nancy A. Day, Jianwei Niu
    Mapping Template Semantics to SMV. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:320-325 [Conf]
  11. Jianwei Niu, Joanne M. Atlee, Nancy A. Day
    Understanding and Comparing Model-Based Specification Notations. [Citation Graph (0, 0)][DBLP]
    RE, 2003, pp:188-199 [Conf]
  12. Jianwei Niu, Joanne M. Atlee, Nancy A. Day
    Composable semantics for model-based notations. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2002, pp:149-158 [Conf]
  13. Nancy A. Day
    A Comparison between Statecharts and State Transition Assertions. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:247-262 [Conf]
  14. Nancy A. Day, Jeffrey J. Joyce
    The Semantics of Statecharts in HOL. [Citation Graph (0, 0)][DBLP]
    HUG, 1993, pp:338-351 [Conf]
  15. Nancy A. Day, Jeffrey J. Joyce
    Symbolic Functional Evaluation. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:341-358 [Conf]
  16. Jeffrey J. Joyce, Nancy A. Day, Michael R. Donat
    S: A Machine Readable Specification Notation based on Higher Order Logic. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1994, pp:285-299 [Conf]
  17. Shahram Esmaeilsabzali, Farhad Mavaddat, Nancy A. Day
    Interface Automata with Complex Actions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:79-97 [Journal]
  18. Mark Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones
    A framework for superscalar microprocessor correctness statements. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:3, pp:298-312 [Journal]
  19. Jianwei Niu, Joanne M. Atlee, Nancy A. Day
    Template Semantics for Model-Based Notations. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2003, v:29, n:10, pp:866-882 [Journal]

  20. Prescriptive Semantics for Big-Step Modelling Languages. [Citation Graph (, )][DBLP]


  21. Semantically Configurable Code Generation. [Citation Graph (, )][DBLP]


  22. A Common Framework for Synchronization in Requirements Modelling Languages. [Citation Graph (, )][DBLP]


  23. Semantic Criteria for Choosing a Language for Big-Step Models. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002