Found 8 results
Filters: Author is Leonard, Elizabeth  [Clear All Filters]
2009
Jeffords, R., C. L. Heitmeyer, M. Archer, and E. Leonard, "A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition", Formal Methods, Second World Congress (FM 2009), Eindhoven, The Netherlands, pp. 173-189, 2009. Jeffords etal2009.pdf (144.97 KB)
2006
Archer, M., and E. Leonard, "Establishing High Confidence in Code Implementations of Algorithms using Formal Verification of Pseudocode", Proceedings of VERIFY'06, The Third International Verification Workshop, Seattle, Washington, 2006. ArcherLeonard2006.pdf (2.14 MB)
Heitmeyer, C. L., M. Archer, E. Leonard, and J. McLean, "Formal specification and verification of data separation in a separation kernel for an embedded system", 13th ACM Conference on Computer and Communications Security (CCS 2006), Alexandria, Virginia, pp. 346-355, 2006. Heitmeyer etal2006.pdf (265.8 KB)
Rothamel, T., Y. A. Liu, C. L. Heitmeyer, and E. Leonard, "Generating Optimized Code from SCR Specifications", ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2006), Ottawa, Canada, 2006. Rothamel etal2006.pdf (159.88 KB)
2005
Leonard, E., and M. Archer, "Extended Abstract: Organizing Automaton Specifications to Achieve Faithful Representation", Third ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'05), Verona, Italy, 2005. LeonardArcher2005.pdf (88.94 KB)
2004
Jeffords, R., and E. Leonard, "Using Invariants to Optimize Formal Specifications Before Code Synthesis", 2nd ACM/IEEE Int'l Conf. on Formal Methods and Models for Co-Design (MEMOCODE 2004), San Diego, California, 2004. JeffordsLeonard2004.pdf (127.34 KB)
2003
Archer, M., E. Leonard, and M. Pradella, "Modeling Security-Enchanced Linux Policy Specifications for Analysis", Research Summaries for DISCEX III, Washington, D.C., 2003. Archer etal2003.pdf (192.2 KB)
Leonard, E., and C. L. Heitmeyer, "Program Synthesis from Formal Requirements Specifications using APTS", Higher-Order and Symbolic Computation, vol. 16, issue 1-2, pp. 63-92, 2003. LeonardHeitmeyer2003.pdf (164.15 KB)