James C. Corbett

According to our database, James C. Corbett authored at least 32 papers between 1989 and 2013.

Collaborative distances:

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

2013

Spanner: Google's Globally Distributed Database.

James C. Corbett, Jeffrey Dean, Michael Epstein, Andrew Fikes, Christopher Frost, J. J. Furman, Sanjay Ghemawat, Andrey Gubarev, Christopher Heiser, Peter Hochschild, Wilson C. Hsieh, Sebastian Kanthak, Eugene Kogan, Hongyi Li, Alexander Lloyd, Sergey Melnik, David Mwaura, David Nagle, Sean Quinlan, Rajesh Rao, Lindsay Rolig, Yasushi Saito, Michal Szymaniak, Christopher Taylor, Ruth Wang, Dale Woodford

ACM Trans. Comput. Syst., 2013

2011

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

Proceedings of the Fifth Biennial Conference on Innovative Data Systems Research, 2011

2002

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

2000

Using shape analysis to reduce finite-state models of concurrent Java programs.

James C. Corbett

ACM Trans. Softw. Eng. Methodol., 2000

Benchmarking Finite-State Verifiers.

George S. Avrunin, James C. Corbett, Matthew B. Dwyer

Int. J. Softw. Tools Technol. Transf., 2000

A Language Framework for Expressing Checkable Properties of Dynamic Software.

James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby

Proceedings of the SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30, 2000

Bandera: a source-level interface for model checking Java programs.

James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby

Proceedings of the 22nd International Conference on on Software Engineering, 2000

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

Proceedings of the 22nd International Conference on on Software Engineering, 2000

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

Proceedings of the Static Analysis, 6th International Symposium, 1999

Patterns in Property Specifications for Finite-State Verification.

Matthew B. Dwyer, George S. Avrunin, James C. Corbett

Proceedings of the 1999 International Conference on Software Engineering, 1999

1998

Analyzing Partially-Implemented Real-Time Systems.

George S. Avrunin, James C. Corbett, Laura K. Dillon

IEEE Trans. Software Eng., 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

Constructing Compact Models of Concurrent Java Programs.

James C. Corbett

Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998

Property specification patterns for finite-state verification.

Matthew B. Dwyer, George S. Avrunin, James C. Corbett

Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998

1996

Timing Analysis of Ada Tasking Programs.

James C. Corbett

IEEE Trans. Software Eng., 1996

Evaluating Deadlock Detection Methods for Concurrent Software.

James C. Corbett

IEEE Trans. Software Eng., 1996

Constructing Abstract Models of Concurrent Real-Time Software.

James C. Corbett

Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

1995

Using Integer Programming to Verify General Safety and Liveness Properties.

James C. Corbett, George S. Avrunin

Formal Methods Syst. Des., 1995

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

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

Towards Scalable Compositional Analysis.

James C. Corbett, George S. Avrunin

Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, 1994

Modeling and Analysis of Real-Time Ada Tasking Programs.

James C. Corbett

Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994

An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs.

James C. Corbett

Proceedings of the 1994 International Symposium on Software Testing and Analysis, 1994

1993

Identical Tasks and Counter Variables in an Integer Programming-Based Approach to Verification.

James C. Corbett

Proceedings of the 7th International Workshop on Software Specification and Design, 1993

A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems.

James C. Corbett, George S. Avrunin

Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993

1992

Verifying General Safety and Liveness Propterties with Integer Programming.

James C. Corbett

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992

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

A Note on Some Languages in Uniform ACC0.

David A. Mix Barrington, James C. Corbett

Theor. Comput. Sci., 1991

Message-passing algorithms for a SIMD torus with coteries.

Martin C. Herbordt, Charles C. Weems, James C. Corbett

SIGARCH Comput. Archit. News, 1991

Experiments with an Improved Constrained Expression Toolset.

George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden

Proceedings of the Symposium on Testing, Analysis, and Verification, 1991

Integer Programming in the Analysis of Concurrent Systems.

George S. Avrunin, Ugo A. Buy, James C. Corbett

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1989

On the Relative Complexity of Some Languages in NC.

David A. Mix Barrington, James C. Corbett

Inf. Process. Lett., 1989