Elizabeth I. Leonard

Publication Activity (10 Years)

Years Active: 1995-2017
Publications (10 Years): 1

Top Topics

Fully Unsupervised

Uncertain Environments

Top Venues

Autom. Softw. Eng.

Publications

Elizabeth I. Leonard, Myla M. Archer, Constance L. Heitmeyer
Property templates for checking source code security. MEMOCODE (2017)
Constance L. Heitmeyer, Marc Pickett, Elizabeth I. Leonard, Myla M. Archer, Indrakshi Ray, David W. Aha, J. Gregory Trafton
Building high assurance human-centric decision systems. Autom. Softw. Eng. 22 (2) (2015)
Constance L. Heitmeyer, Elizabeth I. Leonard
Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and Validation. FormaliSE@ICSE (2015)
Constance L. Heitmeyer, Marc Pickett, Len Breslow, David W. Aha, J. Greg Trafton, Elizabeth I. Leonard
High assurance human-centric decision systems. RAISE@ICSE (2013)
Myla Archer, Elizabeth I. Leonard, Constance L. Heitmeyer
Idea: Writing Secure C Programs with SecProve. ESSoS (2013)
Constance L. Heitmeyer, Sandeep K. Shukla, Myla M. Archer, Elizabeth I. Leonard
On Model-Based Software Development. Perspectives on the Future of Software Engineering (2013)
Elizabeth I. Leonard, Myla Archer, Constance L. Heitmeyer, Ralph D. Jeffords
Direct generation of invariants for reactive models. MEMOCODE (2012)
Ralph D. Jeffords, Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard
Model-based construction and verification of critical systems using composition and partial refinement. Formal Methods Syst. Des. 37 (2-3) (2010)
Ralph D. Jeffords, Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard
A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition. FM (2009)
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) (2008)
Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard
Generating optimized code from SCR specifications. LCTES (2006)
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. CCS (2006)
Elizabeth I. Leonard, Myla Archer
Extended abstract: organizing automaton specifications to achieve faithful representation. MEMOCODE (2005)
Ralph D. Jeffords, Elizabeth I. Leonard
Using invariants to optimize formal specifications before code synthesis. MEMOCODE (2004)
Myla Archer, Elizabeth I. Leonard, Matteo Pradella
Modeling Security-Enhanced Linux Policy Specifications for Analysis. DISCEX (2) (2003)
Elizabeth I. Leonard, Constance L. Heitmeyer
Program Synthesis from Formal Requirements Specifications Using APTS. High. Order Symb. Comput. 16 (1-2) (2003)
Myla Archer, Elizabeth I. Leonard, Matteo Pradella
Analyzing Security-Enhanced Linux Policy Specifications. POLICY (2003)
Elizabeth I. Leonard, Amy E. Zwarico
An Algebraic Framework for Developing and Maintaining Real-Time Systems. AMAST (1995)