Elizabeth I. Leonard

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