Bruce G. Labaw

According to our database, Bruce G. Labaw authored at least 9 papers between 1993 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1998

Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications.

Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj

IEEE Trans. Software Eng., 1998

Applying the SCR requirements method to a weapons control panel: an experience report.

Constance L. Heitmeyer, James Kirby, Bruce G. Labaw

Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998

SCR*: A Toolset for Specifying and Analyzing Software Requirements.

Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Ramesh Bharadwaj

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications.

Monica Brockmeyer, Farnam Jahanian, Constance L. Heitmeyer, Bruce G. Labaw

Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium, 1997

The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support.

Constance L. Heitmeyer, James Kirby, Bruce G. Labaw

Proceedings of the Pulling Together, 1997

A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications.

Monica Brockmeyer, Farnam Jahanian, Elly Winner, Constance L. Heitmeyer, Bruce G. Labaw

Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997

1996

Automated Consistency Checking of Requirements Specifications.

Constance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw

ACM Trans. Softw. Eng. Methodol., 1996

1995

Consistency checking of SCR-style requirements specifications.

Constance L. Heitmeyer, Bruce G. Labaw, Daniel L. Kiskis

Proceedings of the Second IEEE International Symposium on Requirements Engineering, March 27, 1995

1993

MT: A Toolset for Specifying and Analyzing Real-Time Systems.

Paul C. Clements, Constance L. Heitmeyer, Bruce G. Labaw, A. T. Rose

Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, 1993