Travelled to:1 × Canada
1 × The Netherlands
Collaborated with:C.L.Heitmeyer R.D.Jeffords M.Archer T.Rothamel Y.A.Liu
Talks about:composit (1) provabl (1) partial (1) generat (1) develop (1) correct (1) system (1) specif (1) method (1) formal (1)
Person: Elizabeth I. Leonard
DBLP: Leonard:Elizabeth_I=
Contributed to:
2009
2006Wrote 2 papers:
- FM-2009-JeffordsHAL #composition #fault tolerance #formal method #refinement #using
- A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition (RDJ, CLH, MA, EIL), pp. 173–189.
- LCTES-2006-RothamelLHL #generative #specification
- Generating optimized code from SCR specifications (TR, YAL, CLH, EIL), pp. 135–144.