- CSB - MetaPress - Google - Bing - Yahoo
 | 2002 | |
|---|---|---|
| 30 |      | 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 | | 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 | | 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 | | 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 | | George S. Avrunin, James C. Corbett, Matthew B. Dwyer: Benchmarking Finite-State Verifiers. STTT 2(4): 317-320 (2000) |
| 1999 | ||
| 24 | | Matthew B. Dwyer, George S. Avrunin, James C. Corbett: Patterns in Property Specifications for Finite-State Verification. ICSE 1999: 411-420 |
| 23 | | 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 | | Matthew B. Dwyer, George S. Avrunin, James C. Corbett: Property specification patterns for finite-state verification. FMSP 1998: 7-15 |
| 21 | | James C. Corbett: Constructing Compact Models of Concurrent Java Programs. ISSTA 1998: 1-10 |
| 20 | | 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 | | George S. Avrunin, James C. Corbett, Laura K. Dillon: Analyzing Partially-Implemented Real-Time Systems. ICSE 1997: 228-238 |
| 1996 | ||
| 18 | | James C. Corbett: Constructing Abstract Models of Concurrent Real-Time Software. ISSTA 1996: 250-260 |
| 17 | | James C. Corbett: Evaluating Deadlock Detection Methods for Concurrent Software. IEEE Trans. Software Eng. 22(3): 161-180 (1996) |
| 16 | | 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 | | James C. Corbett: An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs. ISSTA 1994: 204-215 |
| 12 | | James C. Corbett, George S. Avrunin: Towards Scalable Compositional Analysis. SIGSOFT FSE 1994: 53-61 |
| 11 | | 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 | | 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 | | 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 | | 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 | | 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) |
| 1 | George S. Avrunin | [4] [5] [6] [9] [11] [12] [15] [19] [20] [22] [24] [25] |
| 2 | David A. Mix Barrington | [1] [3] |
| 3 | Ugo A. Buy | [4] [5] [6] |
| 4 | Laura K. Dillon | [4] [5] [11] [19] [20] |
| 5 | Matthew B. Dwyer | [22] [23] [24] [25] [27] [28] [29] [30] |
| 6 | John Hatcliff | [23] [27] [28] [29] [30] |
| 7 | Martin C. Herbordt | [2] [10] |
| 8 | Shawn Laubach | [29] |
| 9 | Corina S. Pasareanu | [29] |
| 10 | Robby | [27] [28] [29] [30] |
| 11 | Stefan Sokolowski | [23] |
| 12 | John Spalding | [10] |
| 13 | Charles C. Weems | [2] [10] |
| 14 | Jack C. Wileden | [4] [5] [11] |
| 15 | Hongjun Zheng | [23] [29] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page