J. Corbett
发表
Yawei Li,
James C. Corbett,
Andrey Khorlin,
2011,
CIDR.
Matthew B. Dwyer,
Robby,
J. Corbett,
2000,
Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
Christopher Frost,
James C. Corbett,
Wilson C. Hsieh,
2012,
OSDI.
George S. Avrunin,
James C. Corbett,
Matthew B. Dwyer,
1999,
Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).
Wilson C. Hsieh,
Peter H. Hochschild,
J. Dean,
2022
.
James C. Corbett,
Matthew B. Dwyer,
Corina S. Pasareanu,
2000,
ICSE.
J. Corbett,
L. Dillon,
SystemsGeorge S. Avrunin,
1994
.
Martin C. Herbordt,
James C. Corbett,
Charles C. Weems,
1990,
CARN.
J. Corbett,
C. Weems,
M. Herbordt,
1990,
CARN.
Justin M. Wozniak,
Shantenu Jha,
Kyle Chard,
2021,
2021 IEEE Workshop on Workflows in Support of Large-Scale Science (WORKS).
James C. Corbett,
Luk N. Van Wassenhove,
Willem J. A. M. Overmeer,
1998,
J. Oper. Res. Soc..
Matthew B. Dwyer,
Robby,
J. Hatcliff,
2000,
Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
George S. Avrunin,
James C. Corbett,
Matthew B. Dwyer,
2000,
International Journal on Software Tools for Technology Transfer.
James C. Corbett,
J. Corbett,
2000,
TSEM.
George S. Avrunin,
James C. Corbett,
Matthew B. Dwyer,
2000
.
James C. Corbett,
Matthew B. Dwyer,
Stefan Sokolowski,
2000
.
George S. Avrunin,
James C. Corbett,
Matthew B. Dwyer,
1999
.
James C. Corbett,
Matthew B. Dwyer,
John Hatcliff,
1999,
SAS.
George S. Avrunin,
James C. Corbett,
Matthew B. Dwyer,
1998,
FMSP '98.
James C. Corbett,
J. Corbett,
1996,
IEEE Trans. Software Eng..
James C. Corbett,
J. Corbett,
1994,
ISSTA '94.
James C. Corbett,
Matthew B. Dwyer,
John Hatcliff,
2000,
SPIN.
James C. Corbett,
Wilson C. Hsieh,
Michal Szymaniak,
2013
.
James C. Corbett,
J. Corbett,
1998,
ISSTA '98.
James C. Corbett,
J. Corbett,
1992,
CAV.
George S. Avrunin,
Jack C. Wileden,
James C. Corbett,
1991,
IEEE Trans. Software Eng..
James C. Corbett,
J. Corbett,
1993,
Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design.
George S. Avrunin,
James C. Corbett,
Ugo A. Buy,
1991,
CAV.
George S. Avrunin,
James C. Corbett,
J. Corbett,
1995,
Formal Methods Syst. Des..
Wilson C. Hsieh,
J. Dean,
S. Ghemawat,
2012,
OSDI.
Martin C. Herbordt,
J. C. Corbett,
Charles C. Weems,
1991
.
Martin C. Herbordt,
James C. Corbett,
Charles C. Weems,
1991,
SPAA '90.
James C. Corbett,
J. Corbett,
1996,
IEEE Trans. Software Eng..
James C. Corbett,
J. Corbett,
1996,
ISSTA '96.
James C. Corbett,
J. Corbett,
1994,
1994 Proceedings Real-Time Systems Symposium.