default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDElizabeth I. Leonard
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2017
[c14]Elizabeth I. Leonard, Myla M. Archer, Constance L. Heitmeyer:
Property templates for checking source code security. MEMOCODE 2017: 87-90- [p1]Constance L. Heitmeyer, Elizabeth I. Leonard, Myla M. Archer:
Computing the Next-State Function of a Requirements Model. Dependable Software Systems Engineering 2017: 44-59 - 2015
- [j4]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): 159-197 (2015) - [c13]Constance L. Heitmeyer, Elizabeth I. Leonard:
Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and Validation. FormaliSE@ICSE 2015: 54-60 - 2013
- [c12]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: 49-60 - [c11]Myla Archer, Elizabeth I. Leonard, Constance L. Heitmeyer:
Idea: Writing Secure C Programs with SecProve. ESSoS 2013: 171-180 - [c10]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: 35-41 - 2012
- [c9]Elizabeth I. Leonard, Myla Archer, Constance L. Heitmeyer, Ralph D. Jeffords:
Direct generation of invariants for reactive models. MEMOCODE 2012: 119-130 - 2010
- [j3]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): 265-294 (2010)
2000 – 2009
- 2009
- [c8]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: 173-189 - 2008
- [j2]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): 82-98 (2008) - 2006
- [c7]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: 346-355 - [c6]Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard:
Generating optimized code from SCR specifications. LCTES 2006: 135-144 - 2005
- [c5]Elizabeth I. Leonard, Myla Archer:
Extended abstract: organizing automaton specifications to achieve faithful representation. MEMOCODE 2005: 245-246 - 2004
- [c4]Ralph D. Jeffords, Elizabeth I. Leonard:
Using invariants to optimize formal specifications before code synthesis. MEMOCODE 2004: 73-82 - 2003
- [j1]Elizabeth I. Leonard, Constance L. Heitmeyer:
Program Synthesis from Formal Requirements Specifications Using APTS. High. Order Symb. Comput. 16(1-2): 63-92 (2003) - [c3]Myla Archer, Elizabeth I. Leonard, Matteo Pradella:
Modeling Security-Enhanced Linux Policy Specifications for Analysis. DISCEX (2) 2003: 164-169 - [c2]Myla Archer, Elizabeth I. Leonard, Matteo Pradella:
Analyzing Security-Enhanced Linux Policy Specifications. POLICY 2003: 158-
1990 – 1999
- 1995
- [c1]Elizabeth I. Leonard, Amy E. Zwarico:
An Algebraic Framework for Developing and Maintaining Real-Time Systems. AMAST 1995: 338-352
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
