More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

James C. Corbett

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2013
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/tocs/CorbettDEFFFGGHHHKKLLMMNQRRSSTWW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocs/CorbettDEFFFGGHHHKKLLMMNQRRSSTWW13
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]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/osdi/CorbettDEFFFGGHHHKKLLMMNQRRSSTWW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/osdi/CorbettDEFFFGGHHHKKLLMMNQRRSSTWW12
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]
- view
  - electronic edition @ cidrdb.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cidr/BakerBCFKLLLLY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cidr/BakerBCFKLLLLY11
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

see FAQ

What is the meaning of the colors in the publication lists?

2002
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/CorbettDH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/CorbettDH02
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/AvruninCD00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/AvruninCD00
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/Corbett00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/Corbett00
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CorbettDHLPRZ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CorbettDHLPRZ00
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CorbettDHR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CorbettDHR00
James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby:
Bandera: a source-level interface for model checking Java programs. ICSE 2000: 762-765
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/CorbettDHR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/CorbettDHR00
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

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DwyerAC99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DwyerAC99
Matthew B. Dwyer, George S. Avrunin, James C. Corbett:
Patterns in Property Specifications for Finite-State Verification. ICSE 1999: 411-420
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/HatcliffCDSZ99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/HatcliffCDSZ99
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jors/OvermeerCW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jors/OvermeerCW98
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/AvruninCD98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/AvruninCD98
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fmsp/DwyerAC98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmsp/DwyerAC98
Matthew B. Dwyer, George S. Avrunin, James C. Corbett:
Property specification patterns for finite-state verification. FMSP 1998: 7-15
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/Corbett98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Corbett98
James C. Corbett:
Constructing Compact Models of Concurrent Java Programs. ISSTA 1998: 1-10
1997
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AvruninCD97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AvruninCD97
George S. Avrunin, James C. Corbett, Laura K. Dillon:
Analyzing Partially-Implemented Real-Time Systems. ICSE 1997: 228-238
1996
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/Corbett96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/Corbett96
James C. Corbett:
Evaluating Deadlock Detection Methods for Concurrent Software. IEEE Trans. Software Eng. 22(3): 161-180 (1996)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/Corbett96a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/Corbett96a
James C. Corbett:
Timing Analysis of Ada Tasking Programs. IEEE Trans. Software Eng. 22(7): 461-483 (1996)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/Corbett96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Corbett96
James C. Corbett:
Constructing Abstract Models of Concurrent Real-Time Software. ISSTA 1996: 250-260
1995
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/CorbettA95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/CorbettA95
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jpdc/HerbordtCWS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jpdc/HerbordtCWS94
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/AvruninCDW94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/AvruninCDW94
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]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/Corbett94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Corbett94
James C. Corbett:
An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs. ISSTA 1994: 204-215
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/Corbett94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/Corbett94
James C. Corbett:
Modeling and Analysis of Real-Time Ada Tasking Programs. RTSS 1994: 132-141
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/CorbettA94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/CorbettA94
James C. Corbett, George S. Avrunin:
Towards Scalable Compositional Analysis. SIGSOFT FSE 1994: 53-61
1993
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/CorbettA93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/CorbettA93
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iwssd/Corbett93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwssd/Corbett93
James C. Corbett:
Identical Tasks and Counter Variables in an Integer Programming-Based Approach to Verification. IWSSD 1993: 100-109
1992
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/Corbett92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Corbett92
James C. Corbett:
Verifying General Safety and Liveness Propterties with Integer Programming. CAV 1992: 357-369
1991
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sigarch/HerbordtWC91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigarch/HerbordtWC91
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BarringtonC91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BarringtonC91
David A. Mix Barrington, James C. Corbett:
A Note on Some Languages in Uniform ACC0. Theor. Comput. Sci. 78(2): 357-362 (1991)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/AvruninBCDW91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/AvruninBCDW91
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/AvruninBC91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AvruninBC91
George S. Avrunin, Ugo A. Buy, James C. Corbett:
Integer Programming in the Analysis of Concurrent Systems. CAV 1991: 92-102
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/AvruninBCDW91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/AvruninBCDW91
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]
- view
  authority control:
- export record
  dblp key:
  - conf/spaa/HerbordtWC90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spaa/HerbordtWC90
Martin C. Herbordt, Charles C. Weems, James C. Corbett:
Message-Passing Algorithms for a SIMD Torus with Coteries. SPAA 1990: 11-20

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/BarringtonC89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/BarringtonC89
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

see FAQ

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.