| 2002 |
|---|
| 30 | EE | James C. Corbett,
Matthew B. Dwyer,
John Hatcliff,
Robby:
Expressing checkable properties of dynamic systems: the Bandera Specification Language.
STTT 4(1): 34-56 (2002) |
| 2000 |
|---|
| 29 | EE | 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 |
| 28 | EE | James C. Corbett,
Matthew B. Dwyer,
John Hatcliff,
Robby:
Bandera: a source-level interface for model checking Java programs.
ICSE 2000: 762-765 |
| 27 | | James C. Corbett,
Matthew B. Dwyer,
John Hatcliff,
Robby:
A Language Framework for Expressing Checkable Properties of Dynamic Software.
SPIN 2000: 205-223 |
| 26 | EE | 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) |
| 25 | EE | George S. Avrunin,
James C. Corbett,
Matthew B. Dwyer:
Benchmarking Finite-State Verifiers.
STTT 2(4): 317-320 (2000) |
| 1999 |
|---|
| 24 | EE | Matthew B. Dwyer,
George S. Avrunin,
James C. Corbett:
Patterns in Property Specifications for Finite-State Verification.
ICSE 1999: 411-420 |
| 23 | EE | 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 |
|---|
| 22 | EE | Matthew B. Dwyer,
George S. Avrunin,
James C. Corbett:
Property specification patterns for finite-state verification.
FMSP 1998: 7-15 |
| 21 | EE | James C. Corbett:
Constructing Compact Models of Concurrent Java Programs.
ISSTA 1998: 1-10 |
| 20 | EE | George S. Avrunin,
James C. Corbett,
Laura K. Dillon:
Analyzing Partially-Implemented Real-Time Systems.
IEEE Trans. Software Eng. 24(8): 602-614 (1998) |
| 1997 |
|---|
| 19 | EE | George S. Avrunin,
James C. Corbett,
Laura K. Dillon:
Analyzing Partially-Implemented Real-Time Systems.
ICSE 1997: 228-238 |
| 1996 |
|---|
| 18 | EE | James C. Corbett:
Constructing Abstract Models of Concurrent Real-Time Software.
ISSTA 1996: 250-260 |
| 17 | EE | James C. Corbett:
Evaluating Deadlock Detection Methods for Concurrent Software.
IEEE Trans. Software Eng. 22(3): 161-180 (1996) |
| 16 | EE | James C. Corbett:
Timing Analysis of Ada Tasking Programs.
IEEE Trans. Software Eng. 22(7): 461-483 (1996) |
| 1995 |
|---|
| 15 | | James C. Corbett,
George S. Avrunin:
Using Integer Programming to Verify General Safety and Liveness Properties.
Formal Methods in System Design 6(1): 97-123 (1995) |
| 1994 |
|---|
| 14 | | James C. Corbett:
Modeling and Analysis of Real-Time Ada Tasking Programs.
IEEE Real-Time Systems Symposium 1994: 132-141 |
| 13 | EE | James C. Corbett:
An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs.
ISSTA 1994: 204-215 |
| 12 | EE | James C. Corbett,
George S. Avrunin:
Towards Scalable Compositional Analysis.
SIGSOFT FSE 1994: 53-61 |
| 11 | EE | 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) |
| 10 | | Martin C. Herbordt,
James C. Corbett,
Charles C. Weems,
John Spalding:
Practical Algorithms for Online Routing on Fixed and Reconfigurable Meshes.
J. Parallel Distrib. Comput. 20(3): 341-356 (1994) |
| 1993 |
|---|
| 9 | EE | James C. Corbett,
George S. Avrunin:
A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems.
ISSTA 1993: 110-116 |
| 8 | | James C. Corbett:
Identical Tasks and Counter Variables in an Integer Programming-Based Approach to Verification.
IWSSD 1993: 100-109 |
| 1992 |
|---|
| 7 | | James C. Corbett:
Verifying General Safety and Liveness Propterties with Integer Programming.
CAV 1992: 357-369 |
| 1991 |
|---|
| 6 | | George S. Avrunin,
Ugo A. Buy,
James C. Corbett:
Integer Programming in the Analysis of Concurrent Systems.
CAV 1991: 92-102 |
| 5 | EE | 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 |
| 4 | EE | 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) |
| 3 | | David A. Mix Barrington,
James C. Corbett:
A Note on Some Languages in Uniform ACC0.
Theor. Comput. Sci. 78(2): 357-362 (1991) |
| 1990 |
|---|
| 2 | EE | Martin C. Herbordt,
Charles C. Weems,
James C. Corbett:
Message-Passing Algorithms for a SIMD Torus with Coteries.
SPAA 1990: 11-20 |
| 1989 |
|---|
| 1 | | David A. Mix Barrington,
James C. Corbett:
On the Relative Complexity of Some Languages in NC.
Inf. Process. Lett. 32(5): 251-256 (1989) |
