Get started
Author

James C. Corbett

Patterns in property specifications for finite-state verification
1999 · Matthew B. Dwyer, George S. Avrunin, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 1,532
Bandera: extracting finite-state models from Java source code
2000 · James C. Corbett, Matthew B. Dwyer, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 1,044
PDF
Spanner: Google’s Globally Distributed Database
2013 · James C. Corbett, Jeffrey Dean, et al. · ACM Transactions on Computer Systems · 1,012
PDF
Spanner: Google's globally-distributed database
2012 · James C. Corbett, Jay B. Dean, et al. · 839
Megastore: Providing Scalable, Highly Available Storage for Interactive Services
2011 · Jason D. Baker, Chris T. Bond, et al. · 645
Property specification patterns for finite-state verification
1998 · Matthew B. Dwyer, George S. Avrunin, et al. · 471
PDF
Evaluating deadlock detection methods for concurrent software
1996 · J.C. Corbett · IEEE Transactions on Software Engineering · 226
Automated analysis of concurrent systems with the constrained expression toolset
1991 · G.S. Avrunin, U.A. Buy, et al. · IEEE Transactions on Software Engineering · 113
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives
1999 · John Hatcliff, James Corbett, et al. · Lecture notes in computer science · 92
A Language Framework for Expressing Checkable Properties of Dynamic Software
2000 · James C. Corbett, Matthew B. Dwyer, et al. · Lecture notes in computer science · 90
Using integer programming to verify general safety and liveness properties
1995 · James C. Corbett, George S. Avrunin · Formal Methods in System Design · 74
Bandera: a source-level interface for model checking Java programs
2000 · James C. Corbett, Matthew B. Dwyer, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 70
Timing analysis of Ada tasking programs
1996 · J.C. Corbett · IEEE Transactions on Software Engineering · 64
Untitled
2002 · James C. Corbett, Matthew B. Dwyer, et al. · International Journal on Software Tools for Technology Transfer · 60
Constructing compact models of concurrent Java programs
1998 · James C. Corbett · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · 47
PDF
Using shape analysis to reduce finite-state models of concurrent Java programs
2000 · James C. Corbett · ACM Transactions on Software Engineering and Methodology · 38
PDF
Patterns in property specifications for finite-state verification
2003 · M.B. Dwyer, G.S. Avrunin, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 30
PDF
Comparing Finite-State Verification Techniques for Concurrent Software
1999 · George S. Avrunin, James C. Corbett, et al. · 29
Modeling and Analysis of Real-Time Ada Tasking Programs*
1994 · James C. Corbett · 29
Analyzing partially-implemented real-time systems
1997 · George S. Avrunin, James C. Corbett, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 25
PDF
ExaWorks: Workflows for Exascale
2021 · Aymen Al-Saadi, Dong H. Ahn, et al. · 24
PDF
On the relative complexity of some languages in NC1
1989 · David A. Mix Barrington, James Corbett · Information Processing Letters · 20
Automated derivation of time bounds in uniprocessor concurrent systems
1994 · G.S. Avrunin, J.C. Corbett, et al. · IEEE Transactions on Software Engineering · 19
Benchmarking finite-state verifiers
2000 · George S. Avrunin, James C. Corbett, et al. · International Journal on Software Tools for Technology Transfer · 18
An empirical evaluation of three methods for deadlock analysis of Ada tasking programs
1994 · James C. Corbett · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · 18
PDF
Works count: 49
Citation count: 6,788
H-index: 21
I10-index: 34
Year
Topic
Type