On the Relative Complexity of Some Languages in NC. - David A. Mix Barrington; James C. Corbett (Inf. Process. Lett., 1989)

Integer Programming in the Analysis of Concurrent Systems. - George S. Avrunin; Ugo A. Buy; James C. Corbett (CAV, 1991)

Experiments with an Improved Constrained Expression Toolset. - George S. Avrunin; Ugo A. Buy; James C. Corbett; Laura K. Dillon; Jack C. Wileden (Symposium on Testing, Analysis, and Verification, 1991)

Message-passing algorithms for a SIMD torus with coteries. - Martin C. Herbordt; Charles C. Weems; James C. Corbett (SIGARCH Comput. Archit. News, 1991)

A Note on Some Languages in Uniform ACC0. - David A. Mix Barrington; James C. Corbett (Theor. Comput. Sci., 1991)

Automated Analysis of Concurrent Systems With the Constrained Expression Toolset. - George S. Avrunin; Ugo A. Buy; James C. Corbett; Laura K. Dillon; Jack C. Wileden (IEEE Trans. Software Eng., 1991)

Verifying General Safety and Liveness Propterties with Integer Programming. - James C. Corbett (CAV, 1992)

A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems. - James C. Corbett; George S. Avrunin (ISSTA, 1993)

Identical Tasks and Counter Variables in an Integer Programming-Based Approach to Verification. - James C. Corbett (IWSSD, 1993)

An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs. - James C. Corbett (ISSTA, 1994)

Modeling and Analysis of Real-Time Ada Tasking Programs. - James C. Corbett (RTSS, 1994)

Towards Scalable Compositional Analysis. - James C. Corbett; George S. Avrunin (SIGSOFT FSE, 1994)

Practical Algorithms for Online Routing on Fixed and Reconfigurable Meshes. - Martin C. Herbordt; James C. Corbett; Charles C. Weems; John Spalding (J. Parallel Distributed Comput., 1994)

Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems. - George S. Avrunin; James C. Corbett; Laura K. Dillon; Jack C. Wileden (IEEE Trans. Software Eng., 1994)

Using Integer Programming to Verify General Safety and Liveness Properties. - James C. Corbett; George S. Avrunin (Formal Methods Syst. Des., 1995)

Constructing Abstract Models of Concurrent Real-Time Software. - James C. Corbett (ISSTA, 1996)

Evaluating Deadlock Detection Methods for Concurrent Software. - James C. Corbett (IEEE Trans. Software Eng., 1996)

Timing Analysis of Ada Tasking Programs. - James C. Corbett (IEEE Trans. Software Eng., 1996)

Property specification patterns for finite-state verification. - Matthew B. Dwyer; George S. Avrunin; James C. Corbett (FMSP, 1998)

Constructing Compact Models of Concurrent Java Programs. - James C. Corbett (ISSTA, 1998)

Cooperation between strands of practice: challenges and opportunities for the renewal of OR. - Willem J. A. M. Overmeer; James C. Corbett; Luk N. Van Wassenhove (J. Oper. Res. Soc., 1998)

Analyzing Partially-Implemented Real-Time Systems. - George S. Avrunin; James C. Corbett; Laura K. Dillon (IEEE Trans. Software Eng., 1998)

Patterns in Property Specifications for Finite-State Verification. - Matthew B. Dwyer; George S. Avrunin; James C. Corbett (ICSE, 1999)

A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives. - John Hatcliff; James C. Corbett; Matthew B. Dwyer; Stefan Sokolowski; Hongjun Zheng (SAS, 1999)

Bandera: extracting finite-state models from Java source code. - James C. Corbett; Matthew B. Dwyer; John Hatcliff; Shawn Laubach; Corina S. Pasareanu; Robby; Hongjun Zheng (ICSE, 2000)

Bandera: a source-level interface for model checking Java programs. - James C. Corbett; Matthew B. Dwyer; John Hatcliff; Robby (ICSE, 2000)

A Language Framework for Expressing Checkable Properties of Dynamic Software. - James C. Corbett; Matthew B. Dwyer; John Hatcliff; Robby (SPIN, 2000)

Benchmarking Finite-State Verifiers. - George S. Avrunin; James C. Corbett; Matthew B. Dwyer (Int. J. Softw. Tools Technol. Transf., 2000)

Using shape analysis to reduce finite-state models of concurrent Java programs. - James C. Corbett (ACM Trans. Softw. Eng. Methodol., 2000)

Expressing checkable properties of dynamic systems: the Bandera Specification Language. - James C. Corbett; Matthew B. Dwyer; John Hatcliff; Robby (Int. J. Softw. Tools Technol. Transf., 2002)

Megastore: Providing Scalable, Highly Available Storage for Interactive Services. - Jason Baker; Chris Bond; James C. Corbett; J. J. Furman; Andrey Khorlin; James Larson; Jean-Michel Leon; Yawei Li; Alexander Lloyd; Vadim Yushprakh (CIDR, 2011)

Spanner: Google's Globally Distributed Database. - James C. Corbett; Jeffrey Dean; Michael Epstein; Andrew Fikes; Christopher Frost 001; J. J. Furman; Sanjay Ghemawat; Andrey Gubarev; Christopher Heiser; Peter Hochschild; Wilson C. Hsieh; Sebastian Kanthak; et al. (ACM Trans. Comput. Syst., 2013)