James Kirby

According to our database, James Kirby authored at least 13 papers between 1997 and 2024.

Collaborative distances:

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

2024

Actuation without production bias.

James Kirby, Morgan Sonderegger

CoRR, 2024

2022

Object Oriented Policy Conflict Checking Framework in Cloud Networks (OOPC).

Ankur Chowdhary, Abdulhakim Sabur, Dijiang Huang, Myong H. Kang, James Kirby

IEEE Trans. Dependable Secur. Comput., 2022

2018

Inducing a lexicon of sociolinguistic variables from code-mixed text.

Philippa Shoemark, James Kirby, Sharon Goldwater

Proceedings of the 4th Workshop on Noisy User-generated Text, 2018

2016

Towards robust cross-linguistic comparisons of phonological networks.

Philippa Shoemark, Sharon Goldwater, James Kirby, Rik Sarkar

Proceedings of the 14th SIGMORPHON Workshop on Computational Research in Phonetics, 2016

2013

Moving Toward Evidence-Based Software Production.

David M. Weiss, James Kirby, Robyn R. Lutz

Proceedings of the Perspectives on the Future of Software Engineering, 2013

2012

The Xenon separation VMM: Secure virtualization infrastructure for military clouds.

John P. McDermott, Bruce E. Montrose, Margery Li, James Kirby, Myong H. Kang

Proceedings of the 31st IEEE Military Communications Conference, 2012

Separation virtual machine monitors.

John P. McDermott, Bruce E. Montrose, Margery Li, James Kirby, Myong H. Kang

Proceedings of the 28th Annual Computer Security Applications Conference, 2012

2008

Re-engineering Xen internals for higher-assurance security.

John P. McDermott, James Kirby, Bruce E. Montrose, Travis Johnson, Myong H. Kang

Inf. Secur. Tech. Rep., 2008

1999

SCR: A Practical Approach to Building a High Assurance COMSEC System.

James Kirby, Myla Archer, Constance L. Heitmeyer

Proceedings of the 15th Annual Computer Security Applications Conference (ACSAC 1999), 1999

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

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