dblp.uni-trier.dewww.uni-trier.de

John C. Knight Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
75EEAnh Nguyen-Tuong, David Evans, John C. Knight, Benjamin Cox, Jack W. Davidson: Security through redundant data diversity. DSN 2008: 187-196
74EEXiang Yin, John C. Knight, Elisabeth A. Nguyen, Westley Weimer: Formal Verification by Reverse Synthesis. SAFECOMP 2008: 305-319
2007
73EEPatrick J. Graydon, John C. Knight, Elisabeth A. Strunk: Assurance Based Development of Critical Systems. DSN 2007: 347-357
72EEZach 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
71EEJonathan 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
70EEJohn C. Knight: Future Trends of Software Technology and Applications Model-Based Development. COMPSAC (1) 2006: 18
69EEWei 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
68EEPatrick J. Graydon, John C. Knight, Elisabeth A. Strunk: Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases. WADS 2006: 362-382
67EEJohn C. Knight, Nancy G. Leveson: Software and higher education. Commun. ACM 49(1): 160 (2006)
66EEElisabeth A. Strunk, John C. Knight: Dependability through Assured Reconfiguration in Embedded System Software. IEEE Trans. Dependable Sec. Comput. 3(3): 172-187 (2006)
2005
65EEElisabeth A. Strunk, John C. Knight, M. Anthony Aiello: Assured Reconfiguration of Fail-Stop Systems. DSN 2005: 2-11
64EEAndrew 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
63EEKimberly 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
62EEJohn C. Knight: Focusing software education on engineering. ACM SIGSOFT Software Engineering Notes 30(2): 3-5 (2005)
2004
61EEJohn C. Knight: Focusing Software Education on Engineering. CSEE&T 2004: 2-3
60EEElisabeth A. Strunk, John C. Knight: Assured Reconfiguration of Embedded Real-Time Software. DSN 2004: 367-376
59EEJonathan 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
57EEJohn C. Knight: An Introduction to Computing System Dependability. ICSE 2004: 730-731
56EERiccardo Scandariato, John C. Knight: The Design and Evaluation of a Defense System for Internet Worms. SRDS 2004: 164-173
55EEJohn C. Knight: Editorial: AE Introduction. IEEE Trans. Software Eng. 30(1): 1-2 (2004)
54EEJohn C. Knight: Editorial: The State of TSE. IEEE Trans. Software Eng. 30(2): 81- (2004)
53EEJohn C. Knight: Editorial: AE Farewell. IEEE Trans. Software Eng. 30(5): 281- (2004)
52EEJohn C. Knight: Editorial: AE Introduction. IEEE Trans. Software Eng. 30(8): 489-490 (2004)
2003
51EEJohn C. Knight, Elisabeth A. Strunk, Kevin J. Sullivan: Towards a Rigorous Definition of Information System Survivability. DISCEX (1) 2003: 78-89
50EEJohn C. Knight, Jonathan Hill, Philip E. Varner, Premkumar T. Devanbu, Alexander L. Wolf, Dennis Heimbigner: Willow System Demonstration. DISCEX (2) 2003: 123-125
49EEJohn C. Knight: Computing Systems Dependability. ICSE 2003: 742-743
48EEKimberly 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
47EEJohn C. Knight, Elisabeth A. Strunk: Achieving Critical System Survivability Through Software Architectures. WADS 2003: 51-78
46EEJohn C. Knight: New AEIC Introduction and AE Farewell. IEEE Trans. Software Eng. 29(11): 961 (2003)
45EEJohn C. Knight: Editorial: AE Introduction. IEEE Trans. Software Eng. 29(4): 289 (2003)
44EEJohn C. Knight: AE Farewell. IEEE Trans. Software Eng. 29(8): 673 (2003)
2002
43EEJohn C. Knight: Safety critical systems: challenges and directions. ICSE 2002: 547-550
42EEJohn C. Knight: Dependability of embedded systems. ICSE 2002: 685-686
41EEJohn 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)
39EEJohn C. Knight, Nancy G. Leveson: Should software engineers be licensed?. Commun. ACM 45(11): 87-90 (2002)
38EEJohn C. Knight: Editorial: New AE Introduction/Farewell. IEEE Trans. Software Eng. 28(12): 1105 (2002)
37EEJohn C. Knight: AE Introduction. IEEE Trans. Software Eng. 28(3): 209 (2002)
2001
36EEChenxi 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
34EEJohn C. Knight, Matthew C. Elder: Fault Tolerant Distributed Information Systems. ISSRE 2001: 132-137
33EEJohn C. Knight, Kimberly S. Hanks, Sean R. Travis: Tool Support for Production Use of Formal Techniques. ISSRE 2001: 242-253
2000
32EEChenxi Wang, John C. Knight, Matthew C. Elder: On Computer Viral Infection and the Effect of Immunization. ACSAC 2000: 246-256
1999
31EEKevin J. Sullivan, John C. Knight, Xing Du, Steve Geist: Information Survivability Control Systems. ICSE 1999: 184-192
30EEJohn C. Knight, P. Thomas Fletcher, Brian R. Hicks: Tool Support for Production Use of Formal Techniques. World Congress on Formal Methods 1999: 1854
1998
29EEJohn 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
24EEKevin J. Sullivan, John C. Knight: Experience Assessing an Architectural Approach to Large-Scale Systematic Reuse. ICSE 1996: 220-229
23EEAllison L. Powell, James C. French, John C. Knight: A systematic approach to creating and maintaining software documentation. SAC 1996: 201-208
1994
22EEJohn C. Knight, Aaron G. Cass, Antonio M. Fernández, Kevin G. Wika: Testing a Safety-Critical Application. ISSTA 1994: 199
21EEJohn C. Knight, Jane C. Prey, William A. Wulf: Undergraduate computer science education: a new curriculum philosophy & overview. SIGCSE 1994: 155-159
20EEJohn C. Knight, Bev Littlewood: Guest Editors' Introduction: Critical Task of Writing Dependable Software. IEEE Software 11(1): 16-20 (1994)
19EEPaul 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
18EEMichael 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
15EEMichael F. Dunn, John C. Knight: Software Reuse in an Industrial Setting: A Case Study. ICSE 1991: 329-338
14EEDave 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
13EESusan 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)
12EENancy 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
9EESusan 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)