|
Search the dblp DataBase
Elizabeth I. Leonard:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Elizabeth I. Leonard, Amy E. Zwarico
An Algebraic Framework for Developing and Maintaining Real-Time Systems. [Citation Graph (0, 0)][DBLP] AMAST, 1995, pp:338-352 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ACM Conference on Computer and Communications Security, 2006, pp:346-355 [Conf]
- Myla Archer, Elizabeth I. Leonard, Matteo Pradella
Modeling Security-Enhanced Linux Policy Specifications for Analysis. [Citation Graph (0, 0)][DBLP] DISCEX (2), 2003, pp:164-169 [Conf]
- Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard
Generating optimized code from SCR specifications. [Citation Graph (0, 0)][DBLP] LCTES, 2006, pp:135-144 [Conf]
- Ralph D. Jeffords, Elizabeth I. Leonard
Using invariants to optimize formal specifications before code synthesis. [Citation Graph (0, 0)][DBLP] MEMOCODE, 2004, pp:73-82 [Conf]
- Elizabeth I. Leonard, Myla Archer
Extended abstract: organizing automaton specifications to achieve faithful representation. [Citation Graph (0, 0)][DBLP] MEMOCODE, 2005, pp:245-246 [Conf]
- Myla Archer, Elizabeth I. Leonard, Matteo Pradella
Analyzing Security-Enhanced Linux Policy Specifications. [Citation Graph (0, 0)][DBLP] POLICY, 2003, pp:158-0 [Conf]
- Elizabeth I. Leonard, Constance L. Heitmeyer
Program Synthesis from Formal Requirements Specifications Using APTS. [Citation Graph (0, 0)][DBLP] Higher-Order and Symbolic Computation, 2003, v:16, n:1-2, pp:63-92 [Journal]
A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|