James Kirby
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1997–2012
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ACSAC | Separation virtual machine monitors. | John P. McDermott, Bruce E. Montrose, Margery Li, James Kirby, Myong H. Kang |
| 1999 | ACSAC | SCR: A Practical Approach to Building a High Assurance COMSEC System. | James Kirby, Myla Archer, Constance L. Heitmeyer |
| 1998 | CAV | SCR*: A Toolset for Specifying and Analyzing Software Requirements. | Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Ramesh Bharadwaj |
| 1997 | ICSE | The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support. | Constance L. Heitmeyer, James Kirby, Bruce G. Labaw |