John C. Knight
发表
John C. Knight,
Marc E. Rouleau,
1987,
WADAS '87.
Craig E. Kuziemsky,
John C. Knight,
2013,
ICSE 2013.
John C. Knight,
Elisabeth A. Strunk,
M. Anthony Aiello,
2005,
2005 International Conference on Dependable Systems and Networks (DSN'05).
John C. Knight,
Patrick Graydon,
2012
.
John C. Knight,
1987
.
Nikos Arechiga,
Shinichi Shiraishi,
John C. Knight,
2016
.
Bev Littlewood,
John C. Knight,
1994,
IEEE Softw..
Matthew C. Elder,
John C. Knight,
Chenxi Wang,
2000,
Proceedings 16th Annual Computer Security Applications Conference (ACSAC'00).
Jack W. Davidson,
Jason Hiser,
John C. Knight,
2011,
2011 44th Hawaii International Conference on System Sciences.
John C. Knight,
James L. Russel,
1985,
Softw. Pract. Exp..
John C. Knight,
Colleen DeJong,
Matthew S. Gibble,
1997
.
Jack W. Davidson,
Jason Hiser,
David Melski,
2014,
2014 Tenth European Dependable Computing Conference.
John C. Knight,
Jonathan Hill,
Aaron M. Crickenberger,
2002
.
John C. Knight,
Elisabeth A. Strunk,
2006,
IEEE Transactions on Dependable and Secure Computing.
Jason Hiser,
Anh Nguyen-Tuong,
Jack W. Davidson,
2016,
2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W).
John C. Knight,
1979,
ACM '79.
John C. Knight,
C. O. Newton,
J. R. Grierson,
1983,
20th Design Automation Conference Proceedings.
Michael Minkoff,
Gabor T. Herman,
John C. Knight,
1975,
ACM '75.
Jian Xiang,
John C. Knight,
Jonathan C. Rowanhill,
2015,
SAFECOMP Workshops.
John C. Knight,
Patrick Graydon,
2012
.
John C. Knight,
Nikos Aréchiga,
M. Anthony Aiello,
2017,
NFM.
John C. Knight,
Kevin G. Wika,
1994
.
Ewen Denney,
Ganesh Pai,
John C. Knight,
2013,
ICSE 2013.
John C. Knight,
2004,
IEEE Trans. Software Eng..
John C. Knight,
J. Knight,
2002
.
John C. Knight,
M. Anthony Aiello,
Ashlie B. Hocking,
2015,
2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).
Robert E. Noonan,
John C. Knight,
W. R. Collins,
1980
.
Jason Flinn,
Matthew C. Elder,
John C. Knight,
1997
.
Dino Mandrioli,
Carlo A. Furia,
John C. Knight,
2012
.
John C. Knight,
Luis G. Nakano,
Luis G. Nakano,
2012
.
John C. Knight,
2002,
SAFECOMP.
Nancy G. Leveson,
Timothy J. Shimeall,
John C. Knight,
1986
.
John C. Knight,
Jonathan Hill,
2003
.
John C. Knight,
Elisabeth A. Strunk,
2008,
Expert Syst. J. Knowl. Eng..
Westley Weimer,
John C. Knight,
Xiang Yin,
2009,
2009 IEEE/IFIP International Conference on Dependable Systems & Networks.
John C. Knight,
2004,
Proceedings. 26th International Conference on Software Engineering.
Kevin J. Sullivan,
Xing Du,
John C. Knight,
1999,
Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).
John C. Knight,
1998
.
John C. Knight,
Jonathan C. Rowanhill,
David J. Rinehart,
2017
.
Jane Chu Prey,
William A. Wulf,
John C. Knight,
1994,
SIGCSE '94.
John C. Knight,
Chenxi Wang,
Chenxi Wang,
2000
.
John C. Knight,
2002,
IEEE Trans. Software Eng..
John C. Knight,
Benjamin D. Rodes,
2014,
2014 Tenth European Dependable Computing Conference.
John C. Knight,
2003,
25th International Conference on Software Engineering, 2003. Proceedings..
John C. Knight,
Kimberly S. Wasson,
J. Knight,
2006
.
John C. Knight,
Michael F. Dunn,
J. Knight,
2012
.
Natarajan Shankar,
Jack W. Davidson,
Ian A. Mason,
2016,
CISRC.
John C. Knight,
E Myers,
1992
.
Richard Hawkins,
Tim Kelly,
John C. Knight,
2011,
SSS.
John C. Knight,
2004,
CSEE&T.
John C. Knight,
2019
.
Kevin J. Sullivan,
John C. Knight,
J. Knight,
1996,
Proceedings of IEEE 18th International Conference on Software Engineering.
John C. Knight,
1990
.
Andrew S. Grimshaw,
Jim Basney,
Marty Humphrey,
2007,
HPCC.
John C. Knight,
Jonathan C. Rowanhill,
2016,
2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE).
John C. Knight,
Patrick Graydon,
2007
.
John C. Knight,
J. Knight,
2002,
Proceedings of the 24th International Conference on Software Engineering. ICSE 2002.
John C. Knight,
E. Ann Myers,
1991,
SOEN.
P. Thomas Fletcher,
John C. Knight,
Brian R. Hicks,
1999,
World Congress on Formal Methods.
William G. Griswold,
Gregg Rothermel,
David Garlan,
2002
.
John C. Knight,
Darrell M. Kienzle,
J. Knight,
1992,
Z User Workshop.
John C. Knight,
2004,
IEEE Trans. Software Eng..
Riccardo Scandariato,
John C. Knight,
R. Scandariato,
2003
.
John A. McDermid,
John C. Knight,
C. Michael Holloway,
2014,
2014 IEEE International Symposium on Ethics in Science, Technology and Engineering.
John C. Knight,
Kimberly S. Hanks,
Sean R. Travis,
2001,
Proceedings 12th International Symposium on Software Reliability Engineering.
Zhendong Su,
Karl N. Levitt,
Jack W. Davidson,
2012
.
Nancy G. Leveson,
John C. Knight,
Susan S. Brilliant,
1989,
IEEE Trans. Software Eng..
Premkumar T. Devanbu,
Dennis Heimbigner,
Alexander L. Wolf,
2003,
Proceedings DARPA Information Survivability Conference and Exposition.
John C. Knight,
S. M. Parikh,
2002,
Proceedings. The 21st Digital Avionics Systems Conference.
John C. Knight,
William A. Wulf,
Jane Prey,
1997,
Proceedings Frontiers in Education 1997 27th Annual Conference. Teaching and Learning in an Era of Change.
John C. Knight,
Jane Prey,
1994
.
John C. Knight,
Thomas Anderson,
T. Anderson,
1983,
IEEE Transactions on Software Engineering.
David S. Rosenblum,
John C. Knight,
J. Knight,
2000
.
John C. Knight,
Jonathan C. Rowanhill,
Philip E. Varner,
2004,
International Conference on Dependable Systems and Networks, 2004.
Jack W. Davidson,
Michele Co,
John C. Knight,
2009
.
John C. Knight,
Patrick Graydon,
2010
.
Shinichi Shiraishi,
John C. Knight,
M. Anthony Aiello,
2015
.
John C. Knight,
2006,
30th Annual International Computer Software and Applications Conference (COMPSAC'06).
John C. Knight,
Elisabeth A. Strunk,
Patrick J. Graydon,
2007,
37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07).
John C. Knight,
Kimberly S. Hanks,
E. A. Strunk,
2022
.
Nancy G. Leveson,
John C. Knight,
J. Knight,
2002,
CACM.
John C. Knight,
Elisabeth A. Strunk,
William S. Greenwell,
2003
.
Jack W. Davidson,
John C. Knight,
Jonathan Hill,
2003,
Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems].
John C. Knight,
Kimberly S. Hanks,
2012
.
John C. Knight,
1989,
IFIP Congress.
John C. Knight,
Chenxi Wang,
Chenxi Wang,
2001
.
John C. Knight,
Kevin G. Wika,
1994
.
Jim Basney,
Marty Humphrey,
John C. Knight,
2007,
2007 8th IEEE/ACM International Conference on Grid Computing.
John C. Knight,
J. Knight,
2002,
IEEE Trans. Software Eng..
John C. Knight,
J. Knight,
1998,
FTRTFT.
John C. Knight,
M. Anthony Aiello,
Ashlie B. Hocking,
2014,
2014 IEEE International Symposium on Software Reliability Engineering Workshops.
Paul Ammann,
John C. Knight,
J. Knight,
1986
.
John C. Knight,
Elisabeth A. Strunk,
J. Knight,
2003,
WADS.
John C. Knight,
Jonathan Rowanhill,
2004
.
John C. Knight,
1991
.
John C. Knight,
1990,
[1990] Proceedings. Third Annual IEEE Symposium on Computer-Based Medical Systems.
Matthew C. Elder,
Xing Du,
John C. Knight,
1998,
Proceedings Computer Security, Dependability, and Assurance: From Needs to Solutions (Cat. No.98EX358).
Richard Hawkins,
Tim Kelly,
John C. Knight,
2012,
IEEE Software.
Kevin J. Sullivan,
Jian Xiang,
John C. Knight,
2016,
2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE).
John C. Knight,
M. Anthony Aiello,
Jonathan C. Rowanhill,
2015,
SAFECOMP Workshops.
John C. Knight,
Elisabeth A. Strunk,
2005
.
William G. Poole,
John C. Knight,
Robert G. Voigt,
1975,
ACM '75.
John McHugh,
John C. Knight,
Kevin Sullivan,
1997
.
David F. McAllister,
Mladen A. Vouk,
John C. Knight,
1991,
IEEE Trans. Software Eng..
John C. Knight,
Susan S. Brilliant,
J. Knight,
1999,
SOEN.
John C. Knight,
2005
.
Paul Ammann,
John C. Knight,
Susan S. Brilliant,
1990,
[1990] Digest of Papers. Fault-Tolerant Computing: 20th International Symposium.
Jack W. Davidson,
Jason Hiser,
John C. Knight,
2006,
VEE '06.
John C. Knight,
1982,
AdaTEC '82.
John C. Knight,
Luis G. Nakano,
Luis G. Nakano,
2012
.
Paul Ammann,
John C. Knight,
J. Knight,
1989,
IFIP Congress.
Michael Gertz,
Dennis Heimbigner,
Alexander L. Wolf,
2001
.
John C. Knight,
William S. Greenwell,
2006
.
John C. Knight,
Elisabeth A. Strunk,
Kimberly S. Wasson,
2003,
SAFECOMP.
Jack W. Davidson,
John C. Knight,
Chenxi Wang,
2001,
2001 International Conference on Dependable Systems and Networks.
Jack W. Davidson,
John C. Knight,
Anh Nguyen-Tuong,
2015
.
Jason Hiser,
Anh Nguyen-Tuong,
Michele Co,
2016,
Computer.
John C. Knight,
Elisabeth A. Strunk,
J. Knight,
2006,
IWAAPF '06.
Nancy G. Leveson,
John C. Knight,
2006,
CACM.
Paul Ammann,
John C. Knight,
J. Knight,
1991
.
Aaron G. Cass,
John C. Knight,
Kevin G. Wika,
1994,
ISSTA '94.
Shinichi Shiraishi,
John C. Knight,
M. Anthony Aiello,
2014,
2014 IEEE International Symposium on Software Reliability Engineering Workshops.
Jack W. Davidson,
John C. Knight,
Jonathan Hill,
2000
.
John C. Knight,
C. Michael Holloway,
William S. Greenwell,
2006
.
John C. Knight,
2003,
IEEE Trans. Software Eng..
John C. Knight,
Kevin Sullivan,
J. Knight,
2000
.
Jian Xiang,
John C. Knight,
Kevin Sullivan,
2016
.
John C. Knight,
Elisabeth A. Strunk,
William S. Greenwell,
2004,
Human Error, Safety and Systems Development.
John McHugh,
Steve Geist,
Xing Du,
2012
.
John C. Knight,
Jonathan Hill,
J. Knight,
2002
.
Jack W. Davidson,
John C. Knight,
Ashlie B. Hocking,
2016,
NFM.
Kevin J. Sullivan,
John C. Knight,
Elisabeth A. Strunk,
2003,
Proceedings DARPA Information Survivability Conference and Exposition.
Andrew S. Grimshaw,
Jim Basney,
Marty Humphrey,
2005,
International Conference on Computational Science.
Anh Nguyen-Tuong,
John C. Knight,
David Evans,
2011,
Moving Target Defense.
John C. Knight,
2002,
ICSE '02.
John C. Knight,
Michael F. Dunn,
J. Knight,
1992,
Proceedings of 1993 15th International Conference on Software Engineering.
Alec J. Bateman,
John C. Knight,
Ashlie B. Hocking,
2016
.
Robert E. Noonan,
John C. Knight,
W. Robert Collings,
1983,
Softw. Pract. Exp..
John C. Knight,
Elisabeth A. Strunk,
Patrick J. Graydon,
2006,
WADS.
John C. Knight,
Elisabeth A. Strunk,
Xiang Yin,
2005,
FMICS '05.
Matthew C. Elder,
John C. Knight,
Chenxi Wang,
2000,
Proceedings DARPA Information Survivability Conference and Exposition. DISCEX'00.
John C. Knight,
William S. Greenwell,
2007
.
Matthew C. Elder,
John C. Knight,
J. Knight,
2001
.
John C. Knight,
Michael F. Dunn,
J. Knight,
1991,
[1991 Proceedings] 13th International Conference on Software Engineering.
John C. Knight,
Susan S. Brilliant,
1997,
ZUM.
Marcelo Milrad,
Sofoklis Sotiriou,
Stamatina Anastopoulou,
2006
.
John C. Knight,
2003,
IEEE Trans. Software Eng..
Nancy G. Leveson,
John C. Knight,
Susan S. Brilliant,
1990,
IEEE Trans. Software Eng..
John C. Knight,
Patrick J. Graydon,
2010,
2010 European Dependable Computing Conference.
Paul Ammann,
John C. Knight,
J. Knight,
1985,
ICSE '85.
Jason Hiser,
Chengyu Song,
David Melski,
2011,
SESS '11.
John C. Knight,
J. C. Prey,
1994,
Proceedings of 1994 IEEE Frontiers in Education Conference - FIE '94.
John C. Knight,
S. T. Gregory,
Samuel T. Gregory,
1989,
[1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.
John C. Knight,
Jonathan C. Rowanhill,
David J. Rinehart,
2015
.
John C. Knight,
Kevin Sullivan,
Robert C. Schutt,
2012
.
Paul Ammann,
John C. Knight,
Susan S. Brilliant,
1992,
IEEE Trans. Software Eng..
John C. Knight,
1992
.
John C. Knight,
Jonathan Rowanhill,
2017
.
John C. Knight,
2003,
IEEE Trans. Software Eng..
Jack W. Davidson,
John C. Knight,
Anh Nguyen-Tuong,
2008,
2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN).
John C. Knight,
Luis G. Nakano,
1997,
SAFECOMP.
John C. Knight,
Elisabeth A. Strunk,
2004,
International Conference on Dependable Systems and Networks, 2004.
Paul Ammann,
John C. Knight,
J. Knight,
1988,
IEEE Trans. Computers.
John C. Knight,
Kevin Sullivan,
2012
.
Jack W. Davidson,
Jason Hiser,
Anh Nguyen-Tuong,
2012,
RV.
James C. French,
John C. Knight,
Allison L. Powell,
1996,
SAC '96.
John C. Knight,
Thomas B. Horton,
2003,
33rd Annual Frontiers in Education, 2003. FIE 2003..
John C. Knight,
Douglas D. Dunlop,
J. Knight,
1983,
Softw. Pract. Exp..
John C. Knight,
John I. A. Urquhart,
1987,
IEEE Trans. Software Eng..
Nancy G. Leveson,
John C. Knight,
J. Knight,
1990,
SOEN.
John C. Knight,
Kevin Sullivan,
Jake Cockrell,
1999
.
Alec J. Bateman,
John C. Knight,
Michael D. DeVore,
2014
.
Riccardo Scandariato,
John C. Knight,
2004,
Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004..
Nancy G. Leveson,
John C. Knight,
J. Knight,
1986,
IEEE Transactions on Software Engineering.
John C. Knight,
E. Ann Myers,
J. Knight,
1993,
CACM.
Paul Ammann,
John C. Knight,
Dahlard L. Lukes,
1997,
Ann. Softw. Eng..
Robyn R. Lutz,
John C. Knight,
Kimberly S. Wasson,
2005,
13th IEEE International Conference on Requirements Engineering (RE'05).
John C. Knight,
2002
.
John C. Knight,
1987,
IRTAW '87.
Jack W. Davidson,
Claire Le Goues,
Stephanie Forrest,
2013,
Moving Target Defense.
Kevin J. Sullivan,
Jian Xiang,
John C. Knight,
2017,
2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE).
Paul Ammann,
John C. Knight,
Steven J. Santos,
1991
.
Jack W. Davidson,
Jason Hiser,
Matthew Hall,
2014,
2014 Tenth European Dependable Computing Conference.
Matthew C. Elder,
John C. Knight,
Luis G. Nakano,
1998
.
James C. French,
John C. Knight,
Allison L. Powell,
1997,
Inf. Process. Manag..
John C. Knight,
Benjamin D. Rodes,
Kimberly S. Wasson,
2014,
WETSoM 2014.
John C. Knight,
Xiang Yin,
2010,
NASA Formal Methods.
Westley Weimer,
John C. Knight,
Xiang Yin,
2008,
SAFECOMP.
Jack W. Davidson,
Jason Hiser,
John C. Knight,
2009,
IEEE Security & Privacy.
John C. Knight,
Patrick Graydon,
Mitchell Green,
2010
.
John C. Knight,
Michael F. Dunn,
J. Knight,
1998,
Ann. Softw. Eng..
David F. McAllister,
Mladen A. Vouk,
A. K. Caglayan,
1990,
9th IEEE/AIAA/NASA Conference on Digital Avionics Systems.
John C. Knight,
Jonathan C. Rowanhill,
2016,
SAFECOMP.
Nancy G. Leveson,
Timothy J. Shimeall,
John C. Knight,
1990,
IEEE Trans. Software Eng..
Improving Communication of Critical Domain Knowledge in High-Consequence Software Development: an Em
John C. Knight,
Kimberly S. Hanks,
2003
.
Kevin J. Sullivan,
Jian Xiang,
John C. Knight,
2015,
SAFECOMP.
John C. Knight,
2001,
HASE.
Westley Weimer,
John C. Knight,
Chad S. Dodson,
2009
.
Matthew C. Elder,
John C. Knight,
J. Knight,
2012
.
John C. Knight,
2004,
Automated Software Engineering.
Matthew C. Elder,
John C. Knight,
J. Knight,
2001,
Proceedings 12th International Symposium on Software Reliability Engineering.
John C. Knight,
J. Knight,
1992
.
Andrew Wang,
Jason Hiser,
Jack W. Davidson,
2010,
ECSA '10.
Shinichi Shiraishi,
John C. Knight,
M. Anthony Aiello,
2014,
2014 IEEE International Symposium on Software Reliability Engineering Workshops.
John C. Knight,
Patrick J. Graydon,
Xiang Yin,
2010,
Ada-Europe.
Ewen Denney,
Tim Kelly,
Ganesh J. Pai,
2013,
2013 35th International Conference on Software Engineering (ICSE).
In Search of Best Practices for the Use of Natural Language in the Development of High-Consequence S
John C. Knight,
Kimberly S. Hanks,
2002
.
John C. Knight,
Nikos Aréchiga,
M. Anthony Aiello,
2016,
2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE).
John C. Knight,
1979
.
Paul Ammann,
John C. Knight,
1985
.
John C. Knight,
2008
.
John C. Knight,
William S. Greenwell,
1999
.
John C. Knight,
Jonathan C. Rowanhill,
J. Knight,
2003
.
John C. Knight,
Elisabeth A. Strunk,
2002
.
Andrew S. Grimshaw,
Marty Humphrey,
John C. Knight,
2004
.