Found 42 results
Filters: Author is Heitmeyer, Constance L.  [Clear All Filters]
1997
Bharadwaj, R., and C. L. Heitmeyer, "Applying the SCR Requirements Method to a Simple Autopilot", Fourth NASA Langley Formal Methods Workshop, Hampton, Virginia, 1997. PDF icon BharadwajHeitmeyer1997b.pdf (289.85 KB)
Archer, M., and C. L. Heitmeyer, "Human-Style Theorem Proving Using PVS", TPHOLs, Murray Hill, New Jersey, 1997. PDF icon ArcherHeitmeyer1997.pdf (220.72 KB)
Archer, M., and C. L. Heitmeyer, "Verifying Hybrid Systems Modeled as Timed Automata: A Case Study", HART, Grenoble, France, 1997. PDF icon ArcherHeitmeyer1997b.pdf (178.46 KB)
Bharadwaj, R., and C. L. Heitmeyer, "Verifying SCR Requirements Specifications using State Exploration", First ACM SIGPLAN Workshop on Automatic Analysis of Software, Paris, France, 1997. PDF icon BharadwajHeitmeyer1997.pdf (248.61 KB)
1996
Heitmeyer, C. L., R. Jeffords, and B. Labaw, "Automated Consistency Checking of Requirements Specifications", ACM Transactions on Software Engineering and Methodology, vol. 5, issue 3, pp. 231-261, 1996. PDF icon Heitmeyer etal1996.pdf (394.91 KB)
Archer, M., and C. L. Heitmeyer, "Mechanical Verification of Timed Automata: A Case Study", 996 Real-Time Technology and Applications Symposium, 1996. PDF icon ArcherHeitmeyer1996.pdf (232.16 KB)
Archer, M., and C. L. Heitmeyer, "TAME: A Specialized Specification and Verification System for Timed Automata", Work in Progress session at RTSS, Washington, D.C., 1996. PDF icon ArcherHeitmeyer1996b.pdf (134.07 KB)
1995
Heitmeyer, C. L., and B. Labaw, "Consistency Checking of SCR-Style Requirements Specifications", International Symposium on Requirements Engineering, York, England, 1995. PDF icon HeitmeyerLabaw1995.pdf (257.28 KB)
McLean, J., and C. L. Heitmeyer, "High Assurance Computer Systems: A Research Agenda", America in the Age of Information, National Science and Technology Council Committee on Information and Communications Forum, Bethesda, Maryland, 1995. PDF icon McLeanHeitmeyer1995.pdf (103.99 KB)
Heitmeyer, C. L., A. Bull, C. Gasarch, and B. Labaw, "SCR*: A Toolset for Specifying and Analyzing Requirements", Tenth Annual Conference on Computer Assurance (COMPASS '95), Gaithersburg, Maryland, pp. 109-122, 1995. PDF icon Heitmeyer etal1995.pdf (388.92 KB)
1994
Heitmeyer, C. L., and N. Lynch, "The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems", NRL Memorandum Report, no. 7619, Washington, D.C., Naval Research Laboratory, 1994. PDF icon HeitmeyerLynch1994.pdf (242.1 KB)
Heitmeyer, C. L., and N. Lynch, "The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems", IEEE Real-Time Systems Symposium, San Juan, Puerto Rico, 1994. PDF icon HeitmeyerLynch1994b.pdf (311.85 KB)
Heitmeyer, C. L., "The Role of HCI in CASE Tools Supporting Formal Methods", Workshop on Software Engineering an human-Computer Interaction, Sorrento, Italy, 1994. PDF icon Heitmeyer1994.pdf (16.11 KB)
1993
Heitmeyer, C. L., B. Labaw, and R. Jeffords, "A Benchmark for Comparing Different Approaches for Specifying and Verifying Real-Time Systems", Tenth IEEE Workshop on Real-Time Operating Systems and Software: IEEE Computer Society Press, 1993. PDF icon Heitmeyer etal1993.pdf (95.56 KB)
Clements, P.. C., C. L. Heitmeyer, B. Labaw, and A.. T. Rose, "MT: A toolset for specifying and analyzing real-time systems", IEEE Real-Time Systems Symposium, pp. 12-22, 1993. PDF icon Clements etal1993.pdf (841.51 KB)

Pages