James Kirby

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 4

Top Topics

Object Oriented

Bias Variance Decomposition

Production Cost

Text Processing

Top Venues

IEEE Trans. Dependable Secur. Comput.

Publications

James Kirby, Morgan Sonderegger
Actuation without production bias. CoRR (2024)
Ankur Chowdhary, Abdulhakim Sabur, Dijiang Huang, Myong H. Kang, James Kirby
Object Oriented Policy Conflict Checking Framework in Cloud Networks (OOPC). IEEE Trans. Dependable Secur. Comput. 19 (5) (2022)
Philippa Shoemark, James Kirby, Sharon Goldwater
Inducing a lexicon of sociolinguistic variables from code-mixed text. NUT@EMNLP (2018)
Philippa Shoemark, Sharon Goldwater, James Kirby, Rik Sarkar
Towards robust cross-linguistic comparisons of phonological networks. SIGMORPHON (2016)
David M. Weiss, James Kirby, Robyn R. Lutz
Moving Toward Evidence-Based Software Production. Perspectives on the Future of Software Engineering (2013)
John P. McDermott, Bruce E. Montrose, Margery Li, James Kirby, Myong H. Kang
Separation virtual machine monitors. ACSAC (2012)
John P. McDermott, Bruce E. Montrose, Margery Li, James Kirby, Myong H. Kang
The Xenon separation VMM: Secure virtualization infrastructure for military clouds. MILCOM (2012)
John P. McDermott, James Kirby, Bruce E. Montrose, Travis Johnson, Myong H. Kang
Re-engineering Xen internals for higher-assurance security. Inf. Secur. Tech. Rep. 13 (1) (2008)
James Kirby, Myla Archer, Constance L. Heitmeyer
SCR: A Practical Approach to Building a High Assurance COMSEC System. ACSAC (1999)
Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Ramesh Bharadwaj
SCR*: A Toolset for Specifying and Analyzing Software Requirements. CAV (1998)
Constance L. Heitmeyer, James Kirby, Bruce G. Labaw
Applying the SCR requirements method to a weapons control panel: an experience report. FMSP (1998)
Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. IEEE Trans. Software Eng. 24 (11) (1998)
Constance L. Heitmeyer, James Kirby, Bruce G. Labaw
The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support. ICSE (1997)