Elizabeth I. Leonard

According to our database, Elizabeth I. Leonard authored at least 19 papers between 1995 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Computing the Next-State Function of a Requirements Model.

Constance L. Heitmeyer, Elizabeth I. Leonard, Myla M. Archer

Proceedings of the Dependable Software Systems Engineering, 2017

Property templates for checking source code security.

Elizabeth I. Leonard, Myla M. Archer, Constance L. Heitmeyer

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

2015

Building high assurance human-centric decision systems.

Constance L. Heitmeyer, Marc Pickett, Elizabeth I. Leonard, Myla M. Archer, Indrakshi Ray, David W. Aha, J. Gregory Trafton

Autom. Softw. Eng., 2015

Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and Validation.

Constance L. Heitmeyer, Elizabeth I. Leonard

Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

2013

High assurance human-centric decision systems.

Constance L. Heitmeyer, Marc Pickett, Len Breslow, David W. Aha, J. Greg Trafton, Elizabeth I. Leonard

Proceedings of the 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, 2013

Idea: Writing Secure C Programs with SecProve.

Myla Archer, Elizabeth I. Leonard, Constance L. Heitmeyer

Proceedings of the Engineering Secure Software and Systems - 5th International Symposium, 2013

On Model-Based Software Development.

Constance L. Heitmeyer, Sandeep K. Shukla, Myla M. Archer, Elizabeth I. Leonard

Proceedings of the Perspectives on the Future of Software Engineering, 2013

2012

Direct generation of invariants for reactive models.

Elizabeth I. Leonard, Myla Archer, Constance L. Heitmeyer, Ralph D. Jeffords

Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2012

2010

Model-based construction and verification of critical systems using composition and partial refinement.

Ralph D. Jeffords, Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard

Formal Methods Syst. Des., 2010

2009

A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition.

Ralph D. Jeffords, Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard

Proceedings of the FM 2009: Formal Methods, 2009

2008

Applying Formal Methods to a Certifiably Secure Software System.

Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard, John McLean

IEEE Trans. Software Eng., 2008

2006

Generating optimized code from SCR specifications.

Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard

Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, 2006

Formal specification and verification of data separation in a separation kernel for an embedded system.

Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard, John D. McLean

Proceedings of the 13th ACM Conference on Computer and Communications Security, 2006

2005

Extended abstract: organizing automaton specifications to achieve faithful representation.

Elizabeth I. Leonard, Myla Archer

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

2004

Using invariants to optimize formal specifications before code synthesis.

Ralph D. Jeffords, Elizabeth I. Leonard

Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004

2003

Program Synthesis from Formal Requirements Specifications Using APTS.

Elizabeth I. Leonard, Constance L. Heitmeyer

High. Order Symb. Comput., 2003

Analyzing Security-Enhanced Linux Policy Specifications.

Myla Archer, Elizabeth I. Leonard, Matteo Pradella

Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), 2003

Modeling Security-Enhanced Linux Policy Specifications for Analysis.

Myla Archer, Elizabeth I. Leonard, Matteo Pradella

Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

1995

An Algebraic Framework for Developing and Maintaining Real-Time Systems.

Elizabeth I. Leonard, Amy E. Zwarico

Proceedings of the Algebraic Methodology and Software Technology, 1995