| 2008 |
|---|
| 9 | EE | Constance L. Heitmeyer,
Myla Archer,
Elizabeth I. Leonard,
John McLean:
Applying Formal Methods to a Certifiably Secure Software System.
IEEE Trans. Software Eng. 34(1): 82-98 (2008) |
| 2006 |
|---|
| 8 | EE | Constance L. Heitmeyer,
Myla Archer,
Elizabeth I. Leonard,
John D. McLean:
Formal specification and verification of data separation in a separation kernel for an embedded system.
ACM Conference on Computer and Communications Security 2006: 346-355 |
| 7 | EE | Tom Rothamel,
Yanhong A. Liu,
Constance L. Heitmeyer,
Elizabeth I. Leonard:
Generating optimized code from SCR specifications.
LCTES 2006: 135-144 |
| 2005 |
|---|
| 6 | EE | Elizabeth I. Leonard,
Myla Archer:
Extended abstract: organizing automaton specifications to achieve faithful representation.
MEMOCODE 2005: 245-246 |
| 2004 |
|---|
| 5 | EE | Ralph D. Jeffords,
Elizabeth I. Leonard:
Using invariants to optimize formal specifications before code synthesis.
MEMOCODE 2004: 73-82 |
| 2003 |
|---|
| 4 | EE | Myla Archer,
Elizabeth I. Leonard,
Matteo Pradella:
Modeling Security-Enhanced Linux Policy Specifications for Analysis.
DISCEX (2) 2003: 164-169 |
| 3 | EE | Myla Archer,
Elizabeth I. Leonard,
Matteo Pradella:
Analyzing Security-Enhanced Linux Policy Specifications.
POLICY 2003: 158- |
| 2 | EE | Elizabeth I. Leonard,
Constance L. Heitmeyer:
Program Synthesis from Formal Requirements Specifications Using APTS.
Higher-Order and Symbolic Computation 16(1-2): 63-92 (2003) |
| 1995 |
|---|
| 1 | | Elizabeth I. Leonard,
Amy E. Zwarico:
An Algebraic Framework for Developing and Maintaining Real-Time Systems.
AMAST 1995: 338-352 |
