Found 42 results
Filters: Author is Heitmeyer, Constance L.  [Clear All Filters]
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. PDF icon Jeffords etal2009.pdf (144.97 KB)
Heitmeyer, C. L., "On the Role of Formal Methods in Software Certification: An Experience Report", Electronic Notes in Theoretical Computer Science , vol. 238, issue 4, pp. 3-9, 2009. PDF icon Heitmeyer2009.pdf (189.1 KB)
Heitmeyer, C. L., and R. Jeffords, "Applying a Formal Requirements Method to Three NASA Systems: Lessons Learned", 2007 IEEE Aerospace Conference, Big Sky, Montana, 2007. PDF icon HeitmeyerJeffords2007.pdf (616.1 KB)
Heitmeyer, C. L., "Formal Methods for Specifying, Validating, and Verifying Requirements", Journal of Computer Science, vol. 13, issue 5, pp. 607-618, 2007. PDF icon Heitmeyer2007.pdf (466.65 KB)
Heitmeyer, C. L., R. Jeffords, R. Bharadwaj, and M. Archer, "RE Theory Meets Software Practice: Lessons from the Software Development Trenches", 15th IEEE International Requirements Engineering Conference, New Delhi, India, pp. 265-268, 2007. PDF icon Heitmeyer etal2007.pdf (521.34 KB)
Bultan, T., and C. L. Heitmeyer, "Analyzing Tabular Requirements Specifications Using Infinite State Model Checking", Fourth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'06), Napa, California, 2006. PDF icon BultanHeitmeyer2006.pdf (163.42 KB)
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. PDF icon 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. PDF icon Rothamel etal2006.pdf (159.88 KB)
Heitmeyer, C. L., M. Archer, R. Bharadwaj, and R. Jeffords, "Tools for constructing requirements specifications: The SCR toolset at the age of ten", International Journal of Computer Systems Science and Engineering, vol. 20, issue 1, pp. 19-35, 2005. PDF icon Heitmeyer etal2005.pdf (774.15 KB)
Heitmeyer, C. L., "Managing complexity in software development with formally based tools", ETAPS Workshop on Formal Foundations of Software and Component-Based Software Architectures (FESCA 2004), Barcelona, Spain, 2004. PDF icon Heitmeyer2004.pdf (175.67 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. PDF icon LeonardHeitmeyer2003.pdf (164.15 KB)
Jeffords, R., and C. L. Heitmeyer, "A Strategy for Efficiently Verifying Requirements Specifications Using Composition and Invariants", European Software Engineering Conference/ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2003), Helsinki, Finland, 2003. PDF icon JeffordsHeitmeyer2003.pdf (211.53 KB)
Archer, M., C. L. Heitmeyer, and E. Riccobene, "Proving Invariants of I/O Automata with TAME", Automated Software Engineering, vol. 9, pp. 201-232, 2002. PDF icon Archer etal2002.pdf (355.28 KB)
Heitmeyer, C. L., and J. J. Marciniak, "Software Cost Reduction", Encyclopedia of Software Engineering, vol. 2, 2002. PDF icon Heitmeyer2002.pdf (220.45 KB)
Jeffords, R., and C. L. Heitmeyer, "An Algorithm for Strengthening State Invariants Generated from Requirements Specifications", Fifth IEEE Int'l Symp. on Requirements Engineering (RE'01), Toronto, Canada, 2001. PDF icon JeffordsHeitmeyer2001.pdf (344.59 KB)
Heitmeyer, C. L., "Applying 'Practical' Formal Methods to the Specification and Analysis of Security Properties", Information Assurance in Computer Networks (MMM-ACNS 2001), St. Petersburg, Russia, 2001. PDF icon Heitmeyer2001.pdf (137.38 KB)
Riccobene, E., M. Archer, and C. L. Heitmeyer, "Applying TAME to I/O Automata: A User's Perspective", NRL Memorandum Report, no. 5540-00-8848, 2000. PDF icon Riccobene etal2000.pdf (318 KB)
Heitmeyer, C. L., and R. Bharadwaj, "Applying the SCR Requirements Method to the Light Control Case Study", Journal of Universal Computer Science, 2000. PDF icon HeitmeyerBharadwaj2000.pdf (363.13 KB)
Bharadwaj, R., and C. L. Heitmeyer, "Developing High Assurance Avionics Systems with the SCR Requirements Method", 19th Digital Avionics Systems Conference, Philadelphia, Pennsylvania, 2000. PDF icon BharadwajHeitmeyer2000.pdf (71.48 KB)
Bharadwaj, R., and C. L. Heitmeyer, "Model Checking Complete Requirements Specifications Using Abstraction", Automated Software Engineering, vol. 6, issue 1, pp. 37-68, 1999. PDF icon BharadwajHeitmeyer1999.pdf (171.03 KB)
Gargantini, A., and C. L. Heitmeyer, "Using Model Checking to Generate Tests from Requirements Specifications", Joint 7th Eur. Software Engineering Conf. and 7th ACM SIGSOFT Intern. Symp. on Foundations of Software Eng. (ESEC/FSE99), Toulouse, France, 1999. PDF icon GargantiniHeitmeyer1999.pdf (261.95 KB)
Jeffords, R., and C. L. Heitmeyer, "Automatic Generation of State Invariants from Requirements Specifications", 6th International Symposium on the Foundations of Software Engineering (FSE-6), Orlando, Florida, 1998. PDF icon JeffordsHeitmeyer1998.pdf (344.8 KB)
Archer, M., and C. L. Heitmeyer, "Mechanical Verification of Timed Automata: A Case Study", NRL Memorandum Report, no. 5546-98-8180, 1998. PDF icon ArcherHeitmeyer1998.pdf (678.22 KB)
Heitmeyer, C. L., "On the Need for 'Practical' Formal Methods", Formal Techniques in Real-Time and Real-Time Fault-Tolerant Systems, 5th Intern. Symposium (FTRTFT'98), vol. LICS 1486, Lyngby, Denmark, pp. 18-26, 1998. PDF icon Heitmeyer1998.pdf (138.88 KB)
Heitmeyer, C. L., J. Kirby, Jr, B. Labaw, and R. Bharadwaj, "SCR*: A Toolset for Specifying and Analyzing Software Requirements", Computer-Aided Verification, 10th Ann. Conf. (CAV'98), Vancouver, BC, Canada, 1998. PDF icon Heitmeyer etal1998.pdf (154.77 KB)