default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJames C. Corbett
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2013
[j15]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:
Spanner: Google's Globally Distributed Database. ACM Trans. Comput. Syst. 31(3): 8 (2013)- 2012
- [c20]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:
Spanner: Google's Globally-Distributed Database. OSDI 2012: 251-264 - 2011
- [c19]Jason Baker, Chris Bond, James C. Corbett, J. J. Furman, Andrey Khorlin, James Larson, Jean-Michel Leon, Yawei Li, Alexander Lloyd, Vadim Yushprakh:
Megastore: Providing Scalable, Highly Available Storage for Interactive Services. CIDR 2011: 223-234
2000 – 2009
- 2002
- [j14]James C. Corbett, Matthew B. Dwyer
, John Hatcliff, Robby:
Expressing checkable properties of dynamic systems: the Bandera Specification Language. Int. J. Softw. Tools Technol. Transf. 4(1): 34-56 (2002) - 2000
- [j13]George S. Avrunin, James C. Corbett, Matthew B. Dwyer:
Benchmarking Finite-State Verifiers. Int. J. Softw. Tools Technol. Transf. 2(4): 317-320 (2000) - [j12]James C. Corbett:
Using shape analysis to reduce finite-state models of concurrent Java programs. ACM Trans. Softw. Eng. Methodol. 9(1): 51-93 (2000) - [c18]James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng:
Bandera: extracting finite-state models from Java source code. ICSE 2000: 439-448 - [c17]James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby:
Bandera: a source-level interface for model checking Java programs. ICSE 2000: 762-765 - [c16]James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby:
A Language Framework for Expressing Checkable Properties of Dynamic Software. SPIN 2000: 205-223
1990 – 1999
- 1999
- [c15]Matthew B. Dwyer, George S. Avrunin, James C. Corbett:
Patterns in Property Specifications for Finite-State Verification. ICSE 1999: 411-420 - [c14]John Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, Hongjun Zheng:
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives. SAS 1999: 1-18 - 1998
- [j11]Willem J. A. M. Overmeer, James C. Corbett, Luk N. Van Wassenhove:
Cooperation between strands of practice: challenges and opportunities for the renewal of OR. J. Oper. Res. Soc. 49(4): 369-380 (1998) - [j10]George S. Avrunin, James C. Corbett, Laura K. Dillon:
Analyzing Partially-Implemented Real-Time Systems. IEEE Trans. Software Eng. 24(8): 602-614 (1998) - [c13]Matthew B. Dwyer, George S. Avrunin, James C. Corbett:
Property specification patterns for finite-state verification. FMSP 1998: 7-15 - [c12]James C. Corbett:
Constructing Compact Models of Concurrent Java Programs. ISSTA 1998: 1-10 - 1997
- [c11]George S. Avrunin, James C. Corbett, Laura K. Dillon:
Analyzing Partially-Implemented Real-Time Systems. ICSE 1997: 228-238 - 1996
- [j9]James C. Corbett:
Evaluating Deadlock Detection Methods for Concurrent Software. IEEE Trans. Software Eng. 22(3): 161-180 (1996) - [j8]James C. Corbett:
Timing Analysis of Ada Tasking Programs. IEEE Trans. Software Eng. 22(7): 461-483 (1996) - [c10]James C. Corbett:
Constructing Abstract Models of Concurrent Real-Time Software. ISSTA 1996: 250-260 - 1995
- [j7]James C. Corbett, George S. Avrunin:
Using Integer Programming to Verify General Safety and Liveness Properties. Formal Methods Syst. Des. 6(1): 97-123 (1995) - 1994
- [j6]Martin C. Herbordt, James C. Corbett, Charles C. Weems, John Spalding:
Practical Algorithms for Online Routing on Fixed and Reconfigurable Meshes. J. Parallel Distributed Comput. 20(3): 341-356 (1994) - [j5]George S. Avrunin, James C. Corbett, Laura K. Dillon, Jack C. Wileden:
Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems. IEEE Trans. Software Eng. 20(9): 708-719 (1994) - [c9]James C. Corbett:
An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs. ISSTA 1994: 204-215 - [c8]James C. Corbett:
Modeling and Analysis of Real-Time Ada Tasking Programs. RTSS 1994: 132-141 - [c7]James C. Corbett, George S. Avrunin:
Towards Scalable Compositional Analysis. SIGSOFT FSE 1994: 53-61 - 1993
- [c6]James C. Corbett, George S. Avrunin:
A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems. ISSTA 1993: 110-116 - [c5]James C. Corbett:
Identical Tasks and Counter Variables in an Integer Programming-Based Approach to Verification. IWSSD 1993: 100-109 - 1992
- [c4]James C. Corbett:
Verifying General Safety and Liveness Propterties with Integer Programming. CAV 1992: 357-369 - 1991
- [j4]Martin C. Herbordt, Charles C. Weems, James C. Corbett:
Message-passing algorithms for a SIMD torus with coteries. SIGARCH Comput. Archit. News 19(1): 69-78 (1991) - [j3]David A. Mix Barrington, James C. Corbett:
A Note on Some Languages in Uniform ACC0. Theor. Comput. Sci. 78(2): 357-362 (1991) - [j2]George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden:
Automated Analysis of Concurrent Systems With the Constrained Expression Toolset. IEEE Trans. Software Eng. 17(11): 1204-1222 (1991) - [c3]George S. Avrunin, Ugo A. Buy, James C. Corbett:
Integer Programming in the Analysis of Concurrent Systems. CAV 1991: 92-102 - [c2]George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden:
Experiments with an Improved Constrained Expression Toolset. Symposium on Testing, Analysis, and Verification 1991: 178-187 - 1990
- [c1]Martin C. Herbordt, Charles C. Weems, James C. Corbett:
Message-Passing Algorithms for a SIMD Torus with Coteries. SPAA 1990: 11-20
1980 – 1989
- 1989
- [j1]David A. Mix Barrington, James C. Corbett:
On the Relative Complexity of Some Languages in NC. Inf. Process. Lett. 32(5): 251-256 (1989)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
