Found 42 results
Filters: Author is Heitmeyer, Constance L. [Clear All Filters]
"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.
"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.
"Applying a Formal Requirements Method to Three NASA Systems: Lessons Learned", 2007 IEEE Aerospace Conference, Big Sky, Montana, 2007.
"Formal Methods for Specifying, Validating, and Verifying Requirements", Journal of Computer Science, vol. 13, issue 5, pp. 607-618, 2007.
"RE Theory Meets Software Practice: Lessons from the Software Development Trenches", 15th IEEE International Requirements Engineering Conference, New Delhi, India, pp. 265-268, 2007.
"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.
"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.
"Generating Optimized Code from SCR Specifications", ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2006), Ottawa, Canada, 2006.
"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.
"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.
"Program Synthesis from Formal Requirements Specifications using APTS", Higher-Order and Symbolic Computation, vol. 16, issue 1-2, pp. 63-92, 2003.
"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.
"Proving Invariants of I/O Automata with TAME", Automated Software Engineering, vol. 9, pp. 201-232, 2002.
"Software Cost Reduction", Encyclopedia of Software Engineering, vol. 2, 2002.
"An Algorithm for Strengthening State Invariants Generated from Requirements Specifications", Fifth IEEE Int'l Symp. on Requirements Engineering (RE'01), Toronto, Canada, 2001.
"Applying 'Practical' Formal Methods to the Specification and Analysis of Security Properties", Information Assurance in Computer Networks (MMM-ACNS 2001), St. Petersburg, Russia, 2001.
"Applying TAME to I/O Automata: A User's Perspective", NRL Memorandum Report, no. 5540-00-8848, 2000.
"Applying the SCR Requirements Method to the Light Control Case Study", Journal of Universal Computer Science, 2000.
"Developing High Assurance Avionics Systems with the SCR Requirements Method", 19th Digital Avionics Systems Conference, Philadelphia, Pennsylvania, 2000.
"Model Checking Complete Requirements Specifications Using Abstraction", Automated Software Engineering, vol. 6, issue 1, pp. 37-68, 1999.
"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.
"Automatic Generation of State Invariants from Requirements Specifications", 6th International Symposium on the Foundations of Software Engineering (FSE-6), Orlando, Florida, 1998.
"Mechanical Verification of Timed Automata: A Case Study", NRL Memorandum Report, no. 5546-98-8180, 1998.
"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.
"SCR*: A Toolset for Specifying and Analyzing Software Requirements", Computer-Aided Verification, 10th Ann. Conf. (CAV'98), Vancouver, BC, Canada, 1998.