C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
James Kirby
Publication Activity (10 Years)
Years Active: 1997-2022
Publications (10 Years): 3
Top Topics
Graphic Design
Source Code
Partial Occlusion
Production Line
Top Venues
SIGMORPHON
NUT@EMNLP
IEEE Trans. Dependable Secur. Comput.
Perspectives on the Future of Software Engineering
</>
Publications
</>
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)