James C. Corbett - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 34 from 34

2013

2012

2002

Expressing checkable properties of dynamic systems: the Bandera Specification LanguageJames C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby. STTT, 4(1):34-56, 2002. [doi]

2000

1999

Patterns in Property Specifications for Finite-State VerificationMatthew B. Dwyer, George S. Avrunin, James C. Corbett. ICSE 1999: 411-420 [doi]

A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency PrimitivesJohn Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, Hongjun Zheng. SAS 1999: 1-18 [doi]

1998

1997

Analyzing Partially-Implemented Real-Time SystemsGeorge S. Avrunin, James C. Corbett, Laura K. Dillon. ICSE 1997: 228-238 [doi]

1996

Evaluating Deadlock Detection Methods for Concurrent SoftwareJames C. Corbett. TSE, 22(3):161-180, 1996. [doi]

Timing Analysis of Ada Tasking ProgramsJames C. Corbett. TSE, 22(7):461-483, 1996. [doi]

Constructing Abstract Models of Concurrent Real-Time SoftwareJames C. Corbett. ISSTA 1996: 250-260 [doi]

1995

Using Integer Programming to Verify General Safety and Liveness PropertiesJames C. Corbett, George S. Avrunin. fmsd, 6(1):97-123, 1995.

1994

1993

Identical Tasks and Counter Variables in an Integer Programming-Based Approach to VerificationJames C. Corbett. iwssd 1993: 100-109

A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time SystemsJames C. Corbett, George S. Avrunin. ISSTA 1993: 110-116 [doi]

1992

Verifying General Safety and Liveness Propterties with Integer ProgrammingJames C. Corbett. cav 1993: 357-369

1991

1990

Message-Passing Algorithms for a SIMD Torus with CoteriesMartin C. Herbordt, Charles C. Weems, James C. Corbett. spaa 1990: 11-20 [doi]

1989

On the Relative Complexity of Some Languages in NCDavid A. Mix Barrington, James C. Corbett. ipl, 32(5):251-256, 1989.

Sign in or sign up to see more results.

runs on WebDSL