Elizabeth I. Leonard

◀ ▶ joint publications with Constance L. Heitmeyer

> Home > Persons > Elizabeth I. Leonard

Publications

2017
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/LeonardAH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/LeonardAH17
Elizabeth I. Leonard, Myla M. Archer, Constance L. Heitmeyer:
Property templates for checking source code security. MEMOCODE 2017: 87-90
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/natosec/HeitmeyerLA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/HeitmeyerLA17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/HeitmeyerPLARAT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/HeitmeyerPLARAT15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HeitmeyerL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HeitmeyerL15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/HeitmeyerSAL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/HeitmeyerSAL13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/essos/ArcherLH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/essos/ArcherLH13
Myla Archer, Elizabeth I. Leonard, Constance L. Heitmeyer:
Idea: Writing Secure C Programs with SecProve. ESSoS 2013: 171-180
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HeitmeyerPBATL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HeitmeyerPBATL13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/LeonardAHJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/LeonardAHJ12
Elizabeth I. Leonard, Myla Archer, Constance L. Heitmeyer, Ralph D. Jeffords:
Direct generation of invariants for reactive models. MEMOCODE 2012: 119-130
2010
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/JeffordsHAL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/JeffordsHAL10
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)
2009
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/JeffordsHAL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/JeffordsHAL09
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/HeitmeyerALM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/HeitmeyerALM08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/HeitmeyerALM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/HeitmeyerALM06
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]
- view
  authority control:
- export record
  dblp key:
  - conf/lctrts/RothamelLHL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lctrts/RothamelLHL06
Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard:
Generating optimized code from SCR specifications. LCTES 2006: 135-144
2003
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/LeonardH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/LeonardH03
Elizabeth I. Leonard, Constance L. Heitmeyer:
Program Synthesis from Formal Requirements Specifications Using APTS. High. Order Symb. Comput. 16(1-2): 63-92 (2003)

a service of

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.