Travelled to:1 × Denmark
1 × Ireland
1 × Italy
2 × Canada
8 × USA
Collaborated with:G.S.Avrunin ∅ M.B.Dwyer J.Hatcliff L.K.Dillon U.A.Buy Robby H.Zheng S.Sokolowski J.C.Wileden S.Laubach C.S.Pasareanu J.Dean M.Epstein A.Fikes C.Frost J.J.Furman S.Ghemawat A.Gubarev C.Heiser P.Hochschild W.C.Hsieh S.Kanthak E.Kogan H.Li A.Lloyd S.Melnik D.Mwaura D.Nagle S.Quinlan R.Rao L.Rolig Y.Saito M.Szymaniak C.Taylor R.Wang D.Woodford
Talks about:program (6) concurr (5) model (4) time (4) analysi (3) system (3) real (3) java (3) construct (2) bandera (2)
Person: James C. Corbett
DBLP: Corbett:James_C=
Contributed to:
2012
20001999
1999
199819971996
199419941993
199219911991Wrote 14 papers:
- OSDI-2012-CorbettDEFFFGGHHHKKLLMMNQRRSSTWW #database #named
- Spanner: Google’s Globally-Distributed Database (JCC, JD, ME, AF, CF, JJF, SG, AG, CH, PH, WCH, SK, EK, HL, AL, SM, DM, DN, SQ, RR, LR, YS, MS, CT, RW, DW), pp. 261–264.
- ICSE-2000-CorbettDHLPRZ #finite #java #modelling #named #source code
- Bandera: extracting finite-state models from Java source code (JCC, MBD, JH, SL, CSP, R, HZ), pp. 439–448.
- ICSE-2000-CorbettDHR #interface #java #model checking #named #source code
- Bandera: a source-level interface for model checking Java programs (JCC, MBD, JH, R), pp. 762–765.
- ICSE-1999-DwyerAC #finite #specification #verification
- Patterns in Property Specifications for Finite-State Verification (MBD, GSA, JCC), pp. 411–420.
- SAS-1999-HatcliffCDSZ #concurrent #formal method #multi #slicing #source code #thread #virtual machine
- A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives (JH, JCC, MBD, SS, HZ), pp. 1–18.
- ISSTA-1998-Corbett #concurrent #java #modelling #source code
- Constructing Compact Models of Concurrent Java Programs (JCC), pp. 1–10.
- ICSE-1997-AvruninCD #realtime
- Analyzing Partially-Implemented Real-Time Systems (GSA, JCC, LKD), pp. 228–238.
- ISSTA-1996-Corbett #concurrent #modelling #realtime
- Constructing Abstract Models of Concurrent Real-Time Software (JCC), pp. 250–260.
- FSE-1994-CorbettA #analysis #composition #scalability #towards
- Towards Scalable Compositional Analysis (JCC, GSA), pp. 53–61.
- ISSTA-1994-Corbett #ada #analysis #concurrent #empirical #evaluation #source code
- An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs (JCC), pp. 204–215.
- ISSTA-1993-CorbettA #bound #concurrent #realtime
- A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems (JCC, GSA), pp. 110–116.
- CAV-1992-Corbett #integer #liveness #programming #safety #verification
- Verifying General Safety and Liveness Propterties with Integer Programming (JCC), pp. 357–369.
- CAV-1991-AvruninBC #analysis #concurrent #integer #programming
- Integer Programming in the Analysis of Concurrent Systems (GSA, UAB, JCC), pp. 92–102.
- TAV-1991-AvruninBCDW #tool support
- Experiments with an Improved Constrained Expression Toolset (GSA, UAB, JCC, LKD, JCW), pp. 178–187.