dblp.uni-trier.dewww.uni-trier.de

James C. Corbett

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2002
30EEJames 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
29EEJames 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
28EEJames 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
26EEJames C. Corbett: Using shape analysis to reduce finite-state models of concurrent Java programs. ACM Trans. Softw. Eng. Methodol. 9(1): 51-93 (2000)
25EEGeorge S. Avrunin, James C. Corbett, Matthew B. Dwyer: Benchmarking Finite-State Verifiers. STTT 2(4): 317-320 (2000)
1999
24EEMatthew B. Dwyer, George S. Avrunin, James C. Corbett: Patterns in Property Specifications for Finite-State Verification. ICSE 1999: 411-420
23EEJohn 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
22EEMatthew B. Dwyer, George S. Avrunin, James C. Corbett: Property specification patterns for finite-state verification. FMSP 1998: 7-15
21EEJames C. Corbett: Constructing Compact Models of Concurrent Java Programs. ISSTA 1998: 1-10
20EEGeorge S. Avrunin, James C. Corbett, Laura K. Dillon: Analyzing Partially-Implemented Real-Time Systems. IEEE Trans. Software Eng. 24(8): 602-614 (1998)
1997
19EEGeorge S. Avrunin, James C. Corbett, Laura K. Dillon: Analyzing Partially-Implemented Real-Time Systems. ICSE 1997: 228-238
1996
18EEJames C. Corbett: Constructing Abstract Models of Concurrent Real-Time Software. ISSTA 1996: 250-260
17EEJames C. Corbett: Evaluating Deadlock Detection Methods for Concurrent Software. IEEE Trans. Software Eng. 22(3): 161-180 (1996)
16EEJames 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
13EEJames C. Corbett: An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs. ISSTA 1994: 204-215
12EEJames C. Corbett, George S. Avrunin: Towards Scalable Compositional Analysis. SIGSOFT FSE 1994: 53-61
11EEGeorge 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
9EEJames 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
5EEGeorge 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
4EEGeorge 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
2EEMartin 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)

Coauthor Index

1George S. Avrunin [4] [5] [6] [9] [11] [12] [15] [19] [20] [22] [24] [25]
2David A. Mix Barrington [1] [3]
3Ugo A. Buy [4] [5] [6]
4Laura K. Dillon [4] [5] [11] [19] [20]
5Matthew B. Dwyer [22] [23] [24] [25] [27] [28] [29] [30]
6John Hatcliff [23] [27] [28] [29] [30]
7Martin C. Herbordt [2] [10]
8Shawn Laubach [29]
9Corina S. Pasareanu [29]
10 Robby [27] [28] [29] [30]
11Stefan Sokolowski [23]
12John Spalding [10]
13Charles C. Weems [2] [10]
14Jack C. Wileden [4] [5] [11]
15Hongjun Zheng [23] [29]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)