dblp.uni-trier.dewww.uni-trier.de

Elizabeth I. Leonard

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
9EEConstance 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
8EEConstance 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
7EETom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard: Generating optimized code from SCR specifications. LCTES 2006: 135-144
2005
6EEElizabeth I. Leonard, Myla Archer: Extended abstract: organizing automaton specifications to achieve faithful representation. MEMOCODE 2005: 245-246
2004
5EERalph D. Jeffords, Elizabeth I. Leonard: Using invariants to optimize formal specifications before code synthesis. MEMOCODE 2004: 73-82
2003
4EEMyla Archer, Elizabeth I. Leonard, Matteo Pradella: Modeling Security-Enhanced Linux Policy Specifications for Analysis. DISCEX (2) 2003: 164-169
3EEMyla Archer, Elizabeth I. Leonard, Matteo Pradella: Analyzing Security-Enhanced Linux Policy Specifications. POLICY 2003: 158-
2EEElizabeth 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

Coauthor Index

1Myla Archer [3] [4] [6] [8] [9]
2Constance L. Heitmeyer (Connie Heitmeyer) [2] [7] [8] [9]
3Ralph D. Jeffords [5]
4Yanhong A. Liu [7]
5John McLean [9]
6John D. McLean [8]
7Matteo Pradella [3] [4]
8Tom Rothamel [7]
9Amy E. Zwarico [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)