| 2008 |
|---|
| 22 | EE | Adam Prout,
Joanne M. Atlee,
Nancy A. Day,
Pourya Shaker:
Semantically Configurable Code Generation.
MoDELS 2008: 705-720 |
| 21 | EE | Shahram Esmaeilsabzali,
Nancy A. Day,
Farhad Mavaddat:
Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata.
Fundam. Inform. 82(4): 465-512 (2008) |
| 2007 |
|---|
| 20 | EE | Davor Svetinovic,
Daniel M. Berry,
Nancy A. Day,
Michael W. Godfrey:
Unified use case statecharts: case studies.
Requir. Eng. 12(4): 245-264 (2007) |
| 2006 |
|---|
| 19 | EE | Shahram Esmaeilsabzali,
Farhad Mavaddat,
Nancy A. Day:
Interface Automata with Complex Actions.
Electr. Notes Theor. Comput. Sci. 159: 79-97 (2006) |
| 2005 |
|---|
| 18 | EE | Alma L. Juarez Dominguez,
Nancy A. Day:
Compositional reasoning for port-based distributed systems.
ASE 2005: 376-379 |
| 2004 |
|---|
| 17 | EE | Yun Lu,
Joanne M. Atlee,
Nancy A. Day,
Jianwei Niu:
Mapping Template Semantics to SMV.
ASE 2004: 320-325 |
| 16 | EE | Mark Aagaard,
Nancy A. Day,
Robert B. Jones:
Synchronization-at-Retirement for Pipeline Verification.
FMCAD 2004: 113-127 |
| 2003 |
|---|
| 15 | EE | Jianwei Niu,
Joanne M. Atlee,
Nancy A. Day:
Understanding and Comparing Model-Based Specification Notations.
RE 2003: 188-199 |
| 14 | EE | Jianwei Niu,
Joanne M. Atlee,
Nancy A. Day:
Template Semantics for Model-Based Notations.
IEEE Trans. Software Eng. 29(10): 866-882 (2003) |
| 13 | EE | Mark Aagaard,
Byron Cook,
Nancy A. Day,
Robert B. Jones:
A framework for superscalar microprocessor correctness statements.
STTT 4(3): 298-312 (2003) |
| 2002 |
|---|
| 12 | EE | Mark Aagaard,
Nancy A. Day,
Meng Lou:
Relating Multi-step and Single-Step Microprocessor Correctness Statements.
FMCAD 2002: 123-141 |
| 11 | EE | Jianwei Niu,
Joanne M. Atlee,
Nancy A. Day:
Composable semantics for model-based notations.
SIGSOFT FSE 2002: 149-158 |
| 2001 |
|---|
| 10 | EE | Mark Aagaard,
Byron Cook,
Nancy A. Day,
Robert B. Jones:
A Framework for Microprocessor Correctness Statements.
CHARME 2001: 433-448 |
| 2000 |
|---|
| 9 | EE | Nancy A. Day,
Mark Aagaard,
Byron Cook:
Combining Stream-Based and State-Based Verification Techniques.
FMCAD 2000: 126-142 |
| 8 | EE | Nancy A. Day,
Jeffrey J. Joyce:
A Framework for Multi-Notation Requirements Specification and Analysis.
ICRE 2000: 39-48 |
| 1999 |
|---|
| 7 | EE | Nancy A. Day,
Jeffrey R. Lewis,
Byron Cook:
Symbolic Simulation of Microprocessor Models using Type Classes in Haskell.
CHARME 1999: 346-349 |
| 6 | EE | Nancy A. Day,
Jeffrey J. Joyce:
Symbolic Functional Evaluation.
TPHOLs 1999: 341-358 |
| 1997 |
|---|
| 5 | | J. 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 |
|---|
| 4 | | 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 |
|---|
| 3 | EE | Nancy A. Day:
An example of linking formal methods with case tools: a model checker for statecharts.
CASCON 1993: 97-107 |
| 2 | | Nancy A. Day,
Jeffrey J. Joyce:
The Semantics of Statecharts in HOL.
HUG 1993: 338-351 |
| 1992 |
|---|
| 1 | | Nancy A. Day:
A Comparison between Statecharts and State Transition Assertions.
TPHOLs 1992: 247-262 |
