James C. Corbett - Concepedia

Author

James C. Corbett

University of Hawaii System

Also Known As

J Gussenhoven, J. Corbett, J.C. Corbett, James C. Corbett, James Corbett

Publications

6.7K

Citations

H-Index

Concepts

All Affiliations

University of Hawaii System University of Massachusetts Amherst University of Hawaiʻi at Mānoa Kansas State University Google (United States)

About

James C. Corbett is an author at University of Hawaii System specializing in engineering, formal methods, and formal verification.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	16	20	5.1K
2	Management	3	3	1.8K
3	Language Studies	1	1	20
4	Medicine	1	1	18
5	Public Health	1	1	18

James C. Corbett

Publications

6.3K

Citations

H-Index

Page 1

	Year	Citations
Patterns in property specifications for finite-state verification Matthew B. Dwyer, George S. Avrunin, James C. Corbett EngineeringVerificationComputer-aided VerificationModel CheckingModel Verification	1999	1.4K
Bandera James C. Corbett, Matthew B. Dwyer, John Hatcliff, Finite-state Verification TechniquesEngineeringProgram CheckingProgram AnalysisVerification Algorithms	2000	1.1K
Spanner: Google's globally-distributed database James C. Corbett, Jay B. Dean, Michael Epstein, Operating Systems Design and Implementation Clock UncertaintyCluster ComputingData ConsistencyEngineeringData Science	2012	826
Spanner James C. Corbett, Michael Epstein, Andrew Fikes, ACM Transactions on Computer Systems Database BenchmarkingClock UncertaintyData ConsistencyEngineeringDistributed Database	2013	673
Megastore: Providing Scalable, Highly Available Storage for Interactive Services Jason D. Baker, Chris T. Bond, James C. Corbett,	2011	653
Property specification patterns for finite-state verification Matthew B. Dwyer, George S. Avrunin, James C. Corbett	1998	449
Spanner James C. Corbett, Peter Hochschild, Wilson C. Hsieh, ACM Transactions on Computer Systems Database BenchmarkingClock UncertaintyData ConsistencyEngineeringDistributed Database	2013	331
Evaluating deadlock detection methods for concurrent software James C. Corbett IEEE Transactions on Software Engineering EngineeringVerificationSymbolic Model CheckingConcurrent SystemDeadlock Detection Methods	1996	230
Automated analysis of concurrent systems with the constrained expression toolset George S. Avrunin, Ugo Buy, James C. Corbett, IEEE Transactions on Software Engineering EngineeringSoftware SystemsSoftware EngineeringConcurrent SystemSoftware Analysis	1991	115
Using integer programming to verify general safety and liveness properties James C. Corbett, George S. Avrunin Formal Methods in System Design Mathematical ProgrammingEngineeringVerificationSafety ScienceComputer-aided Verification	1995	74

Page 1