John C. Knight

	2008
75		Anh Nguyen-Tuong, David Evans, John C. Knight, Benjamin Cox, Jack W. Davidson: Security through redundant data diversity. DSN 2008: 187-196
74		Xiang Yin, John C. Knight, Elisabeth A. Nguyen, Westley Weimer: Formal Verification by Reverse Synthesis. SAFECOMP 2008: 305-319
	2007
73		Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk: Assurance Based Development of Critical Systems. DSN 2007: 347-357
72		Zach Hill, Jonathan C. Rowanhill, Anh Nguyen-Tuong, Glenn S. Wasson, John C. Knight, Jim Basney, Marty Humphrey: Meeting virtual organization performance goals through adaptive grid reconfiguration. GRID 2007: 177-184
71		Jonathan C. Rowanhill, Glenn S. Wasson, Zach Hill, Jim Basney, Yuliyan Kiryakov, John C. Knight, Anh Nguyen-Tuong, Andrew S. Grimshaw, Marty Humphrey: Dynamic System-Wide Reconfiguration of Grid Deployments in Response to Intrusion Detections. HPCC 2007: 260-272
	2006
70		John C. Knight: Future Trends of Software Technology and Applications Model-Based Development. COMPSAC (1) 2006: 18
69		Wei Hu, Jason Hiser, Daniel Williams, Adrian Filipi, Jack W. Davidson, David Evans, John C. Knight, Anh Nguyen-Tuong, Jonathan C. Rowanhill: Secure and practical defense against code-injection attacks using software dynamic translation. VEE 2006: 2-12
68		Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk: Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases. WADS 2006: 362-382
67		John C. Knight, Nancy G. Leveson: Software and higher education. Commun. ACM 49(1): 160 (2006)
66		Elisabeth A. Strunk, John C. Knight: Dependability through Assured Reconfiguration in Embedded System Software. IEEE Trans. Dependable Sec. Comput. 3(3): 172-187 (2006)
	2005
65		Elisabeth A. Strunk, John C. Knight, M. Anthony Aiello: Assured Reconfiguration of Fail-Stop Systems. DSN 2005: 2-11
64		Andrew S. Grimshaw, Marty A. Humphrey, John C. Knight, Anh Nguyen-Tuong, Jonathan C. Rowanhill, Glenn S. Wasson, Jim Basney: The Development of Dependable and Survivable Grids. International Conference on Computational Science (2) 2005: 729-737
63		Kimberly S. Wasson, Kendra N. Schmid, Robyn R. Lutz, John C. Knight: Using Occurrence Properties of Defect Report Data to Improve Requirements. RE 2005: 253-262
62		John C. Knight: Focusing software education on engineering. ACM SIGSOFT Software Engineering Notes 30(2): 3-5 (2005)
	2004
61		John C. Knight: Focusing Software Education on Engineering. CSEE&T 2004: 2-3
60		Elisabeth A. Strunk, John C. Knight: Assured Reconfiguration of Embedded Real-Time Software. DSN 2004: 367-376
59		Jonathan C. Rowanhill, Philip E. Varner, John C. Knight: Efficient Hierarchic Management For Reconfiguration of Networked Information Systems. DSN 2004: 517-526
58		William S. Greenwell, Elisabeth A. Strunk, John C. Knight: Failure Analysis and the Safety-Case Lifecycle. Human Error, Safety and Systems Development 2004: 163-176
57		John C. Knight: An Introduction to Computing System Dependability. ICSE 2004: 730-731
56		Riccardo Scandariato, John C. Knight: The Design and Evaluation of a Defense System for Internet Worms. SRDS 2004: 164-173
55		John C. Knight: Editorial: AE Introduction. IEEE Trans. Software Eng. 30(1): 1-2 (2004)
54		John C. Knight: Editorial: The State of TSE. IEEE Trans. Software Eng. 30(2): 81- (2004)
53		John C. Knight: Editorial: AE Farewell. IEEE Trans. Software Eng. 30(5): 281- (2004)
52		John C. Knight: Editorial: AE Introduction. IEEE Trans. Software Eng. 30(8): 489-490 (2004)
	2003
51		John C. Knight, Elisabeth A. Strunk, Kevin J. Sullivan: Towards a Rigorous Definition of Information System Survivability. DISCEX (1) 2003: 78-89
50		John C. Knight, Jonathan Hill, Philip E. Varner, Premkumar T. Devanbu, Alexander L. Wolf, Dennis Heimbigner: Willow System Demonstration. DISCEX (2) 2003: 123-125
49		John C. Knight: Computing Systems Dependability. ICSE 2003: 742-743
48		Kimberly S. Wasson, John C. Knight, Elisabeth A. Strunk, Sean R. Travis: Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development. SAFECOMP 2003: 317-330
47		John C. Knight, Elisabeth A. Strunk: Achieving Critical System Survivability Through Software Architectures. WADS 2003: 51-78
46		John C. Knight: New AEIC Introduction and AE Farewell. IEEE Trans. Software Eng. 29(11): 961 (2003)
45		John C. Knight: Editorial: AE Introduction. IEEE Trans. Software Eng. 29(4): 289 (2003)
44		John C. Knight: AE Farewell. IEEE Trans. Software Eng. 29(8): 673 (2003)
	2002
43		John C. Knight: Safety critical systems: challenges and directions. ICSE 2002: 547-550
42		John C. Knight: Dependability of embedded systems. ICSE 2002: 685-686
41		John C. Knight: Software Challenges in Aviation Systems. SAFECOMP 2002: 106-112
40		John C. Knight: Desert Island Books. Autom. Softw. Eng. 9(3): 321-334 (2002)
39		John C. Knight, Nancy G. Leveson: Should software engineers be licensed?. Commun. ACM 45(11): 87-90 (2002)
38		John C. Knight: Editorial: New AE Introduction/Farewell. IEEE Trans. Software Eng. 28(12): 1105 (2002)
37		John C. Knight: AE Introduction. IEEE Trans. Software Eng. 28(3): 209 (2002)
	2001
36		Chenxi Wang, Jonathan Hill, John C. Knight, Jack W. Davidson: Protection of Software-Based Survivability Mechanisms. DSN 2001: 193-202
35		John C. Knight: Erroneous Requirements: A Linguistic Basis for Their Occurrence and an Approach to Their Reduction. HASE 2001: 3-4
34		John C. Knight, Matthew C. Elder: Fault Tolerant Distributed Information Systems. ISSRE 2001: 132-137
33		John C. Knight, Kimberly S. Hanks, Sean R. Travis: Tool Support for Production Use of Formal Techniques. ISSRE 2001: 242-253
	2000
32		Chenxi Wang, John C. Knight, Matthew C. Elder: On Computer Viral Infection and the Effect of Immunization. ACSAC 2000: 246-256
	1999
31		Kevin J. Sullivan, John C. Knight, Xing Du, Steve Geist: Information Survivability Control Systems. ICSE 1999: 184-192
30		John C. Knight, P. Thomas Fletcher, Brian R. Hicks: Tool Support for Production Use of Formal Techniques. World Congress on Formal Methods 1999: 1854
	1998
29		John C. Knight: Challenges in the Utilization of Formal Methods. FTRTFT 1998: 1-17
28		John C. Knight, Michael F. Dunn: Software Quality Through Domain-Driven Certification. Ann. Software Eng. 5: 293-315 (1998)
	1997
27		John C. Knight, Susan S. Brilliant: Preliminary Evaluation of a Formal Approach to User Interface Specification. ZUM 1997: 329-346
26		Paul Ammann, Dahlard L. Lukes, John C. Knight: Applying Data Redundancy to Differential Equation Solvers. Ann. Software Eng. 4: 65-77 (1997)
25		James C. French, John C. Knight, Allison L. Powell: Applying Hypertext Structures to Software Documentation. Inf. Process. Manage. 33(2): 219-231 (1997)
	1996
24		Kevin J. Sullivan, John C. Knight: Experience Assessing an Architectural Approach to Large-Scale Systematic Reuse. ICSE 1996: 220-229
23		Allison L. Powell, James C. French, John C. Knight: A systematic approach to creating and maintaining software documentation. SAC 1996: 201-208
	1994
22		John C. Knight, Aaron G. Cass, Antonio M. Fernández, Kevin G. Wika: Testing a Safety-Critical Application. ISSTA 1994: 199
21		John C. Knight, Jane C. Prey, William A. Wulf: Undergraduate computer science education: a new curriculum philosophy & overview. SIGCSE 1994: 155-159
20		John C. Knight, Bev Littlewood: Guest Editors' Introduction: Critical Task of Writing Dependable Software. IEEE Software 11(1): 16-20 (1994)
19		Paul Ammann, Susan S. Brilliant, John C. Knight: The Effect of Imperfect Error Detection on Reliability Assessment via Life Testing. IEEE Trans. Software Eng. 20(2): 142-148 (1994)
	1993
18		Michael F. Dunn, John C. Knight: Automating the Detection of Reusable Parts in Existing Software. ICSE 1993: 381-390
17		John C. Knight, E. Ann Myers: An Improved Inspection Technique. Commun. ACM 36(11): 50-61 (1993)
	1992
16		John C. Knight, Darrell M. Kienzle: Preliminary Experience Using Z to Specify a Safety-Critical System. Z User Workshop 1992: 109-118
	1991
15		Michael F. Dunn, John C. Knight: Software Reuse in an Industrial Setting: A Case Study. ICSE 1991: 329-338
14		Dave E. Eckhardt, Alper K. Caglayan, John C. Knight, Larry D. Lee, David F. McAllister, Mladen A. Vouk, John P. J. Kelly: An Experimental Evaluation of Software Redundancy as a Strategy For Improving Reliability. IEEE Trans. Software Eng. 17(7): 692-702 (1991)
	1990
13		Susan S. Brilliant, John C. Knight, Nancy G. Leveson: Analysis of Faults in an N-Version Software Experiment. IEEE Trans. Software Eng. 16(2): 238-247 (1990)
12		Nancy G. Leveson, Stephen S. Cha, John C. Knight, Timothy J. Shimeall: The Use of Self Checks and Voting in Software Error Detection: An Empirical Study. IEEE Trans. Software Eng. 16(4): 432-443 (1990)
	1989
11		John C. Knight, Paul Ammann: Issues Influencing the Use of N-Version Programming. IFIP Congress 1989: 217-222
10		John C. Knight: Can Software Faults be Tolerated? (Position Statement). IFIP Congress 1989: 501
9		Susan S. Brilliant, John C. Knight, Nancy G. Leveson: The Consistent Comparison Problem in N-Version Software. IEEE Trans. Software Eng. 15(11): 1481-1485 (1989)
	1988
8		Paul Ammann, John C. Knight: Data Diversity: An Approach to Software Fault Tolerance. IEEE Trans. Computers 37(4): 418-425 (1988)
	1987
7		John C. Knight, John I. A. Urquhart: On the Implementation and Use of Ada on Fault-Tolerant Distributed Systems. IEEE Trans. Software Eng. 13(5): 553-563 (1987)
	1986
6		John C. Knight, Nancy G. Leveson: An Experimental Evaluation of the Assumption of Independence in Multiversion Programming. IEEE Trans. Software Eng. 12(1): 96-109 (1986)
	1985
5		John C. Knight, Paul Ammann: An Experimental Evaluation of Simple Methods for Seeding Program Errors. ICSE 1985: 337-342
4		John C. Knight, James L. Russel: Software Development Tools for Microcontrollers. Softw., Pract. Exper. 15(5): 459-472 (1985)
	1983
3		Thomas Anderson, John C. Knight: A Framework for Software Fault Tolerance in Real-Time Systems. IEEE Trans. Software Eng. 9(3): 355-364 (1983)
2		John C. Knight, Douglas D. Dunlop: On the Design of a Special-purpose Scientific Programming Language. Softw., Pract. Exper. 13(10): 893-907 (1983)
1		W. Robert Collings, Robert E. Noonan, Samuel T. Gregory, John C. Knight, Roy W. Hamm: Comprehensive Tools for Assembler Construction. Softw., Pract. Exper. 13(5): 447-451 (1983)

Coauthor Index

1	M. Anthony Aiello	[65]
2	Paul Ammann	[5] [8] [11] [19] [26]
3	Thomas Anderson	[3]
4	Jim Basney	[64] [71] [72]
5	Susan S. Brilliant	[9] [13] [19] [27]
6	Alper K. Caglayan	[14]
7	Aaron G. Cass	[22]
8	Stephen S. Cha	[12]
9	W. Robert Collings	[1]
10	Benjamin Cox	[75]
11	Jack W. Davidson	[36] [69] [75]
12	Premkumar T. Devanbu	[50]
13	Xing Du	[31]
14	Douglas D. Dunlop	[2]
15	Michael F. Dunn	[15] [18] [28]
16	Dave E. Eckhardt	[14]
17	Matthew C. Elder	[32] [34]
18	David Evans	[69] [75]
19	Antonio M. Fernández	[22]
20	Adrian Filipi	[69]
21	P. Thomas Fletcher	[30]
22	James C. French	[23] [25]
23	Steve Geist	[31]
24	Patrick J. Graydon	[68] [73]
25	William S. Greenwell	[58]
26	Samuel T. Gregory	[1]
27	Andrew S. Grimshaw	[64] [71]
28	Roy W. Hamm	[1]
29	Kimberly S. Hanks	[33]
30	Dennis Heimbigner	[50]
31	Brian R. Hicks	[30]
32	Jonathan Hill	[36] [50]
33	Zach Hill	[71] [72]
34	Jason Hiser	[69]
35	Wei Hu	[69]
36	Marty Humphrey (Marty A. Humphrey)	[64] [71] [72]
37	John P. J. Kelly	[14]
38	Darrell M. Kienzle	[16]
39	Yuliyan Kiryakov	[71]
40	Larry D. Lee	[14]
41	Nancy G. Leveson	[6] [9] [12] [13] [39] [67]
42	Bev Littlewood	[20]
43	Dahlard L. Lukes	[26]
44	Robyn R. Lutz	[63]
45	David F. McAllister	[14]
46	E. Ann Myers	[17]
47	Elisabeth A. Nguyen	[74]
48	Anh Nguyen-Tuong	[64] [69] [71] [72] [75]
49	Robert E. Noonan	[1]
50	Allison L. Powell	[23] [25]
51	Jane C. Prey	[21]
52	Jonathan C. Rowanhill	[59] [64] [69] [71] [72]
53	James L. Russel	[4]
54	Riccardo Scandariato	[56]
55	Kendra N. Schmid	[63]
56	Timothy J. Shimeall	[12]
57	Elisabeth A. Strunk	[47] [48] [51] [58] [60] [65] [66] [68] [73]
58	Kevin J. Sullivan	[24] [31] [51]
59	Sean R. Travis	[33] [48]
60	John I. A. Urquhart	[7]
61	Philip E. Varner	[50] [59]
62	Mladen A. Vouk	[14]
63	Chenxi Wang	[32] [36]
64	Glenn S. Wasson	[64] [71] [72]
65	Kimberly S. Wasson	[48] [63]
66	Westley Weimer	[74]
67	Kevin G. Wika	[22]
68	Daniel Williams	[69]
69	Alexander L. Wolf	[50]
70	William A. Wulf	[21]
71	Xiang Yin	[74]

Colors in the list of coauthors