Concepedia

B. Labaw

BL

Statistics

Publications

12

Citations

1.3K

H-Index

11

Active since

1993

Affiliations

United States Naval Research Laboratory(Current)

Naval Research Laboratory Information Technology Division

B. Labaw is an author at United States Naval Research Laboratory specializing in computer science, formal methods, and computing.

Publications per year

1993–2003

12

Publications

12

Automated consistency checking of requirements specifications

Constance Heitmeyer, Ralph D. Jeffords, B. Labaw · ACM Transactions on Software Engineering and Methodology · 1996 · 603 citations

, , +16

Using abstraction and model checking to detect safety violations in requirements specifications

Constance Heitmeyer, James Kirby, B. Labaw et al. · IEEE Transactions on Software Engineering · 1998 · 191 citations

, , +15

Consistency checking of SCR-style requirements specifications

Constance Heitmeyer, B. Labaw, Daniel L. Kiskis · 2002 · 138 citations

, , +13

SCR: a toolset for specifying and analyzing requirements

Constance Heitmeyer, Alan R. Bull, Carolyn E. Gasarch et al. · 2002 · 119 citations

, , +15

A Benchmark for Comparing Different Approaches for Specifying and Verifying Real-Time Systems

Constance Heitmeyer, B. Labaw, Ralph D. Jeffords · Defense Technical Information Center (DTIC) · 1993 · 55 citations

, , +12

1–5 of 12