Elizabeth I. Leonard - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2017

Computing the Next-State Function of a Requirements ModelConstance L. Heitmeyer, Elizabeth I. Leonard, Myla M. Archer. In Dependable Software Systems Engineering. pages 44-59, 2017. [doi]

Property templates for checking source code securityElizabeth I. Leonard, Myla M. Archer, Constance L. Heitmeyer. memocode 2017: 87-90 [doi]

2015

Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and ValidationConstance L. Heitmeyer, Elizabeth I. Leonard. ICSE 2015: 54-60 [doi]

Building high assurance human-centric decision systemsConstance L. Heitmeyer, Marc Pickett, Elizabeth I. Leonard, Myla M. Archer, Indrakshi Ray, David W. Aha, J. Gregory Trafton. ASE, 22(2):159-197, 2015. [doi]

2013

2012

Direct generation of invariants for reactive modelsElizabeth I. Leonard, Myla Archer, Constance L. Heitmeyer, Ralph D. Jeffords. memocode 2012: 119-130 [doi]

2010

Model-based construction and verification of critical systems using composition and partial refinementRalph D. Jeffords, Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard. fmsd, 37(2-3):265-294, 2010. [doi]

2009

A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and CompositionRalph D. Jeffords, Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard. FM 2009: 173-189 [doi]

2008

Applying Formal Methods to a Certifiably Secure Software SystemConstance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard, John McLean. TSE, 34(1):82-98, 2008. [doi]

2006

Formal specification and verification of data separation in a separation kernel for an embedded systemConstance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard, John D. McLean. ccs 2006: 346-355 [doi]

Generating optimized code from SCR specificationsTom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard. lctrts 2006: 135-144 [doi]

2005

Extended abstract: organizing automaton specifications to achieve faithful representationElizabeth I. Leonard, Myla Archer. memocode 2005: 245-246 [doi]

2004

Using invariants to optimize formal specifications before code synthesisRalph D. Jeffords, Elizabeth I. Leonard. memocode 2004: 73-82 [doi]

2003

Modeling Security-Enhanced Linux Policy Specifications for AnalysisMyla Archer, Elizabeth I. Leonard, Matteo Pradella. discex 2003: 164-169 [doi]

Analyzing Security-Enhanced Linux Policy SpecificationsMyla Archer, Elizabeth I. Leonard, Matteo Pradella. policy 2003: 158 [doi]

Program Synthesis from Formal Requirements Specifications Using APTSElizabeth I. Leonard, Constance L. Heitmeyer. lisp, 16(1-2):63-92, 2003. [doi]

1995

An Algebraic Framework for Developing and Maintaining Real-Time SystemsElizabeth I. Leonard, Amy E. Zwarico. amast 1995: 338-352

Sign in or sign up to see more results.

runs on WebDSL