Stephen Jacklin, "Closing the Certification Gaps in Adaptive Flight Control Software," Proc. 26th AIAA Applied Aerodynamics Conference, Hawaiian Village Honolulu, Hawaii, Aug. 20, 2008.
[paper (PDF, 302K)]

Ewen Denney, Johann Schumann, "ESAS Deliverable PS 1.1.2.3 Customer Survey on Code Generators in Safety-Critical Applications," Survey Report to Boeing, Ames Research Center, Dec. 11, 2006.
[paper (PDF, 684K)]

Julian Richardson, Port D., Martin S. Feather, "Exploring the Robustness of Risk Reduction Strategies," Proc. ISSRE'06 17th IEEE International Symposium on Software Reliability Engineering , Raleigh, North Carolina, Nov. 7-10, 2006.

Julian Richardson, Tim Menzies, "Making Sense of Requirements, Sooner" Proc. IEEE'06 Computer Conference, Oct. , 2006.

Vandi Verma, Ari Jonsson, Corina Pasareanu, Michael Iatauro, "Universal Executive & Plexil: Engine & Language for Robust Spacecraft Control & Operations," Proc. AIAA Space 2006, San Jose, California, Sept 19-21, 2006.
[paper (PDF, 11M)]

Ewen Denney, Bernd Fischer, "Explaining Verification Conditions," Proc. Formal Methods 2006 , Hamilton, Ontario, Canada, Aug 21-27, 2006.
[paper (PDF, 597K)]

Thomas Pressburger, Michael Hinchey, Martin S. Feather, Lawrence Markosian, "Infusing Software Engineering Technology into Practice at NASA," Proc. SMC-IT'06 2nd IEEE International Conference on Space Mission Challenges for Information Technology, Pasadena, CA, July 17-21, 2006.
[paper (PDF, 151K)]

Tim Menzies, Julian Richardson, "Qualitative Modeling for Requirements Engineering," Proc. 30th Annual Software Engineering Workshop, Columbia, MD, April 25-27, 2006.

M.G. Hinchey, T. Pressburger, L. Markosian and M.S. Feather, "The NASA Software Research Infusion Initiative: Successful Technology Transfer for Software Assurance," Proc. TT'06, Workshop on Technology Transfer for Software Engineering, International Conference on Software Engineering, Shanghai, China, May. 20-28, 2006.
[paper (PDF, 37K)]

Sarah Thompson, Alan Mycroft, "Self-Healing Reconfigurable Manifolds," Proc. DCC'06: Designing Correct Circuits, Vienna, Austria, Mar. 25-26, 2006.
[papers ( PDF, 23K), ]

Chris Tseng, Pramod Gupta, Johann Schumann, "Analysis of Aircraft Control Performance Using a Fuzzy Rule Based Representation of the Cooper-Harper Aircraft Handling Quality Rating," Proc. IEEE 2006, Big Sky, MT, Mar. 4 - 11 2006.
[paper (PDF, 49K)]

Thomas Pressburger, Ben Di Vito, Martin Feather, Michael Hinchey, Lawrence Markosian, Luis Trevino, "Infusing Software Assurance Research Techniques into Use," IEEE Aerospace Conference, Big Sky, MT, Mar. 4-11, 2006.
[paper (PDF, 771K)]

Tim Menzies, Julian Richardson, "XOMO: Understanding Development Options for Autonomy," 20th International Forum on COCOMO and Software Cost Modeling, Los Angeles, CA, Oct 25-28, 2005.

Peter Mehlitz, John Penix, " Expecting the Unexpected: Radiation Hardened Software," Proc. AIAA'05 Infotech at Aerospace, Arlington, VA, Sep. 26-28, 2005.
[paper (PDF, 462K)]

Robert Filman, Klaus Havelund, "Realizing Aspects by Transforming for Events," Proc. ASE'02: 17th IEEE Int'l Conf. on Automated Software Engineering, Edinburgh, Scotland, pp. 117-128, Sep. 23-27, 2002.
[paper ( PDF, 134K)]

Daniel Clancy, William Larson, Charles Pecheur, Peter Engrand, Charles Goodrich, "Autonomous Control of an in-Situ Propellant Production Plant," Proc. of the Technology 2009 National Conference, Miami Beach, FL., Nov. 1-3, 1999.
[paper ( PDF, 436K)]

John Penix, Perry Alexander, Klaus Havelund, "Declarative Specification of Software Architectures," Proc. ASE'97: 12th IEEE Int'l Conf. on Automated Software Engineering,

Incline Village, NV., pp. 201-208, Nov. 1-5, 1997.
[paper ( PDF, 692K)]

Last modified: Oct. 29, 2008 by Allen Dutra.