James C. Corbett

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013
Spanner: Google's Globally Distributed Database.
ACM Trans. Comput. Syst., 2013

2012

2011
Megastore: Providing Scalable, Highly Available Storage for Interactive Services.
Proceedings of the CIDR 2011, 2011

2002
Expressing checkable properties of dynamic systems: the Bandera Specification Language.
STTT, 2002

2000
Using shape analysis to reduce finite-state models of concurrent Java programs.
ACM Trans. Softw. Eng. Methodol., 2000

Benchmarking Finite-State Verifiers.
STTT, 2000

A Language Framework for Expressing Checkable Properties of Dynamic Software.
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.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

Bandera: extracting finite-state models from Java source code.
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.
Proceedings of the Static Analysis, 6th International Symposium, 1999

Patterns in Property Specifications for Finite-State Verification.
Proceedings of the 1999 International Conference on Software Engineering, 1999

1998
Analyzing Partially-Implemented Real-Time Systems.
IEEE Trans. Software Eng., 1998

Constructing Compact Models of Concurrent Java Programs.
Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998

Property specification patterns for finite-state verification.
Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998

1997
Analyzing Partially-Implemented Real-Time Systems.
Proceedings of the Pulling Together, 1997

1996
Timing Analysis of Ada Tasking Programs.
IEEE Trans. Software Eng., 1996

Evaluating Deadlock Detection Methods for Concurrent Software.
IEEE Trans. Software Eng., 1996

Constructing Abstract Models of Concurrent Real-Time Software.
Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

1995
Using Integer Programming to Verify General Safety and Liveness Properties.
Formal Methods in System Design, 1995

1994
Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems.
IEEE Trans. Software Eng., 1994

Practical Algorithms for Online Routing on Fixed and Reconfigurable Meshes.
J. Parallel Distrib. Comput., 1994

Towards Scalable Compositional Analysis.
Proceedings of the SIGSOFT '94, 1994

Modeling and Analysis of Real-Time Ada Tasking Programs.
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.
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.
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.
Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993

1992
Verifying General Safety and Liveness Propterties with Integer Programming.
Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992

1991
Automated Analysis of Concurrent Systems With the Constrained Expression Toolset.
IEEE Trans. Software Eng., 1991

A Note on Some Languages in Uniform ACC0.
Theor. Comput. Sci., 1991

Message-passing algorithms for a SIMD torus with coteries.
SIGARCH Computer Architecture News, 1991

Experiments with an Improved Constrained Expression Toolset.
Proceedings of the Symposium on Testing, Analysis, and Verification, 1991

Integer Programming in the Analysis of Concurrent Systems.
Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1990
Message-Passing Algorithms for a SIMD Torus with Coteries.
Proceedings of the 2nd Annual ACM Symposium on Parallel Algorithms and Architectures, 1990

1989
On the Relative Complexity of Some Languages in NC.
Inf. Process. Lett., 1989


  Loading...